Applications of optimal mathematic-physical models in metallurgical manufacture scheduling system at Baosteel

The transfer of mass flow between ironmaking and steelmaking process at Baoshan Iron and Steel Co. Ltd. has been analyzed. The mathematic-physical models of transport scheduling for hot metal manufacturing have been researched combined with the practical problem in the metallurgical manufacture procedure. Taking into account these models, the scheduling software has been designed, programmed and tested on-line. The new automation system of production scheduling has been implemented successfully at Baosteel, which produces a great economic benefit.     

VPN构建的一种设计思想

Internet的发展对安全问题的要求越来越高，网络安全日益受到重视。文章以虚拟专用网为主要研究对象，结合软件工程的一些开发思想，对虚拟专用网的构建做出了理论上的设计。文章分析了虚拟专用网目前所涉及的主要几大模型，具体构建了一种可行的VPN设计方案，同时结合软件工程，对VPN构建给出自行设计的一种模块结构图，并对各个模块结构给出了具体解释，今后的工作在于将模块具体细化运用到实践中。     

Software release management for component‐based software

Software release management is the process through which software is made available to and obtained by its users. Until now, this process has been relatively straightforward. However, the emergence of component‐based software is complicating software release management. Increasingly, software is constructed via the assembly of pre‐existing, independently produced, and independently released components. Both developers and users of such software are affected by these complications. Developers need to accurately document the complex and changing dependencies among the components constituting the software. Users must be involved in locating, retrieving, and assembling components in order to appropriately bring the software into their particular environment. In this paper, we introduce the problem of release management for component‐based software and discuss SRM, a prototype software release management tool we have developed that supports both developers and users in the software release management process. Copyright © 2002 John Wiley & Sons, Ltd.     

力控~应用于高压氧舱治疗监控及视频监视

本文主要谈了力控在医疗方面的应用,也就是力控应用与高压氧舱治疗监控及视频监视方面。     

Software Process and Product Improvement: A Historical Perspective

In this paper, a historical overview of significant attempts to get over the software crisis is presented. In particular, we trace the development of lifecycle models and information systems development methodologies during the last four decades. Finally, we explore the role of measurements and outline current and future works leading to process and product improvement.     

Artificial argument assistants for defeasible argumentation

The present paper discusses experimental argument assistance tools. In contrast with automated reasoning tools, the objective is not to replace reasoning, but to guide the user's production of arguments. Two systems are presented, and based on . The focus is on defeasible argumentation with an eye on the law. Argument assistants for defeasible argumentation naturally correspond to a view of the application of law as dialectical theory construction. The experiments provide insights into the design of argument assistants, and show the pros and cons of different ways of representing argumentative data. The development of the argumentation theories underlying the systems has culminated in the logical system that formalizes the interpretation of prima facie justified assumptions. introduces an innovative use of conditionals expressing support and attack. This allows the expression of warrants for support and attack, making it a transparent and flexible system of defeasible argumentation.     

控制系统校正环节优化设计的计算机辅助分析

结合共轭梯度法,借助于MATLAB软件,提出一种控制系统校正环节优化设计的新方法.该方法利用了MAT-LAB软件中的符号数学工具箱、控制系统工具箱和优化设计工具箱,使设计简单、快捷,提高了编程效率.     

造纸过程中定量检测系统的研究

介绍了以MCS－51系列单片机为核心的定量检测系统的基本原理。并对其硬件结构和软件设计进行了详细地介绍。     

静脉输液结束呼叫监控系统设计

介绍了输液结束后的自动呼叫监控系统的硬件、软件。该系统的应用将大大提高了医院的护理水平。     

Are Reviews an Alternative to Pair Programming?

From the first presentation of extreme programming on, pair programming has attracted a wide range of programmers to work together in front of one display. The proposed advantages of pair programming are a faster development cycle and code with higher quality. However, the nearly doubled personnel cost when compared to single developers seems to outweigh these advantages. Instead of showing the superiority of pair programming, we seek an alternative. Can a single developer be assisted by an already known technique with which he produces the quality of pairs with only a fraction of the cost? The answer with some restrictions is: yes, he can. Reviews are a reasonable candidate with respect to code quality and cost.