Jun Liu

This book presents dynamic response, vibration characteristics, and nonlinear behavior of complex oil and gas well string by using a combination of theoretical methods, numerical simulation, and experimental analysis. It lays both theoretical and experimental foundation for the design of oil and gas well string parameters. The theoretical methods involved mainly include Hamilton's principle, finite element method, and energy method, while experimental methods involved include similarity principle, vibration testing method, and modal analysis method. It is a valuable reference for both scholars and practitioners working in the fields of petroleum, mining, and geological research, as well as research institutes related to oil and gas resource exploration.

Formal methods is a field of computer science that emphasizes the use of rigorous mathematical techniques for verification and design of hardware and software systems. Analysis and design of nonlinear control design plays an important role across many disciplines of engineering and applied sciences, ranging from the control of an aircraft engine to the design of genetic circuits in synthetic biology. While linear control is a well-established subject, analysis and design of nonlinear control systems remains a challenging topic due to some of the fundamental difficulties caused by nonlinearity. Formal Methods for Control of Nonlinear Systems provides a unified computational approach to analysis and design of nonlinear systems. Features Constructive approach to nonlinear control. Rigorous specifications and validated computation. Suitable for graduate students and researchers who are interested in learning how formal methods and validated computation can be combined together to tackle nonlinear control problems with complex specifications from an algorithmic perspective. Combines mathematical rigor with practical applications.

This book adopts a multi-method and multi-phase approach to investigate the washback effects of Test for English Majors (TEM) on program administrators, teachers and students, shedding new light on TEM reform and the reform of English teaching and learning in China. TEM, a nationwide test used to measure the language proficiency of undergraduate English majors in China, is a major standardized test taken by nearly 400,000 students every year. The book’s key features include: an in-depth discussion of the nature of washback and a framework for investigating it; a multi-method and multi-phase approach, employing both the quantitative method of questionnaire surveys and the qualitative methods of interviews and classroom observations; large-scale questionnaire surveys conducted among experts, program administrators, teachers and students, and involving over 30,000 participants; detailed assessments of TEM’s washback effects on stakeholders’ perceptions, classroom teaching practice, students learning activities, etc.; and essential insights into testing and teaching reforms.

This book addresses anti-fatigue manufacturing, analysis and test verification technologies for typical aircraft structures, including fastening holes, shot peening plates, different types of joints and wing boxes. Offering concrete solutions to practical problems in aircraft engineering, it will benefit researchers and engineers in the fields of Aerospace Technology and Astronautics.

This book adopts a multi-method and multi-phase approach to investigate the washback effects of Test for English Majors (TEM) on program administrators, teachers and students, shedding new light on TEM reform and the reform of English teaching and learning in China. TEM, a nationwide test used to measure the language proficiency of undergraduate English majors in China, is a major standardized test taken by nearly 400,000 students every year. The book’s key features include: an in-depth discussion of the nature of washback and a framework for investigating it; a multi-method and multi-phase approach, employing both the quantitative method of questionnaire surveys and the qualitative methods of interviews and classroom observations; large-scale questionnaire surveys conducted among experts, program administrators, teachers and students, and involving over 30,000 participants; detailed assessments of TEM’s washback effects on stakeholders’ perceptions, classroom teaching practice, students learning activities, etc.; and essential insights into testing and teaching reforms.

This book addresses anti-fatigue manufacturing, analysis and test verification technologies for typical aircraft structures, including fastening holes, shot peening plates, different types of joints and wing boxes. Offering concrete solutions to practical problems in aircraft engineering, it will benefit researchers and engineers in the fields of Aerospace Technology and Astronautics.

Lattice-valued Logic aims at establishing the logical foundation for uncertain information processing routinely performed by humans and artificial intelligence systems. In this textbook for the first time a general introduction on lattice-valued logic is given. It systematically summarizes research from the basic notions up to recent results on lattice implication algebras, lattice-valued logic systems based on lattice implication algebras, as well as the corresponding reasoning theories and methods. The book provides the suitable theoretical logical background of lattice-valued logic systems and supports newly designed intelligent uncertain-information-processing systems and a wide spectrum of intelligent learning tasks.

Lattice-valued Logic aims at establishing the logical foundation for uncertain information processing routinely performed by humans and artificial intelligence systems. In this textbook for the first time a general introduction on lattice-valued logic is given. It systematically summarizes research from the basic notions up to recent results on lattice implication algebras, lattice-valued logic systems based on lattice implication algebras, as well as the corresponding reasoning theories and methods. The book provides the suitable theoretical logical background of lattice-valued logic systems and supports newly designed intelligent uncertain-information-processing systems and a wide spectrum of intelligent learning tasks.

Artificial intelligence (AI) is impacting industries worldwide by introducing new methods and altering traditional practices. This book examines AI’s diverse effects, providing insights into its applications, challenges, and future prospects across education, healthcare, finance, and more. The chapters explore how AI technologies, such as large language models, enhance feedback in higher education and influence legal studies while upholding academic integrity. A review of key technical approaches—knowledge-based systems, machine learning, and intelligent optimization—lays the groundwork for understanding AI’s potential. Real-world examples illustrate AI’s role in medical imaging, presenting new diagnostic methods and the use of language models for image interpretation. The book also discusses financial applications, including techniques for credit card fraud detection and forecasting natural gas prices using innovative models. Additionally, it covers personalized federated learning models, highlighting the importance of data privacy and security in AI’s evolution. This comprehensive guide is valuable for educators, researchers, practitioners, and students interested in AI’s current and future developments. By combining theory with practical examples, the book offers readers a clear understanding of how AI affects various sectors, enabling them to engage effectively with this rapidly evolving field.

Artificial intelligence (AI) is impacting industries worldwide by introducing new methods and altering traditional practices. This book examines AI’s diverse effects, providing insights into its applications, challenges, and future prospects across education, healthcare, finance, and more. The chapters explore how AI technologies, such as large language models, enhance feedback in higher education and influence legal studies while upholding academic integrity. A review of key technical approaches—knowledge-based systems, machine learning, and intelligent optimization—lays the groundwork for understanding AI’s potential. Real-world examples illustrate AI’s role in medical imaging, presenting new diagnostic methods and the use of language models for image interpretation. The book also discusses financial applications, including techniques for credit card fraud detection and forecasting natural gas prices using innovative models. Additionally, it covers personalized federated learning models, highlighting the importance of data privacy and security in AI’s evolution. This comprehensive guide is valuable for educators, researchers, practitioners, and students interested in AI’s current and future developments. By combining theory with practical examples, the book offers readers a clear understanding of how AI affects various sectors, enabling them to engage effectively with this rapidly evolving field.

This book offers a systematic presentation of persymmetric adaptive detection, including detector derivations and the definition of key concepts, followed by detailed discussion relating to theoretical underpinnings, design methodology, design considerations, and techniques enabling its practical implementation. The received data for modern radar systems are usually multichannel, namely, vector-valued, or even matrix-valued. Multichannel signal detection in Gaussian backgrounds is a fundamental problem for radar applications. With an overarching focus on persymmetric adaptive detectors, this book presents the mathematical models and design principles necessary for analyzing the behavior of each kind of persymmetric adaptive detector. Building upon that, it also introduces new design approaches and techniques that will guide engineering students as well as radar engineers toward efficient detector solutions, especially in challenging sample-starved environments where training data are limited. This book will be of interest to students, scholars, and engineers in the field of signal processing. It will be especially useful for those who have a solid background in statistical signal processing, multivariate statistical analysis, matrix theory, and mathematical analysis.

2020年2月自武汉封城，上海新冠疫情愈演愈烈。女儿线上学习、我日常的节奏被打乱，在电脑上写点无意识的记忆文字。提振心神应对日常，事后看这七章成就灾难共和国三部曲之二：《新冠世代城乡中国彩虹桥》。三年大疫，全球两千万人死亡（包括我的奶奶），紧急状态接踵而至，让人目不暇给。几乎每位邻居都有居家隔离的孤独、无聊、愤怒与恐慌。大乱来临，往事浮上心头。本书曾在朋友圈预告，好友好奇文体是否不是专业论文写作。我肯定的答复：散文体。能够自由率性写作是人到中年的福利。许多章节都发给学生先阅读，反馈尚佳。于是我鼓足勇气继续这种文风，偶尔有些注释是实在觉得与作者有缘。 看到王朔先生在《起初-纪年》开篇写道："想到了历史体裁麻烦，细节考证能累死谁，全知等于难为自己，故取惯常所用第一人称，所见限于一己之侧，能少交待少交待，是不得已......有些人物所行骇人，心机莫测，远超常人所想所能驾驭，亦为第一人称天然具有同情之理解所不容，故在很多篇幅陆续出现第一、第三人称混用章节，乃至最后写丢了第一人称，通篇以第三人称尬然终了。"真是击节赞叹，第一、第三人称混用的同理、尬然和无意识，不能同意再多。本书亦引用了这三年的微信朋友圈文字，都是当时新鲜的文字，更是第一人称。本书本来写的是彩虹桥。三年大疫之后，再读到托尔金的《魔戒》恍悟，也是甘道夫丧生/死而复生的凯萨督姆大桥（Khazad-d m Bridge）。这新冠就像炎魔的火鞭要了多少人的命，但也将四位哈比少年送达安全的彼岸，开启了希望征途。

This book offers a systematic presentation of persymmetric adaptive detection, including detector derivations and the definition of key concepts, followed by detailed discussion relating to theoretical underpinnings, design methodology, design considerations, and techniques enabling its practical implementation. The received data for modern radar systems are usually multichannel, namely, vector-valued, or even matrix-valued. Multichannel signal detection in Gaussian backgrounds is a fundamental problem for radar applications. With an overarching focus on persymmetric adaptive detectors, this book presents the mathematical models and design principles necessary for analyzing the behavior of each kind of persymmetric adaptive detector. Building upon that, it also introduces new design approaches and techniques that will guide engineering students as well as radar engineers toward efficient detector solutions, especially in challenging sample-starved environments where training data are limited. This book will be of interest to students, scholars, and engineers in the field of signal processing. It will be especially useful for those who have a solid background in statistical signal processing, multivariate statistical analysis, matrix theory, and mathematical analysis.