Chao Liu - Böcker

An emerging topic in software engineering and data mining, specification mining tackles software maintenance and reliability issues that cost economies billions of dollars each year. The first unified reference on the subject, Mining Software Specifications: Methodologies and Applications describes recent approaches for mining specifications of software systems. Experts in the field illustrate how to apply state-of-the-art data mining and machine learning techniques to address software engineering concerns.In the first set of chapters, the book introduces a number of studies on mining finite state machines that employ techniques, such as grammar inference, partial order mining, source code model checking, abstract interpretation, and more. The remaining chapters present research on mining temporal rules/patterns, covering techniques that include path-aware static program analyses, lightweight rule/pattern mining, statistical analysis, and other interesting approaches. Throughout the book, the authors discuss how to employ dynamic analysis, static analysis, and combinations of both to mine software specifications.According to the US National Institute of Standards and Technology in 2002, software bugs have cost the US economy 59.5 billion dollars a year. This volume shows how specification mining can help find bugs and improve program understanding, thereby reducing unnecessary financial losses. The book encourages the industry adoption of specification mining techniques and the assimilation of these techniques in standard integrated development environments (IDEs).

This is the first work in English to explore Manchukuo literature in its entirety. It provides comprehensive, in-depth, and thought-provoking research by placing the literary history of Manchukuo from 1937 to 1941 in specific cultural lineages and socio-political contexts and focusing on four major literary groups of that period—the Manshū rōmanha, the Sakubun writers, the Yiwenzhi intellectuals, and the Wenxuan School—to illuminate its underlying intellectual dynamics. As it turns out, Manchukuo literature notably featured multiplicity, ambiguity, and self-reflexivity, which enabled it to transcend the dichotomy of romanticism and realism and that of the colonizers and the colonized. Not unlike a coordinate system, it took modernity and national identity as its horizontal and vertical axes. The Manshū rōmanha and the Sakubun writers respectively adopted an anti-modern or a modernist perspective and unanimously headed towards the intellectual stance of denying their own national identity and merging into the indigenous society of the colony; in comparison, Manchurian intellectuals, as epitomized by the Yiwenzhi School and the Wenxuan School, started from the same purpose of promoting national consciousness, but at last embarked on a bifurcated path to either modernization or cultural regression. Moreover, although the literary writings of these four groups differed much from each other in topics, stylistic features, and narrative modes, they all showed a deep concern for the sufferings of the Manchurian people brought by colonialism, coincidentally directed their criticism or sarcasm against the colonial rule, and thereupon endowed Manchukuo literature with a keynote of darkness.

An emerging topic in software engineering and data mining, specification mining tackles software maintenance and reliability issues that cost economies billions of dollars each year. The first unified reference on the subject, Mining Software Specifications: Methodologies and Applications describes recent approaches for mining specifications of software systems. Experts in the field illustrate how to apply state-of-the-art data mining and machine learning techniques to address software engineering concerns.In the first set of chapters, the book introduces a number of studies on mining finite state machines that employ techniques, such as grammar inference, partial order mining, source code model checking, abstract interpretation, and more. The remaining chapters present research on mining temporal rules/patterns, covering techniques that include path-aware static program analyses, lightweight rule/pattern mining, statistical analysis, and other interesting approaches. Throughout the book, the authors discuss how to employ dynamic analysis, static analysis, and combinations of both to mine software specifications.According to the US National Institute of Standards and Technology in 2002, software bugs have cost the US economy 59.5 billion dollars a year. This volume shows how specification mining can help find bugs and improve program understanding, thereby reducing unnecessary financial losses. The book encourages the industry adoption of specification mining techniques and the assimilation of these techniques in standard integrated development environments (IDEs).

Complexity, Analysis and Control of Singular Biological Systems follows the control of real-world biological systems at both ecological and phyisological levels concentrating on the application of now-extensively-investigated singular system theory. Much effort has recently been dedicated to the modelling and analysis of developing bioeconomic systems and the text establishes singular examples of these, showing how proper control can help to maintain sustainable economic development of biological resources. The book begins from the essentials of singular systems theory and bifurcations before tackling  the use of various forms of control in singular biological systems using examples including predator-prey relationships and viral vaccination and quarantine control. Researchers and graduate students studying the control of complex biological systems are shown how a variety of methods can be brought to bear and practitioners working with the economics of biological systems and their control will also find the monograph illuminating.

Exploration into the latest research and developments in material corrosion resistance and related technologies Steel Corrosion and Metallurgical Factors: Laws and Mechanisms offers an in-depth exploration of the latest research on modulating metallurgical factors in various types of steel materials to enhance their corrosion resistance. The book covers a diverse range of materials, including low-alloy steels, stainless steels, ductile iron, rebar, and pipeline steel, and outlines the application of corrosion big data technology and artificial intelligence in the revealing of material corrosion mechanisms. The book discusses how typical metallurgical factors such as inclusion control, alloying control, and heat treatment control influence the corrosion resistance of stainless or low alloy steels and provides theoretical guidance for corrosion-resistant steel smelting technologies (e.g., inclusions regulation, alloy modulation, and rolling processes) by investigating the laws and mechanisms underlying the influence of various metallurgical factors on the corrosion resistance of steel. Steel Corrosion and Metallurgical Factors includes information on: Micro- chemical-electrochemical theory of corrosion initiation induced by various typical types of inclusions in stainless and low alloy steelsInfluence of elements such as Ca, Sb, Cu, and Cr on the resistance of low-alloy steels to microbial and marine atmospheric corrosionCoupled mechanism of microstructure and inclusions in corrosion initiation in steelBehavior and mechanism of stress corrosion and hydrogen-induced stress corrosion of pipeline steel induced by environmental and metallurgical factorsEffects of rare earth and chromium elements on the corrosion resistance of HRB400 rebar in concrete environmentsMetallurgical defects on ductile iron corrosion mechanisms and corrosion big data-artificial intelligence techniques in revealing factors influencing material corrosionSteel Corrosion and Metallurgical Factors strongly supports metallurgical and materials researchers and engineers in developing new corrosion-resistant steels.

Bridges corrosion science and artificial intelligence to advance durable, high-performance marine steels Understanding and controlling the corrosion of steels in marine environments is a critical challenge for modern engineering, with far-reaching implications for safety, durability, and sustainability. Marine corrosion not only threatens the integrity of infrastructure such as bridges, offshore platforms, and railways but also leads to significant economic losses and environmental risks. Marine Corrosion of Steels:Mechanisms and AI-Driven Solutions provides a comprehensive exploration of the mechanistic processes underlying steel degradation and introduces innovative, data-driven approaches to improve corrosion resistance. Offering valuable insights into stress corrosion cracking, fatigue, and general degradation mechanisms in harsh marine conditions, the book systematically investigates corrosion behavior across a range of engineering steels, including high-manganese steel, titanium-steel composites, low-alloy rebar, and ductile iron. Beyond mechanistic analysis, dedicated chapters highlight pioneering applications of big data and artificial intelligence, such as predictive modeling, image recognition for pit analysis, and IoT-enabled real-time monitoring. These AI-driven approaches enable researchers and engineers to accelerate alloy design, optimize material selection, and implement proactive maintenance strategies. Combining deep scientific understanding with cutting-edge computational tools, Marine Corrosion of Steels:Mechanisms and AI-Driven Solutions: Demonstrates how corrosion science is evolving toward intelligent, sustainable solutions for the most demanding industrial applicationsExplores alloying strategies and material innovations to enhance corrosion resistanceIntroduces novel electrochemical evaluation methods and image-based corrosion quantificationPresents real-world case studies, including corrosion fatigue in railway components and offshore steel performanceDiscusses multi-modal frameworks combining physics, machine learning, and computer visionOffers forward-looking insights on AI-driven alloy design for sustainability and cost reductionConnecting fundamental research to practical engineering solutions across multiple industries, Marine Corrosion of Steels:Mechanisms and AI-Driven Solutions is an essential resource for graduate-level courses in materials science, corrosion engineering, and mechanical engineering, particularly within programs in metallurgy, chemical engineering, and civil infrastructure. It is also a valuable reference for engineers, corrosion specialists, and researchers working in marine, aerospace, and energy industries.