Search

With the end of Moore's Law, domain-specific architecture (DSA) has become a crucial mode of implementing future computing architectures. This book discusses the system-level design methodology of DSAs and their applications, providing a unified design process that guarantees functionality, performance, energy efficiency, and real-time responsiveness for the target application.DSAs often start from domain-specific algorithms or applications, analyzing the characteristics of algorithmic applications, such as computation, memory access, and communication, and proposing the heterogeneous accelerator architecture suitable for that particular application. This book places particular focus on accelerator hardware platforms and distributed systems for various novel applications, such as machine learning, data mining, neural networks, and graph algorithms, and also covers RISC-V open-source instruction sets. It briefly describes the system design methodology based on DSAs and presents the latest research results in academia around domain-specific acceleration architectures.Providing cutting-edge discussion of big data and artificial intelligence scenarios in contemporary industry and typical DSA applications, this book appeals to industry professionals as well as academicians researching the future of computing in these areas.

This collection contains 79 peer-reviewed papers on technological advancements in pavement presented at the 13th International Conference on Road and Airfield Pavement Technology, held in Beijing, China, July 6–8, 2023.

This book systematically illustrates the dynamic mechanical behaviors and discusses the fundamentals of the constitutive modeling of roller-compacted concrete (RCC), influenced by the construction technique and mix design. Four typical problems are analyzed using laboratory tests, numerical simulation and theoretical analysis, i.e., to illustrate the special dynamic mechanical behaviors of RCC, to reveal the dynamic size-dependence of mechanical properties, to discuss the aggregate size effect on dynamic mechanical properties, and to modify the dynamic constitutive model for RCC. Generally, the constitutive modeling of RCC needs a comprehensive understanding of dynamic size-dependence and aggregate size effect of concrete that coupled with the strain-rate sensitivity. So that, readers can master the modified dynamic constitutive model of RCC to analyze and solve the problems in blast-resistance analysis and protective design of RCC dams.This book can be used as a postgraduatetextbook for civil and hydraulic engineering in colleges and universities, and as an elective course for senior undergraduates. It can also be used as a reference for relevant professional scientific researchers and engineers in field of protective design of concrete structures.

To deal with environmental deterioration and energy crises, developing clean and sustainable energy resources has become the strategic goal of the majority of countries in the global community. Lithium-ion batteries are the modes of power and energy storage in the new energy industry, and are also the main power source of new energy vehicles. State-of-charge (SOC) and state-of-health (SOH) are important indicators to measure whether a battery management system.

This monograph is devoted to developing a theory of combined measure and shift invariance of time scales with the related applications to shift functions and dynamic equations. The study of shift closeness of time scales is significant to investigate the shift functions such as the periodic functions, the almost periodic functions, the almost automorphic functions, and their generalizations with many relevant applications in dynamic equations on arbitrary time scales.First proposed by S. Hilger, the time scale theory—a unified view of continuous and discrete analysis—has been widely used to study various classes of dynamic equations and models in real-world applications. Measure theory based on time scales, in its turn, is of great power in analyzing functions on time scales or hybrid domains. As a new and exciting type of mathematics—and more comprehensive and versatile than the traditional theories of differential and difference equations—, the time scale theory can precisely depict the continuous-discrete hybrid processes and is an optimal way forward for accurate mathematical modeling in applied sciences such as physics, chemical technology, population dynamics, biotechnology, and economics and social sciences.Graduate students and researchers specializing in general dynamic equations on time scales can benefit from this work, fostering interest and further research in the field. It can also serve as reference material for undergraduates interested in dynamic equations on time scales. Prerequisites include familiarity with functional analysis, measure theory, and ordinary differential equations.

This book systematically establishes the almost periodic theory of dynamic equations and presents applications on time scales in fuzzy mathematics and uncertainty theory. The authors introduce a new division of fuzzy vectors depending on a determinant algorithm and develop a theory of almost periodic fuzzy multidimensional dynamic systems on time scales. Several applications are studied; in particular, a new type of fuzzy dynamic systems called fuzzy q-dynamic systems (i.e. fuzzy quantum dynamic systems) is presented. The results are not only effective on classical fuzzy dynamic systems, including their continuous and discrete situations, but are also valid for other fuzzy multidimensional dynamic systems on various hybrid domains. In an effort to achieve more accurate analysis in real world applications, the authors propose a number of uncertain factors in the theory. As such, fuzzy dynamical models, interval-valued functions, differential equations, fuzzy-valued differential equations, and their applications to dynamic equations on time scales are considered.

View the abstract.

Cryogen-free cryogenics is leading a revolution in research and industry by its significant advantages over traditional liquid helium systems. This is the first overview for the field, covering the key technologies, conceptual design, fabrication, operation, performance, and applications of these systems. The contents cover important topics such as the operating principles of 4K cryocoolers, enabling technologies (including vibration reduction) for cryogen free systems, the cryogen- free superconducting magnet, and cryogen-free systems that reach mK. It highlights the wide range of applications in materials science, quantum physics, astronomy and space science, medical sciences and etc. Key features: Introduce technologies and practical know-how employed for cryogen-free systems of using 4 K cryocoolers to replace liquid helium; Address state of the arts of cryogen-free superconducting magnets, sub-kelvin refrigeration systems of He-3 sorption cooler, adiabatic demagnetization refrigerator (ADR) and dilution refrigerators (DR). Discuss applications of cryogen-free systems in modern instruments and equipment.

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.• The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems.Part II: model checking; software verification; stochastic systems; and synthesis. •The conference was held virtually due to the COVID-19 pandemic.

This book introduces computational advertising, and Internet monetization. It provides a macroscopic understanding of how consumer products in the Internet era push user experience and monetization to the limit. Part One of the book focuses on the basic problems and background knowledge of online advertising. Part Two targets the product, operations, and sales staff, as well as high-level decision makers of the Internet products. It explains the market structure, trading models, and the main products in computational advertising. Part Three targets systems, algorithms, and architects, and focuses on the key technical challenges of different advertising products.Features· Introduces computational advertising and Internet monetization· Covers data processing, utilization, and trading· Uses business logic as the driving force to explain online advertising products and technology advancement· Explores the products and the technologies of computational advertising, to provide insights on the realization of personalization systems, constrained optimization, data monetization and trading, and other practical industry problems· Includes case studies and code snippets

This monograph establishes a theory of classification and translation closedness of time scales, a topic that was first studied by S. Hilger in 1988 to unify continuous and discrete analysis. The authors develop a theory of translation function on time scales that contains (piecewise) almost periodic functions, (piecewise) almost automorphic functions and their related generalization functions (e.g., pseudo almost periodic functions, weighted pseudo almost automorphic functions, and more). Against the background of dynamic equations, these function theories on time scales are applied to study the dynamical behavior of solutions for various types of dynamic equations on hybrid domains, including evolution equations, discontinuous equations and impulsive integro-differential equations.The theory presented allows many useful applications, such as in the Nicholson`s blowfiles model; the Lasota-Wazewska model; the Keynesian-Cross model; in those realistic dynamical models with a more complex hibrid domain, considered under different types of translation closedness of time scales; and in dynamic equations on mathematical models which cover neural networks. This book provides readers with the theoretical background necessary for accurate mathematical modeling in physics, chemical technology, population dynamics, biotechnology and economics, neural networks, and social sciences.

This collection contains 77 peer-reviewed papers on data, sensing, and analytics presented at the ASCE International Conference on Computing in Civil Engineering 2019, held in Atlanta, Georgia, June 17–19, 2019.

This collection contains 73 peer-reviewed papers on smart cities, sustainability, and resilience presented at the ASCE International Conference on Computing in Civil Engineering 2019, held in Atlanta, Georgia, June 17–19, 2019.

This collection contains 80 peer-reviewed papers on visualization, information modeling, and simulation presented at the ASCE International Conference on Computing in Civil Engineering 2019, held in Atlanta, Georgia, June 17–19, 2019.

This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field.

This collection contains 70 peer-reviewed papers on safety and disaster management, presented at the Construction Research Congress 2018, held in New Orleans, Louisiana, April 2–4, 2018.

This collection contains 76 peer-reviewed papers on information technology in the construction industry, presented at the Construction Research Congress 2018, held in New Orleans, Louisiana, April 2–4, 2018.

This collection contains 77 peer-reviewed papers on infrastructure and facility management, presented at the Construction Research Congress 2018, held in New Orleans, Louisiana, April 2–4, 2018.

This collection contains 77 peer-reviewed papers on sustainable design and construction and education, presented at the Construction Research Congress 2018, held in New Orleans, Louisiana, April 2–4, 2018.

This collection contains 73 peer-reviewed papers on construction project management, presented at the Construction Research Congress 2018, held in New Orleans, Louisiana, April 2–4, 2018.

This book provides an overview of Chinese RMB exchange markets and its risk management strategies. The view that RMB is playing an increasingly international role has been widely accepted by practitioners as well as scholars worldwide. Moreover, the Chinese government is opening the control of RMB exchange market step by step. However, some related topics are under heated debate, such as how to manage and warn of the currency crisis, what the trend of RMB exchange rate in the future is, and how to hedge the exchange risk in the process of RMB internationalization. In this book, we will give distinct answers to the above questions.

This book constitutes the proceedings of the 14th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2017, held in Hefei, China, in October 2017.The 9 full papers and 10 short papers presented in this book were carefully reviewed and selected from 88 submissions. The papers cover traditional areas of network and parallel computing including parallel applications, distributed algorithms, software environments, and distributed tools.​

Follows an easy structure that not only presents four timely research topics in-depth, but also integrates them to real world applications to help readers better understand themProvides an extended literature review of relevant technologies, in addition to detailed comparison diagrams, making new readers be easier to grasp fundamental and wide knowledgeContains the most recent research results in the field of communications, signal processing and computing sciences for facilitating smart homes, buildings, and citiesIncludes future research directionsPresents real examples of applying these enabling technologies to smart homes, transportation systems and cities

High-Performance Computing for Big Data: Methodologies and Applications explores emerging high-performance architectures for data-intensive applications, novel efficient analytical strategies to boost data processing, and cutting-edge applications in diverse fields, such as machine learning, life science, neural networks, and neuromorphic engineering. The book is organized into two main sections. The first section covers Big Data architectures, including cloud computing systems, and heterogeneous accelerators. It also covers emerging 3D IC design principles for memory architectures and devices. The second section of the book illustrates emerging and practical applications of Big Data across several domains, including bioinformatics, deep learning, and neuromorphic engineering. Features Covers a wide range of Big Data architectures, including distributed systems like Hadoop/Spark Includes accelerator-based approaches for big data applications such as GPU-based acceleration techniques, and hardware acceleration such as FPGA/CGRA/ASICs Presents emerging memory architectures and devices such as NVM, STT- RAM, 3D IC design principles Describes advanced algorithms for different big data application domains Illustrates novel analytics techniques for Big Data applications, scheduling, mapping, and partitioning methodologies Featuring contributions from leading experts, this book presents state-of-the-art research on the methodologies and applications of high-performance computing for big data applications.About the EditorDr. Chao Wang is an Associate Professor in the School of Computer Science at the University of Science and Technology of China. He is the Associate Editor of ACM Transactions on Design Automations for Electronics Systems (TODAES), Applied Soft Computing, Microprocessors and Microsystems, IET Computers & Digital Techniques, and International Journal of Electronics. Dr. Chao Wang was the recipient of Youth Innovation Promotion Association, CAS, ACM China Rising Star Honorable Mention (2016), and best IP nomination of DATE 2015. He is now on the CCF Technical Committee on Computer Architecture, CCF Task Force on Formal Methods. He is a Senior Member of IEEE, Senior Member of CCF, and a Senior Member of ACM.

GSP 265 contains 35 peer-reviewed papers on in situ and laboratory test methods for site design presented at the Fourth Geo-China International Conference, held in Shandong, China, July 25–27, 2016.

Reconfigurable computing techniques and adaptive systems are some of the most promising architectures for microprocessors. Reconfigurable and Adaptive Computing: Theory and Applications explores the latest research activities on hardware architecture for reconfigurable and adaptive computing systems.The first section of the book covers reconfigurable systems. The book presents a software and hardware codesign flow for coarse-grained systems-on-chip, a video watermarking algorithm for the H.264 standard, a solution for regular expressions matching systems, and a novel field programmable gate array (FPGA)-based acceleration solution with MapReduce framework on multiple hardware accelerators.The second section discusses network-on-chip, including an implementation of a multiprocessor system-on-chip platform with shared memory access, end-to-end quality-of-service metrics modeling based on a multi-application environment in network-on-chip, and a 3D ant colony routing (3D-ACR) for network-on-chip with three different 3D topologies.The final section addresses the methodology of system codesign. The book introduces a new software–hardware codesign flow for embedded systems that models both processors and intellectual property cores as services. It also proposes an efficient algorithm for dependent task software–hardware codesign with the greedy partitioning and insert scheduling method (GPISM) by task graph.

Safe Robot Navigation Among Moving and Steady Obstacles is the first book to focus on reactive navigation algorithms in unknown dynamic environments with moving and steady obstacles. The first three chapters provide introduction and background on sliding mode control theory, sensor models, and vehicle kinematics. Chapter 4 deals with the problem of optimal navigation in the presence of obstacles. Chapter 5 discusses the problem of reactively navigating. In Chapter 6, border patrolling algorithms are applied to a more general problem of reactively navigating. A method for guidance of a Dubins-like mobile robot is presented in Chapter 7. Chapter 8 introduces and studies a simple biologically-inspired strategy for navigation a Dubins-car. Chapter 9 deals with a hard scenario where the environment of operation is cluttered with obstacles that may undergo arbitrary motions, including rotations and deformations. Chapter 10 presents a novel reactive algorithm for collision free navigation of a nonholonomic robot in unknown complex dynamic environments with moving obstacles. Chapter 11 introduces and examines a novel purely reactive algorithm to navigate a planar mobile robot in densely cluttered environments with unpredictably moving and deforming obstacles. Chapter 12 considers a multiple robot scenario. For the Control and Automation Engineer, this book offers accessible and precise development of important mathematical models and results. All the presented results have mathematically rigorous proofs. On the other hand, the Engineer in Industry can benefit by the experiments with real robots such as Pioneer robots, autonomous wheelchairs and autonomous mobile hospital. - First book on collision free reactive robot navigation in unknown dynamic environments - Bridges the gap between mathematical model and practical algorithms - Presents implementable and computationally efficient algorithms of robot navigation - Includes mathematically rigorous proofs of their convergence - A detailed review of existing reactive navigation algorithm for obstacle avoidance - Describes fundamentals of sliding mode control

Fluctuation Mechanism and Control on System Instantaneous Availability facilitates the development of modeling and identification skills for both theoretical research and applications. Supplying an overall summary of current research results in fluctuation analysis of instantaneous availability, it covers the theory, methodology, and specific engineering implementation required to conduct equipment instantaneous availability analysis. Presenting practical methods and tools, it describes how to control the matching transition of new equipment systems as a result of interactions among sub-systems.

This book develops a rational design and systematic approach to construct a gene network with desired behaviors. In order to achieve this goal, the registry of standard biological parts and experimental techniques are introduced at first. Then these biological components are characterized by a standard modeling method and collected in the component

Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. This book describes recent research developments in automatic abstraction refinement techniques. The suite of algorithms presented in this book has demonstrated significant improvement over prior art; some of them have already been adopted by the EDA companies in their commercial/in-house verification tools.