Wyniki wyszukiwania:

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...

This book provides comprehensive investigation of the effect of motivation on L2 learners’ pragmatic learning, which has been discussed for a long time but remains under-explored. This study examines whether and to what extent learners’ levels of motivation influence their pragmatic awareness, comprehension and production in an EFL context. It presents an original study that not only enriches our knowledge of the feasibility of modern technology in collecting large-scale data related to pragmatic competence but also eminently connects L2 pragmatics more closely with mainstream second...

Nature-inspired algorithms such as cuckoo search and firefly algorithm have become popular and widely used in recent years in many applications. These algorithms are flexible, efficient and easy to implement. New progress has been made in the last few years, and it is timely to summarize the latest developments of cuckoo search and firefly algorithm and their diverse applications. This book will review both theoretical studies and applications with detailed algorithm analysis, implementation and case studies so that readers can benefit most from this book. Application topics are...

A comprehensive review of state-of-the-art CCHP modeling, optimization, and operation theory and practice

This book was written by an international author team at the forefront of combined cooling, heating, and power (CCHP) systems R&D. It offers systematic coverage of state-of-the-art mathematical modeling, structure optimization, and CCHP system operation, supplemented with numerous illustrative case studies and examples.

CCHP systems are an exciting emerging energy technology offering significant economic and environmental benefits. Combined Cooling, Heating, and...

This is the first mechatronics book dealing with coupled mechanical and electrical actions, an emerging branch of modern technology. Authored by the leading scientist in this field, the book treats various subjects along the interface between mechanics and electronics.

Development Theories and Methods of Fracture-Vug Carbonate Reservoirs explores the theories and methods for successful development of a fracture-vug reservoir by presenting the developmental strategies used in the Tahe oilfield.

Some of the theories and methods of developing the Tahe fracture-vug reservoirs have been inspired by two China national research projects: The 'Basic research on development of fracture-vug carbonate reservoirs' (2006-2010), and the 'Basic research on production mechanism and oil recovery enhancement of fracture-vugcarbonate reservoirs' (2011-2015),...