作者：
M. HagemannFaculty for Informatics
Institute of Real-Time Computer Control Systems and Robotics University of Karlsruhe Karlsruhe Germany
A formal language for specifying and analyzing requirements is introduced. An integrated set of tools support the transition from ideas to a requirements specification. The system is implemented on an IBM PC. The spec...
详细信息
ISBN:
(纸本)0897912586
A formal language for specifying and analyzing requirements is introduced. An integrated set of tools support the transition from ideas to a requirements specification. The system is implemented on an IBM PC. The special characteristics of the language and the tools are their suitability for the description of embedded real-time systems. The most useful feature of the system is the possibility of graphical input and output as an alternative of the mere textual specification. Transformation between textual and graphical representation is done by the PROREC system.< >
A simulation system is presented, which supports the programming of a robot based manufacturing process. A CAD system is used for the geometric modeling. The system allows modeling of different object classes like rob...
A simulation system is presented, which supports the programming of a robot based manufacturing process. A CAD system is used for the geometric modeling. The system allows modeling of different object classes like robots, endeffectors, sensors, workpieces 88 well 88 the robot's environment. The control functions of different control hierarchies of the manufacturing system can be emulated. The results of the emulation of the virtual robot can be displayed graphically. Analysis and evaluation methods are applied to detect errors and conflicts which may occur in the simulated manufacturing process. The simulation system allows optimization of the manufacturing processes
This volume gathers the peer reviewed papers presented at the 11th edition of the International Workshop on Service-oriented, Holonic and Multi-Agent Manufacturing Systems for the Industry of the Future, SOHOMA’21, o...
详细信息
ISBN:
(数字)9783030991081
ISBN:
(纸本)9783030991074;9783030991104
This volume gathers the peer reviewed papers presented at the 11th edition of the International Workshop on Service-oriented, Holonic and Multi-Agent Manufacturing Systems for the Industry of the Future, SOHOMA’21, organized on 18-19 November, 2021 by the Arts et Métiers institute of Technology of Cluny, France in collaboration with University Politehnica of Bucharest (the CIMR Research Centre in computer Integrated Manufacturing and robotics), Polytechnic University Hauts-de-France (the LAMIH Laboratory of Industrial and Human Automation control, Mechanical Engineering and computer Science) and Polytechnic institute of Bragança (the CeDRI Research Centre in Digitalization and Intelligent robotics).
The series Advances in Industrial control aims to report and encourage technology transfer in control engineering. The rapid development of control technology has an impact on all areas of the control discipline. New ...
详细信息
ISBN:
(数字)9781846283345
ISBN:
(纸本)9781852339821;9781849969895
The series Advances in Industrial control aims to report and encourage technology transfer in control engineering. The rapid development of control technology has an impact on all areas of the control discipline. New theory, new controllers, actuators, sensors, new industrial processes, computer methods, new applications, new philosophies , new challenges. Much of this development work resides in industrial reports, feasibility study papers and the reports of advanced collaborative projects. The series offers an opportunity for researchers to present an extended exposition of such new work in all aspects of industrial control for wider and rapid dissemination. In some areas of manufacturing, the elements of a flexible manufacturing system form the key components of the process line. These key components are four-fold: a set of programmable robots and machines, an automated materia- handling system that allows parts to be freely routed and re-routed, a buffer storage system where parts and partly-assembled components can wait until required for further processing and assembly and finally, a supervisory control system. The technology employed to coordinate and control all these components as a working system is usually based on programmable logic controllers. The use of this automation hardware and software in manufacturing is designed to yield significant cost reductions and to enhance quality.
Collective intelligence has become one of major research issues studied by today’s and future computer science. Computational collective intelligence is understood as this form of group intellectual activity that eme...
详细信息
ISBN:
(数字)9783642039584
ISBN:
(纸本)9783642039577;9783642269288
Collective intelligence has become one of major research issues studied by today’s and future computer science. Computational collective intelligence is understood as this form of group intellectual activity that emerges from collaboration and compe- tion of many artificial individuals. robotics, artificial intelligence, artificial cognition and group working try to create efficient models for collective intelligence in which it emerges from sets of actions carried out by more or less intelligent individuals. The major methodological, theoretical and practical aspects underlying computational collective intelligence are group decision making, collective action coordination, collective competition and knowledge description, transfer and integration. Obviously, the application of multiple computational technologies such as fuzzy systems, evo- tionary computation, neural systems, consensus theory, knowledge representation etc. is necessary to create new forms of computational collective intelligence and support existing ones. Three subfields of application of computational technologies to support forms of collective intelligence are of special attention to us. The first one is semantic web treated as an advanced tool that increases the collective intelligence in networking environments. The second one covers social networks modeling and analysis, where social networks are this area of in which various forms of computational collective intelligence emerges in a natural way. The third subfield relates us to agent and mul- agent systems understood as this computational and modeling paradigm which is especially tailored to capture the nature of computational collective intelligence in populations of autonomous individuals.
暂无评论