基于本体的语义推理研究

语义Web作为新一代Web正倍受关注,而Web的资源描述语言RDF、RDF的词汇描述RDF Schema,以及最新的本体语言OWL等已成为现今语义Web上的规范语言.文中概述了本体语言和描述逻辑及它们之间的关系,并通过一个实例显示了一个本体文件中传递闭包的推理路径.     

三维方位关系的定性描述与定性推理

结合定性推理、空间推理与人工智能产生的定性空间推理,已成为人工智能的1个研究热点,是空间关系的重要组成部分,为空间方位关系空间分析、辅助决策等提供了基础。因此,空间方位关系的形式化描述与定性推理非常重要。本文用单纯形数据模型描述三维空间实体,通过研究单纯形间的方向关系研究空间实体间的方向关系。提出采用三元组描述了两空间对象间的三维方位关系,并对该描述方法的定性推理作了详细研究。三维方位关系分为单方位关系与多方位关系,重点研究了单方位关系定性推理,在此基础上分析了多方位关系定性推理与单方位关系定性推理方法的联系,将多方位关系定性推理转化为对多个单方位关系定性的推理。     

Development of a knowledge-based hybrid failure diagnosis system for urban transit

Urban transit is a complex system that contains both electrical and mechanical entities; therefore, it is necessary to construct a maintenance system for ensuring safety during high-speed driving. Expert systems are computer programs that use numerical or non-numerical domain-specific knowledge to solve problems. This research aims to develop an expert system that diagnoses the causes of failures quickly and displays measures to correct them. For the development of this expert system, the standardization of a failure code classification and the creation of a Bill of Materials (BOM) were first performed. Through the analysis of both failure history and maintenance manuals, a knowledge base has been constructed. Also, for retrieving the procedure of failure diagnosis and repair linking with the knowledge base, we have built a Rule-Based Reasoning (RRB) engine with a pattern matching technique and a Case-Based Reasoning (CBR) engine with a similar search method. Finally, this system has been developed as web based in order to maximize accessibility.     

CASE STORAGE BASED ON RELATIONAL DATABASE

IntroductionCase- Based Reasoning ( CBR) ,as a relativelynew methodology,has attracted wide concern ofAI researchers since1 980 's.The number of suc-cessful applications of CBR is growing rapidly,especially in the fields of architecture and indus-try,e.g. ARCHI- II[1] for the architecture designof courthouse and MIDAS[2 ] for the conceptualdesign of aircraft.The currently prevailing CBD systems mostlytreat cases as instances of some predeterminedand static case template.Such an appro…     

Cost overruns in transportation infrastructure projects: Sowing the seeds for a probabilistic theory of causation

Understanding the cause of cost overruns in transportation infrastructure projects has been a topic that has received considerable attention from academics and the popular press. Despite studies providing the essential building blocks and frameworks for cost overrun mitigation and containment, the problem still remains a pervasive issue for Governments worldwide. The interdependency that exists between ‘causes’ that lead to cost overruns materialising have largely been ignored when considering the likelihood and impact of their occurrence. The vast majority of the cost overrun literature has tended to adopt a deterministic approach in examining the occurrence of the phenomenon; in this paper a shift towards the adoption of pluralistic probabilistic approach to cost overrun causation is proposed. The establishment of probabilistic theory incorporates the ability to consider the interdependencies of causes so to provide Governments with a holistic understanding of the uncertainties and risks that may derail the delivery and increase the cost of transportation infrastructure projects. This will further assist in the design of effective mitigation and containment strategies that will ensure future transportation infrastructure projects meet their expected costs as well as the need of taxpayers.     

基于主成分分析的军用软件成本类比估算

论文探讨基于案例库的军用软件成本类比估算法。首先采用主成分分析抽取最具代表的软件度量组合,以此建立综合评估模型,以软件综合评估值为软件相似度度量,分析相似度与成本之间的相关关系,进而估算当前软件成本。案例的成功应用证明了方法的可行性和有效性。     

基于区间矩阵的时态关系的简化方法

用区间代数能表示不确定的时态关系,可以方便地应用于时态推理,表达能力强。将区间代数及区间矩阵中有端点相等的基本关系去掉,只保留现实世界中真正可能发生的基本关系,大大降低了问题的复杂性,然后,对每个原子矩阵建立一个特征集,用特征集的并运算来取代矩阵的复合运算,提高了计算效率。     

基于BP神经网络和案例推理的装备故障诊断研究

分析了BP神经网络和基于案例推理（CBR）在故障诊断领域应用中的优点、局限性和互补性,设计了二者相结合的装备故障诊断模型,通过某型装备的故障诊断实例,验证了该算法的有效性。     

基于故障树的城市轨道交通运营可靠性分析

以预防和减少城市轨道交通运营故障的发生为目的,利用故障树的分析方法,建立了城市轨道交通运营故障树模型,对导致城市轨道交通运营失效的故障进行了定性以及定量分析。定性分析获得了导致城市轨道交通运营失效的所有故障组合,定量分析获得了导致城市轨道交通运营失效的主要故障类型,利用定性定量分析得到的结果,提出了提高城市轨道交通运营可靠性的相关建议,为运营故障的检测以及维修提供方法和依据。     

HYBRID STRATIFIED ATMS AND ANN FOR CASE-BASED REASONING

ＩｎｔｒｏｄｕｃｔｉｏｎＭａｋｉｎｇｕｓｅｏｆｅｘｐｅｒｔｅｘｐｅｒｉｅｎｃｅｆｏｒｐｒｏｂｌｅｍｓｏｌｖｉｎｇｉｓｔｈｅｋｅｒｎｅｌｏｆＡｒｔｉｆｉｃｉａｌＩｎｔｅｌｉｇｅｎｃｅ．Ｅｘｐｅｒｔｅｘｐｅｒｉｅｎｃｅｓｏｍｅｔｉｍｅｓｉｓｄｉｆｉｃｕｌ...