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

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

斜坡式护岸越浪量分析

根据掩护功能不同对护岸允许越浪量进行分类规定是越浪量研究的方向之一，探索最大单波越浪量的量化计算对护岸后方排水设计具有重要参考意义。对国内外常用越浪量控制标准和计算公式进行总结对比，并以沙特海尔港南护岸越浪量计算为例量化探讨肩台宽度和参数相关性对越浪量计算的影响。结果表明，欧洲和美国规范规定的越浪量标准比中国和日本规范规定的越浪量标准严格；设置肩台可以有效降低越浪量计算值，考虑波高和水位的相关性也可以有效降低越浪量计算值；越浪量计算对波高和水位比较敏感，允许越浪量可以采用数量级梯度进行分级；对于允许越浪量要求比较严苛的海外现汇项目，适当考虑肩台和参数相关性对越浪量计算值的降低作用，可以提高承包商设计方案的竞争力。     

辽宁沿海港口与区域经济互动发展影响研究

辽宁沿海港口是"一带一路"上连接亚欧通道和中蒙俄经济走廊的重要贸易节点,辽宁沿海港口的转型升级与整合发展是辽宁以及东北地区全面振兴的重要引擎,而辽宁以及东北地区的产业结构调整与区域经济发展水平对辽宁沿海港口的良性发展具有强大推动作用。首先,文章阐释了辽宁沿海港口与区域经济的发展现状和互动发展影响因素;然后,应用相关分析与回归分析方法分别研究了沿海港口与区域经济各指标之间的相关系数与互动发展影响因果关系;最后,根据研究结果提出了辽宁沿海港口与区域经济之间的互动发展对策,以期为辽宁沿海港口良性发展与辽宁区域经济的可持续发展提供科学理论指导。     

确保两种须占用区间调车作业的安全

根据历年统计资料，在铁路行车事故中，调车事故约占70％，因此铁道部决心防止调车作业事故。近年内广泛采用无线调车灯显系统，大规模普及自动化驼峰，使调车事故发生频率得到有效遏制。但比较起站内调车而言，越出站界调车和跟踪出站调车这两种须占用区间的调车作业，值得引起各方面高度重视。现对此两种调车作业的性质、方法、注意事项及相关规定作一些分析探讨，以期对现场工作有一定的帮助。     

“货运安全相关技术（电气化铁路JYF型货物绝缘软盖板）”通过了铁道部科技成果鉴定

由郑州铁路局西安科研所、西安分局、北方交通大学共同研究的“货运安全相关技术（电气化铁路JYF型货物绝缘软盖板）”课题于2004年11月12日在西安通过了铁道部科技成果鉴定。     

农村公路发展总量预测

以县域社会经济及农村公路为研究对象，利用宏观经济指标及行政村数、农村公路里程、条数等，构成相关分析的样本量，通过散点分析与拟合，建立多因素关联分析经验回归模型，以此进行经济欠发达县域(特别是我国中西部地区)的农村公路发展总量里程的预测。     

水中目标回波亮点时空相关与脉间相关特性研究

信号相关分析是时域和空域中一种基本的，但又是重要的信号分析方法，本文介绍了水下目标回波时空相关特性分析和脉间相关特性分析的基本原理，并给出院高频回波测试系统获取的海试数据的处理结果。