In the mid 1980s, the UK Science and Engineering Research Council funded a number of projects to develop computer-aided control system design (CACSD) environments. The flagship project was ECSTASY (Environment for Con...
详细信息
In the mid 1980s, the UK Science and Engineering Research Council funded a number of projects to develop computer-aided control system design (CACSD) environments. The flagship project was ECSTASY (Environment for Control System Theory and SYnthesis), a database-mediated framework for hosting a number of popular control systems design tools. As the ECSTASY project neared its completion, some of the most urgently requested features appeared in rival commercial packages, and the short-falls in tool provision that ECSTASY was designed to address apparently went away. Using as a benchmark the capabilities of the current generation of the popular CACSD package MATLAB, the prescience of the original ECSTASY proposal will be demonstrated. A couple of areas that the environment excelled in, the use of a common information model and common user interface, will be discussed in the context of recent work done in the University of Wales and elsewhere. Finally, two topics of particular interest to the authors, the proposed standard reference model for computer-aided control engineering and an object-oriented Unified Infonnation Model for CACSD will be revisited in the light of recent developments in internet computing.
Gismo is a highly interactive program, with an iconic human interface and a 3D graphics display, which was developed in order to investigate the feasibility of using object-oriented programming within high-energy phys...
详细信息
Gismo is a highly interactive program, with an iconic human interface and a 3D graphics display, which was developed in order to investigate the feasibility of using object-oriented programming within high-energy physics. It allows the user to design a detector and save it to disk, to track Monte Carlo events through such a detector, to simulate the detector response, and to reconstruct an event from this response. Gismo was developed using objective-C and the Interface Builder on a NeXT computer, and the speed with which it was possible to build an application of this complexity indicates that the techniques used warrant further investigation.
Real-time systems engineers have, for some time, identified Java as an attractive programming language, but have been unable to exploit its benefits as it cannot provide the fundamental temporal predictability require...
详细信息
Real-time systems engineers have, for some time, identified Java as an attractive programming language, but have been unable to exploit its benefits as it cannot provide the fundamental temporal predictability required. However, this is all changing, as academic and industrial experts propose extensions to the Java environment. On the basis of this study, significant agreement has been found in how some of the critical areas of Java may be addressed for real-time, such as memory management and portability. However, areas such as scheduling and interprocess communication, have been contentious, even among expert opinion. This paper considers the current status of this exciting and emerging, soon to become, real-time programming language, with a focus on process control application. In addition, it will overview a preliminary performance assessment of the alleged real-time java virtual machine (JVM) from NewMonics Inc and compared upfront with the Sun JVM.
The paper refers to the description of an object-oriented approach to the formalisation of parallel DEDS modelling tools. The goal of the presented approach is to develop a modelling framework that enables the modular...
详细信息
The paper refers to the description of an object-oriented approach to the formalisation of parallel DEDS modelling tools. The goal of the presented approach is to develop a modelling framework that enables the modular and hierarchical construction of complex DEDS with the structured view of the underlying state space. The basic notions are defined, e.g., the state classes, the dynamic model of the objects and the operation of the parallel composition. The parallel composition of the objects’ models express the dynamic relations between objects of different classes in dependence on theirs states and occurred events. The method of the analysis of the model concerning to the reachability of the given configuration is also discussed. This point will be the further step of the research activity. At the end, a simple example and its program realisation in the C++ language is given.
In recent times, the subject of interoperability has become very popular. In large-scale software applications development, it is a common practice to combine multiple languages in solving peculiar problems and develo...
详细信息
In recent times, the subject of interoperability has become very popular. In large-scale software applications development, it is a common practice to combine multiple languages in solving peculiar problems and developing robust solutions. The ability to combine multiple languages allows an easy migration of an existing project from one language to another or use existing libraries in another language. This makes interoperability a force to be reckoned with when developing new programming languages. The Eolang programming language is a new research and development initiative aimed at achieving true object-oriented programming by having all components of the program as objects. As such, the construct and syntax of Eolang is vastly different from that of Java. This makes integration and interoperability between these two languages a challenging issue related to method/object naming conventions, keywords and operators, etc. In this paper we explore the potential of Eolang interoperability with Java by looking at the interoperability mechanisms of some other languages with Java, describe ways to overcome these challenges with Eolang and develop the solution. Specifically, we focus on the possibility to call Java code from Eolang while the semantics of both languages remain preserved. Our solution allows Java code to be called in Eolang through wrappers that turn Java classes and methods into Eolang objects.
The text deals with the developement of an integrated object-oriented network - and modal split-model. The subtasks are a multimode network model, alternative paths within traffic networks, a multi-paths-algorithm, th...
详细信息
The text deals with the developement of an integrated object-oriented network - and modal split-model. The subtasks are a multimode network model, alternative paths within traffic networks, a multi-paths-algorithm, the combination of the defined subtasks within an integrated modal-split-model and the implementation of the developed model and algorithms. The subtasks, problems and solutions are shortly described.
Fitness-for-service assessment of a cracked component intends to evaluate its remaining strength and remaining life to support the implementation of a maintenance plan. This research aims to develop a fitness-for-serv...
详细信息
Fitness-for-service assessment of a cracked component intends to evaluate its remaining strength and remaining life to support the implementation of a maintenance plan. This research aims to develop a fitness-for-service assessment software to facilitate the task. The software development process included identifying the software specifications, designing the software structure, manipulating the information in the standard for programming, the graphical user interface design, and finally verification. The assessment procedure employed in this study was the third edition of the standard API RP 579. The software structure was designed using an object-oriented concept. The software can perform integrity assessment levels 1, 2, and 3 option B, leak-before-break assessment, and remaining life assessment for a cracked cylinder that has a through-thickness crack or semi-elliptical surface crack oriented in an axial or circumferential direction. The applied loads could be a nominal axial force, bending moment, and internal pressure, as well as stress profiles perpendicular to the crack plane due to mechanical, thermal, and residual stresses. Accuracy of the software was demonstrated by applying it to example problems. Some aspects of the software extensibility were conceptually discussed.
Teaching algorithmization and programming has been recently going through big changes trying to react to the dynamic development of software industry. Previously used methodical process, development models, or program...
详细信息
Teaching algorithmization and programming has been recently going through big changes trying to react to the dynamic development of software industry. Previously used methodical process, development models, or programming languages do not conform to current requirements. The results of the surveys in primary and secondary schools, we can say that the teaching of programming and algorithms are not sufficiently exploited. The aim of this paper is to present practical experience of the author teaching programming and the possibilities of using design patterns in the teaching of programming. According to the performed analyzes the procedures and methodologies of teaching programming shows that Design Patterns are used only marginally. For these reasons, students learn to improper practices that subsequently applied in practical solutions programs. According to the experiments show that the correct use of the teaching of design patterns can improve student performance in programming
The didactic system developed at São Paulo University, the MFG Toolkit, consists of a simulator for control objects and a controller. In both systems it is utilized the same modeling tool, the MFG/PFS (Mark Flow ...
详细信息
The didactic system developed at São Paulo University, the MFG Toolkit, consists of a simulator for control objects and a controller. In both systems it is utilized the same modeling tool, the MFG/PFS (Mark Flow Graph/Production Flow Schema), derived from Petri Nets. This modeling tool is the keystone of the MFG/PFS Methodology. The case study shown here illustrates the operation sequence for the MFG Toolkit which involves the usage of MFG/PFS Methodology for contriving a model for a given control object and a control algorithm for it.
We present a constraint system, OF, of feature trees that is appropriate to specify and implement type inference for first-class messages. OF extends traditional systems of feature constraints by a selection constrain...
详细信息
We present a constraint system, OF, of feature trees that is appropriate to specify and implement type inference for first-class messages. OF extends traditional systems of feature constraints by a selection constraint x z, "by first-class feature tree" y, which is in contrast to the standard selection constraint x[f]y, "by fixed feature" f. We investigate the satisfiability problem of OF and show that it can be solved in polynomial time, and even in quadratic time if the number of features is bounded. We compare OF with Treinen's system EF of feature constraints with first-class features, which has an NP-complete satisfiability problem. This comparison yields that the satisfiability problem for OF with negation is NP-hard. Further we obtain NP-completeness, for a specific subclass of OF with negation that is useful for a related type inference problem. Based on OF we give a simple account of type inference for first-class messages in the spirit of Nishimura's recent proposal, and we show that it has polynomial time complexity: We also highlight an immediate extension of this type system that appears to be desirable but makes type inference NP-complete.
暂无评论