论文部分内容阅读
本文建立了算法复杂性函数渐近优超等价类数学结构，并应用递归论研究中的方法和技巧对该结构的性质进行了系统的研究，证明了该结构具有强Ｆｒｉｅｄｂｅｒｇ－Ｍｕｃｈｎｉｃ性质和在偏序意义下的稠密性定理。
算法复杂性函数渐近优超等价类的结构性质
【摘 要】
：
本文建立了算法复杂性函数渐近优超等价类数学结构，并应用递归论研究中的方法和技巧对该结构的性质进行了系统的研究，证明了该结构具有强Ｆｒｉｅｄｂｅｒｇ－Ｍｕｃｈｎｉｃ性质和在偏序意义下的稠密性定理。
【机 构】
：
扬州大学数学与计算机科学系
【出 处】
：
软件学报
【发表日期】
：
1998年4期
【基金项目】
：
国家863高科技项目基金
其他文献
在2020年COVID-19疫情防控期间,基于防控疫情需要及遵循教育主管部门有关指示精神,蚌埠医学院临床教学部采用线上教学模式对在校本科生进行理论授课。基于前期线上教学实践,
本文首先给出Ｐ／Ｔ网的几种化简运算，然后证明这几种运算对于网的结构性质不变，从而为Ｐ／Ｔ网的分析与综合提供了有效途径。
在小学数学教学中培养学生的计算能力是一个循序渐进的过程,在这个过程中,教师要用合适的方法来指导学生,这对学生计算能力的提高有很大的帮助。本文从培养学生计算方面的兴
本文首先介绍了基于局部光照模型的串行Ｓｈａｄｉｎｇ算法，然后对设计分布式Ｓｈａｄｉｎｇ算法所用到的动态任务分配，数据适用性任务分配，任务粒度等因素作了较为详细的论述，并给出了所设计的新的数据适应性
文章提出了面向对象数据库中对安全性进行建模的一种方法。该方法以多级数据模型为基础，定义了若干种安全性约束，同时引入了一种图示方法，能够对应用安全性模型进行直观地表示。
新课程改革的全面实施,给教师提出了更高的教学要求,即要求教师以新课程标准为指导,及时更新教学理念,灵活运用教学方法,提高初中语文课堂教学效率。本文从四方面入手就如何
本文分析了软件开发过程中的可执行定义方法及其与软件开发的关系，并将作者提出的可招待定义方法论ＭＨＳＣ与现有方法论进行比较，论文表明可执行定义将在软件系统从定义开发到系统实现
BST2是一种新发现的免疫应答因子,对囊膜病毒具有天然免疫作用.二聚体化的BST2一端固定于细胞的细胞膜上,另一端与病毒相结合,这种结构上的特点是其阻止病毒出细胞膜的关键.
Ｓ５ＦＳ与ＵＦＳ是两个互不兼容的ＵＮＩＸ文件系统。基于Ｘｎｏｄｅ的文件系统体系结构便得一个文件系统可以同时支持多种文件系统类型，如Ｓ５ＦＳ和ＵＦＳ。本文介绍了Ｖｎｏｄｅ界面和国家“八五”高科技攻关项目中一个虚拟文件子系