基于模糊相似优先比的强夯有效加固深度范例推理研究

运用模糊相似优先比的概念,构造了一个强夯有效加固深度预测的模型。对每一个影响强夯有效加固深度的因素,分别建立了目标范例与源范例之间的模糊相似优先关系。经过影响因素之间的两两比较,获得不同的影响因素下强夯地基的目标范例与源范例之间的相似性序列,计算得到强夯地基有效加固深度目标范例和源范例之间的综合相似性序列,从而找到与强夯有效加固深度目标范例最相似的源范例,实现了有效加固深度的预测。实例评价结果与实际有效加固深度结果一致。     

基于案例推理的地铁盾构风险评估方法

针对地铁盾构施工风险评估的现状及相关事故案例未能有效利用的问题,提出基于案例推理(case-based reasoning,CBR)的地铁盾构风险评估应用方法并展开研究。对地铁盾构施工风险评估案例表示方式和修改方法进行设计,并阐述在制定事故案例过程中如何进行案例的修改、调整和应用,为建立智能化的盾构风险评估辅助系统,对更贴近实际的风险评估方法作探索性尝试,指出该系统在实现过程中存在案例表示、相似案例检索、评估体系确定及案例库维护等方面的关键难点,并提出相关的解决思路,为风险评估的智能化系统设计与实现提供指导和借鉴。     

基于案例推理的铁路行车事故应急决策方法研究

为提高铁路行车事故应急处置能力,本文提出一种实用的行车事故应急决策方法,将案例推理(Casebased Reasoning,CBR)理论应用到铁路应急决策中。首先对铁路行车事故的案例表示、案例属性体系进行描述;其次,针对铁路行车事故案例属性值类型,考虑数值型、有序枚举型、无序枚举型、区间数型及模糊数型5种形式,给出不同形式属性值的局部相似度计算模型;然后,通过计算当前铁路行车事故与事故案例的各属性相似度,建立全局相似度计算模型;再次,提出当前铁路行车事故属性缺失时的全局相似度计算模型;最后,使用案例验证该方法可行且有效。     

基于实例推理的抓斗智能设计研究

提出了基于CBR技术和三维实体造型技术的抓斗智能设计的流程、抓斗实例库的建立及实例表达及检索方法．在SolidWorks软件平台上二次开发了抓斗智能设计系统，并利用从上至下的设计方法实现了基于实例推理的抓斗产品设计．     

化LF(X)中任一公式为可归约形式的算法

针对基于归结方法的自动推理过程中的化任一公式为可归约形式这一问题进行研究．简述了LF(X)及其中公式的相关概念，证明了对LF(X)中公式进行转化的若干理论结果，并由此给出化LF(X)中任一公式为可归约形式的理论基础和基本算法．     

On Derived Functions of English Progressive Tense

By analysing example sentences, this paper puts forward an idea that English progressive tense has some derived functions apart from its basic usage, which we can use to express or take in ideas more accurately.     

生产技术准备过程的时间Petri网模型及其推理方法研究

从Petri选择网模型的概念入手,分析了时间Petri网（TPN）模型的特点,研究了时间Petri网中顺序模型、并行模型、模型和循环模型等的推理方法.应用该方法建立了生产技术准备过程的时间Petri网模型,得出了基于时间Petri网的工作流模型复合线性推理方法,并采用一个具体的实例说明该方法的应用.     

民航机务维修差错及其预警专家系统构建

通过对航空机务维修差错控制研究现状的分析,指出存在的问题,提出了以SHEL模型作为维修差错相关信息收集的工具,REASON模型作为分析这些信息的框架,从"人、机、环境、管理"四个方面进一步对维修差错的诱因进行分类的新思路.在此基础上,将Agent技术和基于规则的不确定性推理的预警方法应用于民航机务维修领域,构建了预警专家系统,阐述了其体系结构和系统功能.     

基于改进D-S证据理论的车辆导航地图匹配

对传统D-S证据理论算法进行了改进,解决了证据的可信度和决策规则问题,使新的组合推理规则能够有效地处理证据中的冲突信息.并结合当前城市道路网日益复杂的实际特点,采用Pignistic概率的决策理论和基于权值D-S证据推理的地图匹配新算法,建立车辆位置信息和方向信息判决规则,有效地利用现有信息扩大各匹配道路之间的信度差异,提高了算法的鲁棒性.通过仿真和试验表明,该算法可以较好地解决城市复杂路网地图匹配问题.