用户级通信在软件分布式共享存储系统中的应用与分析

通过信能不高是影响软件分布式共享存储系统性能的主要因素之一,用户级通信技术能够充分发挥高速网络的硬件性能,减少数据拷贝次数,降低软件件开发销,明显改善了带宽和延迟,为软件分布式共享存储系统性能的提高开避了新的途径,设计并实现了一个面向软件分布式存储系统的用户级通信库,它不仅改善了系统的通禽性能,同时也使得系统的并行计算性能得到改善,从而十分显著地提高了软件分布式共享存储系统的整体性能。     

基于检测点设置依赖图和属性表的卷回恢复算法

为了解决检测点设置过程中的Domino效应问题及卷回恢复过程中的活锁问题,并最大限度地减小时间开销,提出了基于检测点设置依赖图和属性表的卷回恢复算法。同以前的算法相比较,该算法一方面节省了用于进程之间同步的时间开销,另一方面检测点设置及卷回过程中涉及少量的相关进程。对该算法的正确性进行了证明。     

一种供电收费管理系统软件的设计与实现

本文围绕供电收费管理的特点,介绍了一种主要使用ＶＦＰ编写的供电收费管理软件 的设计思想和具体的实现方法。     

KaiFa财务软件的设计与实现

本文介绍在国际财务制度基础上设计完成、适用于企业公司经营管理的“Kai Fa财务软件”,着重描述其主要功能、特点、系统结构和主体数据流程     

Wonderware工控组态软件及应用

针对目前厂矿企业对自动化程度要求的提高及大量控制设备与过程监控装置相互通信的需要,介绍一种功能强大且易于使用的工控组态软件:Wonderware组态软件.     

UIMS的表示方法的研究

用户接口是任何交互式系统中至关重要的关键部件之一。它的开发已成为系统设计和实现中最为困难费时的“瓶颈“。用户接口管理系统ＵＩＭＳ接受了这一新的挑战,已成为人机交互和软件工程学科中的重要研究方向。本文将试图较全面地介绍和总结ＵＩＭＳ结构模型和表示方法等。     

Balancing Misclassification Rates in Classification-Tree Models of Software Quality

Software product and process metrics can be useful predictorsof which modules are likely to have faults during operations.Developers and managers can use such predictions by softwarequality models to focus enhancement efforts before release.However, in practice, software quality modeling methods in theliterature may not produce a useful balance between the two kindsof misclassification rates, especially when there are few faultymodules.This paper presents a practical classificationrule in the context of classification tree models that allowsappropriate emphasis on each type of misclassification accordingto the needs of the project. This is especially important whenthe faulty modules are rare.An industrial case study using classification trees, illustrates the tradeoffs.The trees were built using the TREEDISC algorithm whichis a refinement of the CHAID algorithm. We examinedtwo releases of a very large telecommunications system, and builtmodels suited to two points in the development life cycle: theend of coding and the end of beta testing. Both trees had onlyfive significant predictors, out of 28 and 42 candidates, respectively.We interpreted the structure of the classification trees, andwe found the models had useful accuracy.     

High-automation proofs for properties of requirements models

We describe an approach and experimental results in the application of mechanized theorem proving to software requirements analysis. Serving as the test article was the embedded controller for SAFER, a backpack propulsion system used as a rescue device by NASA astronauts. SAFER requirements were previously formalized using the prototype verification system (PVS) during a NASA pilot project in formal methods, details of which appear in a NASA guidebook. This paper focuses on the formulation and proof of properties for the SAFER requirements model. To test the prospects for deductive requirements analysis, we used the PVS theorem prover to explore the upper limits of proof automation. A set of property classes was identified, with matching proof schemes later devised. After developing several PVS proof strategies (essentially prover macros), we obtained fully automatic proofs of 42 model properties. These results demonstrate how customized prover strategies can be used to automate moderate-complexity theorem proving for state machine models.     

Delphi与MatLab接口软件的设计

主要介绍了如何用Delphi语言调用MatLab引擎、Delphi和MatLab程序进行数据交换的方法。它可以使用Del phi语言开发的程序有更强的数据处理功能。     

UN2000集散控制系统Win95/NT平台控制组态软件开发

介绍了用Windows平台重新开发的集散控制系统控制组态软件 ,从软件工程的多个层面分析、探讨了软件重新开发的设计、实现方法。