一阶逻辑中的扩展子句消去原则

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（set resolution subsumption, SRSE）方法和集合归结不对称恒真消去（set resolution asymmetric tautology elimination, SRATE）方法，并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性. 最后在理论上比较了SRSE方法和归结包含消去（sesolution subsumption elimination, RSE）方法以及SRATE方法和归结不对称恒真（sesolution asymmetric tautology elimination, RATE）方法之间的有效性，结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效.      

迈腾B8电动后视镜控制系统的检测方法

鉴于现代轿电动后视镜控制系统功能繁多、结构复杂,故障排除难度较大。以迈腾B8电动后视镜控制系统为研究对象,通过分析其线路图工作原理,进而重点分析了后视镜转换开关EX11信号的检测信号和后视镜左右调节电动机V17控制电路的工作过程、常见故障与检测方法。结果表明:通过该检测方法能够有效地排查出该控制系统常见故障,并能够为其他车型控制系统提供规律性参考。     

大跨径预应力箱梁体外预应力加固技术研究

随着我国经济的不断发展，桥梁基础性建设也在不断完善，但随着重型车辆出现及交通量的迅猛增长，对公路桥梁等结构的影响越来越严重。以某跨海大跨径预应力混凝土现浇箱梁桥为工程背景，在交通量的增大，重型、超重型车辆的增多及施工期间支架发生下沉的情况下进行加固，对该类桥梁体外预应力加固技术进行深入研究。结果表明，采用短束交叉锚固，使得施工更加方便，体外预应力束可根据各跨的病害情况可实现复张、可调节、可更换及可测量的新技术，且在实际工程中已验证加固效果良好；多单束小股分散锚固可降低应力集中，防止转向块及锚固块由于应力集中从而导致开裂。     

海上无线电气象传真系统构成及技术扩展

海上无线电气象传真业务是船舶接收海上气象信息的重要手段之一,能够为国家履行国际公约及加强航海保障能力提供强有力的支持。本文结合海上无线电气象传真系统工程建设实践,重点介绍了该系统的构成及工作流程,分析了工程建设中关注的几个问题,并对后续系统功能技术扩展提出了建议。     

辽宁普通公路空心板梁桥技术状况与病害分析

本文以辽宁省10-20米跨径空心板桥梁定期检查结果为分析对象,对上述结构的技术状况、病害成因进行分析阐述,并提出建议。     

列车提速后《铁路技术管理规程》发展演变特征研究

《铁路技术管理规程》是我国铁路的基本规章,研究不同版本的演变特征对其管理及不断修订完善具有重要意义。通过对铁路列车提速以来近三版《铁路技术管理规程》修订背景回顾与发展历程分析,基于文本相似度算法,构建了不同版本间的条款关联关系并量化分析了相邻版本及各个章节条款关联强度。运用政策文献计量法,逐版逐条研究其修订类型并从版本与章节两个维度分别量化分析了条款修订类型分布特征。在此基础上,总结提出了《铁路技术管理规程》演变发展特征与趋势。该研究对《铁路技术管理规程》的科学管理及今后动态修订完善具有重要支撑作用。     

氢能源产业技术标准化发展现况

氢能作为一种高效、清洁、可持续利用的二次能源被认为是构建未来以可再生能源为主的多元能源结构的重要载体,以其开发和利用技术为主逐渐形成全球化氢能产业规模,氢能产业技术发展离不开氢能技术标准的推动和支撑,纵观国内外氢能技术标准化的发展及现况,我国氢能技术与国外还存在很大的差距,在液氢制取与储运、船用氢能燃料电池动力系统、加氢站关键设备及部件等技术方面需要加大科研投入,预研相关技术标准,提前谋划布局,以标准引领我国氢能技术及产业快速、高质量发展。