首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   17篇
  免费   3篇
  国内免费   6篇
武器工业   1篇
自动化技术   25篇
  2022年   3篇
  2019年   2篇
  2016年   1篇
  2014年   1篇
  2013年   1篇
  2012年   4篇
  2011年   2篇
  2010年   1篇
  2009年   1篇
  2008年   2篇
  2005年   1篇
  2002年   1篇
  2001年   2篇
  2000年   3篇
  1998年   1篇
排序方式: 共有26条查询结果,搜索用时 15 毫秒
1.
通过对OWL(Web Ontology Language,OWL)本体和SWRL规则语言进行研究,将基于本体和规则的知识表示和智能推理技术应用到舰船扬弹机的故障诊断中。构建了舰船扬弹机的OWL本体及相关的故障诊断SWRL(Semantic Web Rule Language,SWRC)规则,在此基础上开发出一个故障诊断的系统,并实现了诊断推理过程。该系统能帮助设备维护员快速定位故障发生原因,并提供可选用排除故障的基本措施。  相似文献   
2.
张再跃 《软件学报》1998,9(4):307-310
本文建立了算法复杂性函数渐近优超等价类数学结构,并应用递归论研究中的方法和技巧对该结构的性质进行了系统的研究,证明了该结构具有强Friedberg-Muchnic性质和在偏序意义下的稠密性定理.  相似文献   
3.
4.
张再跃  眭跃飞 《软件学报》2000,11(4):441-446
该文证明了在 Rwtt/ Mwtt中除了最大元和最小元外 ,每个元 c是枝点元素 ,即为某两个大于 c的元素的最大下界 ,其中 Rwtt/ Mwtt是递归可枚举弱真值表归约度集 Rwtt模可盖递归可枚举弱真值表归约度集 Mwtt的商  相似文献   
5.
围绕高校人才培养模式改革与创新这一主题,针对目前高校计算机专业人才培养与企业专业人才需求之间存在的矛盾,探讨高校、培训机构、企业三位一体的人才培养模式与实施办法。分析计算机专业课程体系的特点与校企合作过程中专业课程实施存在的问题,提出将"企业概念"贯穿于计算机专业人才培养各个环节的基本思想。  相似文献   
6.
张晓如  张再跃  眭跃飞  黄智生 《软件学报》2008,19(12):3170-3178
研究基于可信度的模糊一阶模态逻辑,给出了基于常域的模糊一阶模态逻辑语义以及推理形式系统描述.为有效进行模糊断言间的推理,考虑了模糊约束的概念.模糊约束是一个表达式,其中既有语法成分又包含意义信息.模糊推理形式系统中的基本对象是模糊约束,针对模糊约束引进可满足性概念,研究模糊约束可满足性相关性质.利用模糊约束的概念,模糊断言间的推理可以直接在语义环境下加以考虑,因此,以模糊约束为基本元素的模糊推理形式系统随之建立.主要分析新产生断言有效性与模糊约束集可满足性之间的关系,并在此基础上给出了模糊推理形式系统的推理规则.进一步的工作可探讨模糊推理形式系统的可靠性与完全性,建立推理过程的能行机制.研究结果可在人工智能和计算机科学等领域得以应用.  相似文献   
7.
计算机课程教学与计算科学思想史研究   总被引:2,自引:2,他引:0  
本文分析了计算学科课程教学计划CCC2002的特点,并从计算机科学与技术方法论的角度探讨了基于知识背景开展计算学科课程教育的基本思想,另外还研究了计算科学思想史研究与基于知识背景计算学科课程教学的关系,同时在课程内容设置、教学组织实施、学生学科素养与能力培养等方面阐述了基于知识背景课程教学对计算机课程教学改革产生的重要影响。  相似文献   
8.
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.  相似文献   
9.
地理信息与数据是客观知识世界的重要组成部分。研究如何从大量非结构化的信息中自动抽取地理实体位置关系具有重要意义。提出一种基于语义文法的地理实体位置关系获取方法,该方法可准确地从网页文本中获取多个地理实体之间的复合位置关系。首先,设计一种反映地理实体位置关系的语义文法GeoRSG。GeoRSG反映了地理实体位置关系的层次分类关系,并采用基于规则的方式刻画地理实体位置关系在文本中的语言表达方式。然后,实现地理实体位置关系解析器GeoRSG Parser。该解析器利用GeoRSG对文本进行解析,获得谓词表达形式的位置关系知识。实验结果显示,该方法从1000条语句中获取了81条三元和816条二元地理实体位置关系,并且取得了88.85%的正确率。  相似文献   
10.
再谈计算机思维   总被引:1,自引:1,他引:0  
总结目前计算思维的研究现状,对计算机科学思维、计算思维和计算机思维等概念的一致性进行分析比较,从不同方面综合分析和阐述计算思维的特征,并对计算思维研究的基本问题进行初步探讨。强调计算科学方法论研究对计算思维研究的重要性,同时指出计算科学思想史研究将对计算思维和计算科学方法论的研究产生积极作用。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号