定性推理在潜在电路分析中的应用

将人工智能中的定性推理技术应用于潜在电路分析(Sneak Circuit Analysis SCA)。提出了一种直观的权电阻网络形式的电路定性建模方法，给出了相应的仿真算法，研究了基于状态的功能标记并将其与定性仿真相结合进行潜在电路分析。最后以某导弹点火控制系统为例进行分析，结果征明了所述方法的有效性。     

近似空间关系代数ASRA及应用

粗定位模型是一种基于粗集的近似区域表示模型 ,基于定性空间推理理论对其进行了代数形式化 .通过空间关系矩阵和 2 4 9种基本空间关系构造了近似空间关系代数 ASRA;讨论了 ASRA的公理和基本性质 ,研究了ASRA和 RCC5关系映射中存在的不确定性 ;把 ASRA应用于 GIS,提出了基于 ASRA的空间关系判定算法ASRA- RCC.与同类算法相比 ,ASRA- RCC能够同时支持确定和近似区域 ,并且具有较高的效率     

自动推理技术发展的回顾与展望

介绍了国内外自动推理技术研究的历史,给出了自动推理的分类方法,阐述了各种自动推理技术的逻辑基础和基本思想,对各种推理模型的优缺点进行了系统的比较,并探讨了自动推理技术的发展趋势。     

自动推理技术发展的回顾与展望

介绍了国内外自动推理技术研究的历史,给出了自动推理的分类方法,阐述了各种自动推理技术的逻辑基础和基本思想,对各种推理模型的优缺点进行了系统的比较,并探讨了自动推理技术的发展趋势.     

逆向云在定性评价中的应用

现有的定性评价存在主观性和随意性大的缺点，缺乏客观性和精确性,云模型是一种定性与定量之间相互转换的有效工具，逆向云可以实现定量数值与定性概念的自然转换，从而得出一个用精确数值表示的定性概念．该文分析并给出了逆向云发生器的具体算法，并对还原的各特征值进行了误差分析．最后将该算法应用到射击评判上，评价结果不仅有射击准确度的评价，而且有运动员心理素质的分析，比仅仅用环数来评价一个运动员更准确、更具体．     

平面形状和布置的一种统一的定性表示方法

基于广义Ｖｏｒｏｎｏｉ图式，提出了Ｖｏｒｏｎｏｉ骨架边的跨度和势的概念，给出了保持连通性的层次骨架的建构算法。     

间歇生产过程的自动机模型

在间歇生产过程中，过程的信息结构由离散状态和连续状态构成．本文以自动机为工具，研究具有混合信息结构的间歇生产过程的描述、控制与优化等问题．     

定性空间推理的研究与进展

定性空间推理是人工智能学科处理常识性空间知识的一种方法[l],其推理任务包括图:推导知识库中的隐含知识;针对给定的部分知识或特定的上下文回答询问;维护一致性;获取新知识特别是认知图;定性场景描述的可视化。     

参数鲁棒镇定问题的可解性必要条件

给定对象族P(s,δ)其参数是向量p范数有界的不确定参数δ的仿射函数.用根轨迹 法证明,P(s.δ)的任意两个元素的可同时镇定性等价于P(s.δ)的每个元素的可镇定性.结果表 明,P(s,δ)的可镇定性可作为一个有效的判断条件以排除那些鲁棒镇定问题肯定无解的情况, 从而更加有效的应用棱边和顶点等已知结果寻找鲁棒镇定问题的解.