الصفحة 3
الصفحة 3
Holonic and multi-agent systems for manufacturing ; 2nd International conference on industrial applications of holonic and multi-agent systems, HoloMAS 2005, Copenhagen, Denmark, August 22-24, 2005, Proceedings
The challenge faced in today’s manufacturing and business environments is the question of how to satisfy increasingly stringent customer requirements while managing growing system complexity. For example, customers expect high-quality, customizable, low-cost products that can be delivered quickly. The systems that deliver these expectations are by nature distributed, concurrent, and stochastic, and, as a result, increasingly difficult to manage. Unfortunately, the traditional hierarchical, strictly centralized approach to control used in these domains is characteristically inflexible, fragile, and difficult to maintain. These shortcomings have led to the development of a new class of manufacturing and supply-chain decision-making approaches in recent years. Solutions based on these approaches usually explore a set of highly distributed decision-making units that are capable of autonomous operations while cooperating interactively to resolve larger problems. The units, referred to as agents in classical computer science and software engineering, or holons if physically integrated with the manufacturing hardware, interact by exchanging information. These units are motivated by arriving at local solutions as well as collaborating and sharing resources and goals in solving the overall problem in question collectively.
High-Level Synthesis : From Algorithm to Digital Circuit
This book presents an excellent collection of contributions addressing different aspects of high-level synthesis from both industry and academia. High-Level Synthesis: from Algorithm to Digital Circuit should be on each designer’s and CAD developer’s shelf, as well as on those of project managers who will soon embrace high level design and synthesis for all aspects of digital system design.
High-Level Modeling and Synthesis of Analog Integrated Systems
In High-Level Modeling and Synthesis of Analog Integrated Systems, two novel generic behavioral models are described. The first one adopts a time-domain approach and is suited for classes like Delta-Sigma modulators and sampled-data systems. For the second model, a new frequency-domain framework has been developed (the Phase- Frequency Transfer model) which allows the representation of classes of RF systems like front-ends of wireless receivers. To complete the high-level design strategy, the synthesis strategy has been concretized with a new top-down heterogeneous optimization algorithm.
Higher Education in the Era of the Fourth Industrial Revolution
This collection examines how higher education responds to the demands of the automation economy and the fourth industrial revolution. Considering significant trends in how people are learning, coupled with the ways in which different higher education institutions and education stakeholders are implementing adaptations, it looks at new programs and technological advances that are changing how and why we teach and learn. The book addresses trends in liberal arts integration of STEM innovations, the changing role of libraries in the digital age, global trends in youth mobility, and the development of lifelong learning programs.
Heterogeneous Objects Modelling and Applications : Collection of Papers on Foundations and Practice
Heterogeneous object modelling is a new and quickly developing research area. This book is one of the first attempts to systematically cover the most relevant themes and problems of this new and challenging subject area. It is a collection of invited papers and papers co-authored by the editors. Each chapter presents either new research results or a survey on the following topics:Formal models and abstractions of heterogeneous objects including geometric, topological, discrete and continuous models, operations forming special algebras and conversions between different model types.
Handbook of modern sensors. physics, designs, and applications
Presents a comprehensive and up-to-date account of the theory (physical principles), design, and practical implementations of various sensors for scientific, industrial, and consumer applications. This latest edition focuses on the sensing technologies driven by the expanding use of sensors in mobile devices. These new miniature sensors will be described, with an emphasis on smart sensors which have embedded processing systems. The chapter on chemical sensors has also been expanded to present the latest developments.
Grippers in Motion : The Fascination of Automated Handling Tasks
This book shows you how to ensure process reliability on the basis of combining the right components with advanced application know-how. By explaining basic preconditions of the gripping process and highlighting the milestones of automation history, we guide you all the way through to the center of the handling process – the workpiece. Its ambient conditions and setup are clearly defined as well as the process of setting grippers in motion. Starting with simple linear movements up to multi-axis kinematics, you are provided with the details for practical solutions.
Generative programming and component engineering ; 4th International conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings
Generative Programming and Component Engineering (GPCE) is a leading - searchconferenceonautomaticprogrammingandcomponentengineering.These approaches to software engineering have the potential to revolutionize software development as automation and components revolutionized manufacturing. The conference brings together researchers and practitioners interested in adva- ing automation for software development. It is also a premier forum for cro- fertilization between the programming language and software engineering - search communities. GPCEaroseasajointconference, mergingthepriorconferenceonGenerative and Component-Based Software Engineering (GCSE) and the Workshop on - mantics, Applications, andImplementationofProgramGeneration(SAIG). The proceedingsofthepreviousGPCEconferenceswerepublishedintheLNCSseries of Springer as volumes2487,2830, and 3286.In 2005 GPCE wasco-locatedwith the International Conference on Functional Programming (ICFP) and the s- posium on Trends in Functional Programming (TFP), re?ecting the vigorous interaction between the functional programming and generative programming research communities. GPCE and ICFP are both sponsored by the Association for Computing Machinery. The quality and breadth of the papers submitted to GPCE 2005 was impr- sive. All 86 papers, including 5 papers for tool demonstrations, were rigorously reviewed by 17 highly quali?ed Program Committee members. The members of the Program Committee ?rst provided in-depth individual reviews of the s- mitted papers, and then debated the merits of the papers through an extended electronicProgramCommitteemeeting.After much(friendly) argument,25r- ular papers and 2 tool demonstration papers were selected for publication. The ProgramCommittee provided extensive technical feedback to the authors of the submittedpapers.Theconferenceprogramwascomplementedwiththreeinvited talks, three extended tutorials, and three all-day workshops.
Fundamental Numerical Methods for Electrical Engineering
The book presents fundamental numerical methods which are most frequently applied in the electrical (electronic) engineering. All methods discussed are illustrated with real-world examples of applications. It is shown how real engineering questions can be transformed into the corresponding mathematical problems and next effectively solved by using appropriate numerical methods.
Functional verification coverage measurement and analysis
Functional Verification Coverage Measurement and Analysis addresses a means of quantitatively assessing functional verification progress. Without this process, design and verification engineers, and their management, are left guessing whether or not they have completed verifying the device they are designing. Using the techniques described in this book, they will learn how to build a toolset which allows them to know how close they are to functional closure.
From Cells to Proteins : Imaging Nature across Dimensions ; Proceedings of the NATO Advanced Study Institute, held in Pisa, Italy, 12-23 September 2004
This book offers updated information on how much information we are able to obtain in the exploration of the inner details of biological specimens in their native structure and composition. And deals with the implementation of laser beam and stage scanning systems incorporating confocal optics or multiphoton microscopy; the advent of new electro-optical detectors with great sensitivity, linearity, and dynamic range; the possibility of 2D fast image enhancement, reconstruction, restoration, analysis and 3D display, and the application of luminescence techniques.
Foundations of Trusted Autonomy
This book establishes the foundations needed to realize the ultimate goals for artificial intelligence, such as autonomy and trustworthiness. Aimed at scientists, researchers, technologists, practitioners, and students, it brings together contributions offering the basics, the challenges and the state-of-the-art on trusted autonomous systems in a single volume. The book is structured in three parts, with chapters written by eminent researchers and outstanding practitioners and users in the field. The first part covers foundational artificial intelligence technologies, while the second part covers philosophical, practical and technological perspectives on trust. Lastly, the third part presents advanced topics necessary to create future trusted autonomous systems. The book augments theory with real-world applications including cyber security, defence and space.
Foundations of Agile Python Development
You've long been enamored with the Python language, and have mastered its many nuances. Yet something seems to be missing—a productivity boost that you know is possible but you're not sure how to go about it. This was the sentiment of so many developers before discovering Agile programming paradigm, which embraces concepts such as automation, effective code management, and test–driven development. Foundations of Agile Python Development is the first book to apply these sought–after principles to Python developers, introducing both the tools and techniques built and supported by the Python community. Authored by Jeff Younker, a well–known member of Python's agile community who is perhaps best known for his creation of a popular Python testing framework
Foundations and applications of MIS : A model theory approach
Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. The development is driven by the need to eliminate ambiguity in specification, design and construction of the application software. Further, the authors show that the considerable effort being expanded nowadays on validation, verification and testing, as required in current software engineering practices, will be reduced. The approach also reinforces the belief that MIS development is independent of software development. The work presents an approach that provides a theoretical foundation for MIS development from the systems theoretic viewpoint along with practical applications ranging from a transaction processing system to a solver system. Both formal systems theory and automatic system generation based on the authors' newly extended Prolog offer a significant increase in the efficiency of specification, design and production of the application software, as well as an increase in the functional reliability of the software produced. The book assumes a working knowledge of elementary set theory, logic, and familiarity with some systems concepts, such as the automaton model.
Formal Modelling in Electronic Commerce
Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, and policies of commerce itself. These include business objects such as bills of lading and contracts; processes such as workflows and trade procedures; and policies covering such problems as contract or procedure validation and strategic behaviour. This book is about theory, formalization, and proof-of-concept implementation of these and related matters. In addition to presenting state-of-the-art results, the book places this work in the context of nearly twenty years of developments in formal modelling for electronic commerce. A comprehensive bibliography and index are provided.
Food physics : Physical properties : Measurement and applications
Food Physics deals with the physical properties of food, food ingredients and their measurement. Physical properties of food play a key role in all fields where modern technological processes are applied for the generation of food raw materials and the production of food. The determination of physical properties of food and related products are a pre-requisite for planning, production engineering and automation processes in today’s food, pharmaceutical and cosmetics industries as well as in all related quality control activities.This book describes the principles of food physics starting with the very basics and focuses on the needs of practitioners without omitting important basic principles.
Field and Service Robotics ; Vol. 25 : Results of the 5th International Conference
Field robots are robots which operate in outdoor, complex, and dynamic environments. Service robots are those that work closely with humans, with particular applications involving indoor and structured environments. There are a wide range of topics presented in this issue on field and service robots including: Agricultural and Forestry Robotics, Mining and Exploration Robots, Robots for Construction, Security & Defence Robots, Cleaning Robots, Autonomous Underwater Vehicles and Autonomous Flying Robots.
Field and service robotics : Results of the 6th international conference
This book presents the results of the sixth edition of Field and Service Robotics, FSR07, held in Chamonix, France, on 9th - 12th July 2007. The conference provided a forum for researchers, professionals and robot manufacturers to exchange up-to-date technical knowledge and experience. This book offers a collection of a broad range of topics including: Underwater Robots and Systems, Autonomous Navigation for Unmanned Aerial Vehicles, Simultaneous Localization and Mapping, Climbing Robotics, Sensor Fusion.
Fabbriche, sistemi, organizzazioni : Storia dell'ingegneria industriale = Factories, systems, organizations : A history of industrial engineering
This book examines the origin of the technological and organizational challenges of industry in Europe and the United States and the stages of its theoretical formulation; the creation of the figure of the industrial engineer between the nineteenth and twentieth centuries; and the elaboration of the technological disciplines and of the language and of the fundamental concepts (system, automation, control, optimization, network) of modern industrial engineering. Divided into three chronologically organized parts, each chapter is accompanied by readings, bibliographic information for in-depth study and illustrative sheets of historical, biographical aspects (relating to some great engineers, scientists and philosophers), terminological and mathematical-technical aspects.
Experimental Robotics : The 10th International Symposium on Experimental Robotics
The goal of ISER is to provide a forum for research in robotics that focuses on novelty of theoretical contributions validated by experimental results. The meetings are conceived to bring together, in a small group setting, researchers from around the world who are in the forefront of experimental robotics research.
