排序方式: 共有26条查询结果,搜索用时 468 毫秒
1.
通过对OWL(Web Ontology Language,OWL)本体和SWRL规则语言进行研究,将基于本体和规则的知识表示和智能推理技术应用到舰船扬弹机的故障诊断中。构建了舰船扬弹机的OWL本体及相关的故障诊断SWRL(Semantic Web Rule Language,SWRC)规则,在此基础上开发出一个故障诊断的系统,并实现了诊断推理过程。该系统能帮助设备维护员快速定位故障发生原因,并提供可选用排除故障的基本措施。 相似文献
2.
本文建立了算法复杂性函数渐近优超等价类数学结构,并应用递归论研究中的方法和技巧对该结构的性质进行了系统的研究,证明了该结构具有强Friedberg-Muchnic性质和在偏序意义下的稠密性定理. 相似文献
3.
4.
该文证明了在 Rwtt/ Mwtt中除了最大元和最小元外 ,每个元 c是枝点元素 ,即为某两个大于 c的元素的最大下界 ,其中 Rwtt/ Mwtt是递归可枚举弱真值表归约度集 Rwtt模可盖递归可枚举弱真值表归约度集 Mwtt的商 相似文献
5.
围绕高校人才培养模式改革与创新这一主题,针对目前高校计算机专业人才培养与企业专业人才需求之间存在的矛盾,探讨高校、培训机构、企业三位一体的人才培养模式与实施办法。分析计算机专业课程体系的特点与校企合作过程中专业课程实施存在的问题,提出将"企业概念"贯穿于计算机专业人才培养各个环节的基本思想。 相似文献
6.
研究基于可信度的模糊一阶模态逻辑,给出了基于常域的模糊一阶模态逻辑语义以及推理形式系统描述.为有效进行模糊断言间的推理,考虑了模糊约束的概念.模糊约束是一个表达式,其中既有语法成分又包含意义信息.模糊推理形式系统中的基本对象是模糊约束,针对模糊约束引进可满足性概念,研究模糊约束可满足性相关性质.利用模糊约束的概念,模糊断言间的推理可以直接在语义环境下加以考虑,因此,以模糊约束为基本元素的模糊推理形式系统随之建立.主要分析新产生断言有效性与模糊约束集可满足性之间的关系,并在此基础上给出了模糊推理形式系统的推理规则.进一步的工作可探讨模糊推理形式系统的可靠性与完全性,建立推理过程的能行机制.研究结果可在人工智能和计算机科学等领域得以应用. 相似文献
7.
An r.e. degree c is contiguous if degwtt(A)=degwtt(B)for any r.e. sets A,B∈c.In this paper,we generalize the notation of contiguity to the structure R/M, the upper semilattice of the r.e. degree set R modulo the cappable r.e. degree set M.An element[C]∈R/M is contiguous if s[degwtt(A)]=[degwtt(B)]for any r.e. sets A,B such that degT(A),degT(B)∈[c],It is proved in this paper that every nonzero element in R/M is not contiguous,i.e.,for every element [C]∈R/M,if[C]≠[O] then there exist at least two r.e. sets A,B such that degT(A),degT(B)∈[C]and [degwtt[A]≠[degwtt(B)]. 相似文献
8.
计算机课程教学与计算科学思想史研究 总被引:2,自引:2,他引:0
本文分析了计算学科课程教学计划CCC2002的特点,并从计算机科学与技术方法论的角度探讨了基于知识背景开展计算学科课程教育的基本思想,另外还研究了计算科学思想史研究与基于知识背景计算学科课程教学的关系,同时在课程内容设置、教学组织实施、学生学科素养与能力培养等方面阐述了基于知识背景课程教学对计算机课程教学改革产生的重要影响。 相似文献
9.
张再跃 《计算机科学技术学报》2001,16(1):0-0
In the study of cappable and noncappable properties of the recursively enumerable(r.e.)degrees.Lempp suggested a conjecture which asserts that for all r.e.degrees and b,if a ≮b then there exists an r.e.degree c such that c≤a and c≮b and c is cappable.We shall prove in this paper that this conjecture holds under the condition that a is high.Working below a high r.e.degree h,we show that for any r.e.degree b with h≮b,there exist r.e.degrees a0 and a1 and such that a0,a1≮b,a0,a1≤h,and a0 and a1 from a minimal pair. 相似文献
10.