排序方式: 共有74条查询结果,搜索用时 125 毫秒
1.
讨论了多处理系统MPS上不相容作业集的分配算法,以及对该算法正确性和效率的分析和证明,给出了该算法的若干推论。 相似文献
2.
可拓学在人工智能中的应用初探 总被引:7,自引:0,他引:7
作为一门新的交叉学科,可拓学主要研究人脑“出点子,想办法”处理不相容问题的思维规律及其计算机模拟问题,文中从分类识别,信息开发,策略生成和推理搜索四个方面对可拓学在人工智能中的应用及其发展前景进行了初步探讨。 相似文献
3.
据何断定选言判断选言支间相容与否,涉及到不同的逻辑哲学本体论的承诺。现代逻辑形式系统与传统逻辑应用系统所预设的本体层次是不同的。作为逻辑教学体系的普通逻辑对选言支间相容与否的本体判定,是传统逻辑应用层次的事实存在裁定;现代形式逻辑中之所以没有严格析取的判断形式,是用合取与析取的综合方式进行了取代;不相容选言判断是对思维实际的抽象概括,具有非形式性质,运用形式化析取符号表述排中律,存在矛盾;不相容选言判断的负判断的等值判断,不只有(p∧q)∨(┐p∧┐q)一种形式,还应有(p∧q)∨(┐p∧┐q)的形式,从思维实际论,(p∧q)∨(┐p∧┐q)的形式,更贴近日常思维,更利于研习者理解。 相似文献
4.
仲慧 《济南大学学报(自然科学版)》1995,(2)
根据洪特第一规则及保里不相容原理,提出了推求原子基态光谱项的一种简便方法.该法具有快速、简便、准确、易掌握等特点。 相似文献
5.
对Skowron可辨识矩阵方法进行分析,应用反例说明基于Skowron可辨识矩阵方法对不相容决策表属性约简中存在一定的局限性.针对这一问题,提出了一种基于互信息的求属性核方法,并在此基础上利用互信息作为启发信息,在算法中加入了消除冗余属性的二次约简过程,构造一种完备的启发式属性约简算法.实例分析表明该算法能够有效地对不相容决策表进行属性约简,且具有较好的约简效果. 相似文献
6.
本文图1显示质子和中子在核内的排列顺序,免除了质子静电排斥作用,推翻了核力大于电磁力对电磁力可忽略不计的错误理论。图2显示氮+及氧+如何转换成碳+的推演,从而为天然气的物理成碳学说开启了探索门路。并纠正了现代物理学碳+12是由3个氦+4和氧+16是由4个氦+4累集而成的错误。图4为把门德列耶夫元素周期表用图形表达。 相似文献
7.
目前高校各类经济活动日益活跃,办学资金来源出现了多元化的格局。在这种情况下,高校应当建立完善的内部控制,如不相容职务分离控制、授权批准控制、会计系统控制、预算控制、财产保全控制和内部审计控制等,以促进高校健康发展。 相似文献
8.
费素斌 《鞍山科技大学学报》1999,(2)
力求通过概念之间关系的探讨,理清概念间相容与不相容以及它们的层次关系,使人们对概念及概念的层次、相容等关系有一个清楚的了解,以指导工作实践 相似文献
9.
费素斌 《辽宁科技大学学报》1999,22(2)
力求通过概念之间关系的探讨,理清概念间相容与不相容以及它们的层次关系,使人们对概念及概念的层次、相容等关系有一个清楚的了解,以指导工作实践. 相似文献
10.
本文通过一个反例指出, R. P. Pant和V. Pant给出的两个在严格压缩条件下的不相容映射的公共不动点定理是不正确的.同时, 修正了这两个定理,得到两个新的不相容映射的公共不动点定理. 相似文献