The efficient solving of process control problems often requires manipulating a wide spectrum of knowledge representations ranging from analytical knowledge to qualitative knowledge. These tendencies have been causing...
详细信息
The efficient solving of process control problems often requires manipulating a wide spectrum of knowledge representations ranging from analytical knowledge to qualitative knowledge. These tendencies have been causing a growing interest for methods that are flexible enough to accommodate knowledge-based paradigms. In the paper, the simulator design of the amorphous SiO2 precipitation process is described. From the control point of view, the process is a typical semibatch process containing discrete, as well as continuous dynamics. The simulator is developed in G2, which is an environment for the development of real-time expert systems and has been effectively used on a problem containing a great diversity of model descriptions. (C) 1998 Elsevier Science B.V. All rights reserved.
DESC++ (Discrete Event Simulation package using C++) has been developed as an object-oriented tool for quantitative simulation studies of communication protocols and architectures of telecommunication networks. The ma...
详细信息
DESC++ (Discrete Event Simulation package using C++) has been developed as an object-oriented tool for quantitative simulation studies of communication protocols and architectures of telecommunication networks. The main issue of such performance studies is to secure proper statistical accuracy of the final simulation results. In DESC++ this problem has been solved by automating analysis of simulation output data, aimed at stopping simulation when the estimates reach the required level of precision. The package consists of various object classes. While some of them are responsible for on-line output data analysis, others allow simulation programs of telecommunication networks to be easily developed by re-using existing (sub)models. We discuss main design and implementational issues of DESC++, and illustrate them by an example. Copyright (C) 1996 Elsevier Science Ltd
This paper describes how the U'DU decomposition method and sub-structuring algorithms can be implemented using object-oriented techniques. It is shown that this enables the algorithms to be implemented very concis...
详细信息
This paper describes how the U'DU decomposition method and sub-structuring algorithms can be implemented using object-oriented techniques. It is shown that this enables the algorithms to be implemented very concisely. Moreover, there is no increase in code complexity when the algorithms are extended to take account of sparsity. The sub-structuring, or domain decomposition algorithms are expressed in block matrix terms, and classes are used to represent each of these matrices. The solution processes are incorporated in a finite element program. The finite element program uses a distributed data structure, and this facilitates a straightforward interface between the finite element program and the mathematics. Moreover, the program possesses a clear control structure for responding to user changes to the finite element model. (C) 2001 Civil-Comp Ltd and Elsevier Science Ltd. All rights reserved.
The full power of process programming can only be achieved by a system in which we can dynamically design and execute the software process model, as well as the environment which executes the software process model. W...
详细信息
The full power of process programming can only be achieved by a system in which we can dynamically design and execute the software process model, as well as the environment which executes the software process model. We are developing a new process modelling strategy (meta-model) called the object process model and an object process modelling environment (meta-environment) OPM, which allows us to design and build both software process models and software development environments that execute the software process models. In the object process model, software process models are not static entities executed by the environment. An executing software process provides a working environment in which software designers can work in order to accomplish a wide variety of software development tasks. In OPM, software process models are described in an object-oriented process programming language called Galois and are executed by the Galois runtime system. OPM itself is written in Galois, and therefore it is considered as a software process running on top of the Galois runtime system. Galois is syntactically a superset of C + + but has four major innovations beyond conventional programming languages: meta-classes, derivation, typed functions and rule-based features. This paper presents the object process model and shows how software process models and software development environments can be designed in the process programming language Galois.
This paper is concerned with the software development of distributed real-time measurement systems. Major gears are modularity, reusability and independency from hardware devices, processors and comunications networks...
详细信息
This paper is concerned with the software development of distributed real-time measurement systems. Major gears are modularity, reusability and independency from hardware devices, processors and comunications networks. A light-weight architecture for real-time (DART) is proposed which delivers a systematic methodology centred on object-oriented techniques. The effectiveness of DART is illustrated by means of its application to a distributed measurement system for electrical power plants. (C) 1997 Elsevier Science B.V.
We introduce a translation of the simply typed lambda-calculus into C++, and give a mathematical proof of the correctness of this translation. For this purpose we develop a suitable fragment of C++ together with a den...
详细信息
We introduce a translation of the simply typed lambda-calculus into C++, and give a mathematical proof of the correctness of this translation. For this purpose we develop a suitable fragment of C++ together with a denotational semantics. We introduce a formal translation of the lambda-calculus into this fragment, and show that this translation is correct with respect to the denotational semantics. We show as well a completeness result, namely that by translating lambda-terms we obtain essentially all C++ terms in this fragment. We introduce a mathematical model for the evaluation of programs of this fragment, and show that the evaluation computes the correct result with respect to this semantics.
A model postgraduate curriculum for aspect-oriented software development has been derived from the practical experience of running postgraduate courses at nine institutions across Europe (part of the European Network ...
详细信息
A model postgraduate curriculum for aspect-oriented software development has been derived from the practical experience of running postgraduate courses at nine institutions across Europe (part of the European Network of Excellence on AOSD). Several institutions have made concrete instantiations of the curriculum, from a summer school to a university master's degree course. The curriculum also relates to the Software Engineering Body of Knowledge.
作者：
POWELL, MSDep. Comp.
Univ. Manchester Inst. Sci. and Technol. PO Box 88 Sackville St. Manchester M60 1QD UK
This paper describes an input/output primitive based on the concept of region hierarchies, which allows highly-structured images of simple or complex data objects to be constructed in a straightforward fashion. In add...
详细信息
This paper describes an input/output primitive based on the concept of region hierarchies, which allows highly-structured images of simple or complex data objects to be constructed in a straightforward fashion. In addition, any image of a data object may represent a hierarchical menu which provides access to the operations associated with the object. The programmer is not required to manage the details of an image at the level of the coordinates of the image elements and support is naturally provided for a screen/mouse pair as a fundamental input/output device. The primitive may be extended to support multidimensional representations and time-ordered sequences.
A new object-oriented C + + library (SolidEOS) for calculating the thermoelastic properties of solids is presented. The implementation is based on the Mie-Gruneisen-Debye equation of state (EOS) augmented by lowest or...
详细信息
A new object-oriented C + + library (SolidEOS) for calculating the thermoelastic properties of solids is presented. The implementation is based on the Mie-Gruneisen-Debye equation of state (EOS) augmented by lowest order correction for anharmonicity. Several commonly used static EOS like Birch Murnaghan and Vinet models are available. Although some widely used approximation for the Debye-Gruneisen parameter and static EOS are implemented, the final behaviour of the EOS can be easily modified by overloading predefined virtual functions. The article provides a basic physical background of the modern theory of high-pressure EOS. The detailed documentation of the class hierarchy is summarized in the appendix, which accompanies the source. Several examples of practical use are given in the appendix as well. The library is appropriate for applications in geophysics, petrology, material science or any other field where thermodynamic and elastic properties of solids are relevant. The source code is available from the Computers & Geoscience software archive. (c) 2005 Elsevier Ltd. All rights reserved.
Properties that are needed in a language for programming computer vision tasks are described, and a new object-oriented programming language and data management system approach is suggested. An example from automatic ...
详细信息
Properties that are needed in a language for programming computer vision tasks are described, and a new object-oriented programming language and data management system approach is suggested. An example from automatic pose estimation is used to illustrate the necessity for the properties in a language system, it is indicated where other languages and data management systems fail to provide these properties, and the type constructors used in the authors' system and features of the language semantics of their system are discussed
暂无评论