软件形式化开发方法的选择策略研究

随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。     

维也纳分析方法及其应用

介绍了软件开发方法中的一种形式化分析方法：Vienna Development Method(VDM)。阐述了形式化分析方法的特点，具体说明了维也纳分析方法规格说明的两种规范：模块化说明与非模块化说明，及程序证明性依据：基于函数与操作的形式化规格说明。然后通过一个应用实例来说明如何利用VDM技术进行软件开发，及利用函数与操作的形式化规格说明来证明程序是正确的。     

基于虚拟变形法的供水管网漏损定位方法

针对供水管网的漏损探测与定位问题,采用虚拟变形法对管网各参数进行计算,通过漏损影响矩阵和流量影响矩阵来表征管网的状态,并提出了漏损探测定位的优化计算模型.由于管网漏损点数量事先难以预先获取,提出了基于贝叶斯理论的管网漏损探测、定位模型,并结合Matlab和Epanet编制了相应的优化计算程序,数值仿真结果验证了方法的有效性和可行性.     

基于附加虚拟质量的结构损伤识别方法

针对大型土木结构的模态信息往往对局部损伤灵敏度较低的特点,提出通过在各个子结构上附加虚拟质量的方法提高局部灵敏度,实现整体结构的准确损伤识别。该方法无需在结构上布置真实质量,它首先利用虚拟变形法（VDM）可进行结构快速重分析的思想,由实测结构的激励和加速度响应,构造结构附加虚拟质量后虚拟结构的频率响应;然后结合灵敏度分析和附加质量与频率关系,确定所需附加质量和对应具有较高灵敏度的频率;最后分别在每个子结构上附加虚拟质量,联合所有虚拟结构和对应的频率即可准确快速地识别出整体结构各个子结构的损伤。本文通过两层平面框架有限元模型验证了附加质量损伤识别方法的有效性。     

Windows 98/2000下MS-DOS应用程序对硬件设备访问

论述了在Windows 98/2000操作系统下如何实现MS-DOS应用程序对硬件设备的访问。详细分析了在Windows 98中的VxD技术及工作原理,在Windows 2000中的VDD技术及工作原理,以及如何利用VxD和VDD技术完成对硬件设备端口的访问。     

UML类模型的VDM++形式化规约

利用目前使用最为广泛的形式化验证语言VDM++在描述系统模型的语法和语义上的精确、一致的特点,结合VDMTOOLS和Rational Rose工具把UML类模型中的各个元素转化成VDM++表示,从而实现对UML类模型中所包含的各个元素进行语法和语义的检查。进一步提高UML的建模质量。     

基于GE ADM技术的以太网业务传送解决方案

本文主要介绍了GE ADM技术组建城域以太业务传送网的优势,阐述了华为一体化的城域WDM解决方案,对于城域网中共享光纤、共享波长的实现、业务调度以及GE广播/组播等进行了实例分析。     

Dipionic decays of psions in a local derivative coupling model

A local derivative coupling model is used to study theφ′→ππ and other dipionic decays ofφ andφ″, as an alternative to theε-model. The results obtained are quite satisfactory. We findt hat the existence of theε-resonance is not essential in order to understand the dipionic decays of the psions at the present level of experimental data available. A preliminary version of this paper was presented at the 3rd High Energy Phys. Symp. held in Nov. 1976 at Bhubaneswar.     

SND: New results and opportunities

We present the new results on the e⁺e⁻→K⁺K⁻, e⁺e⁻→K_SK_L, e⁺e⁻→ηγ processes obtained by the SND. We also give a short report on VEPP-2000, the new e⁺e⁻ collider constructed in Novosibirsk. The physical program for this machine is discussed. Special attention is paid to the future nucleon timelike form factor measurements.