Synchronous reactive systems continually react with their environment. Based on formal hypothesis and complete semantics, this approach brings rigor and flexibility. The aim of some research is to specify a common cod...
详细信息
Synchronous reactive systems continually react with their environment. Based on formal hypothesis and complete semantics, this approach brings rigor and flexibility. The aim of some research is to specify a common code which can be used as an intermediate code or gateway for the present synchronous languages, this paper is consistent with this spirit. SOL (State object Language) is proposed and its concepts are presented. From an object code of synchronous language, the equivalent SOL program is generated. The result is a clean program with a high abstraction level, this allows the application evolution and maintenance in an incremental way.
The problem of noise-resistance LSS control on the basis of interpreting a built-in hierarchical situational model IOHiP is considered. The method of multi-jump hypotheses for noise-resistant interpretation based on s...
详细信息
The problem of noise-resistance LSS control on the basis of interpreting a built-in hierarchical situational model IOHiP is considered. The method of multi-jump hypotheses for noise-resistant interpretation based on sequential analysis of the current situations hierarchy is suggested and discussed. An object-oriented IOHiP for definition of the general LSS structure and its dynamic state using the multi-jump hypotheses method is suggested. The interpretation algorithm is given in detail.
Kinematic indicators play an increasingly important role in the interpretation of rocks that experienced deformation in the deep crust. Because most ductile shear zones lack clearly offset markers, small-scale structu...
详细信息
Kinematic indicators play an increasingly important role in the interpretation of rocks that experienced deformation in the deep crust. Because most ductile shear zones lack clearly offset markers, small-scale structures such as asymmetric porphyroclast tails, porphyroblast inclusion trails, and composite planar (S-C) fabrics usually provide the only records of the sense of displacement. Field observations and analog models have demonstrated that these types of structures can yield reliable shear-sense information, but no single quantitative model has been able to simulate the diverse geometries exhibited by known shear-sense indicators. We have developed such program for Macintosh computers, using object-oriented programming techniques. The program, named ShearSense, demonstrates that the development of most abundant shear-sense indicators is governed by a small number of kinematic variables and that it may be possible to read shear strain magnitude from structural geometries. The program also illustrates the potential of object-oriented programming for computer simulation of geologic phenomena.
Making a finite element code easier to maintain is achieved by further modularizing it. Due to its two levels of modularity (of procedures and data), object-oriented programming is the method of choice. Its potential ...
详细信息
Making a finite element code easier to maintain is achieved by further modularizing it. Due to its two levels of modularity (of procedures and data), object-oriented programming is the method of choice. Its potential is investigated in two bottlenecks of finite element programming where so far it has not proved significantly more successful than classical Fortran programming. The first of these is the lack of adequate data structures between the analysis specifications and the basic objects of the finite element method, like the element and the node. This is solved by defining two classes of objects, namely problem and domain, with clearly differentiated specifications. The second gap deals with solving linear equation systems. Introducing an intermediate class UnassembledMatrix allows alternative storage/solving schemes to be implemented in a very flexible manner. (C) 1997 by John Wiley & Sons, Ltd.
The objective of this paper is to describe the object-oriented implementation and computational efficiency of a multibody dynamics algorithm for planar mechanical systems. The underlying formulation uses a unique comb...
详细信息
In the past decade, there has been much research effort dedicated to combine the object-oriented programming paradigm and the logic programming paradigm. Most of this effort sheds light upon the philosophy of multipar...
详细信息
In the past decade, there has been much research effort dedicated to combine the object-oriented programming paradigm and the logic programming paradigm. Most of this effort sheds light upon the philosophy of multiparadigm programming as a near ideal mental model for a wide class of problem domains. In this paper we propose a scheme for object and logic integration-the OLI scheme. This scheme contributes to the multiparadigm programming philosophy by putting forward a multiparadigm design methodology and describing a multiparadigm programming language. Above all, the OLI scheme integrates the object-oriented and the logic programming paradigms at the design and language levels with a precise and well-balanced interface so that each paradigm shares an equal and cooperating partnership in problem analysis and problem solving. An important property of the OLI language is that programmers can program either in one of the paradigms alone or in a mixed paradigm without sacrificing expressiveness and efficiency. We give,a formal definition of the OLI language and study its semantics both from the logical perspective and the object-oriented perspective. By viewing objects as an enrichment of the Herbrand universe, we define the declarative and operational semantics of OLI. We show that OLI's operational semantics, a generalized form of SLD-resolution, is sound and complete. From the object-oriented point of view, the logic part of OLI is simply an object with logic programs as states and methods for performing logical deduction. (C) 1997 Elsevier Science Ltd.
object-oriented programming requires different skills from those of traditional structured programming. Thus, a good interactive environment for beginners of object-oriented programming should be provided. We have des...
详细信息
object-oriented programming requires different skills from those of traditional structured programming. Thus, a good interactive environment for beginners of object-oriented programming should be provided. We have designed and implemented a visual environment of object-oriented programming for beginners. If a programmer draws a diagram of the tree of the hierarchy of classes visually by using our tool, the relationship between superclasses and subclasses are automatically established. Moreover, in order to prevent careless mistakes to override methods, the prototype environment in the Smalltalk language checks written methods. We conducted an experiment with our tool and evaluated its usefulness.
object-oriented design and development methods promise to guide designers and to reduce development costs. The DIRECT activity at the Fachhochschule Wiesbaden carefully odopts die object Management Group (OMG) Common ...
详细信息
object-oriented design and development methods promise to guide designers and to reduce development costs. The DIRECT activity at the Fachhochschule Wiesbaden carefully odopts die object Management Group (OMG) Common object Request Broker Architecture (CORBA) standard for the development of distributed real-time control applications. The testbed is an automated laboratory for analyzing environmental samples. The laboratory consists of a set of interconnected intelligent laboratory modules and robots.
In the past few years the authors have established a real-time object-oriented (OO) structuring approach called the RTO.k object structuring scheme for the purpose of realizing real-time computing in the form of a gen...
详细信息
In the past few years the authors have established a real-time object-oriented (OO) structuring approach called the RTO.k object structuring scheme for the purpose of realizing real-time computing in the form of a generalization of non-real-time computing, that yet allows system engineers to confidently produce certifiable real-time systems for safety-critical applications. Also, a model of an operating system kernel named the DREAM kernel (which can support both conventional real-time processes and RTO.k objects with guaranteed timely services), has been formulated. A user-friendly interface to DREAM kernel services for RTO.k-structured real-time application programs is provided by a collection of specific C++ classes called the DREAM library. In a sense, C++ augmented with the DREAM library can be viewed as an RTO.k objectprogramming language, although it does more than that. This paper discusses the essence of RTO.k objectprogramming in C++ with the aid of the DREAM library. Copyright (C) 1997 Elsevier Science Ltd.
In the past few years the authors have established a real-time object-oriented (OO) structuring approach called the RTO.k object structuring scheme for the purpose of realizing real-time computing in the form of a gen...
详细信息
In the past few years the authors have established a real-time object-oriented (OO) structuring approach called the RTO.k object structuring scheme for the purpose of realizing real-time computing in the form of a generalization of non-real-time computing, that yet allows system engineers to confidently produce certifiable real-time systems for safety-critical applications. Also, a model of an operating system kernel named the DREAM kernel (which can support both conventional real-time processes and RTO.k objects with guaranteed timely services), has been formulated. A user-friendly interface to DREAM kernel services for RTO.k-structured real-time application programs is provided by a collection of specific C++ classes called the DREAM library. In a sense, C++ augmented with the DREAM library can be viewed as an RTO.k objectprogramming language, although it does more than that. This paper discusses the essence of RTO.k objectprogramming in C++ with the aid of the DREAM library. Copyright (C) 1997 Elsevier Science Ltd.
暂无评论