论文部分内容阅读
证明存在递归可枚举图灵度a和c使得c≤a，并且对每个递归可枚举图灵度b≤τa，b≠c，其中a是R／M中的一个元素，R／M是递归可枚举图灵度集R模可盖图灵度集M的商．
R／M中的≤与R中的≤τ的关系
【摘 要】
：
证明存在递归可枚举图灵度a和c使得c≤a，并且对每个递归可枚举图灵度b≤τa，b≠c，其中a是R／M中的一个元素，R／M是递归可枚举图灵度集R模可盖图灵度集M的商．
【机 构】
：
中国科学院软件研究所
【出 处】
：
软件学报
【发表日期】
：
2000年6期
【基金项目】
：
国家自然科学基金!No.6 96 730 17&&
其他文献
"中国特色社会主义最本质的特征是中国共产党领导,中国特色社会主义制度的最大优势是中国共产党领导,党是最高政治领导力量。"习近平总书记这一重要论述,是党的十八大以来的
香港是世界著名的金融中心,多年来一直发挥着世界股市升跌晴雨表的作用,其金融股的长期稳定,得益于其健全的管理部门,金融管理局与联合交易所扮演着重要角色。 1993年4月1日,
为了挖掘环北京经济带的市场潜力,满足周围居民日常生活的需要,北京市宣武区政府、广外街道办事处积极筹建了农副产品市场,不仅满足了群众的生活需要,也使部分经营者做到了“
对应用于液压阻尼器动态试验的试验台测控系统进行了研究；基于LabWindows／CVI技术，设计了液压阻尼器试验台的测控系统；对试验台测控系统构成及原理进行了分析介绍，并描述了驱动电
1994年我国出口增长32％,1995年上半年增长44％,为历史最高峰,这是由于出口公司对付7月开始的降低出口退税率,突击出口所致。结果下半年出口几乎没有增长,全年出口增长23％。在国内
处暑过后,秋色翩来。湖湘大地上,夏意稍有收敛,人间依然一片热火朝天——8月31日,长益高速扩容工程正式通车,与此同时,醴娄扩容工程等6个高速公路项目同步开工建设;此前,在湘
目的:研究马齿苋降血糖的有效部位。方法:本实验采用链佐霉素制造Wistar大鼠糖尿病模型,用马齿苋水煎液及水煎醇沉液灌胃给药。结果:给药2、3、4周后马齿苋水煎液及水煎醇沉
针对飞行器飞行中要求电动舵机具有快速跟踪性和良好的抗扰性，提出了改进的自抗扰控制器，将线性自抗扰控制器和Fal函数结合应用到舵机系统的速度环控制中；首先建立了舵机数学模
1972年于湖南长沙马王堆一号汉墓出土的T形帛画,整个画面呈"T"形,上宽下窄,通长205厘米,上宽92厘米,下宽47.7厘米。帛画用三块单层细绢拼成,顶端横裹一根竹竿,上系丝带,可以
利用极线的属性及深度图像隐含的边界信息 ,提出了一种可以处理非深度连续图像的快速逆映射算法 ,以从多幅参考图像精确合成当前视点目标图像 .该算法分为 3步 :首先由参考图像的深度信息得到图像中的边界 ;然后从参考图像中选出一幅作为主参考图像 ,利用极线的整体匹配特性和对应点在极线上分布的单调性 ,逐个处理目标极线 ,以生成目标图像 ;最后根据其他参考图像填补目标图像中的空洞 .由于在第 2步中只需