Bøger af Chao Wang

This monograph is devoted to developing a theory of combined measure and shift invariance of time scales with the related applications to shift functions and dynamic equations. The study of shift closeness of time scales is significant to investigate the shift functions such as the periodic functions, the almost periodic functions, the almost automorphic functions, and their generalizations with many relevant applications in dynamic equations on arbitrary time scales.First proposed by S. Hilger, the time scale theory-a unified view of continuous and discrete analysis-has been widely used to study various classes of dynamic equations and models in real-world applications. Measure theory based on time scales, in its turn, is of great power in analyzing functions on time scales or hybrid domains. As a new and exciting type of mathematics-and more comprehensive and versatile than the traditional theories of differential and difference equations-, the time scale theory can precisely depict the continuous-discrete hybrid processes and is an optimal way forward for accurate mathematical modeling in applied sciences such as physics, chemical technology, population dynamics, biotechnology, and economics and social sciences.Graduate students and researchers specializing in general dynamic equations on time scales can benefit from this work, fostering interest and further research in the field. It can also serve as reference material for undergraduates interested in dynamic equations on time scales. Prerequisites include familiarity with functional analysis, measure theory, and ordinary differential equations.

This book systematically establishes the almost periodic theory of dynamic equations and presents applications on time scales in fuzzy mathematics and uncertainty theory. The authors introduce a new division of fuzzy vectors depending on a determinant algorithm and develop a theory of almost periodic fuzzy multidimensional dynamic systems on time scales. Several applications are studied; in particular, a new type of fuzzy dynamic systems called fuzzy q-dynamic systems (i.e. fuzzy quantum dynamic systems) is presented. The results are not only effective on classical fuzzy dynamic systems, including their continuous and discrete situations, but are also valid for other fuzzy multidimensional dynamic systems on various hybrid domains. In an effort to achieve more accurate analysis in real world applications, the authors propose a number of uncertain factors in the theory. As such, fuzzy dynamical models, interval-valued functions, differential equations, fuzzy-valued differential equations, and their applications to dynamic equations on time scales are considered.

This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs.

This book presents state-of-the-art research, methodologies, and applications of high performance computing for big data applications. It covers fundamental issues in Big Data research, including emerging architectures for data-intensive applications, novel analytical strategies to boost data processing, and cutting-edge applications.