Computer Aided Systems Theory - EUROCAST'99
Springer Berlin (Verlag)
978-3-540-67822-9 (ISBN)
Survey Papers.- The Cast Project: Experiences and Future Perspectives.- Cast Methods in Biocybernetics.- On the Way to the Next Generation of Robots.- Conceptual Frameworks, Methods and Tools.- Representation of the RCS Reference Model Architecture Using an Architectural Description Language.- Conceptual Design, Functional Decomposition, Mathematical Modelling, and Perturbation Analysis.- AV-Petri Systems: How to Get Together Abstraction and Views for Petri Systems?.- Computer-Aided Analysis and Validation of Heterogeneous System Specifications.- Patterns for Embedded Systems Design.- Towards Verifying Distributed Systems Using Object-Oriented Petri Nets.- Representing Petri Nets in an Action Based Formalism.- Simplification of Proof Procedures Based on the Path Condition Concepts.- Parallel Processor Array for Tomographic Reconstruction Algorithms.- A Formalized Description Approach to Continuos Time Systems.- Modeling Complex Systems by Multi-agent Holarchies.- Partition of Systems by General System Logical Theory (GSLT).- Intelligent Robots.- Multiagent Approach to Intelligent Control of Robot.- Design of Competence Promoting Multi-Agent-Systems to Support the User in Fault Diagnosis of CNC-Machine Tools.- System Integration Techniques in Robotics.- Multi-processor Design of Non-linear Robust Motion Control for Rigid Robots.- Mobile Robot Path Planning Among Weighted Regions Using Quadtree Representations.- Matrix Model of Robot in Matlab - Simulink.- Modeling and Simulation.- Integrating Two Dynamic Models of Business-Logistics Plant.- Assembly Reengineering Model.- Design for Disassembly and Recycling for Small and Medium Sized Companies for the Next Generation.- Modeling the Emergence of Social Entities.- Simulating Social Grouping: An Interactive Team-BuildingTool (ITBT).- Sociological Aspects of Data Acquisition and Processing.- Efficient Concurrent Simulation of DEVS Systems Based on Concurrent Inference.- Simulation of Gaussian Processes and First Passage Time Densities Evaluation.- Distributed Simulation with Multimedia Interface.- Microscopic Randomness and "Fundamental Diagram" in the Traffic Flow Problem.- Floating Car Data Analysis of Urban Road Networks.- Information Lost in the Hologram Subdividing Process.- Systems Engineering and Software Development.- Electronic Performance Support Systems Challenges and Problems.- A Framework for the Elicitation, Evolution, and Traceability of System Requirements.- Development of a Precision Assembly System Using Selective Assembly and Micro Machining.- Computer Aided Planning System of a Flexible Microrobot-Based Microassembly Station.- A Formalisation of the Evolution of Software Systems.- HEDES: A System Theory Based Tool to Support Evolutionary Software Systems.- Vertical Partitioning Algorithms in Distributed Databases.- Decision Based Adaptive Model for Managing Software Development Projects.- A Fractal Software Complexity Metric Analyser.- Artificial Intelligent Systems and Control.- Systems Approach to Attention Mechanisms in the Visual Pathway.- On Completness in Early Vision from Systems Theory.- McCulloch Program II in Artificial Systems and Lastres Theorem.- A Medical Ontology for Integrating Case-Based Reasoning, Rule-Based Reasoning, and Patient Databases.- Uncertain Variables in the Computer Aided Analysis of Uncertain Systems.- Variable-Structure Learning Controllers.- An Identification Algorithmic Toolkit for Intelligent Control Systems.- Non Selective Gas Sensors and Artificial Neural Networks - Determination of Gas Mixtures.- The Supervision of HybridControl Systems - A Layered Architecture.- Automatic Players for Computer Games.
| Erscheint lt. Verlag | 26.7.2000 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | X, 606 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 233 mm |
| Gewicht | 857 g |
| Themenwelt | Informatik ► Weitere Themen ► CAD-Programme |
| Schlagworte | algorithms • Artificial Intelligence • Artificial Neural Network • Complexity • Computer Aided Design • Computer aided system theory • Databases • formal methods • intelligent control systems • Intelligent Systems • Modeling • Ontology • robot • Robotics • Signal Processing • Simulation • software development • Systems Engineering |
| ISBN-10 | 3-540-67822-0 / 3540678220 |
| ISBN-13 | 978-3-540-67822-9 / 9783540678229 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
