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

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

贮氢合金的开发与应用

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

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

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

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

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

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

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

异育彭泽鲫及其双亲消化酶活性的比较研究

对异育彭泽鲫及其双亲肝胰脏和前、中、后肠消化酶活性进行比较研究．结果表明:异育彭泽鲫肝胰脏及前、中、后肠的蛋白酶活性分别为367.69、101.16、297.06、25.97g/g#8226;min,均介于其双亲之间;异育彭泽鲫肝胰脏及前、中、后肠的淀粉酶活性分别为300.60、425.45、272.58、312.28g/g#8226;min,均大于双亲;异育彭泽鲫肝胰脏及前、中、后肠的脂肪酶活性分别为1.76、2.42、1.23、1.04g/g#8226;min,前肠和中肠脂肪酶活性大于双亲,后肠和肝胰脏脂肪酶活性介于双亲之间,且三种消化酶活性都比母本高.差异性分析结果表明,其与母本之间的差异显著低于其与父本的差异.研究结果符合雌核发育子代表型与母本一致的特性,并显示异源精子对雌核发育子代肝胰脏及肠管道消化酶活性有一定影响,为异育彭泽鲫的生长效应提供了一定的证据.     

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

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

安慰剂的科学

当患者未得到有效治疗,却因"预料"或"相信"治疗有效,而真的获得了健康益处,例如疼痛减轻,我们便认为他产生了安慰剂效应.尽管这听起来很奇怪,但安慰剂效应的确就可以这么运作,其运作机制扎根于人类大脑中,深刻而又迷人,也为医护人员帮助患者另辟蹊径.     

电子倍增器增益特性的实验测定

用电子能谱仪中改变能量分析器通能的办法,将Ni₃p光电子减速成不同能量后送入电子倍增器,从而测定了倍增器的增益随电子能量的变化曲线.发现在不同工作电压下,增益特性有所不同.观察了这一特性对测量俄歇微商谱峰-峰高度的影响.     

新型船用防海盗高压脉冲电网的研究

航运业在世界经济发展中起着重要作用,但近年来不断出现的海盗劫持商船事件严重干扰了航运业的秩序.该文通过对船舶现已使用的简易防海盗高压电网分析与改进,提出了一种新型防海盗高压脉冲电网的设计方案.