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

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

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

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

基于动态故障树的计算机联锁系统安全性及性能分析研究

针对2种常用冗余结构计算机联锁系统中的联锁机子系统,在考虑单元模块、比较模块和系统间切换模块全故障模式的情况下,建立双机热备和2×2取2计算机联锁系统的危险失效概率PFD和安全失效概率PFS的动态故障树模型。由于故障树概率近似法和Markov方法计算结果非常近似且概率近似法的求解过程简单和存储要求低等特点,采用概率近似法求解对应的PFD和PFS,实例对比分析2种冗余结构计算机联锁系统的安全性。研究结果表明:在全故障模式下,2×2取2计算机联锁系统的安全性高于双机热备。     

钢箱梁初步设计近似公式研究

箱型钢梁是薄壁结构,理论上应使用板壳元素为分析元素较能反映实际的受力及变形。为有效进行设计与分析,已有多种商业软件,但是在确定分析元素与分析的前置作业也相当繁杂费时,而造成初步设计的困难。因此如何利用平板力学相关理论推导箱型钢梁受力变形近似公式将可帮助箱型钢梁设计者减少非必要的工作负担。本文的探讨方法是将箱型钢梁上翼板变形分为上翼板与腹板交界处变形及上翼板变形这两种变形的迭加,进而推导出近似公式。直线型式等截面简支箱型钢梁分别用有限元软件SAP2000和近似公式计算进行准确度的比较,误差百分比尚在初步设计的容许误差范围内。     

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

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

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

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

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

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

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

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

沉管隧道横向地基刚度分布模式初探

为解决沉管结构横向设计计算中的地基刚度取值问题,基于HS本构模型,通过理论推导研究地基刚度随应力水平的变化关系,得出沉管隧道横向地基刚度分布的近似解析解。结果表明： 1)沉管横向地基刚度分布模式与地基初始刚度、结构刚度、地基应力水平和上部荷载有关; 2)在软弱地基情况下,沉管横向地基刚度为W形分布模式; 坚硬地基情况下,底板跨中可能会与地基发生局部脱开,脱开段地基刚度为水平分布; 3)通过算例分析,地基刚度分布近似解析解与数值模拟结果能够较好地吻合,可为沉管结构计算提供依据。