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

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

创新与发展 造就中国的“淡马锡”——访国家开发投资公司总裁王会生

国家开发投资公司是中国最大的国有投资控股公司，其经营手法是通过资本经营把国有资产变成国有资本，实现国有资产的保值增值，并在国有资产布局和结构调整中发挥独特作用。经过探索发展的十年历程，他们创立了适应市场经济、具有中国特色的投资控股公司的经营理念和运行模式，被业界誉为中国的“淡马锡”。[编者按]     

中外商业银行财务管理内涵的构建与借鉴

随着金融市场的逐步对外开放,我国商业银行的财务管理活动也必须走与国际接轨之路.借鉴西方商业银行财务管理的基本内涵与要求,我国商业银行财务管理框架应包括资本管理、资产管理、负债管理、成本管理和收入分配管理(包括股利管理)等主要内容.     

企业实行全面预算管理应注意的几个问题

<正> 全面预算管理以对市场需求的充分研究和科学预测为前提,以现金流量或销售预算为起点,进而延伸到诸如生产、成本和资金收支等经济活动的各个方面,最终形成预计财务报表。内容应包括业务预算(或者称营业预算)、财务预算和资本支出预算3部分。业务预算又包括销售预算、生产预算和期间费用预算。财务预算包括现金预算、预计损益表、预计资产负债表、预计现金流量表。     

条条道路通罗马——船舶融资的其它表现形式

百货店式的船舶融资模式 一般来说，百货店式的船舶融资模式，与其说它与债务市场有关（即传统的船舶融资模式），倒不如说它与资本市场或投资市场之间的关联更密切。     

一种基于模糊逻辑的水下航行器前置点线导导引律

基于模糊逻辑理论，本文提出了一种水下航行器模糊前置点线导导引律。该导引律在不需要解算目标速度的前提下，通过在线自组织调整航行器的提前角，从而使水下航行器的前置点与目标交会。     

900t龙门吊钩头升速控制系统技术改造

介绍了９００ｔ龙六钩头弱磁升速控制系统的技术改造，提出了一种弱磁升速的逻辑控制方法，研制了一种直流电动机弱磁速用位能性负载检测装置。     

自己的路——试驾斯巴鲁傲虎3．0R

如果论经济实力，以及品牌影响力，斯巴鲁是很难与丰田、本田等汽车巨头画上等号的，但俏若提及品牌特色，斯巴鲁却有资本和跨国大厂们争一争风头。品牌特色归根结底就是技术特色，当这种特色发展到了相当地步，甚至能够起到与品牌一样的号召力，例如本田的VTEC发动机技术，以及VOLVO的安全性技术等等，而全时四驱与水平对置发动机则是斯巴鲁的金字招牌。     

DF8B型机车逻辑控制单元设计

从DF8B LCU功能需求出发，介绍了MVB与CAN总线两种通信网络特点，并对其性能进行比较，重点是MVB方案的LCU功能、硬件系统组成及软件设计。DF8B LCU简化了机车线路，提高了系统可靠性，完全满足机车性能要求。     

港口集团转制后的资本运营模式

从我国港口集团的现状和特点出发提出现阶段港口企业资本运营的3种模式供参考和选择——是以业务重组为核心的运营模式．二是以产权交易为核心的运营模式．三是以对外扩张为核心的运营模式，提出在采用这些模式进行资本运营时应注意的几个问题。