Chao Wang – författare
Visar alla böcker från författaren Chao Wang. Handla med fri frakt och snabb leverans.
32 produkter
32 produkter
Häftad, Engelska, 2015
1 089 kr
Skickas inom 10-15 vardagar
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
Inbunden, Engelska, 2020
1 928 kr
Skickas inom 10-15 vardagar
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
Domain-Specific Computer Architectures for Emerging Applications
Machine Learning and Neural Networks
Inbunden, Engelska, 2024
1 714 kr
Skickas inom 10-15 vardagar
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.
Häftad, Engelska, 2020
690 kr
Skickas inom 10-15 vardagar
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.
Häftad, Engelska, 2020
670 kr
Skickas inom 10-15 vardagar
From Internet of Things to Smart Cities: Enabling Technologies explores the information and communication technologies (ICT) needed to enable real-time responses to current environmental, technological, societal, and economic challenges. ICT technologies can be utilized to help with reducing carbon emissions, improving resource utilization efficiency, promoting active engagement of citizens, and more.This book aims to introduce the latest ICT technologies and to promote international collaborations across the scientific community, and eventually, the general public. It consists of three tightly coupled parts. The first part explores the involvement of enabling technologies from basic machine-to-machine communications to Internet of Things technologies. The second part of the book focuses on state of the art data analytics and security techniques, and the last part of the book discusses the design of human-machine interfaces, including smart home and cities.Features Provides an extended literature review of relevant technologies, in addition to detailed comparison diagrams, making new readers be easier to grasp fundamental and wide knowledge Contains the most recent research results in the field of communications, signal processing and computing sciences for facilitating smart homes, buildings, and cities Includes future research directions in Internet of Things, smart homes, smart buildings, smart grid, and smart cities Presents real examples of applying these enabling technologies to smart homes, transportation systems and cities With contributions from leading experts, the book follows an easy structure that not only presents timely research topics in-depth, but also integrates them into real world applications to help readers to better understand them.
Häftad, Engelska, 2020
363 kr
Skickas inom 10-15 vardagar
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.
Inbunden, Engelska, 2006
1 076 kr
Skickas inom 10-15 vardagar
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.
Häftad, Engelska, 2021
694 kr
Skickas inom 10-15 vardagar
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
Häftad, Engelska, 2022
737 kr
Skickas inom 10-15 vardagar
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 4 K cryocoolers, enabling technologies (including vibration reduction) for cryogen-free systems, the cryogen-free superconducting magnet, and cryogen-free systems that reach millikelvin. It highlights the wide range of applications in materials science, quantum physics, astronomy and space science, medical sciences, etc.Key features:• Introduces technologies and practical know-how employed for cryogen-free systems of using 4 K cryocoolers to replace liquid helium• Addresses state-of-the-art of cryogen-free superconducting magnets, subkelvin refrigeration systems of the He-3 sorption cooler, adiabatic demagnetization refrigerator (ADR) and dilution refrigerators (DR)• Discusses applications of cryogen-free systems in modern instruments and equipment
Domain-Specific Computer Architectures for Emerging Applications
Machine Learning and Neural Networks
Häftad, Engelska, 2026
774 kr
Kommande
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.
Inbunden, Engelska, 2017
794 kr
Skickas inom 10-15 vardagar
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.
Häftad, Engelska, 2018
1 071 kr
Skickas inom 10-15 vardagar
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.
Häftad, Engelska, 2021
1 052 kr
Skickas inom 11-20 vardagar
Häftad, Engelska, 2014
1 213 kr
Skickas inom 10-15 vardagar
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.
Inbunden, Engelska, 2015
3 012 kr
Skickas inom 10-15 vardagar
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.
Inbunden, Engelska, 2019
2 439 kr
Skickas inom 10-15 vardagar
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 4 K cryocoolers, enabling technologies (including vibration reduction) for cryogen-free systems, the cryogen-free superconducting magnet, and cryogen-free systems that reach millikelvin. It highlights the wide range of applications in materials science, quantum physics, astronomy and space science, medical sciences, etc.Key features:• Introduces technologies and practical know-how employed for cryogen-free systems of using 4 K cryocoolers to replace liquid helium• Addresses state-of-the-art of cryogen-free superconducting magnets, subkelvin refrigeration systems of the He-3 sorption cooler, adiabatic demagnetization refrigerator (ADR) and dilution refrigerators (DR)• Discusses applications of cryogen-free systems in modern instruments and equipment
Inbunden, Engelska, 2017
1 605 kr
Skickas inom 10-15 vardagar
From Internet of Things to Smart Cities: Enabling Technologies explores the information and communication technologies (ICT) needed to enable real-time responses to current environmental, technological, societal, and economic challenges. ICT technologies can be utilized to help with reducing carbon emissions, improving resource utilization efficiency, promoting active engagement of citizens, and more.This book aims to introduce the latest ICT technologies and to promote international collaborations across the scientific community, and eventually, the general public. It consists of three tightly coupled parts. The first part explores the involvement of enabling technologies from basic machine-to-machine communications to Internet of Things technologies. The second part of the book focuses on state of the art data analytics and security techniques, and the last part of the book discusses the design of human-machine interfaces, including smart home and cities.Features Provides an extended literature review of relevant technologies, in addition to detailed comparison diagrams, making new readers be easier to grasp fundamental and wide knowledge Contains the most recent research results in the field of communications, signal processing and computing sciences for facilitating smart homes, buildings, and cities Includes future research directions in Internet of Things, smart homes, smart buildings, smart grid, and smart cities Presents real examples of applying these enabling technologies to smart homes, transportation systems and citiesWith contributions from leading experts, the book follows an easy structure that not only presents timely research topics in-depth, but also integrates them into real world applications to help readers to better understand them.
Inbunden, Engelska, 2017
1 605 kr
Skickas inom 10-15 vardagar
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 methodologiesFeaturing 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.
Inbunden, Engelska, 2025
1 604 kr
Skickas inom 5-8 vardagar
Del 11138 - Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Häftad, Engelska, 2018
561 kr
Skickas inom 10-15 vardagar
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.
Inbunden, Engelska, 2020
1 405 kr
Skickas inom 10-15 vardagar
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.
Häftad, Engelska, 2021
1 405 kr
Skickas inom 10-15 vardagar
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.
Del 12224 - Lecture Notes in Computer Science
Computer Aided Verification
32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
Häftad, Engelska, 2020
450 kr
Skickas inom 10-15 vardagar
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.
Del 12225 - Lecture Notes in Computer Science
Computer Aided Verification
32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
Häftad, Engelska, 2020
450 kr
Skickas inom 10-15 vardagar
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.
Inbunden, Engelska, 2022
599 kr
Skickas inom 10-15 vardagar
This book systematically establishes the almost periodic theory of dynamic equations and presents applications on time scales in fuzzy mathematics and uncertainty theory.
Häftad, Engelska, 2023
599 kr
Skickas inom 10-15 vardagar
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.
Inbunden, Engelska, 2022
1 076 kr
Skickas inom 10-15 vardagar
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.
Häftad, Engelska, 2023
1 076 kr
Skickas inom 10-15 vardagar
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.
Del 10578 - Lecture Notes in Computer Science
Network and Parallel Computing
14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings
Häftad, Engelska, 2017
561 kr
Skickas inom 10-15 vardagar
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.
Inbunden, Engelska, 2023
1 825 kr
Skickas inom 10-15 vardagar
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.