Mingsheng Ying – författare

Visar alla böcker från författaren Mingsheng Ying. Handla med fri frakt och snabb leverans.

7 produkter

Kategorier

7 produkter

Foundations of Quantum Programming

AvMingsheng Ying

Häftad, Engelska, 2016

1 181 kr

Skickas inom 10-15 vardagar

Foundations of Quantum Programming discusses how new programming methodologies and technologies developed for current computers can be extended to exploit the unique power of quantum computers, which promise dramatic advantages in processing speed over currently available computer systems. Governments and industries around the globe are now investing vast amounts of money with the expectation of building practical quantum computers. Drawing upon years of experience and research in quantum computing research and using numerous examples and illustrations, Mingsheng Ying has created a very useful reference on quantum programming languages and important tools and techniques required for quantum programming, making the book a valuable resource for academics, researchers, and developers.

Demystifies the theory of quantum programming using a step-by-step approach Covers the interdisciplinary nature of quantum programming by providing examples from many different fields including, engineering, computer science, medicine, and life sciences Includes techniques and tools to solve complex control flow patterns and synchronize computations Presents a coherent and self-contained treatment that will be valuable for academics and industrial researchers and developers

Topology in Process Calculus

Approximate Correctness and Infinite Evolution of Concurrent Programs

AvMingsheng Ying

Inbunden, Engelska, 2001

535 kr

Skickas inom 10-15 vardagar

Communication and concurrency are essential in understanding complex dynamic systems, and there have been many theories to deal with them such as Petri nets, CSP and ACP. Among them, CCS (process calculus is one of the most important and mathematically developed models of communication and concurrency. Various behavior equivalences between agents, such as (strong and weak) bisimilarity, observation congruence, trace equivalence, testing equivalence and failure equivalence, are central notions in process calculus. In the real applications of process calculus, specification and implementation are described as two agents, correctness of programs is treated as a certain behavior equivalence between specification and implementation, and then the proof of correctness of programs is a task to establish some behavior equivalence between them. The goal of this book is to provide some suitable and useful concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems.Throughout this book the focus is on the framework of process calculus, and the main idea is to construct some natural and reasonable topological structures which can reveal suitably a mechanism of approximate computation in process calculus and to work out various relationships among processes which are compatible with these topological structures.

Foundations of Quantum Programming

AvMingsheng Ying

Häftad, Engelska, 2024

1 444 kr

Skickas inom 10-15 vardagar

Foundations of Quantum Programming, Second Edition provides a systematic exposition of the subject of quantum programming. Emphasis is placed on foundational concepts, methods, and techniques that can be widely used for various quantum programming models and languages. The book describes how programming methodologies developed for current computers can be extended for quantum computers, along with new programming methodologies that can effectively exploit the unique power of quantum computing. In addition, this resource introduces a chain of quantum programming models from sequential to parallel and distributed programming in the paradigm of superposition-of-data to the paradigm of superposition-of-programs.Final content presents a series of logical and mathematical tools for verification and analysis of quantum programs, including invariant generation, termination analysis, and abstract interpretation.

Demystifies the theory of quantum programming using a step-by-step approachIncludes methodologies, techniques, and tools for the development, analysis, and verification of quantum programs and quantum cryptographic protocolsCovers the interdisciplinary nature of quantum programming by providing preliminaries from quantum mechanics, mathematics, and computer science, and pointing out its potential applications to quantum engineering and physicsPresents a coherent and self-contained treatment that will be valuable for academic and industrial researchers and developersAdds new developments such as parallel and distributed quantum programming; and introduces several new program analysis techniques such as invariants generation and abstract interpretation

Fuzzy Logic and Soft Computing

AvChen,Guoqing Chenm. fl.

Inbunden, Engelska, 1999

1 595 kr

Skickas inom 10-15 vardagar

This volume contains contributions from world-leading experts from both the academic and industrial communities. The first part of the volume consists of invited papers by international authors describing possibilistic logic in decision analysis, fuzzy dynamic programming in optimization, linguistic modifiers for word computation, and theoretical treatments and applications of fuzzy reasoning. The second part is composed of 11 contributions from Chinese authors focusing on some of the key issues in the fields: stable adaptive fuzzy control systems; partial evaluations and fuzzy reasoning; fuzzy wavelet neural networks; analysis and applications of genetic algorithms; partial repeatability; rough set reduction for data enriching; limits of agents in process calculus; medium logic and its evolution; and factor spaces canes. These contributions are not only theoretically sound and well-formulated, but are also coupled with applicability implications and/or implementation treatments. The domains of applications realized or implied are: decision analysis; word computation; databases and knowledge discovery; power systems; control systems; and multi-destinational routing.Furthermore, the articles contain materials that are an outgrowth of recently conducted research in the late 1990s, addressing fundamental and important issues of fuzzy logic and soft computing.

Model Checking Quantum Systems

Principles and Algorithms

AvMingsheng Ying,Yuan Feng

Inbunden, Engelska, 2021

806 kr

Skickas inom 7-10 vardagar

Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware and software industries. This book provides the first systematic introduction to model checking techniques applicable to quantum systems, with broad potential applications in the emerging industry of quantum computing and quantum communication as well as quantum physics. Suitable for use as a course textbook and for self-study, graduate and senior undergraduate students will appreciate the step-by-step explanations and the exercises included. Researchers and engineers in the related fields can further develop these techniques in their own work, with the final chapter outlining potential future applications.

Topology in Process Calculus

Approximate Correctness and Infinite Evolution of Concurrent Programs

AvMingsheng Ying

Häftad, Engelska, 2012

552 kr

Skickas inom 10-15 vardagar

Communication and concurrency are essential in understanding complex dynamic systems, and there have been many theories to deal with them such as Petri nets, CSP and ACP. Among them, CCS (process calculus is one of the most important and mathematically developed models of communication and concurrency. Various behavior equivalences between agents, such as (strong and weak) bisimilarity, observation congruence, trace equivalence, testing equivalence and failure equivalence, are central notions in process calculus. In the real applications of process calculus, specification and implementation are described as two agents, correctness of programs is treated as a certain behavior equivalence between specification and implementation, and then the proof of correctness of programs is a task to establish some behavior equivalence between them. The goal of this book is to provide some suitable and useful concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems. Throughout this book the focus is on the framework of process calculus, and the main idea is to construct some natural and reasonable topological structures which can reveal suitably a mechanism of approximate computation in process calculus and to work out various relationships among processes which are compatible with these topological structures.

Fuzzy Logic and Soft Computing

AvGuoqing Chen,Mingsheng Yingm. fl.

Häftad, Engelska, 2012

1 595 kr

Skickas inom 10-15 vardagar

Fuzzy Logic and Soft Computing contains contributions from world-leading experts from both the academic and industrial communities. The first part of the volume consists of invited papers by international authors describing possibilistic logic in decision analysis, fuzzy dynamic programming in optimization, linguistic modifiers for word computation, and theoretical treatments and applications of fuzzy reasoning. The second part is composed of eleven contributions from Chinese authors focusing on some of the key issues in the fields: stable adaptive fuzzy control systems, partial evaluations and fuzzy reasoning, fuzzy wavelet neural networks, analysis and applications of genetic algorithms, partial repeatability, rough set reduction for data enriching, limits of agents in process calculus, medium logic and its evolution, and factor spaces canes. These contributions are not only theoretically sound and well-formulated, but are also coupled with applicability implications and/or implementation treatments. The domains of applications realized or implied are: decision analysis, word computation, databases and knowledge discovery, power systems, control systems, and multi-destinational routing. Furthermore, the articles contain materials that are an outgrowth of recently conducted research, addressing fundamental and important issues of fuzzy logic and soft computing.

Företag, bibliotek eller offentlig verksamhet?

Mingsheng Ying – författare

Foundations of Quantum Programming

Topology in Process Calculus

Foundations of Quantum Programming

Fuzzy Logic and Soft Computing

Model Checking Quantum Systems

Topology in Process Calculus

Fuzzy Logic and Soft Computing

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration