Программирование - скачать книги или читать онлайн. Страница 26

This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of “formal methods” (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.). The authors cover the following topics: an example of use of SCADE, constraint solving in B, validation of Petri Nets-based automated rail safety, data validation, etc.

Real-time systems are used in a wide range of applications, including control, sensing, multimedia, etc. Scheduling is a central problem for these computing/communication systems since it is responsible for software execution in a timely manner. This book, the second of two volumes on the subject, brings together knowledge on specific topics and discusses the recent advances for some of them. It addresses foundations as well as the latest advances and findings in real-time scheduling, giving comprehensive references to important papers, but the chapters are short and not overloaded with confusing details. Coverage includes scheduling approaches for networks and for energy autonomous systems. Other sophisticated issues, such as feedback control scheduling and probabilistic scheduling, are also addressed. This book can serve as a textbook for courses on the topic in bachelor’s degrees and in more advanced master’s degree programs. It also provides a reference for computer scientists and engineers involved in the design or the development of Cyber-Physical Systems which require up-to-date real-time scheduling solutions.

Widely used across industrial and manufacturing automation, Programmable Logic Controllers (PLCs) perform a broad range of electromechanical tasks with multiple input and output arrangements, designed specifically to cope in severe environmental conditions such as automotive and chemical plants. Programmable Logic Controllers: A Practical Approach using CoDeSys is a hands-on guide to rapidly gain proficiency in the development and operation of PLCs based on the IEC 61131-3 standard. Using the freely-available* software tool CoDeSys, which is widely used in industrial design automation projects, the author takes a highly practical approach to PLC design using real-world examples. The design tool, CoDeSys, also features a built in simulator/soft PLC enabling the reader to undertake exercises and test the examples. Key features: Introduces to programming techniques using IEC 61131-3 guidelines in the five PLC-recognised programming languages. Focuses on a methodical approach to programming, based on Boolean algebra, flowcharts, sequence diagrams and state-diagrams. Contains a useful methodology to solve problems, develop a structured code and document the programming code. Covers I/O like typical sensors, signals, signal formats, noise and cabling. Features Power Point slides covering all topics, example programs and solutions to end-of-chapter exercises via companion website. No prior knowledge of programming PLCs is assumed making this text ideally suited to electronics engineering students pursuing a career in electronic design automation. Experienced PLC users in all fields of manufacturing will discover new possibilities and gain useful tips for more efficient and structured programming. * Register at www.codesys.com www.wiley.com/go/hanssen/logiccontrollers

Fritzson covers the Modelica language in impressive depth from the basic concepts such as cyber-physical, equation-base, object-oriented, system, model, and simulation, while also incorporating over a hundred exercises and their solutions for a tutorial, easy-to-read experience. The only book with complete Modelica 3.3 coverage Over one hundred exercises and solutions Examines basic concepts such as cyber-physical, equation-based, object-oriented, system, model, and simulation

A concise, engineering-oriented resource that provides practical support to IT professionals and those responsible for the quality of the software or systems they develop Software quality stems from two distinctive, but associated, topics in software engineering: software functional quality and software structural quality. This book studies the tenets of both of these notions, which focus on the efficiency and value of a design, respectively. It addresses engineering quality on both the application and system levels with attention to information systems (IS) and embedded systems (ES) as well as recent developments. Software Quality Engineering introduces the basic concepts of quality engineering like the nature of the engineering process, quality models and measurements, and evaluation quality, and provides a step-by-step overview of the application of software quality engineering in commonly recognized phases of the software development process. It also discusses management of software quality engineering processes, with special attention to budget, planning, conflict resolution, and traceability of quality requirements. Targeted at graduate engineering students and software quality specialists, Software Quality Engineering: Provides an analysis of interdependence between software functionality and its quality Includes a list of software quality engineering “to-dos” and models of software quality requirements traceability Covers the practical use of related ISO/IEC JTCI/SC7 standards

This collective work identifies the latest developments in the field of the automatic processing and analysis of digital color images. For researchers and students, it represents a critical state of the art on the scientific issues raised by the various steps constituting the chain of color image processing. It covers a wide range of topics related to computational color imaging, including color filtering and segmentation, color texture characterization, color invariant for object recognition, color and motion analysis, as well as color image and video indexing and retrieval. Contents 1. Color Representation and Processing in Polar Color Spaces, Jesús Angulo, Sébastien Lefèvre and Olivier Lezoray. 2. Adaptive Median Color Filtering, Frédérique Robert-Inacio and Eric Dinet. 3. Anisotropic Diffusion PDEs for Regularization of Multichannel Images: Formalisms and Applications, David Tschumperlé. 4. Linear Prediction in Spaces with Separate Achromatic and Chromatic Information,Olivier Alata, Imtnan Qazi, Jean-Christophe Burie and Christine Fernandez-Maloigne. 5. Region Segmentation, Alain Clément, Laurent Busin, Olivier Lezoray and Ludovic Macaire. 6. Color Texture Attributes, Nicolas Vandenbroucke, Olivier Alata, Christèle Lecomte, Alice Porebski and Imtnan Qazi. 7. Photometric Color Invariants for Object Recognition, Damien Muselet. 8. Color Key Point Detectors and Local Color Descriptors, Damien Muselet and Xiaohu Song. 9. Motion Estimation in Color Image Sequences, Bertrand Augereau and Jenny Benois-Pineau.

Provides coverage of the major theories and technologies involved in the lifecycle of 3D video content delivery Presenting the technologies used in end-to-end 3D video communication systems, this reference covers 3D graphics and video coding, content creation and display, and communications and networking. It covers the full range of key areas from the fundamentals of 3D visual representation to the latest 3D video coding techniques, relevant communication infrastructure and networks to the 3D quality of experience. The book is structured to logically lead readers through the topic, starting with generic and fundamental information, continuing with a detailed section of different visualisation techniques before concluding with an extensive view of 3D mobile communication systems and trends. The authors give most focus to four important areas: 3D video coding and communications; 3D graphics/gaming and mobile communications; end-to-end 3D ecosystem (including 3D display, 3D player, networking facility and 3D quality issues), and future communications and networks advances for emerging 3D experience. Presents the theory and key concepts behind the latest 3D visual coding framework, standards, and corresponding quality assessment Provides fundamental material which forms the basis for future research on enhancing the performance of 3D visual communications over current and future wireless networks Covers important topics including: 3D video coding and communications; 3D graphics/gaming and mobile communications; end-to-end 3D ecosystem; and future communications and networks advances for emerging 3D experience Essential reading for engineers involved in the research, design and development of 3D visual coding and 3D visual transmission systems and technologies, as well as academic and industrial researchers.

Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms – from the same editors – introduce the underlying concepts, the associated design techniques and the related security issues. The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement. This book is more specifically intended for readers that wish to gain an overview of the application of formal methods in the design of distributed systems. Master’s and PhD students, as well as engineers in industry, will find a global understanding of the techniques as well as references to the most up-to-date works in this area.

Presents the state of the technology and points to future directions for semantic computing Semantic computing, a rapidly evolving interdisciplinary field, seeks to structure, design, and manipulate computer content to better satisfy the needs and intentions of users and create a more meaningful user experience. This remarkable contributed work examines the art, engineering, technology, and applications of the field. Moreover, it brings together researchers from such disciplines as natural language processing, software engineering, multimedia semantics, semantic Web, signal processing, and pattern recognition in order to provide a single source that presents the state of the technology and points to new breakthroughs on the horizon. Semantic Computing begins with an introduction that explores the concepts, technology, applications, and future of semantic computing. Next, the book is divided into four parts: Part One: Semantic Analysis Part Two: Semantic Languages and Integration Part Three: Semantic Applications Part Four: Semantic Programming and Interface As readers progress through the book, they'll learn not only the underlying science, but also the fundamental technological building blocks of semantic computing. Moreover, they'll discover a variety of cross-disciplinary solutions to current computing and communication problems. Throughout the book, references to the primary literature enable further investigation of each individual topic. Semantic Computing is ideal for industrial managers, researchers, and engineers seeking to design the next generation of computing systems in order to better meet user needs. It is also recommended as a textbook for senior undergraduate and graduate-level semantic computing courses.

System Design for Telecommunication Gateways provides a thorough review of designing telecommunication network equipment based on the latest hardware designs and software methods available on the market. Focusing on high-end efficient designs that challenge all aspects of the system architecture, this book helps readers to understand a broader view of the system design, analyze all its most critical components, and select the parts that best fit a particular application. In many cases new technology trends, potential future developments, system flexibility and capability extensions are outlined in preparation for the longevity typical for products in the industry. Key features: Combines software and hardware aspects of the system design. Defines components and services supported by open-source and commercial basic and extended software platforms, including operating systems, middleware, security, routing, management layer and more. Focuses on disruptive technologies. Provides guidelines for developing software architectures based on multi-threaded, multi-process, multi-instance, multi-core, multi-chip, multi-blade and multi-chassis designs. Covers a number of advanced high-speed interconnect and fabric interface technologies and their commercial implementations. Presents different system form factors from compact pizza-box styles to medium and large bladed systems, including IBM BladeCenter, ATCA and microTCA-based chassis. Describes different mezzanine cards, such as PMC, PrPMC, XMC, AMC and others.

A unique investigation of the state of the art in design, architectures, and implementations of advanced computational infrastructures and the applications they support Emerging large-scale adaptive scientific and engineering applications are requiring an increasing amount of computing and storage resources to provide new insights into complex systems. Due to their runtime adaptivity, these applications exhibit complicated behaviors that are highly dynamic, heterogeneous, and unpredictable—and therefore require full-fledged computational infrastructure support for problem solving, runtime management, and dynamic partitioning/balancing. This book presents a comprehensive study of the design, architecture, and implementation of advanced computational infrastructures as well as the adaptive applications developed and deployed using these infrastructures from different perspectives, including system architects, software engineers, computational scientists, and application scientists. Providing insights into recent research efforts and projects, the authors include descriptions and experiences pertaining to the realistic modeling of adaptive applications on parallel and distributed systems. The first part of the book focuses on high-performance adaptive scientific applications and includes chapters that describe high-impact, real-world application scenarios in order to motivate the need for advanced computational engines as well as to outline their requirements. The second part identifies popular and widely used adaptive computational infrastructures. The third part focuses on the more specific partitioning and runtime management schemes underlying these computational toolkits. Presents representative problem-solving environments and infrastructures, runtime management strategies, partitioning and decomposition methods, and adaptive and dynamic applications Provides a unique collection of selected solutions and infrastructures that have significant impact with sufficient introductory materials Includes descriptions and experiences pertaining to the realistic modeling of adaptive applications on parallel and distributed systems The cross-disciplinary approach of this reference delivers a comprehensive discussion of the requirements, design challenges, underlying design philosophies, architectures, and implementation/deployment details of advanced computational infrastructures. It makes it a valuable resource for advanced courses in computational science and software/systems engineering for senior undergraduate and graduate students, as well as for computational and computer scientists, software developers, and other industry professionals.

From theory to techniques, the first all-in-one resource for EIS There is a clear demand in advanced process industries, defense, and Internet and communication (VoIP) applications for intelligent yet adaptive/evolving systems. Evolving Intelligent Systems is the first self- contained volume that covers this newly established concept in its entirety, from a systematic methodology to case studies to industrial applications. Featuring chapters written by leading world experts, it addresses the progress, trends, and major achievements in this emerging research field, with a strong emphasis on the balance between novel theoretical results and solutions and practical real-life applications. Explains the following fundamental approaches for developing evolving intelligent systems (EIS): the Hierarchical Prioritized Structure the Participatory Learning Paradigm the Evolving Takagi-Sugeno fuzzy systems (eTS+) the evolving clustering algorithm that stems from the well-known Gustafson-Kessel offline clustering algorithm Emphasizes the importance and increased interest in online processing of data streams Outlines the general strategy of using the fuzzy dynamic clustering as a foundation for evolvable information granulation Presents a methodology for developing robust and interpretable evolving fuzzy rule-based systems Introduces an integrated approach to incremental (real-time) feature extraction and classification Proposes a study on the stability of evolving neuro-fuzzy recurrent networks Details methodologies for evolving clustering and classification Reveals different applications of EIS to address real problems in areas of: evolving inferential sensors in chemical and petrochemical industry learning and recognition in robotics Features downloadable software resources Evolving Intelligent Systems is the one-stop reference guide for both theoretical and practical issues for computer scientists, engineers, researchers, applied mathematicians, machine learning and data mining experts, graduate students, and professionals.