用熵方程证明全不可逆循环揭示的Clausius方程式

利用不可逆循环图代替传统的半不可逆循环推导出Clausius积分式，并用熵方程证明之，得出可逆过程膨胀功大于不可逆过程膨胀功。     

OPTIMUM-AIV: A planning and scheduling system for spacecraft AIV

This paper presents a project undertaken for the European Space Agency (ESA). The project is developing a knowledge based system for planning and scheduling of activities for spacecraft assembly, integration and verification (AIV). The system extends to the monitoring of plan execution and the plan repair phases.

The objectives of the contract are to develop an operational kernel of a planning, scheduling and plan repair tool, called OPTIMUM-AIV, and to provide facilities which will allow individual projects to customize the kernel to suit its specific needs. The kernel shall consist of a set of software functionalities for assistance in the initial specification of the AIV plan, in the verification and generation of valid plans and schedules for the AIV activities, and in interactive monitoring and execution problem recovery for the detailed AIV plans. Embedded in OPTIMUM-AIV are external interfaces which allow integration with alternative scheduling systems and project databases.

The current status of the OPTIMUM-AIV project, as of May 1991, is that the architectural design of the system has been agreed on by ESTEC/ESA and detailed design and implementation is now underway, expecting a final delivery in October of 1991.     

Integration of multiple national markets for electricity: The case of Norway and Sweden

During the second part of the 1990s the Nordic (Denmark, Finland, Norway and Sweden) countries have created a unique multinational market for electricity. This paper aims to analyse the degree of integration of the different national markets that constitute the Nordic electricity market. In particular the Norwegian and Swedish wholesale and retail electricity markets are analysed. The results suggest that the wholesale markets are well integrated. Thus prices differ significantly only during periods with unusually high or low supply of hydropower. However, the retail markets are not integrated to the same degree. Thus retail prices and trade margins differ significantly. Differences in the national electricity market legislation seem to be a key factor behind these differences.     

虚拟企业中数字车间与供应链系统的集成与协调

数字车间和供应链系统是虚拟企业的两个重要的功能组织。数字车间与供应链系统的信息集成和功能协调是虚拟企业能够高效运作的基础。Agent技术是构建大型、分布式系统的有效方法。本文研究了基于Agent技术的虚拟企业集成技术和协调机制。     

An exploration of expertise of knowledge workers: towards a definition of the universe of discourse for knowledge acquisition

Abstract. Knowledge systems development and use have been significantly encumbered by the difficulties of eliciting and formalizing the expertise upon which knowledge workers rely. This paper approaches the problem from an examination of the knowledge competencies of knowledge workers in order to define a universe of discourse for knowledge elicitation. It outlines two categories and several types of knowledge that could serve as the foundations for the development of a theory of expertise.     

Developing real-time knowledge-based systems with PERFECT

PERFECT (Programming EnviRonment For Expert systems Constrained in reasoning Time) is aimed at providing the necessary engineering support in real-time knowledge-based system development. PERFECT bridges the gap between the traditional analysis and design methodologies, and the implementation tools for these systems. It does so by providing the means to construct a knowledge model and to choose a suitable inference strategy. Subsequently the properties of the knowledge model and inference strategy may be analysed. For instance, it may be checked whether the knowledge model contains sufficient knowledge to diagnose a fault in an industrial process. Moreover, it may be checked whether the inference engine is able to provide an answer to a certain problem in time. If not, the analyser of PERFECT proposes an alternative structure of the knowledge model. When the constructed knowledge model and the chosen inference strategy show the required time efficiency, the compiler of PERFECT may translate them to an actual real-time knowledge based system in COGSYS. In addition, guidelines are provided with respect to the design of the human-machine interface. The resulting system is an instrument—a source of information that can be used by the human operator during problem-solving, rather than a prosthesis—a device that solves the entire problem by itself and presents the outcome to the human operator.     

计算机生成兵力中的人工智能技术

开发CGF的难点和重点在于CGF实体行为的生成,尤其是人类智能行为的实现。人类行为建模最重要的三个方面是知识获取、知识表示和决策机制,都与人工智能技术相关。该文主要介绍人类行为描述的知识表示和知识获取问题,讨论了人工智能技术在这两个方面的应用,并对将来的研究工作做了一个简单的展望。     

Automated Support for Building and Extending Expert Models

Building a knowledge-based system is like developing a scientific theory. Although a knowledge base does not constitute a theory of some natural phenomenon, it does represent a theory of how a class of professionals approaches an application task. As when scientists develop a natural theory, builders of expert systems first must formulate a model of the behavior that they wish to understand and then must corroborate and extend that model with the aid of specific examples. Thus there are two interrelated phases of knowledge-base construction: (1) model building and (2) model extension. Computer-based tools can assist developers with both phases of the knowledge-acquisition process. Workers in the area of knowledge acquisition have developed computer-based tools that emphasize either the building of new models or the extension of existing models. The PROTÉGÉ knowledge-acquisition system addresses these two activities individually and facilitates the construction of expert systems when the same general model can be applied to a variety of application tasks.     

Computational Schemes for Flexible,Nonlinear Multi-Body Systems

This paper deals with the development of computational schemes for the dynamic analysis of flexible, nonlinear multi-body systems. The focus of the investigation is on the derivation of unconditionally stable time integration schemes for these types of problem. At first, schemes based on Galerkin and time discontinuous Galerkin approximations applied to the equations of motion written in the symmetric hyperbolic form are proposed. Though useful, these schemes require casting the equations of motion in the symmetric hyperbolic form, which is not always possible for multi-body applications. Next, unconditionally stable schemes are proposed that do not rely on the symmetric hyperbolic form. Both energy preserving and energy decaying schemes are derived that both provide unconditionally stable schemes for nonlinear multi-body systems. The formulation of beam and flexible joint elements, as well as of the kinematic constraints associated with universal and revolute joints. An automated time step selection procedure is also developed based on an energy related error measure that provides both local and global error levels. Several examples of simulation of realistic multi-body systems are presented which illustrate the efficiency and accuracy of the proposed schemes, and demonstrate the need for unconditional stability and high frequency numerical dissipation.