论文部分内容阅读
本文引进了Ｕ－循环的概念，并证明了所有Ｕ－循环项都是易项，从而刻画了一类易项的归约性质，这对于研究停机问题具有相当意义。
U—循环项与易项
【摘 要】
：
本文引进了Ｕ－循环的概念，并证明了所有Ｕ－循环项都是易项，从而刻画了一类易项的归约性质，这对于研究停机问题具有相当意义。
【出 处】
：
软件学报
【发表日期】
：
1996年A00期
其他文献
晚期肺癌常伴有恶性胸水，以周围型居多，病理类型以腺癌为主。根据1997 UICC制定的最新肺癌分期标准，凡是胸膜受侵，出现恶性胸水，即为Ⅲb期，既往此类病人既不易手术亦无放疗指征。这
目的比较和分析肺部感染住院患者的经验性抗感染治疗疗效。方法对我院呼吸科2008年1月至2008年12月收治的237例肺部感染患者的临床资料进行回顾性分析。结栗用β-内酰胺类、
在这篇论文里,我们重点讨论在C语言里嵌入面向对象的查询语言OSDL所遇到的矛盾及处理方法,完整地提出了在C中支持使用OSDL的宿主语言接口OSDL-C。文中提出的宿主语言接口设计
近年来国内外有关脑血管病治疗的研究成果不断出现,本文主要就缺血性脑血管病若干较实用的治疗进展作一综述,供临床工作者参考。一、钙拮抗剂(CA):CA能选择性地防止或抑制抗
结合我市1987年度工作实际情况,我认为目前农村食品卫生工作中所存在的问题主要表现在如下几方面: 1.食品卫生监督人员缺少。我市农村有食品卫生专职人员4人,兼职5人。在食品
目的探讨控制学校肺结核病的有效方法。方法对深圳市某中学的全体学生及教职工进行X线胸透，对肺部有异影者进行PPD试验、摄胸片、痰抗酸杆菌检验。结果体检学生2619人，教职工26
为实现“2000年人人享有卫生保健”的全球目标打下基础,1988年5月,我们借鉴卫生部门职称评定工作的经验,大胆地在全市3000名乡村医生中开展了晋升乡村医师的工作。实践使我们
目的探讨微量注射泵使用过程中出现的问题及使用方法，以更好地发挥微泵作用。方法对我科7年微泵使用过程中出现地问题进行分析，并提出解决方法。结果解决了使用过程中人为因素
把源程序转换为流程图是软件工程的研究课题之一。本文提出了一种把源程序转换为结构化的流程图(PAD图)的方法和实现技术,该方法和技术已被用于转换工具IPADT系统。此外,本文
本文设计了一个GHC的并行抽象推理机,对该推理机的进程管理、环境管理、挂起机制、托付机制等一系列课题进行了探讨和研究,并提出了相应的策略和算法。本文提出了一种新的挂