Research and Development of a Network—Based Intelligent Maintenance Information System

A maintenance information system is an important part of equipment management.An intelli-gent maintenance information system(IMIS)is a synthesis of network technology,information technology and intelligent technology.The IMIS in used to finish flexible maintenance decision-making and fast main-tenance planning,which helps enterprises to effectively reduce maintenance cost and increase working effi-ciency.Because the IMIS integrates advanced technologies,its performance is better than a traditional one.The difference between an IMIS and a traditional maintenance information system,and the functions,struc-ture,important realizations,and application of an IMIS are discussed in this paper.     

R-Calculus for ELP:An Operational Approach to Knowledge Base Maintenance

Sme concepts used in knowledge base maintenace,such as sequence,new law,user‘s rejection and reconstructions of a knowledge base,are first introduced,and then a framework for extended logic programming(ELP)is given,where an extended logic program is equivalent to a knowledge base.A transition system called R-calculus for ELP is provided.For a given knowledge base and a user‘s rejection,the R-calculus for ELP will deduce best revisions of the base.The soundness and the completeness of the R-calculus for ELP are proved,and the R-calculus for ELP is implemented in Prolog.In addition,the research is compared with other relevant work.     

绿色计算机与相关标准规范

本文简述了绿色计算机相关的标准和规范。     

搪瓷釜的使用维护与常用修补方法

介绍搪瓷釜的使用维护要点，简单介绍目前国内外常用的搪瓷釜修补方法，从用、管、修相结合出发来延长搪瓷釜的使用寿命。     

浅谈冲压模具的维修要领及常见故障的排除

介绍冲压模具修理和检查各环节的主要工作内容及维修要领 ,列举了常见故障的排除方法 ,通过总结实际生产中的修模经验 ,对缩短修模周期 ,降低成本 ,延长模具寿命有一定的参考价值。。     

石油测井仪器可靠性指标探讨

在分析常用可靠性指标及其应用现状的基础上，根据可靠性理论及石油测井仪器的特点。提出了石油测井仪器的可靠性模型。在探讨常用可靠性指标对石油测井仪器适用性的同时，提出将平衡稳定工作时间NWTURE和免维修测井井次NOLWNM作为石油测井仪器可靠性指标的思想；探讨了获取可靠性指标的途径。给出了推荐使用的石油测井仪器可靠性指标。     

绿色食品与绿色包装

介绍了食品绿色包装与环境保护的关系，探讨了食品绿色包装材料的选择及应用，食品绿色包装设计及市场价值等方面的内容。     

论科学化包装

从包装的基本功能以及我国食品(商品)包装的现状和存在问题出发,论证了科学化包装势在必行,并提出了科学化包装的具体方法。     

电厂设备维修现代化管理系统的建立

在总结传统电厂管理经验的基础上,借鉴国外先进管理经验形成的一套较适合国内电厂设备现代化维修管理系统,在生产实践中发挥了很好的作用。此管理系统将设备的各类任务(日常消缺、定检、大小修)与支持项目(材料、资料)等信息有机地结合起来,使设备信息做到全面、及时、准确,极大地缩短了任务传递时间,提高了任务执行效率,为管理者科学决策提供了有力的依据。     

On the Automatic Recovery of Style-Specific Architectural Relations in Software Systems

The cost of maintaining a software system over a long period of time far exceeds its initial development cost. Much of the maintenance cost is attributed to the time required by new developers to understand legacy systems. High-level structural information helps maintainers navigate through the numerous low-level components and relations present in the source code. Modularization tools can be used to produce subsystem decompositions from the source code but do not typically produce high-level architectural relations between the newly found subsystems. Controlling subsystem interactions is one important way in which the overall complexity of software maintenance can be reduced.We have developed a tool, called ARIS (Architecture Relation Inference System), that enables software engineers to define rules and relations for regulating subsystem interactions. These rules and relations are called Interconnection Styles and are definedusing a visual notation. The style definition is used by our tool to infer subsystem-level relations in designs being reverse engineered from source code.In this paper we describe our tool and its underlying techniques and algorithms. Using a case study, we describe how ARIS is used to reverse engineer high-level structural information from a real application.