基于DL-Safe规则的UML状态图形式化和一致性验证

为了对UML状态图进行形式化验证,将状态图中的语义分为静态语义和动态语义两部分,用描述逻辑知识库表示静态语义,用DL-Safe规则表示动态语义.研究了检查UML状态图一致性的算法,该算法能够用DL-Safe规则对知识库进行推理达到检查状态图一致性的目的,最后分析了算法的可行性.     

情绪Agent信息处理模型的构建

在传统Agent的设计与实现过程中,研究者往往只考虑理性因素对于Agent决策等过程产生的影响,而事实上人类的智能不仅包括理性智能,还包括感性智能。为了使Agent具有更加类似于人类的智能,应该在Agent的设计中考虑情绪等感性因素。着重关注了情绪因素对于Agent处理外界信息这一过程的影响,提出了考虑情绪因素的外界信息处理过程模型并且以认知模块的形式在Agent中加以实现。该模型容易在工程中应用,并且能够反映情绪因素的影响,因此适用范围较广。     

AHP及其在新兵综合素质考评中的应用

运用AHP方法,通过建立新兵综合素质考评的层次结构模型,确定部队新兵综合素质考评中的各科目的相对权重,对新兵的综合素质进行定量分析和计算,为新兵专业选择、单位分配和选送技术学兵提供科学的决策依据.     

面向目标的C4ISR系统效能概念建模与一致性分析方法

为了解决C4ISR系统效能需求的获取与验证问题, 从C4ISR系统的软目标分析出发, 构造了C4ISR系统能力元本体, 提出了 一种本体引导的C4ISR系统效能需求获取算法; 利用UML Profile扩展机制, 设计了效能概念的对象建模方法; 探讨了基于本体概念推理的效能概念模型一致性检验算法, 研究了从UML模型到描述逻辑本体的映射算法; 最后以一个防空系统效能分析案例, 说明方法的理论可行性.     

烧结钕铁硼生产批次量与材料一致性分析

本文详细论述了烧结钕铁硼主要工序的生产批次量,对批次之间的差异进行分析,提出改善材料一致性的方法。     

Feature fusion method for edge detection of color images

A novel feature fusion method is proposed for the edge detection of color images. Except for the typical features used in edge detection, the color contrast similarity and the orientation consistency are also selected as the features. The four features are combined together as a parameter to detect the edges of color images. Experimental results show that the method can inhibit noisy edges and facilitate the detection for weak edges. It has a better performance than conventional methods in noisy environments.     

司源性、一致性和相似性的辨析

针对描述CDNA、DNA、氨基酸和蛋白质序列等亲缘关系的3个专用词语——同源性、一致性和相似性在生物类论文中交错使用的问题，对其具体含义和运用进行了分析，以明晰各词语在论文中的准确使用，提高编辑校对质量。     

论海峡两岸当代文学发展流变的殊途同归——从偏狭到拓展

随着１９４９年中国政治格局的大变动，海峡两岸在意识形态和经济体制等方面完全进入了敌对和隔绝状态，文学也因此表现出了不同的价值取向。但是，不同的文学表征，事实上却掩盖着发展流变过程中的根本一致性。这是在诸多海峡两岸文学研究中被深深漠视了的一个深刻     

关于书目数据库回溯建库的思考

结合山西省图书馆工作实际，阐述了回溯建库的目的、意义和基本原则，重点探讨了回溯建库的方法、步骤以及质量控制问题。     

光晶格钟有望重新定义秒

法国巴黎天文台吉勒莫·洛德韦克和同事最近证明，两台先进的光晶格钟（OLC）的运行步调几乎完全一致，精确度最少可达1．5×10^-16。如果想用OLC重新定义秒的话，这种一致性测试必不可少，因此，这一最新研究有望让科学家们重新定义秒。