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

介绍绕片式冷却器性能计算的原理，其软件开发的思路及软件的特点。图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.     

实用天然气可采储量标定软件的开发及应用

针对天然气的开发特点，优选出了方便实用的可采储量标定方法。以气田开发数据库为基础，采用面向对象的程序设计语言VC＋＋，编制了可采储量标定软件，该软件集数据处理、物性参数计算、可采储量标定、结果输出4个模块为一体，计算快捷、迅速、准确，运行稳定、安全、可靠，提高了天然气可采储量标定的精度和工作效率。     

微机MIS集成构造系统的研究与实践

微机ＭＩＳ集成构造系统是基于软件重用理论，采用应用描述语言，扩展数据字典和标准预制软构件快速构造信息处理系统的一种应用开发工具环境。本文主要介绍其设计思想，基本结构，构造原理，设计原则和实际使用情况。     

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

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

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

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

Sun工作站上的一种可视编程工具

本文主要介绍Ｓｕｎ Ｏｐｅｎｗｉｎｄｏｗｓ Ｄｅｖｅｌｏｐｅｒ’ｓ Ｇｕｉｄｅ３．０．１软件的简单使用和主要特点。     

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.