基于EDPN的类测试框架及测试用例生成技术的研究

针对基于状态的面向对象软件的类测试过程中存在的不可预测、不可达状态、状态组合“爆炸”和测试用例“爆炸”等问题,提出了基于EDPN模型的类测试、类的交互测试和类的层次测试框架,设计了相应的测试模型;提出了基于EDPN的有标记的唯一输入输出(UIO)测试用例的自动生成方法,生成状态转移路径序列,测试类的状态;提出了基于扩展的EDPN的状态组合的标记关联递推法,生成扩展的正交阵列表,测试类的交互;提出了基于扩展的EMDPN的协同路径(copaths)测试用例的生成方法,生成协同路径序列,测试类的层次。     

科学认识与合理补钙

补钙是我国目前受到社会广泛关注的一个热点问题,各种各样的补钙产品正在进行激烈的市场竞争,形形色色的广告宣传令人难以所从,这其中也难免存在鱼目混珠的假冒伪劣产品,另一方面消费者自身的营养保健知识参差不齐,有人甚至连自己补钙利弊尚不明了望洋兴叹盲目服用补钙药剂,这种现象已引起许多专家学者的注意,并一致呼呈,应当加强补钙等营养保健知识的宣传教育。     

小型直喷式柴油机喷雾特性的试验研究

为了掌握喷雾的结构物特性,利用高速摄像装置和高压容器拍摄了喷雾的逆光图像,并研究了喷雾周围介质压力对喷雾贯穿距离、喷雾锥角以及蒸发等喷雾特性的影响。在液滴数密度较大的条件下,燃料液滴的蒸发速率传热过程和雾化质量的影响;喷射妆期喷雾的贯穿距离和贯穿速度几乎不受介质物影响;喷雾的贯穿跨离受喷油压力的影响不大,但随着喷油压力的提高,喷雾锥角增大,喷雾质量得到改善。     

喷射式混合加热器在回收高温冷凝水系统中的应用

介绍了喷射式混合加热器的结构、原理,以及它在背压排放高温冷凝水回收系统中的应用。指出回收高温冷凝水,不仅节能效果明显,而且能消除热污染。     

氧化锌电阻片生产中新设备和新工艺的应用

介绍了河南金冠王码信息产业股份有限公司近几年氧化锌电阻片生产技术改造的成果 ,分析了新设备和新工艺在非线性氧化锌电阻片生产中的应用及对电阻片质量的影响。非线性氧化锌电阻片的性能是以配方为基础的 ,靠工艺来保证和实现的 ,而工艺的保证很大程度上取决于设备的先进性和可靠性     

Fe_(73.5)Cu_1Nb_3Si_(13.5)B_9非晶合金的晶化动力学

用差热分析(DTA)结合X射线衍射(XRD),研究了Fe_(73.5)Cu_1Nb_3Si_(13.5)B_9非晶合金的晶化动力学。结果表明:温度在0～700℃范围内,该合金的晶化相为α-Fe和Fe_2B;α-Fe相晶化表观激活能为452.39kJ/mol,Fe_2B相的晶化表观激活能395.23kJ/mol;两相在晶化初期激活能最小,随晶化量X_c的增加而迅速增大,在α-Fe的体积分数为30％～80％,Fe_2B的体积分数为40％～80％时,呈现极大值。     

W、Nb对Fe76.5Cu1Si13.5B9非晶合金晶化行为的影响

用热分析法结合ＸＲＤ、ＴＥＭ研究了添加元素Ｗ、Ｎｂ对Ｆｅ７６．５Ｃｕ１Ｓｉ１３．５Ｂ９非晶合金晶化行为的影响。结果表明,Ｗ或Ｎｂ的加入都降低了Ｆｅ－Ｃｕ－Ｓｉ－Ｂ非晶合金反应的Ａｖｒａｍｉ指数ｎ;并且添加元素Ｎｂ更有利于该合金获得较小的ａ－Ｆｅ（Ｓｉ）晶粒。     

CORBA:面向对象的分布式计算平台

介绍了CORBA(Common ob ject Request Broker Architecture)的概念和基本原理,包括CORBA体系结构、界面描述语言、支持远程对象调用的静态调用SII和动态调用DII,讨论ORB和对象适配器(Object Adapter)对服务对象的管理、ORBs间的互操作性问题,及JavaBeans带来的影响.     

两矩阵相似的证明方法

本文分别给出了证明矩阵与非对角矩阵相似及与对角矩阵相似的几种方法。     

信息系统开发过程的风险评价

针对信息系统开发过程的动态风险,提出了一种综合评价模型,该模型能对动态风险发生的可能性、发生时所产生的后果以及风险评价因子进行确定、分析并对动态风险进行评价．在此基础上进一步叙述了模型的应用及注意事项．