基于B/S模式的电力企业指标管理信息系统的分析和设计

本文介绍了使用原型化系统开发方法，设计和实现了基于B／S模式的电力企业指标管理信息系统。     

MetateM: An introduction

In this paper a methodology for the use of temporal logic as an executable imperative language is introduced. The approach, which provides a concrete framework, calledMetateM, for executing temporal formulae, is motivated and illustrated through examples. In addition, this introduction provides references to further, more detailed, work relating to theMetateM approach to executable logics.     

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.     

原型法在企业管理信息系统开发中的应用

针对企业管理信息系统的开发过程中,设计人员由于与用户缺乏沟通,不能准确把握用户的实际需求,从而导致在开发过程中设计方案的反复修改,甚至推倒重来的问题。本文提出了原型法的解决方案,叙述了原型法的定义、基本思想和模型图,并以某研究所的物资管理信息系统设计开发为例,详细说明了原型法在企业管理信息系统开发中的工作步骤,最后总结了原型法的优缺点以及适用范围。     

面向RMP的等离子堆焊过程自动控制技术研究

介绍了根据多层等离子堆焊进行快速金属成形的原理，开发了堆焊过程控制软件。与数控系统结合实现了等离子堆焊过程自动控制，并对影响堆焊质量的主要参数进行控制。该软件系统界面友好、直观，运行可靠，操作简便。     

快速原型制造系统与CAD系统接口软件开发

本文在着重研究了 STL 模型诊断、切片处理、切片轮廓拓扑处理和扫描处理与优化的基础上,开发了实用化的 CAD 系统与 RP 系统间的接口软件,并揭示 RPM技术的发展方向。     

快速砂型铸造用模具材料的新进展

快速砂型铸造用模具材料,是实现快速砂型铸造的重要因素.分析和比较了当前快速砂型铸造用模具材料的现状,并指出研究适合快速砂型铸造用模具材料和进行表面处理为今后的发展方向.     

基于快速原型技术的进气歧管模具制造

介绍了以快速原型技术和精密铸造技术进行进气歧管铸造模具制造的情况。结果表明，该工艺可更充分地发挥快速原型技术和精密铸造的优势，取得了缩短工期和降低成本的效果。     

金属零件的快速数字化制造

叙述了数字化技术在改造传统铸造工艺中的作用，详细论述了金属零件数字化铸造技术的内涵及其优势。研究表明，金属零件的数字化铸造具有极大的工艺柔性，能够实现虚拟铸造的部分功能；基于快速原型技术的数字化铸造使得常规生产需要2个月时间的金属零件生产周期缩短到一周，大大缩短了金属零件制造的时间，对于快速响应市场需求具有很大的优势。     

Hypermedia Support for Software Development: A Retrospective Assessment

Hypermedia technologies have been available for about a decade. Beginning with Douglas Engelbart, researchers have become interested in applying hypermedia concepts and technologies to software development. This paper assesses this symbiosis between hypermedia and software development as described by research contributions; by our count, more than one hundred articles. To date, no collection of, or guide to, this literature has been published. A number of significant contributions are classified, described, and appraised — providing a guide into what has been a rich but perhaps under-reported research area. Hypermedia has made significant contributions to software development in three primary areas: coping with massive amounts of information associated with software development projects; establishing and maintaining linkages between various types of software engineering documents; and enabling development engineers to record, document, and preserve knowledge about development thoughts, processes and rationale. These contributions may help direct the focus of future research towards building on, combining and assessing the resulting contributions. A research agenda is proposed along these lines.