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

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（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方法更为有效.      

环形压铁落料拉深冲孔复合模设计

通过对环形压铁的结构工艺性进行详细分析和理论计算,得到产品的初步落料尺寸134 mm和相对厚度1.49、相对高度0.22,得出能够一次拉深成形并且需要使用压边圈的结论。对模具设计的两个方案进行了对比,选择复合模。介绍了复合模的总体结构特点和工作过程以及凸模、凸凹模、橡胶圈等几个核心零件的设计,经过试验该模具能够满足产品生产的需要。     

外海深基坑管涌封堵技术

针对港珠澳大桥西人工岛外海超深基坑开挖过程中因预埋孔隙水压力监测仪器穿透承压水层形成的基坑管涌,采取高压旋喷桩加固、重晶石粉注浆、双液注浆及模袋注浆法,对不同发展阶段的管涌点进行封堵处理,解决了管涌点初期渗水止漏以及管涌形成显著涌水路径时期的封堵难题。特别是采用模袋注浆方案,在管涌点无塌孔风险的前提下,沿管涌路径伸入承压水层底部注浆膨胀,实现快速止水的封堵技术,巧妙地解决了高水头差情况下管涌封堵难题。     

船舶辅锅炉装置模拟控制系统的实现

本文以实船CPDB-40船舶辅锅炉为对象,用实物加仿真的形式,利用PLC、MCGS触摸屏和MINIC模拟板从而实现锅炉装置、燃烧装置、锅炉附件的运行显示,形象逼真,并可在触摸屏上实时显示和控制锅炉的运行状态。该设备运用到海船船员适任岗位技能训练和评估取得了很好的效果。     

宇通在比利时车展唱出中国客车“好声音”

<正>金秋10月,法兰克福车展刚刚过去,比利时客车展又重磅来袭。由世界客车联盟(Busworld)主办的第22届比利时世界客车博览会,2015年10月16日在比利时小镇Kortrijk隆重开幕。作为全球规模最大、历史最悠久的专业客车展,此次盛会共吸引来自世界各地的数百家整车和零部件参展商前来"捧场"。占据世界客车舞台半壁江山的中国客车厂商,此次自然也没有缺席。据了解,中国客车行业的领军品牌——宇通客车将携九辆客车产品亮相比利时,其中     

能量回馈型四象限电力电子负载在船舶电力系统动模试验中的应用

目前，随着船舶综合电力系统的发展，船用负载设备类型的增多导致目前交直流动模试验室无法真实模拟系统动态特性。为研究和分析能量回馈型四象限电力电子负载船舶电力系统动模试验的应用，本文通过分析四象限电力电子负载的拓扑结构和控制方式，在Matlab/Simulink仿真平台和动模试验室中分别进行了能量回馈型四象限电力电子负载相关功能试验。仿真和试验结果表明，能量回馈型四象限电力电子负载能够模拟不同类型的负载以及不同电压、功率等级的电源，并且在模拟负载时，能够将吸收的电能高效地反馈回电网，不仅可以提高工作效率，还能够起到节约电能的目的。     

波流作用下浮子式围油栏的运动响应实验研究

海上溢油会对海洋生态环境造成极大危害。围油栏是一种能够有效地防止溢油扩散、缩小溢油面积、配合回收的简易而有效的工具。由于海洋波、流环境复杂,针对不同海况选择围油栏型号时,预先估算围油栏在波、流作用下的运动响应十分必要。本试验通过水槽实验,研究不同结构参数和特性的围油栏对波、流条件的运动响应,分析围油栏的最小吃水及最小干舷高度与围油栏的尺度、波流要素间的关系。     

液压自爬模在桥梁墩柱施工中的应用

针对目前在桥梁墩柱施工中应用液压自爬模技术存在的问题,文章分析了液压自爬模技术的应用要点以及应用方法。结果表明,要想提高桥梁墩柱施工质量,可通过明确液压自爬模转换节点的爬升方向以及爬升的中心线来实现其作用价值。     

液压爬模在斜拉桥索塔施工技术

本文通过结合某斜拉桥索塔施工实例,对该桥梁桥墩节段1全部采用立模支架浇筑施工,并在左右幅外侧面及横桥向面埋设爬模预埋件。节段2开始,左右幅外侧面及横桥向面安装液压爬模架体,采用爬模系统施工,系统地探讨液压爬模在索塔中的施工技术,为同类工程提供参考实例。