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

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

比较优势、交通运输与地区发展

回顾了比较优势的基本思想,定义了运输生产的资源成本、机会成本及比较优势,从理论上提出了运输资源成本、运输比较优势、地区比较优势和地区经济发展之间存在成本传导机制。本文的研究表明,地区经济的比较优势不仅取决于生产的比较优势,还取决于运输的比较优势,是生产比较优势与运输比较优势所共同决定的综合比较优势。发挥运输比较优势对降低地区经济之间的货物交易费用、促进地区经济遵循比较优势的分工和实现资源节约型的发展具有重要作用。     

并联式船舶混合动力系统参数匹配与能量管理

以某并联式船舶混合动力系统作为研究对象,对系统中的船体、螺旋桨、天然气发动机、可逆电机和动力电池等主要部件进行参数匹配,研究基于逻辑门限值的能量管理策略.针对周期性作业船舶运行工况,研究不同动力电池初始荷电状态(SOC)条件下动力电池等效天然气消耗量、天然气发动机天然气消耗量以及系统等效天然气消耗量.结果 表明,在动力电池初始SOC为0.5和0.9的仿真条件下,系统运行模式受到动力电池SOC边界条件限制,系统等效天然气消耗量显著增加;相较于采用天然气发动机推进的船舶动力系统,所提出的并联式船舶混合动力系统可实现节省4.66％～7.00％的天然气消耗.     

东风4D型径向转向架机车的常见故障及改进

东风4D径向转向架机车，具有适应山区小半径曲线线路运行、轮缘磨耗小等优点。但也存在径向转向架制动单元杠杆折断、机油消耗大、整流柜易烧损等问题。针对问题产生的原因，提出了改变制动单元杠杆材质和整流柜通风方式，降低机油温度，以减少机油消耗等建议。     

加快广西海港建设 为西部大开发服务

在西南公路出海通道全线胜利贯通之时,中国港口协会主要领导和顾问等12人,于2001年12月3日至5日,对防城、钦州、北海港进行了考察.看了港口码头泊位、机械设备、堆场仓库以及其他配套设施,同三个港务局和广西港口协会的领导进行了交谈,围绕西南公路大通道建成了,处在通道尽头出海口的三个海港怎么办,展开了讨论.     

船员资源与船员市场

通过对中国现有船员资源的数量和质量两大要素的分析，可以看出中国高素质远洋船员的资源严重短缺：国际船员劳务市场对船员资源的需求很大，如何让中国的航海教育、培训资源发挥最大的效益?给我们广大船员管理者带来新的思考、新的机遇和新的挑战：希望中国在船员劳务外派、船员培训体制上进一步改革开放，让更多的境外船东、船舶管理公司和培训机构深入到中国，培养出更多更好的中国船员。     

占据战略资源的制高点--浅议铁路物资企业的经营战略取向

在对我国目前战略资源状况、特点和经营政策环境进行深入分析的基础上,提出了铁路物资企业的经营应紧紧盯住战略资源,占据战略资源制高点的观点.