DisCo is a language and a method intended for the specification of reactive systems. The formal basis of this approach is in temporal logic of actions. A fundamental idea in DisCo is that all specifications are closed...
详细信息
DisCo is a language and a method intended for the specification of reactive systems. The formal basis of this approach is in temporal logic of actions. A fundamental idea in DisCo is that all specifications are closed in the sense that a specification contains both the system that is to be specified and its environment. It is possible to partition a DisCo specification in a way that separates the two parts. In this paper, requirements for this partitioning are discussed.
ANDECS is a the new generation of open CAF system for computational experimenting in controlled dynamics systems simulation, analysis, and multi-objective optimization. It strict databased function modularization with...
详细信息
ANDECS is a the new generation of open CAF system for computational experimenting in controlled dynamics systems simulation, analysis, and multi-objective optimization. It strict databased function modularization with neutral object-oriented data- and model interfaces allows a flexible configuration of computational chains and loops. Also, its function modules can be used for basic mathematical methods, control methods, simulation, parameter- and trajectory optimization, and interactive visualization for result- and algorithm animation. ANDECS supports interoperability by exchanging both commands and data via interprocess communication with: MATLAB and Xmath for system dynamics analysis and synthesis;KHOROS and Data explorer For versatile results visualization;KISMET as robot animation package;and the like.
The proceedings contains 8 papers. Topics discussed include flexible manufacturing cells for educational purposes, collision avoidance for robots in same workplace, manufacturing system reconfiguration, reconfigurable...
详细信息
The proceedings contains 8 papers. Topics discussed include flexible manufacturing cells for educational purposes, collision avoidance for robots in same workplace, manufacturing system reconfiguration, reconfigurable production cell, fieldbus system for robots, objectoriented design and configuration of manufacturing systems, robot controllers, transputer based flexible robot controllers.
The application of object-oriented techniques to the development of a real-time system for monitoring and control of remote sites is evaluated. The system, currently installed at several sites in Europe, also includes...
详细信息
The application of object-oriented techniques to the development of a real-time system for monitoring and control of remote sites is evaluated. The system, currently installed at several sites in Europe, also includes database management functions and an interactive operator interface. The object-oriented aspects of the system architecture and the development process model are described. Together they provide a technical and organizational framework for projects of similar nature. The pros and cons of the solutions are discussed.
The colloquium materials contain 9 papers. The topics covered include graphical access to symbol databases, speaker identification in communication for synchronous teleworking;managing interface complexity with mimics...
详细信息
The colloquium materials contain 9 papers. The topics covered include graphical access to symbol databases, speaker identification in communication for synchronous teleworking;managing interface complexity with mimics, objectoriented interaction, multimedia information control, concurrent accessibility of multiple actions, 3D modeling in knowledge engineering, and future possible applications of graphical user interfaces.
Discusses object-oriented development concepts, object-orientedsimulation and programming languages and simulation performance. Languages include Simula, Smalltalk, objective C, C++ amongst others.
Discusses object-oriented development concepts, object-orientedsimulation and programming languages and simulation performance. Languages include Simula, Smalltalk, objective C, C++ amongst others.< >
In the ASCOT project, Case Based Reasoning (CBR) increased the toolset's potential usability by separating user's requirements from the engineering requirements of the telecommunication service providers. This...
详细信息
In the ASCOT project, Case Based Reasoning (CBR) increased the toolset's potential usability by separating user's requirements from the engineering requirements of the telecommunication service providers. This was achieved naturally and cleanly. No lengthy on-line user interrogation was needed. Additionally, the user's involvement in the process was not compromised because he always has the final choice over which service to select, or could choose to further refine his requirements.
This paper describes the progress and interim findings of research at the MSI Research Institute at Loughborough University concerned with: consolidating and developing modelling methods and tools, which support the d...
详细信息
This paper describes the progress and interim findings of research at the MSI Research Institute at Loughborough University concerned with: consolidating and developing modelling methods and tools, which support the design and implementation of integrated systems. identifying requirements for modelling 'resources' to support the engineering of manufacturing enterprises. The research is funded jointly by the CDP committee of EPSRC and UK industry and is being advanced in conjunction with a consortium of manufacturing user organisations and their software and system suppliers.
A graphical 'front end' using the freely available Tcl/Tk programming toolkit is used to provide a point and click and drag and drop interface to the users of interface to Matlab. The overall effect is an intu...
详细信息
A graphical 'front end' using the freely available Tcl/Tk programming toolkit is used to provide a point and click and drag and drop interface to the users of interface to Matlab. The overall effect is an intuitive and easy to use interface to Matlab which may also be utilized to provide the same structure to a similar tool with only minor code changes. The implementation of the drag and drop philosophy projects an objectoriented window onto the underlying application providing significant gains in learning and productivity.
The role of computer simulation in the design and development of dynamic control systems is highlighted. Topics considered include: graphical semantics, object orientation, analog simulation, motion management, power ...
详细信息
The role of computer simulation in the design and development of dynamic control systems is highlighted. Topics considered include: graphical semantics, object orientation, analog simulation, motion management, power train control, automotive vehicle systems, biological systems, sheet steel coilers, hydraulic lift bridge, hydromechanical systems, continuous system simulation languages, computer software, and sub-modeling.
暂无评论