An object-oriented approach to Monte Carlo calculation of uncertainties is described. Simple C++ objects are presented that can be used to perform uncertainty calculations by modelling the underlying probability distr...
详细信息
An object-oriented approach to Monte Carlo calculation of uncertainties is described. Simple C++ objects are presented that can be used to perform uncertainty calculations by modelling the underlying probability distributions. The approach allows a calculation to be expressed simply, in terms of the measurement function and the probability distributions of its input quantities. Analysis of the measurement function is not required, nor is the calculation sensitive to measurement function nonlinearity. The C++ computer code is very efficient, allowing desktop computer simulations to provide detailed information on the measurand probability distribution function.
The performance of automated manufacturing system (AMS) relies heavily on the quality of their supervisory control software. This paper presents a methodology that provides an object-oriented framework for the develop...
详细信息
The performance of automated manufacturing system (AMS) relies heavily on the quality of their supervisory control software. This paper presents a methodology that provides an object-oriented framework for the development and verification of supervisory control software for automated manufacturing systems. Such a framework consists of five well-defined milestones to quantify software production, refinement procedures to guide the overall software development process, and software models and procedures for software verification. The objective is to ensure efficient production of high quality supervisory control software for AMSs. The effectiveness of the framework is illustrated by using a case example concerning the development of supervisory control software for a flexible manufacturing system.
Operator interface for a controlled water tank process has been developed in Java. The task of the system is to control the water level in a tank, to give the user an opportunity to interact with the controller, and t...
详细信息
Operator interface for a controlled water tank process has been developed in Java. The task of the system is to control the water level in a tank, to give the user an opportunity to interact with the controller, and to present data in a lucid way. The P-, I- and D-part of the control signal are shown in a graph and thereby give a clear insight in the function of the controller. Taking use of the Java standard libraries has made the program small but at the same time powerful.
This position paper discusses the issues in design and development of a transaction support for Ada 95. Transactions and other fault tolerance mechanisms are reviewed, and their applicability in a concurrent programmi...
详细信息
ISBN:
(纸本)9781581131772
This position paper discusses the issues in design and development of a transaction support for Ada 95. Transactions and other fault tolerance mechanisms are reviewed, and their applicability in a concurrent programming language is analyzed. Possible ways of integration are presented, and implementation problems are discussed.
There have been a number of models proposed for integrating concurrency and object-oriented programming. Unfortunately, there have been few criteria proposed for evaluating them. In focusing on issues of inheritance, ...
详细信息
There have been a number of models proposed for integrating concurrency and object-oriented programming. Unfortunately, there have been few criteria proposed for evaluating them. In focusing on issues of inheritance, designers of new concurrent object-oriented programming languages appear to have forgotten the experiences learned from over two decades of concurrent programming. In this paper we review Bloom's criteria for evaluating the expressive power of synchronisation primitives, and apply it in an object-oriented framework. We show that most of the available concurrent object-oriented programming languages lack expressive power, and that this contributes to the so-called inheritance anomaly. We then propose a new model which does address all of Bloom's criteria. Copyright (C) 1996 Elsevier Science Ltd
Many object-based and object-oriented programming languages have no way of directly preventing structural defects due to the sharing of objects. Languages such as C++, Smalltalk and Eiffel fall into the category of un...
详细信息
Many object-based and object-oriented programming languages have no way of directly preventing structural defects due to the sharing of objects. Languages such as C++, Smalltalk and Eiffel fall into the category of unsafe object languages where these defects can and do occur. This error can be prevented by use of object languages supporting safe, strong typing structures. Examples falling into this category are Ada83 and Ada95 with their limited private, strong typing and unsharable constructs. The paper shows how unsafe object sharing is prevented using these constructs. Applications where safety and security are important should be implemented using languages in this latter category.
User or program mobility in distributed computing systems is becoming increasingly significant, since users may sometimes change their working locations. This paper proposes a Logical Machine (LM) system that can effe...
详细信息
In the conventional object model, encapsulated objects interact by messages that result in method invocations on the destination object. A message is delivered directly at the destination object. As a result of the di...
详细信息
Many languages for computer systems simulation (like GPSS and CSim) use a stochastic model of systems with the provision of adding procedural code for those aspects of the system that cannot be captured easily by a st...
详细信息
暂无评论