This book explores metonymic patterns in Li Bai's poetry from a cognitive poetic perspective **and offers new insights into the use of metonymies in poetry more widely.**Focusing more specifically on Annotations to the Annals of the Complete Collection of Li Bai compiled by A Qi, it sheds light on the poetic style of one of the most celebrated poets of China's Tang Dynasty (610-907 AD).Adopting corpus-based and introspection methods, this book builds a met...

This book investigates the case of Hong Kong Special Administrative Region (SAR) of People’s Republic of China, mapping the changing patterns of political-administrative relations affected by the sovereignty change and structural reforms. It identifies the conditions that account for the varied political-administrative relations resulting from these changes, and develops an analytical framework that integrates and adapts theories and models from Western contexts to explain varied political...

This sixth volume of the book series applies finite injury priority method to R-calculi and obtain (in)completeness theorem for binary-valued, Post three-valued, B2^2-valued and L4-valued first-order logics, and extend the method to infinite injury priority method and 0"-method for default logic to produce pseudo-extensions of a default theory, corresponding to different R-calculi. Finite injury priority method and tree constructions are discussed in this book. This book offers a ...

CFD analysis for pump design and performance evaluationDesigning highly efficient pumps requires transitioning from traditional trial-and-error methods to advanced Computational Fluid Dynamics (CFD) approaches and tools. Impeller Pumps: Design and Performance Evaluation using Computational Fluid Dynamics provides researchers and engineers with detailed methodologies for applying CFD to centrifugal, axial flow, mixed flow, vortex, and multistage pu...

This open access book can be divided into three parts. In part 1, three articles are employed to introduce the RACFM technology. In part 2, two articles are introduced to explain the Multifrequency ACFM. In part 3, three articles are introduced to explain the visualization research in ACFM. With the development of ACFM detection technology, traditional single excitation frequency and single direction excitation structures cannot meet the requirements of multiple types of defect detection (...

This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming, ⇝-propositional logic, semantic networks, and three-valued logic, etc.. Applications of R-calculus in logic of supersequents are also given.This book offers a rich blend of theory and practice. It is suitable for students, researchers an...

This book series consists of two parts, decidable description logics and undecidable description logics. It gives the R-calculi for description logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.

Mixed-flow PumpsModeling, Simulation, and MeasurementsLearn to improve and optimize the design and operation of mixed-flow pumpsMixed-flow pumps have a huge range of applications in agriculture, hydroelectric power, and other industries that incorporate fluid transport. They are centrifugal pumps incorporating the characteristics of both axial and radial pumps to increase the flow rate and discharge pressure. Though...

This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. In this book, R-calculus is taken as Tableau-based/sequent-based/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to revise, or sequent-based, to preserve the satisfiability of the sequent to revise. The R-calculi for Post and three...

This book introduces new models based on R-calculus and theories of belief revision for dealing with large and changing data. It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to subset minimal change, pseudo-subformula minimal change and deduction-based minimal change (the last two minimal changes are newly defined). And it proves soundness and completeness theorems with respect to ...

This open access book serves as a comprehensive exploration of Alternating Current Field Measurement (ACFM), encompassing the foundational theory crucial for subsequent chapters, as well as the design and testing of ACFM probes, instruments, and software. Providing guidance and serving as a reference for ACFM instrument development, the text delves into visualization research in ACFM, offering valuable insights for technical engineering applications.Nondestructive testing (NDT) eme...

This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. It discusses the algebraical and logical properties of tableau proof systems and R-calculi in many-valued logics.This book offers a rich blend of theory and practi...