Relevant context inference (RCI) is a modular technique for flow- and context-sensitive data-flow analysis of statically typed object-orientedprogramming languages such as C++ and Java. RCI can be used to analyze com...
详细信息
Relevant context inference (RCI) is a modular technique for flow- and context-sensitive data-flow analysis of statically typed object-orientedprogramming languages such as C++ and Java. RCI can be used to analyze complete programs as well as incomplete programs such as libraries; this approach does not require that the entire program be memory-resident during the analysis. RCI is presented in the context of points-to analysis for a realistic subset of C++. The empirical evidence obtained from a prototype implementation argues the effectiveness of RCI.
The perspective notion that is supported in an object-based knowledge representation can facilitate better abstractions of reality for modeling and simulation. A historic record of the entire process is necessary to f...
详细信息
ISBN:
(纸本)0819431702;9780819431707
The perspective notion that is supported in an object-based knowledge representation can facilitate better abstractions of reality for modeling and simulation. A historic record of the entire process is necessary to facilitate backtracking and restart of a process at different points in time. By using perspective, the sequence of markers can have multiple and varying views tailored for a particular user's context of interest.
An undergraduate junior or senior level course in object-oriented design and programming is described. The course assumes familiarity with ANSI C and with data structures. The course is a popular elective among upper ...
详细信息
An undergraduate junior or senior level course in object-oriented design and programming is described. The course assumes familiarity with ANSI C and with data structures. The course is a popular elective among upper division students. The small, elegant, pure, and powerful object-oriented language Eiffel is used to illustrate the significant object concepts and as a guide to identifying the most relevant subsets of the C++ and Java languages.
This paper deals with the use of software diversity, specifically, N-version programming (NVP) in object-oriented (OO) systems. We formulate the problem of faulty version recovery and show how our NVP scheme, develope...
详细信息
This paper deals with the use of software diversity, specifically, N-version programming (NVP) in object-oriented (OO) systems. We formulate the problem of faulty version recovery and show how our NVP scheme, developed recently, can be extended to solve it. Our approach relies on using the abstract version state, which represents a common general description of the states of all correct version objects. The recovery consists in mapping the state of a correct version onto the state of the faulty version via the abstract state. We introduce a formal description of our model and show that many ideas related to object state abstraction can be found in the existing research on OO programming. We discuss extensions of LAYOM and PSL as promising practical approaches for developing recovery features in OO programming. As an alternative solution, we propose a meta-object architecture and a related protocol which can facilitate the solution of the object version recovery problem. The paper finishes with a brief discussion of engineering steps which have to be done for developing recoverable version objects and of some approaches which can improve the reusability of the scheme proposed.
作者:
Abe, NMCardoso, JREPUSP
LMAG Lab Electromagnetismo Aplicado BR-05508900 Sao Paulo Brazil
This paper presents a method for transient and steady-state analysis of electrical motors and drives. Equations of electric circuit and equations of magnetic fields are taken into account simultaneously coupling nodal...
详细信息
This paper presents a method for transient and steady-state analysis of electrical motors and drives. Equations of electric circuit and equations of magnetic fields are taken into account simultaneously coupling nodal analysis and 2D FEM. The inductances and capacitances are modeled with Dommel's approach, The global matrix is symmetrical and solved by a step-by-step technique. The formulation was validated comparing numerical results and experimental ones.
In recent years, computer animation systems are used for many purposes such as computer aided instruction (CAI) and presentation. In conventional animation development systems, though developers of such animations are...
详细信息
In recent years, computer animation systems are used for many purposes such as computer aided instruction (CAI) and presentation. In conventional animation development systems, though developers of such animations are usually not experts on computer hardware/software systems, they are required to have a high capability to describe program codes, and therefore it is not easy for them to create attractive contents. In order to support easy animation development, we consider that it is important to separate scenarios from programs. Based on this observation we have designed and implemented an animation development system where scenarios are described separately from programs and managed in a knowledge-base system. In this system, scenarios described in a natural language are converted into schedule data for an animation using an inference engine included in the knowledge-base system, and consequently users can develop animations easily.
In shape rolling, the determination of roll pass and profile design is of importance. In the present investigation, a knowledge-based expert system is developed for the design of roll pass and profile sequences for th...
详细信息
In shape rolling, the determination of roll pass and profile design is of importance. In the present investigation, a knowledge-based expert system is developed for the design of roll pass and profile sequences for the shape rolling of round and square bars. For development of the program, C+ + language and an object oriented programming technique were utilized in consideration of the flexibility and expandability of the program. A backward chaining algorithm was employed for the inference engine to determine the manufacturing sequences in reverse order based on design rules extracted from the literature. For optimization of the process sequence design, the number of roll passes was minimized by comparing the error between the inferred roll passes and the initial error provided as input. In the currently developed expert system, five geometries such as box, square, diamond, oval and round were introduced as a basic geometry to describe the intermediate roll geometries. In addition, the roll separating force, area reduction and change of length at each stage of shape rolling were determined and displayed on the monitor of a personal computer. The system was applied for the shape rolling of round and square bars. The process sequences determined were proven to be reasonable compared to those available at practice. (C) 1999 Elsevier Science S.A. All rights reserved.
In the past, the invention of a new programming paradigm led to new programming languages. We show that C++ is a perfectly adequate dataflow programming language, given some suitable definitions. Reasons are mentioned...
详细信息
In the past, the invention of a new programming paradigm led to new programming languages. We show that C++ is a perfectly adequate dataflow programming language, given some suitable definitions. Reasons are mentioned for believing that this is also the case for logic and functional programming. We conclude that object-orientedprogramming may remove the need for languages motivated by specific programming paradigms.
Multimethods offer several well-known advantages over the single dispatching of conventional object-oriented languages, including a simple solution to the "binary method" problem, cleaner implementations of ...
详细信息
ISBN:
(纸本)3540661565
Multimethods offer several well-known advantages over the single dispatching of conventional object-oriented languages, including a simple solution to the "binary method" problem, cleaner implementations of the "visitor," "strategy," and similar design patterns, and a form of "open objects," However, previous work on statically typed multimethods whose arguments are treated symmetrically has required the whole program to be available in order to perform typechecking. We describe Dubious, a simple core language including first-class generic functions with symmetric multimethods, a classless object model, and modules that can be separately typechecked. We identify two sets of restrictions that ensure modular type safety for Dubious as well as an interesting intermediate point between these two. We have proved each of these modular type systems sound.
暂无评论