This book discusses the overall development and use of smart courts from the perspective of system-of-systems engineering (SoSE) and its methodology, analyzes the relationships between the components, structures, environments, and functions of various systems, and illustrates the basic approaches to system design, specification, integration, operation and management. As the general introductory book of the China Smart Court Development Series, this book provides an overview of the development of Chinese people's courts in the application of information technology over the past two decades and outlines the key areas of exploration in the Smart Court  SoSe  project centered on the development practices during the 13th Five-Year Plan period. It also forecasts the future development and evolution of the smart court information system. The key topics introduced in the book, including the overall design of complex information systems, integrated interconnection networks-based system integration, judicial big data quality control and analytics services, various types of AI-enabled judicial services, quality and efficiency-oriented operation and maintenance services for large-scale information systems, etc., all came from the basic research of information science and theories, as well as the systems engineering practices of the Smart Court  SoSe  project. They not only reflect the latest findings on systems engineering and architecture methods in China and overseas, but also reveal many innovative approaches to SoSE methods and paradigms, which can be used for the design and continued development of smart courts at a new and higher starting point. It is believed that they can also serve as good examples and reference points for the development in IT application and complex information systems engineering in other sectors.  

Objective Information Theory (OIT) is proposed to represent and compute the information in a large-scale complex information system with big data in this monograph. To formally analyze, design, develop, and evaluate the information, OIT interprets the information from essential nature, measures the information from mathematical properties, and models the information from concept, logic, and physic. As the exemplified applications, Air Traffic Control System (ATCS) and Smart Court SoSs (System of Systems) are introduced for practical OITs. This Open Access book can be used as a technical reference book in the field of information science and also a  reference textbook for senior students and graduate ones in related majors.

This book introduces the research background and significance of carbon emissions in the tunnel industry and systematically reviewed the research progresses of carbon emission researches for tunnels, LCA (life cycle assessment) research framework, and uncertainty research progress. The authors propose a novel modular carbon emission calculation method for highway tunnel construction and expounds on the modular LCA system boundary theory of tunnel construction. This method does not require abundant knowledge of LCA modeling, which is convenient for general engineering and technical personnel to calculate the carbon emission level of tunnel construction. The calculation formulas for input and carbon emissions of each module are provided. It also analyzes the parameter uncertainty, model uncertainty, and scenario uncertainty of the carbon emissions from tunnel construction by the Monte Carlo method. Further, this book proposes the fitting model of carbon emissions of unit engineering quantity in tunnel construction, which benefits to simplify the calculation of carbon emissions.This book is mainly aimed at engineering and technical personnel in the construction industry, especially tunnel and underground engineering, including tunnel design engineers; tunnel construction engineers, experts, and scholars; tunnel owners; management departments.

This book discusses the overall development and use of smart courts from the perspective of system-of-systems engineering (SoSE) and its methodology, analyzes the relationships between the components, structures, environments, and functions of various systems, and illustrates the basic approaches to system design, specification, integration, operation and management. As the general introductory book of the China Smart Court Development Series, this book provides an overview of the development of Chinese people's courts in the application of information technology over the past two decades and outlines the key areas of exploration in the Smart Court SoSe project centered on the development practices during the 13th Five-Year Plan period. It also forecasts the future development and evolution of the smart court information system. The key topics introduced in the book, including the overall design of complex information systems, integrated interconnection networks-based system integration, judicial big data quality control and analytics services, various types of AI-enabled judicial services, quality and efficiency-oriented operation and maintenance services for large-scale information systems, etc., all came from the basic research of information science and theories, as well as the systems engineering practices of the Smart Court SoSe project. They not only reflect the latest findings on systems engineering and architecture methods in China and overseas, but also reveal many innovative approaches to SoSE methods and paradigms, which can be used for the design and continued development of smart courts at a new and higher starting point. It is believed that they can also serve as good examples and reference points for the development in IT application and complex information systems engineering in other sectors.

This book introduces the research background and significance of carbon emissions in the tunnel industry and systematically reviewed the research progresses of carbon emission researches for tunnels, LCA (life cycle assessment) research framework, and uncertainty research progress. The authors propose a novel modular carbon emission calculation method for highway tunnel construction and expounds on the modular LCA system boundary theory of tunnel construction. This method does not require abundant knowledge of LCA modeling, which is convenient for general engineering and technical personnel to calculate the carbon emission level of tunnel construction. The calculation formulas for input and carbon emissions of each module are provided. It also analyzes the parameter uncertainty, model uncertainty, and scenario uncertainty of the carbon emissions from tunnel construction by the Monte Carlo method. Further, this book proposes the fitting model of carbon emissions of unit engineering quantity in tunnel construction, which benefits to simplify the calculation of carbon emissions.This book is mainly aimed at engineering and technical personnel in the construction industry, especially tunnel and underground engineering, including tunnel design engineers; tunnel construction engineers, experts, and scholars; tunnel owners; management departments.

The theme of this book is economic transitions of Zhejiang Province under the guidance of "China Dream" policy. It reviews the economic development of Zhejiang Province during the last 10 years and concludes with the experiences and achievements of the local government. As Zhejiang is one of the most economically successful regions in China, the challenges concerning economic transition for the government are a higher priority. This book describes the endeavors and practices that are accomplished by the local administration in system reforms, private sectors, industrial transition and upgrading, ecological harmony, new urbanization, marine economy and open policies. Case studies, live examples and detailed policy interpretations and conclusions are presented throughout this book. The book will assist scholars and policy makers in discovering how the major statecraft has guided and influenced Chinese economy.

With the increasing mankind activities in the Arctic and the potential threaten of global warming, permafrost protection has attracted more and more attentions from all over the globe. As one of the effective way, thermosyphons have been used to maintain permafrost below structures for over half a century. Due to the complex nature of internal processes and the environmental interactions, complete system analyses are still lacking in the literature. This work presents an analytical and numerical model of a long inclined two-phase closed thermosyphon, known as a hairpin thermosyphon, which is representative of a new configuration for thermosyphons used in arctic applications. The thermosyphon has been approved effective in protecting a recently built road project near Fairbanks Alaska. A laboratory experiment and a full scale road experiment along with associated modeling are described in detail.