基于组件逻辑结构关系的故障诊断方法

提出一种利用组件逻辑结构关系直接求解所有最小诊断的方法。该方法将系统的最小诊断求解分解为离线建立规则和在线确定诊断两个步骤,方法的本质属于溯因诊断。以Poly-box系统为例验证了方法的正确性,同时对方法的诊断解的完备性、可采纳性、重用性进行了分析说明。针对方法中的规则建立效率低下的问题,提出了两点改进措施,并仍以Poly-box系统为例进行了对比验证,结果表明,改进的方法提升了诊断规则的建立效率。     

自动定理证明中带有等词的连接法

连接法是一种较新的自动定理证明的方法.该文讨论了带有等词的连接法,给出了形式化的定义,证明了带有等词的逻辑公式是eq有效的当且仅当它有互补复合例的规范矩阵的定理,并设计了带有等词的连接法的有关算法.     

原油和凝析油轻烃的毛细管柱气相色谱分析法的改进

分析原油和凝析物的C4～C8轻烃,一般首先蒸馏切割原油或凝析油,然后用一根长的高效毛细管色谱柱进行GC分析。为了避免蒸馏带来的轻烃损失,我们改用了凝析油直接进样分析、原油或混油凝析油在丙烷脱沥青和A12O3脱胶质后再直接进样分析、He抽提法分析C4～C8轻烃等三种方法。与此相适应,我们设计并制成了耐高温的微型毛细管柱无死体积联结器和其它辅助设备。     

基于MATLAB/Simulink的漫水湾水电厂电气主接线系统建模与仿真

基于MATLAB/Simulink建立了四川省凉山漫水湾水电厂的电气主接线系统模型,仿真了正常和各种故障运行状态,仿真结果与理论情况一致,仿真表明该仿真模型具有实际可行性,为该电厂电气运行和维护提供理论参考。     

对低压配电系统重复接地问题的探讨

着重介绍了重复接地在TN系统中的运用,并就故障时重复接地在降低零线对地电压、减少触电危险减轻设备损害程度等方面进行了论述。     

多段转弯连接回转通道的换热和压力分布研究

为了掌握涡轮叶片内的多段通道连接关系对回转通道壁面换热和沿程压力分布的影响,采用数值模拟方法研究了带肋单通道、回转通道模型的流动特性,通过瞬态液晶实验测量了回转通道壁面换热分布,揭示了多段通道连接关系对回转通道壁面换热的影响机理。实验结果表明:转弯连接使各段通道的速度分布不均;回转通道沿程压力系数逐渐减小;转弯连接使回转通道各段通道的换热分布不对称,沿流向的努赛尔数Nu逐渐减小;沿程展向平均Nu呈多波峰状分布,肋的扰流作用沿流向逐渐减弱,且两肋之间的高换热区沿流向逐渐向肋下游的背风面偏移;肋间区域的平均Nu沿流向逐渐减小;回转通道各段平均Nu随雷诺数的增加而增大,且增加幅度逐渐减小。     

终端嵌入式数学公式手写识别中的连笔搜索算法

在数学公式的手写识别中,由于人们的书写习惯造成大量连笔的存在,连笔识别错误给后续公式的识别造成的影响是当前公式识别系统中一个非常重要、而又没有得到很好解决的问题,同时,公式输入的过程中出现连笔又在所难免.本文提出了一种基于DP算法和隐马尔可夫模型的数学公式连笔字符识别方法,识别时,采用DP匹配算法和隐马尔可夫模型相结合的方法,首先使得字库样本与待识样本的码列匹配关系是最优的,当出现连笔字符或结构系统拒识时,采用隐马尔可夫分类器,从而提高整体的识别效率.     

外伸式端板连接节点变形研究

针对当前端板连接节点的半刚性,采用通用的有限元程序,对门式刚架外伸式端板连接的5种典型的节点进行了受力及变形分析,探讨了有加劲肋的外伸式端板连接节点的变形机理.针对不同构造的节点,分析了节点的最大等效应力?节点转角及节点刚度,探讨了此类节点半刚性的原因,发现端板连接节点的变形主要是由节点域腹板剪切变形和节点下部柱身变形引起的.通过合理的构造措施,可使该类节点的刚度明显提高.     

榫连接结构叶片盘振动特性研究及验证

针对航空发动机榫连接结构叶片盘振动特性分析时,采用一体化处理建模方法导致计算精度降低的问题,开展了榫连接结构叶片盘振动特性研究.提出了一种考虑榫连接刚度的叶片盘建模方法,以燃气涡轮叶片盘对象,采用上述方法完成了考虑榫连接刚度的燃气涡轮叶片盘建模,在此基础上进行了叶片盘振动分析并开展了动应力试验验证.结果表明:采用考虑榫连接刚度的叶片盘模型得到的叶片共振转速计算精度在6％以内,相比于榫连接结构一体化的叶片盘模型,得到的共振转速计算精度提高50％.研究工作可为航空发动机叶片盘振动设计提供指导.     

总熵判据和吉布斯函数判据

总熵判据和吉布斯函数判据在化学热力学中起着重要的作用。通过这些判据我们能够决定相应条件下某种化学过程的方向和限度,所以理解和掌握它们是非常重要的,本文集中探讨了这两个判据的应用及其相互关系。