基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

SQL Server的安全性管理

介绍了SQL Server的安全机制．从进入系统到使用数据库对象，SQL Server都提供了比较完善的手段，方便系统管理员保护数据安全．     

动载荷下边坡的失稳分析

根据公路和铁路承载结构以及载荷性质的不同，利用LUSAS有限元分别对两种动载的属性进行了分析，得出了两种载荷的位移、应力的时程曲线和应力变化轮廓，以及两种不同结构体的本征值与振动频率的关系，利用这些结果得出了两种动载荷的“有害频率”和“有害动载时间”．根据动载属性分析，结合实际事例，利用FLAC分别对这两种不同载荷对边坡的扰动情况进行了比较系统的数值分析．     

煤矿瓦斯爆炸参数的突变与混沌研究

煤矿发生瓦斯爆炸的过程实质是井下气体状态发生突变的过程，本文首先采用突变理论建立了瓦斯爆炸数学模型，然后利用混沌理论和方法分析计算了有关瓦斯爆炸安全参数及条件，得到了瓦斯感应期，引爆参数等随井下条件的不同具有一定的混沌性质，理论上证明一些新的结论并验证了一些实验结果，为理论分析和实践提供了理论依据。     

加载频率对材料缺口塑性区及残余应力影响的研究

加载频率对材料缺口塑性区及残余应力影响的研究表明：４０Ｃｒ钢调质和正火态随加载频率的提高，塑性变形传播速度减小，导致缺口根部塑性区尺寸度减少，塑性区尺寸的减小使得应变集中程度和应变梯度增加，使其表面残余压应力增加；而１Ｃｒ１８Ｎｉ９Ｔｉ钢固溶处理态随加载频率的提高未见有塑性区尺寸和表面残余应力发生变化．表明４０Ｃｒ钢调质和正火态缺口塑性区及残余应力存在加载频率效应，而１Ｃｒ１８Ｎｉ９Ｔｉ钢固溶处理未见有加载频率效应出现．显然，这与各材料状态所具备动态应力应变响应的能力有关     

带壳体放热反应物质的热爆炸临界参数

利用数值解法，计算了带壳体Ａ类形态放热反应物的热爆炸临界判据及临界温度分布。讨论了壳体厚度，壳体导热系数、Ｂｉｏｔ数以及无量纲活化能对系统临性的影响，反应物消耗的影响被忽略。     

Fuel Assembly Arrangement Optimization for NHR-200

ＦｕｅｌＡｓｓｅｍｂｌｙＡｒｒａｎｇｅｍｅｎｔＯｐｔｉｍｉｚａｔｉｏｎｆｏｒＮＨＲ－２００ＺｈｏｎｇＷｅｎｆａ（钟文发）；ＳｈａｎＷｅｎｚｈｉ（单文志）；ＬｕｏＲｏｎｇ（罗嵘）（ＩｎｓｔｉｔｕｔｅｏｆＮｕｃｌｅａｒＥｎｅｒｇｙＴｅｃｈｎｏｌｏｇｙ．Ｔ...     

具有大边梁的直梁桥荷载横向分布的简化计算

探讨了具有大边梁的直梁桥荷载横向分布．采用梁系法用力法求解，不仅考虑到外梁与内梁的抗弯刚度的不同，而且考虑了抗扭刚度的不同，计算简单且精确     

自供式伺服变量泵节能液压系统的研究

在一套大型结构加载系统的节能改造中，采用一种新型的无须外加辅助油源的自供式伺服变量泵节能控制系统，并针对容积式控制方式中存在的问题，采用非线性变增益补偿法改善系统动态性能．实践表明，该系统具有良好的降低能耗、减少温升的作用；动态补偿方法效果显著     

热爆SHS法制备金属陶瓷块体工艺过程研究

用热爆自蔓延高温合成法简便，快捷地制备了钨基金属陶瓷块体，分析研究了影响热爆ＳＨＳ反应的各种因素；经对起始温度和稀释剂对材料气孔率的影响研究发现：起始温度的升高，稀释剂含量的减少，均有利于材料的致密化；而不同起始温度时，稀释剂含量对气孔率的影响存在一最佳值，该最佳值相对应的绝热温度在钨的熔点附近。