一个SAT问题有解的充要条件

合取范式可满足性问题(简称SAT问题)是一个NP完全问题.引入了一个饱和合取范式的概念,利用饱和合取范式的性质,对SAT问题的本质进行了研究.在此基础上,证明了一个SAT问题有解的充要条件,它为SAT问题完全算法和非完全快速算法的深入研究提供了一条新的思路.     

啊哈水库水环境质量预测分析

采用水深平均的守恒形式的二维动量方程对啊哈水库流场进行了模拟计算。根据污染物质在水库内的对流扩散及迁移降解性质不同，模拟了有机物的对流扩散，以及重金属的迁移扩散。对典型的有机物和重金属污染物质在未来十年中的丰水期与平水期分别进行了浓度场预测，并提出今后污染治理的重点。     

土压力计算存在的问题

针对工程中土压力计算的方法及目前的研究现状,讨论了经典的Ｒａｎｋｉｎｅ和Ｃｏｕｌｏｍｂ理论的局限性,推导出任意位移和土压力的关系,最后关于土压力计算提出了几点建议。     

贮氢合金的开发与应用

介绍了金属氢化反应及贮氢合金设计的基本原理，对贮氢合金的基本类型、应用状况及发展趋势进行了较全面的评述。目前已开发研究的贮氢合金品种类型虽然众多，但成熟的主要还是AB5型稀土合金。钒基固溶体合金因贮氢容量大，镁基合金固重量轻、价格低等优点在贮氢合金的开发中具有很大的潜力。贮氢合金应用领域广阔，但在很多领域的应用仍然处于试验开发阶段，只是在镍—氢化物二次电池中获得了产业化，因此贮氢合金的应用及其相关技术还有待进一步开发研究。     

遗传进化算法在船舶初步设计中的应用

在船舶初步设计中,船体主尺度的选择将影响船舶寿命期内的使用性和经济性,问题的研究可归结为多目标非线性规则,在探讨遗传算法（ＧＡ）机理的基础上,提出了优化设计方法－－遗传进化算法（ＧＥＡ）,解决了ＧＡ中品质计算模块的重复调用和子代品质波动的问题,提高了优化算法中寻求全局最优解的效率。文中将ＧＥＡ应用于２３．６万ｔ巨型油船的主尺度优选,同时给出应用正交优化设计方法的优化结果,应用结果表明：ＧＥＡ是一种     

随机轨迹模型中汉语连续语音识别基元的选取方案

在比较各种汉语语音识别基元的基础上,结合汉语语音和随机轨迹模型的特色,提出了以音素类单元作为汉语连续语音识别系统的识别基元．基于音素基随机轨迹模型的汉语连续语音识别系统的实验结果表明,该方案可行．     

电视塔采用摆式水箱减振器的振动控制设计

摆式水箱减振器是一种新型、经济、实用的控制器,通过理论研究及电算程序分析了这种控制器的控制机理,得到了其最优控制参数,同时用模型试验验证了控制效果。     

高校大型仪器设备共享模式下维护管理

大型仪器设备是高校开展科研、教学和社会服务的重要基础条件,是高校培养高素质人才的重要资源和保障。随着高校在大型仪器设备购置上经费投入的日益增长,如何合理使用和管理大型仪器设备,实现资源共享提高利用率,已成为高校设备管理部门重要课题之一。许多高校在实际运行中通过大型仪器设备共享机制提高了仪器使用率,但同时也提高了仪器设备损坏的风险,增加了维修和维护经费和实验技术人员的工作量等问题,因此,从大型仪器设备资源共享的管理模式及机制完善出发,探讨了大型仪器设备共享模式下存在的问题,并提出了相应改进措施。     

不同体系中甲烷水合物储气特性实验研究

为了研究不同体系甲烷水合物的储气特性,利用自行设计的小型水舍物合成装置,分别合成了一系列不同体系下的甲烷水合物（包括不同压力下的十二烷基硫酸钠（SDS）水溶液-甲烷体系、粉末冰-甲烷体系以及粉末冰-不同粒度砂-甲烷体系）;并采用真空容积法分别测定了三种不同体系条件下水合物样品的储气量;结合水合物生成动力学知识,探讨了不同反应时间、压力和环境介质对形成笼状结构水合物储气量的影响。结果表明,在SDS-水-甲烷体系中,相同的反应时间内,随着体系甲烷初始压力的增大,水合物储气量逐渐增大;冰粉-甲烷体系中,合成方式（静止或振摇）较初始压力对储气量影响更大;冰粉-沉积物-甲烷体系中。甲烷水合物储气量与沉积物粒度的变化无明显关系。