工程实例知识的表达和推理机制研究

介绍了工程实例类知识的表达和基于实例的推理机制,是这基于实例的推理在工程智能ＣＡＣＤ系统中得以应用必须解决的关键总是在基于实例的推理中,将模糊数学的基本概念引入到实例相似性度量中,提出一种相似性计算的方法。     

A FUZZY REASONING PETRI NET MODEL AND ITS REASONING ALGORITHM

ＩｎｔｒｏｄｕｃｔｉｏｎＰｅｔｒｉｎｅｔ（ＰＮ）ｉｓａｍｏｄｅｌｉｎｇｍｅｔｈｏｄｕｓｉｎｇｎｅｔｇｒａｐｈｓ．Ｕｓｕａｌｌｙ,Ｐｅｔｒｉｎｅｔｉｓｕｓｅｄｔｏｍｏｄｅｌａｎｄａｎａｌｙｚｅｄｉｓｃｒｅｔｅｅｖｅｎｔｓｙｓｔｅｍｓ（ＤＥＳ）,ｓｕｃｈａｓｃｏｍｍｕｎｉｃａｔｉｏｎ,ｍａｎｕｆａｃｔｕｒｉｎｇｓｙｓｔｅｍｓａｎｄｓｏｏｎ．Ｃｕｒｒｅｎｔｌｙ,ｓｏｍｅｗｏｒｋ［１,２］ｉｓｂａｓｅｄｏｎａｃｏｍ－ｂｉｎａｔｉｏｎｏｆＰｅｔｒｉｎｅｔｓａｎｄａｒｔｉｆｉｃｉａｌｉｎｔｅｌｌｉｇｅｎｃｅ…     

Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra

As a continuate work,ideal-based resolution principle for lattice-valued first-order logic system LF(X) is proposed,which is an extension of α-resolution principle in lattice-valued logic system based on lattice implication algebra.In this principle,the resolution level is an ideal of lattice implication algebra,instead of an element in truth-value field.Moreover,the soundness theorem is given.In the light of lifting lemma,the completeness theorem is established.This can provide a new tool for automated reasoning.     

一种基于Rough集的案例推理模型的构建

利用Rough集理论处理案例推理问题具有不需要外界信息和先验知识的优点,对案例库中冗余属性进行简化,能够起到优化案例库的作用,同时能够依赖于统计知识提炼规则并形成多个有效的案例索引,在进行案例检索时可针对不同的检索问题选择恰当的索引快速检索到相似的案例,并进行推理得出相应的问题解决方案.最后,以稀土萃取分离生产过程的产品纯度和料液处理量等生产指标的智能优化设定控制为例,验证了该模型的可行性和精确性.     

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

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

基于交通流颗粒化结构的交通控制模型

城市交通系统是一个复杂的、非线性、非结构化、强相关的随机系统,在选择适当时空尺度的交通流颗粒结构且消除或减弱了颗粒间关联的基础上,多尺度分析是交通系统一个简单而又有足够精度的问题求解方法。基于交通流颗粒化结构建立了多智能体交通控制模型,采用基于案例推理的动态参数匹配和协调冲突检验,以寻求交叉口信号控制的优化方案。最后,以广州中心区交叉口为例说明颗粒化结构分布式求解方案的可行性。     

基于模糊推理的驾驶员意图识别研究

对驾驶员换档操作进行了动力学分析,定义了平直道路匀速行驶的平衡节气门开度和相对节气门开度,研究了典型工况下驾驶员操作特征,将平直道路行驶时的驾驶员意图分为相互关联的五类,并在此基础上提出了将驾驶环境和驾驶员操作相统一的识别方法。根据相应的实车实验数据和经验收集,制定了模糊推理的规则库,建立了多输入单输出的模糊推理模型。对实车实验数据进行了离线识别验证,能够比较准确完整的识别驾驶员意图。     

远传式水表在自动化港区中的应用

传统抄表方式存在工作量大、计量不及时、渗漏点难发现等问题,结合自动化港区自动抄表的生产管理要求,对传统港区内水量计量的现状及水流失的原因进行分析。在远传式水表在房产项目应用的经验基础上,根据自动化港区的特点,定义了远传式水表在自动化港区内的功能、系统框架构成,并对其应用效果进行分析。远传式水表系统在洋山四期自动化码头中的应用,从根本上解决了传统抄表方式存在的一系列问题,并给今后自动化码头水系统的管理模式提供良好的范例。     

基于压缩感知隧道结构健康监测与可靠性评价

为了弥补隧道监测数据缺失导致信息丢失的不足,从而能够更好地评价地铁隧道结构健康状况,基于压缩感知理论对健康监测数据进行处理,通过对运营地铁的结构健康监测数据进行压缩和重构,减少对原始监测数据的传输和存储压力,以提高获取的地铁健康相关数据的信息完备与可靠性,为隧道结构健康安全评价提供数据基础。在此基础上,构建运营地铁隧道安全风险指标评价体系,在获取完备数据的基础上,基于不确定性视角,采用云推理综合评估运营地铁隧道的可靠程度,以及时掌握运营地铁的安全状态,并找到影响其可靠性的关键风险,从而制定相应的管控措施。最后以武汉地铁2号线长汉区间监测点的累计沉降作为数据样本进行实例分析,结果显示压缩感知能使监测数据重构以获得完备数据,再利用逐级云推理得到安全风险等级云图与实际情况相符。     

地铁车辆车体快速设计方法

针对地铁车辆车体设计知识重用率不足而导致研发周期较长的问题,提出集成实例推理技术和关联设计技术的地铁车辆车体快速设计方法。首先,构建地铁车辆车体主模型,并以该模型为基础建立地铁车辆车体快速设计流程;然后,研究基于实例推理的产品配置方法,以及基于关联设计的产品变型方法;最后,以地铁车辆车体为例验证了该设计方法的有效性与可行性。