High Performance Fiber Reinforced Cement Composites (HPFRCC) re-present a class of cement composites whose stress-strain response in tension undergoes strain hardening behaviour accompanied by multiple cracking, leading to a high strain capacity prior to failure. The primary objective of this International Workshop was to provide a compendium of up-to-date information on the most recent developments and research advances in the field of High Performance Fiber Reinforced Cement Composites. Approximately 65 contributions from leading world experts are assembled in these proceedings and provide an authoritative perspective of the subject. Special topics include mechanical behavior under compressive, tensile, and shear loading, impact and fire resistance, self-compacting mixtures, fresh and hardening state properties, durability issues, hybrid composites, ultra-high performance fiber reinforced concrete, textile reinforced concrete and structural applications, including modelling, design and retrofit/repair.

Target readers: graduate students, researchers, fiber producers, design engineers, material scientists

Microprocessors increasingly control and monitor our most critical systems, including automobiles, airliners, medical systems, transportation grids, and defense systems. The relentless march of semiconductor process technology has given engineers exponentially increasing transistor budgets at constant recurring cost. This has encouraged increased functional integration onto a single die, as well as increased architectural sophistication of the functional units themselves. Additionally, design cycle times are decreasing, thus putting increased schedule pressure on engineers. Not surprisingly, this environment has led to a number of uncaught design flaws. Traditional simulation-based design verification has not kept up with the scale or pace of modern microprocessor system design. Formal verification methods offer the promise of improved bug-finding capability, as well as the ability to establish functional correctness of a detailed design relative to a high-level specification. However, widespread use of formal methods has had to await breakthroughs in automated reasoning, integration with engineering design languages and processes, scalability, and usability.

This book presents several breakthrough design and verification techniques that allow these powerful formal methods to be employed in the real world of high-assurance microprocessor system design.

Software has become a decisive cost and time factor in regard to developing and establishing manufacturing systems and setting them into operation. In addition, software determines the availability, reliability as well as functionality of manufacturing units. Software Engineering for Manufacturing Systems considers the methods and procedures required to deal with problems in the software engineering of control technology for manufacturing systems. Significantly, the following topics are addressed: * definitions and requirements of software for control technology * system design, describing forms of control software * CASE tools for the generation of a code * configuration, adaption of standard software variants, and re-usability of software * and man-machine interface. It contains the selected proceedings of the International Conference on Software Engineering and Case Tools for Control Technology of Manufacturing Systems, sponsored by the IFIP and held in Germany, in March 1996.

Designing is one of the foundations for change in our society. It is a fundamental precursor to manufacturing, fabrication and construction. Design research aims to develop an understanding of designing and to produce models of designing that can be used to aid designing. The papers in this volume are from the Sixth International Conference on Artificial Intelligence in Design (AID'00) held in June 2000, in Worcester, Massachusetts, USA. They represent the state of the art and the cutting edge of research and development in this field, and demonstrate both the depth and breadth of the artificial intelligence paradigm in design. They point the way for the development of advanced computer-based tools to aid designers, and describe advances in both theory and application. This volume will be of particular interest to researchers, developers, and users of advanced computer systems in design.

A virtual prototype is a major interim step towards the creation of a virtual environment. This book explores the simulation, interaction, concepts and tools of virtual prototypes and environments. It provides a mixture of state-of-the-art, advanced research and industrial papers.

Up and Running with AutoCAD 2023: 2D and 3D Drawing, Design and Modeling presents a combination of step-by-step instruction, examples and insightful explanations. The book emphasizes core concepts and practical applications of AutoCAD in engineering, architecture and design. Equally useful in instructor-led classroom training, self-study, or as a professional reference, the book is written by a long-time AutoCAD professor and instructor with the user in mind.

This monograph is devoted to theoretical and experimental study of inhibitory decision and association rules. Inhibitory rules contain on the right-hand side a relation of the kind "attribut = value." The use of inhibitory rules instead of deterministic (standard) ones allows us to describe more completely infor- tion encoded in decision or information systems and to design classi?ers of high quality. The mostimportantfeatureofthis monographis thatit includesanadvanced mathematical analysis of problems on inhibitory rules. We consider algorithms for construction of inhibitory rules, bounds on minimal complexity of inhibitory rules, and algorithms for construction of the set of all minimal inhibitory rules. We also discuss results of experiments with standard and lazy classi?ers based on inhibitory rules. These results show that inhibitory decision and association rules can be used in data mining and knowledge discovery both for knowledge representation and for prediction. Inhibitory rules can be also used under the analysis and design of concurrent systems. The results obtained in the monograph can be useful for researchers in such areas as machine learning, data mining and knowledge discovery, especially for those who are working in rough set theory, test theory, and logical analysis of data (LAD). The monograph can be used under the creation of courses for graduate students and for Ph.D. studies. TheauthorsofthisbookextendanexpressionofgratitudetoProfessorJanusz Kacprzyk, to Dr. Thomas Ditzinger and to the Studies in Computational Int- ligence sta? at Springer for their support in making this book possible.

This introductory book discusses how to plan and build useful, reliable, maintainable and cost efficient computer systems for automated engineering design. The book takes a user perspective and seeks to bridge the gap between texts on principles of computer science and the user manuals for commercial design automation software. The approach taken is top-down, following the path from definition of the design task and clarification of the relevant design knowledge to the development of an operational system well adapted for its purpose. This introductory text for the practicing engineer working in industry covers most vital aspects of planning such a system. Experiences from applications of automated design systems in practice are reviewed based on a large number of real, industrial cases. The principles behind the most popular methods in design automation are presented with sufficient rigour to give the user confidence in applying them on real industrial problems. This book is also suited for a half semester course at graduate level and has been complemented by suggestions for student assignments grown out of the lecture notes of two postgraduate courses given annually or biannually during the last ten years at the Product development program at the School of Engineering at Joenkoeping University.

Why this book? Simply because it is due. Cognitive automation and its system-ergonomic introduction into work systems have been advanced in the meantime to such a degree that already applications for operational work systems are slowly becoming reality. This book shall contribute to give system designers some more guidelines about designing work systems and associated cognitive machines effectively, in particular those related to guidance and control of manned and unmanned vehicles. The issue is that the findings on cognition have to become sufficient commonsense for all from the various disciplines involved in system design, and that guidelines are given how to make use of it in an appropriate and systematic manner. These guidelines are to account for both the needs of the human operator in the work process and the use of computational potentials to make the work system a really most effective one. In other words, this book is meant to provide guidelines for the organisational and technical design of work systems. Therefore, this book is an interdisciplinary one. Findings in individual disciplines are not the main issue. It is rather the combination of these findings for the sake of the performance of work systems which makes this book a useful one for designers who are interested in this modern approach and its implementation.

Decision diagrams (DDs) are data structures for efficient (time/space) representations of large discrete functions. In addition to their wide application in engineering practice, DDs are now a standard part of many CAD systems for logic design and a basis for severe signal processing algorithms. "Spectral Interpretation of Decision Diagrams" derives from attempts to classify and uniformly interpret DDs through spectral interpretation methods, relating them to different Fourier-series-like functional expressions for discrete functions and a group-theoretic approach to DD optimization. The book examines DDs found in literature and engineering practice and provides insights into relationships between DDs and different polynomial or spectral expressions for representation of discrete functions. In addition, it offers guidelines and criteria for selection of the most suitable representation in terms of space and time complexity. The work complements theory with numerous illustrative examples from practice. Moreover, the importance of DD representations to the verification and testing of arithmetic circuits is addressed, as well as problems related to various signal processing tasks.

Recent years have seen major changes in the approach to Computer Aided Design (CAD) in the architectural, engineering and construction (AEC) sector. CAD is increasingly becoming a standard design tool, facilitating lower development costs and a reduced design cycle. Not only does it allow a designer to model designs in two and three dimensions but also to model other dimensions, such as time and cost into designs.

Computer Aided Design Guide for Architecture, Engineering and Construction provides an in-depth explanation of all the common CAD terms and tools used in the AEC sector. It describes each approach to CAD with detailed analysis and practical examples. Analysis is provided of the strength and weaknesses of each application for all members of the project team, followed by review questions and further tasks.

Coverage includes:

• 2D CAD
• 3D CAD
• 4D CAD
• nD modelling
• building Information Modelling
• parametric design, virtual reality and other areas of future expansion.

With practical examples and step-by step guides, this book is essential reading for students of design and construction, from undergraduate level onwards.

Modeling Remaining Useful Life Dynamics in Reliability Engineering applies traditional reliability engineering methods to Prognostics and Health Management (PHM), looking at Remaining Useful Life (RUL) and predictive maintenance to enable engineers to effectively and safely predict machinery lifespan. One of the key tools used in defining and implementing predictive maintenance policies is the RUL indicator. However, it is essential to account for the uncertainty inherent to the RUL, as otherwise predictive maintenance strategies can be incorrect. This can cause high costs, or alternatively, ineffective predictions. Methods used to estimate RUL are very numerous and diverse, and broadly speaking, fall into three categories: model-based, data-driven, or hybrid, which uses both. The book starts by building on established theory, and applying cutting edge research to it, such as artificial intelligence models and deep learning. It looks at traditional reliability engineering methods through their relation to Prognostics and Health Management (PHM) requirements and presents the concept of RUL loss rate. Following on from this, the book presents a general method for defining a nonlinear transformation enabling the MRL to become a linear function. It also touches on topics such as Weibull distribution, gamma distribution and degradation, along with time-to-failure distributions. Features: Provides both practical and theoretical background of RUL Describes how the uncertainty of RUL can be related to RUL loss rate Provides new insights into time-to-failure distributions Offers tools for predictive maintenance_ The book will be of interest to engineers and researchers in reliability engineering, Prognostics and Health Management and industry management.

Computer Aided Design (CAD) technology plays a key role in today's advanced manufacturing environment. To reduce the time to market, achieve zero defect quality the first time, and use available production and logistics resources effectively, product and design process knowledge covering the whole product life-cycle must be used throughout product design. Once generated, this intensive design knowledge should be made available to later life-cycle activities. Due to the increasing concern about global environmental issues and rapidly changing economical situation worldwide, design must exhibit high performance not only in quality and productivity, but also in life-cycle issues, including extended producer's liability. These goals require designers and engineers to use various kinds of design knowledge intensively during product design and to generate design information for use in later stages of the product life-cycle such as production, distribution, operation, maintenance, reclamation, and recycling. Therefore, future CAD systems must incorporate product and design process knowledge, which are not explicitly dealt with in the current systems, in their design tools and design object models.

Computer graphics, computer-aided design, and computer-aided manufacturing are tools that have become indispensable to a wide array of activities in contemporary society. Euclidean processing provides the basis for these computer-aided design systems although it contains elements that inevitably lead to an inaccurate, non-robust, and complex system. The primary cause of the deficiencies of Euclidean processing is the division operation, which becomes necessary if an n-space problem is to be processed in n-space. The difficulties that accompany the division operation may be avoided if processing is conducted entirely in (n+1)-space. The paradigm attained through the logical extension of this approach, totally four-dimensional processing, is the subject of this book. This book offers a new system of geometric processing techniques that attain accurate, robust, and compact computations, and allow the construction of a systematically structured CAD system.

The aim of the book is to lay out the foundations and provide a detailed treatment of the subject. It will focus on two main elements in dual phase evolution: the relationship between dual phase evolution and other phase transition phenomena and the advantages of dual phase evolution in evolutionary computation and complex adaptive systems. The book will provide a coherent picture of dual phase evolution that encompasses these two elements and frameworks, methods and techniques to use this concept for problem solving.

This book offers a comprehensive introduction to Subdivision Surface Modeling Technology focusing not only on fundamental theories but also on practical applications. It furthers readers' understanding of the contacts between spline surfaces and subdivision surfaces, enabling them to master the Subdivision Surface Modeling Technology for analyzing subdivision surfaces. Subdivision surface modeling is a popular technology in the field of computer aided design (CAD) and computer graphics (CG) thanks to its ability to model meshes of any topology. The book also discusses some typical Subdivision Surface Modeling Technologies, such as interpolation, fitting, fairing, intersection, as well as trimming and interactive editing. It is a valuable tool, enabling readers to grasp the main technologies of subdivision surface modeling and use them in software development, which in turn leads to a better understanding of CAD/CG software operations.

This book will describe ultra low-power, integrated circuits and systems designed for the emerging field of neural signal recording and processing, and wireless communication. Since neural interfaces are typically implanted, their operation is highly energy-constrained. This book introduces concepts and theory that allow circuit operation approaching the fundamental limits. Design examples and measurements of real systems are provided. The book will describe circuit designs for all of the critical components of a neural recording system, including: Amplifiers which utilize new techniques to improve the trade-off between good noise performance and low power consumption. Analog and mixed-signal circuits which implement signal processing tasks specific to the neural recording application: Detection of neural spikes Extraction of features that describe the spikes Clustering, a machine learning technique for sorting spikes Weak-inversion operation of analog-domain transistors, allowing processing circuits that reduce the requirements for analog-digital conversion and allow low system-level power consumption. Highly-integrated, sub-mW wireless transmitter designed for the Medical Implant Communications Service (MICS) and ISM bands.

Vital signs, such as heart rate and respiration rate, are useful to health monitoring because they can provide important physiological insights for medical diagnosis and well-being management. Most traditional methods for measuring vital signs require a person to wear biomedical devices, such as a capnometer, a pulse oximeter, or an electrocardiogram sensor. These contact-based technologies are inconvenient, cumbersome, and uncomfortable to use. There is a compelling need for technologies that enable contact-free, easily deployable, and long-term monitoring of vital signs for healthcare. Contactless Vital Signs Monitoring presents a systematic and in-depth review on the principles, methodologies, and opportunities of using different wavelengths of an electromagnetic spectrum to measure vital signs from the human face and body contactlessly. The volume brings together pioneering researchers active in the field to report the latest progress made, in an intensive and structured way. It also presents various healthcare applications using camera and radio frequency-based monitoring, from clinical care to home care, to sport training and automotive, such as patient/neonatal monitoring in intensive care units, general wards, emergency department triage, MR/CT cardiac and respiratory gating, sleep centers, baby/elderly care, fitness cardio training, driver monitoring in automotive settings, and more. This book will be an important educational source for biomedical researchers, AI healthcare researchers, computer vision researchers, wireless-sensing researchers, doctors/clinicians, physicians/psychologists, and medical equipment manufacturers.

Geometric modelling has been an important and interesting subject for many years from the purely mathematical and computer science viewpoint, and also from the standpoint of engineering and various other applications, such as CAD/CAM, entertainment, animation, and multimedia. This book focuses on the interaction between the theoretical foundation of geometric modelling and practical applications in CAD and related areas. Geometric Modelling: Theoretical and Computational Basis towards Advanced CAD Applications starts with two position papers, discussing basic computational theory and practical system solutions. The well-organized seven review papers give a systematic overview of the current situation and deep insight for future research and development directions towards the reality of shape representation and processing. They discuss various aspects of important issues, such as geometric computation for space search and shape generation, parametric modelling, feature modelling, user interface for geometric modelling, geometric modelling for the Next Generation CAD, and geometric/shape standard. Other papers discuss features and new research directions in geometric modelling, solid modeling, free-form surface modeling, intersection calculation, mesh modeling and reverse engineering. They cover a wide range of geometric modelling issues to show the problem scope and the technological importance. Researchers interested in the current status of geometric modelling research and developments will find this volume to be an essential reference.

This book covers recent advances in the field of logic synthesis and design, including Boolean Matching, Logic Decomposition, Boolean satisfiability, Advanced Synthesis Techniques and Applications of Logic Design. All of these topics are valuable to CAD engineers working in Logic Design, Logic Optimization, and Verification. Engineers seeking opportunities for optimizing VLSI integrated circuits will find this book as an invaluable reference, since there is no existing book that covers this material in a systematic fashion.

This professional treatise on engineering graphics emphasizes engineering geometry as the theoretical foundation for communication of design ideas with real world structures and products. It considers each theoretical notion of engineering geometry as a complex solution of direct- and inverse-problems of descriptive geometry and each solution of basic engineering problems presented is accompanied by construction of biunique two- and three-dimension models of geometrical images. The book explains the universal structure of formal algorithms of the solutions of positional, metric, and axonometric problems, as well as the solutions of problems of construction in developing a curvilinear surface. The book further characterizes and explains the added laws of projective connections to facilitate construction of geometrical images in any of eight octants. Laws of projective connections allow constructing the complex drawing of a geometrical image in the American system of measurement and the European system of measurement without errors and mistakes. The arrangement of projections of a geometrical image on the complex drawing corresponds to an arrangement of views of a product in the projective drawing for the European system of measurement. The volume is ideal for engineers working on a range of design projects as well as for students of civil, structural, and industrial engineering and engineering design.

The importance of research and education in design continues to grow. For example, government agencies are gradually increasing funding of design research, and increasing numbers of engineering schools are revising their curricula to emphasize design. This is because of an increasing realization that design is part of the wealth creation of a nation and needs to be better understood and taught. The continuing globalization of industry and trade has required nations to re-examine where their core contributions lie if not in production efficiency. Design is a precursor to manufacturing for phy- cal objects and is the precursor to implementation for virtual objects. At the same time, the need for sustainable development is requiring design of new products and processes, and feeding a movement towards design - novations and inventions. There are now three sources for design research: design computing, design cognition and human-centered information technology. The foun- tions for much of design computing remains artificial intelligence with its focus on ways of representation and on processes that support simulation and generation. Artificial intelligence continues to provide an environm- tally rich paradigm within which design research based on computational constructions can be carried out. Design cognition is founded on concepts from cognitive science, an even newer area than artificial intelligence. It provides tools and methods to study human designers in both laboratory and practice settings.

Anthony Dear argues that just-in-time is essentially a philosophy rather than a rigid methodology and that the important thing is to grasp the fundamental ideas involved and then to see where, how and to what extent they can be applied in the context of any particular enterprise. The book is written in a refreshingly direct manner and the discussion focuses on the kind of practical issues which are likely to concern working managers. Illustrated with a wealth of examples drawn from the author's own experience, Working Towards Just-in-Time tackles its subject in a fashion which has direct and immediate relevance to managers of small and medium-sized companies and to middle management in larger firms. This book should be of interest to managers of small and medium-sized companies; middle management in larger firms.

Ontologies are increasingly recognized as essential tools in information science. Although the concepts are well understood theoretically , the practical implementation of ontologies remains challenging. In this book, researchers in computer science, information systems, ontology engineering, urban planning and design, civil and building engineering, and architecture present an interdisciplinary study of ontology engineering and its application in urban development projects. The first part of the book introduces the general notion of ontology, describing variations in abstraction level, coverage, and formality. It also discusses the use of ontologies to achieve interoperability, and to represent multiple points of view and multilingualism. This is illustrated with examples from the urban domain. The second part is specific to urban development. It covers spatial and geographical knowledge representation, the creation of urban ontologies from various knowledge sources, the interconnection of urban models and the interaction between standards and domain models. The third part presents case studies of the development of ontologies for urban mobility, urban morphological processes, road systems, and cultural heritage. Other cases report on the use of ontologies to solve urban development problems, in construction business models, building regulations and urban regeneration. It concludes with a discussion of key challenges for the future deployment of ontologies in this domain. This book bridges the gap between urban practitioners and computer scientists. As the essence of most urban projects lies in making connections between worldviews, ontology development has an important role to play, in promoting interoperability between data sources, both formal (urban databases, Building Integrated Models, Geographical Information Systems etc.) and less formal (thesauri, text records, web sources etc.). This volume offers a comprehensive introduction to ontology engineering for urban development. It is essential reading for practitioners and ontology designers working in urban development.

IFIP Working Group 5.2 has organized a series of workshops aimed at presenting and discussing current issues and future perspectives of Geometric Modeling in the CAD environment. From Geometric Modeling to Shape Modeling comprises the proceedings of the seventh GEO workshop, which was sponsored by the International Federation for Information Processing (IFIP) and held in Parma, Italy in October 2000. The workshop looked at new paradigms for CAD including the evolution of geometric-centric CAD systems, modeling of non-rigid materials, shape modeling, geometric modeling and virtual prototyping, and new methods of interaction with geometric models. The seventeen included papers provide an interesting overview of the evolution of geometric centric modeling into shape modeling. Also included is an invited speaker paper, which discusses the foundation of the next generation of CAD systems, where shape and function enhance geometric descriptions. The main topics discussed in the book are: Theoretical foundation for solids and surfaces; Computational basis for geometric modeling; Methods of interaction with geometric models; Industrial and other applications of geometric modeling; New paradigms of geometric modeling for CAD; Shape modeling. From Geometric Modeling to Shape Modeling is essential reading for researchers, graduate and postgraduate students, systems developers of advanced computer-aided design and manufacturing systems, and engineers involved in industrial applications.