绕片式冷却器性能计算软件开发

介绍绕片式冷却器性能计算的原理，其软件开发的思路及软件的特点。图2     

A polynomial dynamic system approach to software design for attractivity requirement

Because of the widespread increasing application of Web services and autonomic computing, self-adaptive software is an area gaining increasing importance. Control theory provides a theoretical foundation for self-adaptive software. In this paper, we propose the use of the supervisory control theory of discrete event dynamic systems (DEDS) to provide a rigorous foundation for designing software for reactive systems. This paper focuses in particular on design of software with an attractivity requirement. It studies this problem using the polynomial dynamic system (PDS) model of DEDS. A necessary and sufficient condition for software existence and two algorithms for such software design are presented.     

SFTMP——一个实现软件容错的多处理机系统

多版本软件通过设计相异性实现了软件容错。为了对这种方法进行研究，我们的课题实现了一个三版本软件系统，称之为SFTMP（SoftwareFault－TolerantMultiProcessor）。本文描述了SFTMP的硬件结构和软件执行支持环境，该环境包括同步、表决和监控功能、版本间的通讯及故障的恢复和重构。     

基于窗口的面向对象的GUI设计

文中讨论了一种基于窗口的对象用户界面设计思想及方法，详细描述了各种类的定义。在ＤＯＳ环境下运用ＷａｔｃｏｍＣ＋＋语言在微机上开发运行。它可以使用户方便地进行再开发工作，界面运用事件处理方式由窗口、弹出菜单、图标、按钮等组成。效果良好。     

Dealing with software viruses: A biological paradigm

We introduce a probability model for populations of cells and viruses that interact in the presence of an anti-viral agent. Cells can be infected by viruses, and their longevity and ability to avoid infection are modified if they survive successive attacks by viruses. Viruses that survive the effect of the anti-viral agent may find that their ability to survive a future encounter with molecules of the anti-viral agent is modified, as is their ability to infect a healthy cell. Additionally, we assume that the anti-viral agents can be a cocktail with different proportions of agents that target different strains of the virus. In this paper, we give the state equations for the model and derive its analytical solution in steady state. The solution then provides insight into the appropriate mix or “cocktail” of anti-viral agents that can be designed to deal with the virus' ability to mutate. In particular, the analysis shows that the concentration of anti-viral agent by itself does not suffice to ultimately control the infection, and that it is important to dose a mix of anti-viral agents so as to target each strain of virus in a specific manner, taking into account the ability of each virus strain to survive in the presence of the anti-viral agents. Models of this kind may eventually lead to the computer aided design of therapeutic protocols or drug design.     

An efficient method for developing requirement specifications for plant control software using a component-based software prototype

This paper proposes an efficient method to develop requirement specifications for Plant Control Software (PCSW) using software-component-based prototypes. Prior to this proposal, domain analyses were conducted on existing PCSWs, and their functions were classified into “similar functions” and “individual functions”. Then PCSW Software Components (PSC: PCSW Software Component, PSCs: PCSW Software Components) were developed to correspond to these functions. PSCs as parameter-style components were developed in order to satisfy the clients’ (we define clients as owners, managers and operators of plants) requirements. A support environment for developing requirement specifications was developed. The environment consists of the Prototype Development Tool (PDT), the Behavior Check Simulator (BCS) and the Requirement Specification Development Tool (RSDT). The method consists of four steps. In the first step, PDT is used to define the parameters to customize PSCs and to compose a PCSW prototype by setting these parameters to PSCs. In the second step, BCS is used to execute the composed PCSW prototype and check its behavior and relevancy against the clients’ expectations. In the third step, steps 1 and 2 are repeated until the behavior of the PCSW prototype satisfies the clients’ requirements. Finally, a requirement specification is developed from the PCSW prototype which fully reflects the clients’ requirements. In order to evaluate the proposed method, it has been applied in five development cases. A Requirement Coverage of 91%, a Requirement Revision Rate of 6%, a PSC Reuse Rate of 92% and a LOC Reuse Rate of 83% have been achieved. In addition, a reduction of 55% in the amount of time required to develop requirement specifications has been achieved. These results indicate that the proposed method has sufficient capability to develop an exhaustive and an adequate PCSW requirement specification. And the developed PSCs have sufficient functions and capability to compose PCSW prototypes, and the support environment is capable of shortening the time taken to develop requirement specifications.     

基于8098单片机的伏安特性测量系统的设计

伏安特性测量技术有着广泛用途。本文介绍一种用８０９８单片机为控制核心的智能化通用伏安特性测量系统的设计要点。包括系统的硬件和软件设计，以及针对实际问题所采用的一些设计技巧。成果分析表明，采用８０９８单片机有着独特的优越性和推广价值。     

SDQ941地化-气测综合录井仪

地化-气测录井仪将地化、气测二种成熟的技术,有机地结合在一起.地化、气测数据在同一软件下运行,可达到技术互补的优势,克服了单一录井方法录取资料单一片面的缺陷,有利于提高油气层的发现率和解释成功率,为实现录井仪器和录井服务向综合型发展的战略创造了条件。该文主要介绍了仪器的构成、功能及计算机软件的特色,并阐述了该仪器的技术装备优势及应用前景。     

不同防毒技术在计算机实验室的比较研究

详细介绍杀毒软件技术和还原保护技术的特点及发展现状．从投入成本、软件系统资源占用率、功能稳定性、数据恢复效率和部署简易性等方面,对两类技术在计算机实验室内应用的适应性展开比较研究,得出还原保护技术更适合在实验室内得到大规模应用这一结论,指出它在病毒防护工作中的不足和仍需补充研究的方向。     

SIMUWORKS仿真软件的应用研究

SIMUWORKS涵盖了系统优化设计与调试、过程仿真培训、故障诊断、复杂系统动态特性建模研究、专家系统等各个方向的应用,提供了一整套完备的全过程支撑、一体化、通用的应用环境,其根本是以微机环境为基础的应用平台。软件部分采用了面向对象的图形化建模方法、分布式实时数据库技术和动态内存机器码生成技术,在国内外仿真领域处于领先地位。