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

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

用PB开发三层分布式医院信息系统

在分析三层分布式原理的基础上，讨论用Powerbuilder开发三层分布式医院信息系统的方法。     

钒和碳双注入钢的纳米结构、强化机制和抗磨损特性

研究了V C双重离子注入合成纳米结构、相变和抗磨损机制．研究表明，注入后可改变钢的成分，V与Fe原子比最高可达到28％；形成了纳米相弥散强化结构和无序相强化结构．从而提高了钢表面硬度，表面硬度可提高23％～146％；抗磨损也有着明显的提高，磨损阻抗为未注入钢的2．2～3．6倍．     

改性腈纶纤维混凝土梁的弯曲疲劳特性

为了获得具有经济性和良好技术性能的混凝土结构,有必要研究改性腈纶纤维(以下简称腈纶纤维)对混凝土弯曲疲劳强度及疲劳极限的增强作用。用四点加载方法研究了腈纶纤维混凝土梁和底层撒布较长钢纤维的腈纶纤维混凝土梁的弯曲疲劳性能。研究结果表明:当腈纶纤维体积分数为0.085%时,腈纶纤维混凝土梁和底层撒布较长钢纤维的腈纶纤维混凝土梁的弯曲疲劳强度比素混凝土分别提高11.7%和15.7%;当应力水平为0.90时,腈纶纤维混凝土梁和底层撒布较长钢纤维的腈纶纤维混凝土梁弯曲寿命分别是素混凝土的22倍和29.01倍。底层撒布较长钢纤维的腈纶纤维混凝土梁的弯曲疲劳性能优于底层只撒布一层钢纤维或只采用腈纶纤维来增强的混凝土梁。复合纤维增强混凝土适用于道路及机场跑道。     

软土层上硬壳层作为工业球罐天然地基的利用

通过软上层分布区修建工业球罐珠实例,彩用与基础方案对比的方法,说明选定利用软土层上硬壳层作为建筑物天然地基,采用浅基础,能取得较好的经济效益。     

延安大学校园网的设计

介绍了校园网的技术要求，给出了延安大学校园网络系统的设计，以及校因网的总体分屡设计、网络设备的选用、网络软件的选用和网络系统的安全设计。并讨论了校园网的预期效益和可实现的基本功能。     

移动分布式数据库系统中合作事务恢复技术

形式地给出了合作事务定义及事务间由于消息交换而形成的各务间的检验点依赖和恢复依赖，基于这些定义，某一事务记检验点时，所有检验点依赖于该事务也记检验点，当某一事务恢复时，所有恢复依赖于该事务的事务也恢复到其检验点的状态，开发了一种适合于移动环境的事务恢复技术，；在事务正常的消息传送中，通过额外的一点带宽附加传送事务间的依赖关系，在事务记检验点时，尽可能并行地通知所有相关的事务记检验点，实验表明，该事务恢复技术能减少系统检验点的响应时间，提高系统的恢复速度及系统吞吐率，对网络带宽的要求基本没有增加。     

一类微分方程激波解的多层现象

利用匹配条件讨论一类微分方程激波解 ,探讨了其渐近解的多层现象 .     

W18Cr4V钢激光表面淬火工艺参数的选择

对W18Cr4V钢激光表面淬火工艺参数进行了试验研究．试验结果表明，激光表面淬火工艺参数d＝1．5mm，q=124W／mm2，v＝18mm／s时，激光淬火加热温度处于Ac1～T熔范围之内．可以得到无表面熔化的淬火层，淬火层深度0．25mm，淬火层组织为细针状马氏体＋碳化物＋残余奥氏体，显微硬度HV0.1950～1050     

电特性对刷镀质量的影响

研究了直流和脉冲两种电特性对刷镀质量的影响，讨论了脉冲电刷镀速度快镀层质量优良的机理，为刷镀技术提供了新的可靠工艺．