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

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

具有变系数的奇数阶中立型差分方程的振动性

研究奇数阶中立型差分方程，得到了保证方程所有解振动的新的充分条件。     

凸轮轴磨床多导轮仿形机构的计算方法

在分析凸轮轴磨床仿形机构的基础上,提出了多导轮仿形机构设计计算方法。指出应用多导轮仿形机构具有能提高凸轮加工精度和砂轮利用率等优点。     

潜艇定深运动仿人智能综合自动控制

针对潜艇定深运动过程中存在非线性、时变参数、复杂干扰的特点,在潜艇深度垂直面运动方程的基础上运用仿人智能(HSIC)、PID综合控制潜艇深度,建立深度控制的相关数学模型。仿真结果表明,HSIC-PID控制器不仅能较好的实现深度保持,对舵机的损耗也比传统的PID控制小,并且比PID控制具有更好的稳态精度。     

车轮车床数控系统与维护

1引言数控车轮车床与普通车床相比,去掉了刀架的电磁离合器与电接点仿形仪组成的机械电仿形机构,改为滚珠丝杠和齿轮传动,由交流伺服电机驱动,实现了数字化控制,只要给数控系统输入相应的加工程序,就能够实现轮对踏面的镟修,由于踏面外形是由多个相切圆弧、斜线组成,加工精度可以通过软件进行校正和补偿,因此可大幅度提高镟修精     

核潜艇炉水中磷酸盐含量分析方法研究和改进

本文提出了一种用于分析核潜艇炉水中磷酸盐含量的新色阶的制备方法，并对新色阶和现行色阶（磷钒钼黄色阶）的稳定性作了研究，测知新色阶的有效使用期比现行色阶延长了至少１２倍，实验室和艇上现场实验表明：新色阶完全可以替代用于分析核潜艇炉中磷酸盐含量的现行色阶。     

基于CFD的内河船深浅水中操纵性预报

由于岸壁效应和浅水效应,内河船舶在限制水域作操纵运动时通常受到比在开阔水域中更大的水动力.这些水动力对船舶操纵性具有不利影响,有可能导致船舶碰撞或触底等海上事故.因此,为了在船舶设计阶段预报其操纵性能,考虑浅水效应和岸壁效应以准确计算内河船舶操纵运动水动力非常重要.本文基于CFD方法,通过对粘性绕流进行数值模拟,对长江中营运的三艘内河船舶的操纵运动水动力进行计算.首先,为了验证数值方法的可靠性,对标模KVLCC2纯横荡和纯首摇试验的水动力进行计算,并将计算结果与现有的试验数据进行对比.然后,对三艘内河船舶在不同水深下的静舵试验、纯横荡和纯首摇试验进行数值模拟,计算得到水动力及相应的线性水动力导数.最后,基于计算得到的水动力导数,获得Nomoto模型中的操纵性参数,对比分析三艘内河船舶在深浅水中的操纵性能.结果表明,本文方法可以揭示不同水深下三艘内河船舶的操纵性变化趋势.该方法可为船舶设计阶段内河船舶深浅水中的操纵性预报提供一种实用的工具.     

船舶电网数字化保护系统可靠性建模与分析

文章利用可靠性框图法,根据船舶电气二次设备的发电机、母线、舷跨接保护系统的主接线,分别对常规保护系统和数字化保护系统进行建模,分析各个保护系统的可靠性,并对常规保护系统和数字化保护系统进行横向分析,得出数字化保护系统的应用不会降低保护系统整体可靠性的结论.     

铁路接触网最优主动控制研究

研究目的:本文为研究主动控制对接触网性能的影响,建立了接触网有限元模型,应用Ansys软件计算模型的整体质量及刚度矩阵数据,并利用KMExtract程序分离出整体质量、整体刚度矩阵,据此建立接触网系统动力学方程。为便于系统仿真及控制器设计,使用模态降阶法对系统降阶并将其转化为状态方程形式,而后为系统设计LQR控制器,使用simulink对实施主动控制前后的接触网系统进行动态仿真分析。研究结论:研究表明:(1)对接触网实施主动控制能有效改善其振动特性,接触网振动的最大值、最小值有较大降低,幅度达90%以上,均方差也有较大下降,幅度达70%以上,系统性能得到了极大提升。(2)在通过改变弓网自身参数的方法改善弓网性能遇到瓶颈时,接触网的主动控制或半主动控制将成为改善弓网性能的重要手段。