描述逻辑SHIN的ABox一致性判定算法

为了判定描述逻辑SHIN的ABox一致性,提出了一种Tableau算法。给定TBox T、ABox A和角色层次H,该算法通过预处理将A转换成标准的ABox A′,按照特定的完整策略将一套Tableau规则应用于A′,直到将它扩展成完整的ABox A″为止。A与T和H一致,当且仅当算法能产生一个完整且无冲突的ABox A″。算法所采用的阻塞机制可以避免Tableau规则的无限次执行,该机制允许一个新个体被在其之前创建的任意新个体直接阻塞,而不仅仅局限于其祖先。通过对算法的可终止性、合理性和完备性进行证明,算法的正确性得以确认。

城市轨道交通车辆车端低压接线箱端子排的改进设计

针对城市轨道交通车辆用车端低压接线箱内传统端子排设计的弊端,对车端低压接线箱内的端子排进行设计改进:端子排倾斜安装,端子序号采用按原理图"功能组分区"进行划分的原则。该改进结构符合人体工程学的设计,能有效提高工作效率及接线正确率。端子排的倾斜安装结构还可应用于空间受限、接线不方便以及有设计优化需求的设备。

提高高低速改造后循环水泵电机的安全可靠性

循环水泵电机高低速接线由于其接线方式及使用材料材质的限制,在设备启动过程中多次出现电气故障现象,给机组的安全运行带来极大的风险。通过对故障原因的分析认为有必要对高低速接线箱的接线方式进行改造,从根本上消除故障隐患,提高设备运行可靠性。