期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到5篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
流图可归约性判定的一个实用算法
1
作者 叶震 《合肥工业大学学报（自然科学版）》 CAS CSCD 1995年第2期54-57,共4页
本文得到了流图Ｇ可归约性判定的一个实用的充要条件．并给出了一个可归约性判定算法，该算法同时计算出Ｇ中各结点的必经结点集．对于不可归约流图，还可指出Ｇ中的所有向后边（ｒｅｔｒｅａｔｉｎｇｅｄｇｅｓ）。对于实际实用，其时... 本文得到了流图Ｇ可归约性判定的一个实用的充要条件．并给出了一个可归约性判定算法，该算法同时计算出Ｇ中各结点的必经结点集．对于不可归约流图，还可指出Ｇ中的所有向后边（ｒｅｔｒｅａｔｉｎｇｅｄｇｅｓ）。对于实际实用，其时间复杂性优于通用的计算必经结点集的算法． 展开更多
关键词 流图分析 可归约性 必经结点 代码优化 算法
下载PDF
流图可归约性判定的一个实用算法
2
作者 叶震 《微型计算机》 北大核心 1994年第4期38-39,共2页
本文得到了流图Ｇ可归的性判定的一个实用的充要条件，并给出了一个可归的约性判定算法、该算法同时计算了Ｇ中各结点的必经结点集。对于不可归的约流图，还可指出Ｇ中的所有向后边。实际应用中其时间复杂性优于［３］中计算必经结点集... 本文得到了流图Ｇ可归的性判定的一个实用的充要条件，并给出了一个可归的约性判定算法、该算法同时计算了Ｇ中各结点的必经结点集。对于不可归的约流图，还可指出Ｇ中的所有向后边。实际应用中其时间复杂性优于［３］中计算必经结点集的算法。 展开更多
关键词 编译系统 流图 可归约性 算法
下载PDF
有限可换主理想环上广义模理论T(Q)的模型可归约性
3
作者 薛锐 《Journal of Mathematical Research and Exposition》 CSCD 1998年第4期618-622,共5页
本文在对两个模型定义了α，β，ｎ－扩充的基础上，利用广义ＥｈｒｅｎｆｅｕｃｈｔＧａｍｅ理论证明了Ｔ（Ｑ）的模型可归约性，从而得到：对无限基数α，β，（α≥β＞０），对于模型ＡαＴＲ（Ｑ）则存在模型ＢβＴＲ（Ｑ）... 本文在对两个模型定义了α，β，ｎ－扩充的基础上，利用广义ＥｈｒｅｎｆｅｕｃｈｔＧａｍｅ理论证明了Ｔ（Ｑ）的模型可归约性，从而得到：对无限基数α，β，（α≥β＞０），对于模型ＡαＴＲ（Ｑ）则存在模型ＢβＴＲ（Ｑ）使得Ａα≡βＢ；以及任意自然数ｍ＞０，存在模型Ｃ０ＴＲ（Ｑ），使得Ａα≡ｍ０Ｃ． 展开更多
关键词 模理论 广义模理论 模型可归约性 有限主理想环
下载PDF
模糊描述逻辑f-DLR-Lite∩的合取查询回答 被引量：1
4
作者 程经纬 马宗民 +1 位作者 严丽 王海龙 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2008年第9期1249-1252,1296,1256,共6页
分析了描述逻辑合取查询回答的研究现状及存在的不足,在描述逻辑DL-Lite和模糊集理论的基础上,提出了一种可表示和处理n元关系,并允许在包含公理左侧出现概念合取的新的模糊描述逻辑f-DLR-Lite∩,并给出其语法和语义及知识库的形式.提... 分析了描述逻辑合取查询回答的研究现状及存在的不足,在描述逻辑DL-Lite和模糊集理论的基础上,提出了一种可表示和处理n元关系,并允许在包含公理左侧出现概念合取的新的模糊描述逻辑f-DLR-Lite∩,并给出其语法和语义及知识库的形式.提出了一种兼容查询阈值和用户指定权重的模糊查询语言,给出了利用这种语言在f-DLR-Lite∩知识库上进行合取查询的具体步骤和算法,并进行了算法时间复杂度分析,讨论了该合取查询过程的一阶逻辑可归约性.f-DLR-Lite∩弥补了经典描述逻辑在知识表示和推理上的不足,扩展后的查询语言对用户查询意图的表达更加精确合理. 展开更多
关键词 描述逻辑 合取查询 模糊查询语言 一阶逻辑可归约性 f-DLR-Lite∩
下载PDF
时间复杂性和空间复杂性研究 被引量：4
5
作者 高强 徐心和 《智能系统学报》 CSCD 北大核心 2014年第5期529-535,共7页
计算复杂性是衡量问题求解的难易程度的。研究问题的计算复杂性,可以明确该问题是否存在有效的求解算法。介绍并分析了计算理论的一些基本概念,论述了时间复杂性(包括P、NP、NP-hard、NP-complete和EXPTIME)和空间复杂性(包括PSPACE、NP... 计算复杂性是衡量问题求解的难易程度的。研究问题的计算复杂性,可以明确该问题是否存在有效的求解算法。介绍并分析了计算理论的一些基本概念,论述了时间复杂性(包括P、NP、NP-hard、NP-complete和EXPTIME)和空间复杂性(包括PSPACE、NPSPACE、PSPACE-hard和PSAPCE-complete)中的各个主要分类。最后分析了各个复杂性类之间的关系。 展开更多
关键词 计算复杂性 图灵机 确定型多项式时间复杂性 非确定型多项式时间复杂性 非确定型多项式时间复杂性的完全问题 确定型多项式空间复杂性 确定型多项式空间复杂性的完全问题 可归约性
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部