应明生

应明生

教授

清华大学

研究概况

  1. 进程代数中的拓扑：进程代数是并发系统最成功的模型之一，其中的一个核心概念是互模拟，但它不能描述并发系统的近似行为。为了解决这个问题，我提出了进程代数中的一种拓扑理论，用于描述并发系统的近似正确性与进化过程。

  2. 量子程序的Floyd-Hoare逻辑：Floyd-Hoare逻辑是经典程序公理语义学与程序正确性验证的基础。作为未来量子计算机程序设计方法学的逻辑基础，我最近为量子程序建立了包括部分正确性与完全正确性的Floyd-Hoare型逻辑，特别是证明了其（相对）完备性，其证明与经典情形不同，需要引入新的技巧，特别是分析数学的工具。

奖励与荣誉

  • 国家自然科学二等奖——非经典计算的形式化模型与逻辑基础 (2008)
  • 教育部自然科学一等奖——面向复杂特征的形式化方法及其逻辑基础 (2004)
  • 中国青年科技奖 (1994)
研究方向

  • 量子计算

  • 程序设计语言的语义学, 人工智能中的逻辑

教育经历

  • 大学专科（数学） · 江西师范学院抚州分院

    1981

最新发表

Huiping Lin, Ruixuan Deng, Chris Z. Yao, Zhengfeng Ji, Mingsheng Ying (2025). Control Flow Adaption: An Efficient Simulation Method for Noisy Quantum Networks. IEEE INFOCOM 2025 - IEEE Conference on Computer Communications.

引用 DOI

Xin Hong, Wei-Jia Huang, Wei-Chen Chien, Yuan Feng, Min-Hsiu Hsieh, Sanjiang Li, Mingsheng Ying (2024). Equivalence Checking of Parameterised Quantum Circuits.

引用 arXiv URL

Aochu Dai, Mingsheng Ying (2024). QReach: A Reachability Analysis Tool for Quantum Markov Chains. Computer Aided Verification.

引用

Wang Fang, Mingsheng Ying (2024). SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits. Proceedings of the 61st ACM/IEEE Design Automation Conference.

引用 DOI URL

Wang Fang, Mingsheng Ying, Xiaodi Wu (2023). Differentiable Quantum Programming with Unbounded Loops. ACM Trans. Softw. Eng. Methodol..

引用 DOI URL

Li Zhou, Gilles Barthe, Pierre-Yves Strub, Junyi Liu, Mingsheng Ying (2023). CoqQ: Foundational Verification of Quantum Programs. Proc. ACM Program. Lang..

引用 DOI URL

Xin Hong, Wei-Jia Huang, Wei-Chen Chien, Yuan Feng, Min-Hsiu Hsieh, Sanjiang Li, Chia-Shun Yeh, Mingsheng Ying (2023). Decision Diagrams for Symbolic Verification of Quantum Circuits. 2023 IEEE International Conference on Quantum Computing and Engineering (QCE).

引用 DOI

Ji Guan, Wang Fang, Mingyu Huang, Mingsheng Ying (2023). Detecting Violations of Differential Privacy for Quantum Algorithms. Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security.

引用 DOI URL

Jingzhe Guo, Huazhe Lou, Jintao Yu, Riling Li, Wang Fang, Junyi Liu, Peixun Long, Shenggang Ying, Mingsheng Ying (2023). isQ: An Integrated Software Stack for Quantum Programming. IEEE Transactions on Quantum Engineering.

引用 DOI

Jingzhe Guo, Huazhe Lou, Riling Li, Wang Fang, Junyi Liu, Peixun Long, Shenggang Ying, Mingsheng Ying (2023). isQ: Towards a Practical Software Stack for Quantum Programming.

引用 arXiv URL

Qisheng Wang, Zhicheng Zhang, Kean Chen, Ji Guan, Wang Fang, Junyi Liu, Mingsheng Ying (2023). Quantum Algorithm for Fidelity Estimation. IEEE Transactions on Information Theory.

引用 DOI

Mingsheng Ying, Zhicheng Zhang (2023). Quantum Recursive Programming with Quantum Case Statements.

引用 arXiv URL

Jingzhe Guo, Mingsheng Ying (2023). Software Pipelining for Quantum Loop Programs. IEEE Transactions on Software Engineering.

引用 DOI

Kean Chen, Qisheng Wang, Peixun Long, Mingsheng Ying (2023). Unitarity Estimation for Quantum Channels. IEEE Transactions on Information Theory.

引用 DOI

Li Zhou, Nengkun Yu, Shenggang Ying, Mingsheng Ying (2022). Quantum earth mover’s distance, a no-go quantum Kantorovich–Rubinstein theorem, and quantum marginal problem. Journal of Mathematical Physics.

引用 DOI URL

Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng, Mingsheng Ying (2022). A Tensor Network based Decision Diagram for Representation of Quantum Circuits. ACM Trans. Des. Autom. Electron. Syst..

引用 DOI URL

Yuan Feng, Sanjiang Li, Mingsheng Ying (2022). Verification of Distributed Quantum Programs. ACM Trans. Comput. Logic.

引用 DOI URL

Mingsheng Ying, Li Zhou, Yangjia Li, Yuan Feng (2022). A proof system for disjoint parallel quantum programs. Theoretical Computer Science.

引用 DOI URL

Yuxiang Peng, Mingsheng Ying, Xiaodi Wu (2022). Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra. Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation.

引用 DOI URL

Mingsheng Ying (2022). Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs.

引用 arXiv URL

Xin Hong, Yuan Feng, Sanjiang Li, Mingsheng Ying (2022). Equivalence Checking of Dynamic Quantum Circuits. Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design.

引用 DOI URL

Qisheng Wang, Riling Li, Mingsheng Ying (2022). Equivalence Checking of Sequential Quantum Circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

引用 DOI

Qifan Huang, Boxi Li, Minbo Gao, Mingsheng Ying (2022). Fault Models in Superconducting quantum circuits.

引用 arXiv URL

Ji Guan, Wang Fang, Mingsheng Ying (2022). Verifying Fairness in Quantum Machine Learning. Computer Aided Verification.

引用

Kean Chen, Wang Fang, Ji Guan, Xin Hong, Mingyu Huang, Junyi Liu, Qisheng Wang, Mingsheng Ying (2022). VeriQBench: A Benchmark for Multiple Types of Quantum Circuits.

引用 arXiv URL

Ji Guan, Wang Fang, Mingsheng Ying (2021). Robustness Verification of Quantum Classifiers. Computer Aided Verification.

引用

Travis S. Humble, Mingsheng Ying (2020). Inaugural Issue Editorial for ACM Transactions on Quantum Computing. ACM Transactions on Quantum Computing.

引用 DOI URL

Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie (2020). Projection-based runtime assertions for testing and debugging Quantum programs. Proc. ACM Program. Lang..

引用 DOI URL

Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie (2020). Proq: Projection-based Runtime Assertions for Debugging on a Quantum Computer.

引用 arXiv URL

Riling Li, Bujiao Wu, Mingsheng Ying, Xiaoming Sun, Guangwen Yang (2020). Quantum Supremacy Circuit Simulation on Sunway TaihuLight. IEEE Transactions on Parallel and Distributed Systems.

引用 DOI

Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying (2020). Strassen's theorem for quantum couplings. Theoretical Computer Science.

引用 DOI URL

Mingsheng Ying, Zhengfeng Ji (2020). Symbolic Verification of Quantum Circuits.

引用 arXiv URL

Guang-Can Guo, Mingsheng Ying (2019). Preface to special topic on quantum computing. National Science Review.

引用 DOI URL

Mingsheng Ying (2019). Toward automatic verification of quantum programs. Formal Aspects of Computing.

引用 DOI URL

Li Zhou, Nengkun Yu, Mingsheng Ying (2019). An applied quantum Hoare logic. Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation.

引用 DOI URL

Junyi Liu, Li Zhou, Mingsheng Ying (2019). Expected Runtime of Quantum Programs. CoRR.

引用 URL

Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan (2019). Formal Verification of Quantum Algorithms Using Quantum Hoare Logic. Computer Aided Verification.

引用

Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying (2019). Model Checking Applied to Quantum Physics.

引用 arXiv URL

Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu (2019). Quantitative robustness analysis of quantum programs. Proc. ACM Program. Lang..

引用 DOI URL

Mingsheng Ying, Li Zhou, Yangjia Li (2019). Reasoning about Parallel Quantum Programs.

引用 arXiv URL

Mingsheng Ying, Yuan Feng (2018). Model-checking quantum systems. National Science Review.

引用 DOI URL

Shusen Liu, Xin Wang, Li Zhou, Ji Guan, Yinan Li, Yang He, Runyao Duan, Mingsheng Ying (2018). $$Q|SIbackslashrangle $$ : A Quantum Programming Environment. Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday.

引用 DOI URL

Zhaowei Xu, Mingsheng Ying, Shenggang Ying (2018). A Logic for Recursive Quantum Programs.

引用 arXiv URL

Ji Guan, Yuan Feng, Mingsheng Ying (2018). Decomposition of quantum Markov chains and its applications. Journal of Computer and System Sciences.

引用 DOI URL

Mingsheng Ying, Yuan Feng (2018). Model Checking Quantum Systems --- A Survey.

引用 arXiv URL

Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying (2018). Quantum Coupling and Strassen Theorem.

引用 arXiv URL

Shenggang Ying, Mingsheng Ying (2018). Reachability analysis of quantum Markov decision processes. Information and Computation.

引用 DOI URL

Ji Guan, Yuan Feng, Mingsheng Ying (2018). Super-activating Quantum Memory with Entanglement.

引用 arXiv URL

Ji Guan, Yuan Feng, Mingsheng Ying (2018). The Structure of Decoherence-free Subsystems.

引用 arXiv URL

Yangjia Li, Mingsheng Ying (2017). Algorithmic analysis of termination problems for quantum programs. Proc. ACM Program. Lang..

引用 DOI URL

Mingsheng Ying, Shenggang Ying, Xiaodi Wu (2017). Invariants of quantum programs: characterisations and generation. Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages.

引用 DOI URL

Mingsheng Ying, Shenggang Ying, Xiaodi Wu (2017). Invariants of quantum programs: characterisations and generation. SIGPLAN Not..

引用 DOI URL

Shenggang Ying, Mingsheng Ying, Yuan Feng (2017). Quantum Privacy-Preserving Data Analytics.

引用 arXiv URL

Shenggang Ying, Mingsheng Ying, Yuan Feng (2017). Quantum Privacy-Preserving Perceptron.

引用 arXiv URL

Shenggang Ying, Mingsheng Ying, Yuan Feng (2016). Quantum Privacy-Preserving Data Mining.

引用 arXiv URL

Nengkun Yu, Mingsheng Ying (2015). Optimal simulation of Deutsch gates and the Fredkin gate. Phys. Rev. A.

引用 DOI URL

Yuan Feng, Mingsheng Ying (2015). Toward automatic verification of quantum cryptographic protocols.

引用 arXiv URL

Mingsheng Ying, Yangjia Li, Nengkun Yu, Yuan Feng (2014). Model-Checking Linear-Time Properties of Quantum Systems. ACM Trans. Comput. Logic.

引用 DOI URL

Yuan Feng, Yuxin Deng, Mingsheng Ying (2014). Symbolic Bisimulation for Quantum Processes. ACM Trans. Comput. Logic.

引用 DOI URL

Yangjia Li, Mingsheng Ying (2014). Debugging quantum processes using monitoring measurements. Phys. Rev. A.

引用 DOI URL

Yangjia Li, Nengkun Yu, Mingsheng Ying (2014). Termination of nondeterministic quantum programs. Acta Informatica.

引用 DOI URL

Yangjia Li, Mingsheng Ying (2014). (Un)decidable Problems about Reachability of Quantum Systems. CONCUR 2014 – Concurrency Theory.

引用

Mingsheng Ying, Nengkun Yu, Yuan Feng (2014). Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs.

引用 arXiv URL

Nengkun Yu, Runyao Duan, Mingsheng Ying (2014). Distinguishability of Quantum States by Positive Operator-Valued Measures With Positive Partial Transpose. IEEE Transactions on Information Theory.

引用 DOI

Mingsheng Ying (2014). Quantum Recursion and Second Quantisation.

引用 arXiv URL

Nengkun Yu, Runyao Duan, Mingsheng Ying (2013). Five two-qubit gates are necessary for implementing the Toffoli gate. Phys. Rev. A.

引用 DOI URL

Yuan Feng, Nengkun Yu, Mingsheng Ying (2013). Model checking quantum Markov chains. Journal of Computer and System Sciences.

引用 DOI URL

Nengkun Yu, Mingsheng Ying (2013). Optimal simulation of three-qubit gates.

引用 arXiv URL

Mingsheng Ying, Yuan Feng, Nengkun Yu (2013). Quantum Information-Flow Security: Noninterference and Access Control. 2013 IEEE 26th Computer Security Foundations Symposium.

引用 DOI

Yuan Feng, Nengkun Yu, Mingsheng Ying (2013). Reachability Analysis of Recursive Quantum Markov Chains. Mathematical Foundations of Computer Science 2013.

引用

Shenggang Ying, Yuan Feng, Nengkun Yu, Mingsheng Ying (2013). Reachability Probabilities of Quantum Markov Chains. CONCUR 2013 – Concurrency Theory.

引用

Shenggang Ying, Mingsheng Ying (2013). Removing measurements from quantum walks. Phys. Rev. A.

引用 DOI URL

Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan (2013). Verification of quantum programs. Science of Computer Programming.

引用 DOI URL

Nengkun Yu, Runyao Duan, Mingsheng Ying (2012). Four Locally Indistinguishable Ququad-Ququad Orthogonal Maximally Entangled States. Phys. Rev. Lett..

引用 DOI URL

Mingsheng Ying, Yuan Feng, RunYao Duan, YangJia Li, NengKun Yu (2012). Quantum programming: From theories to implementations. Chinese Science Bulletin.

引用 DOI URL

Chunlai Zhou, Mingsheng Ying (2012). Approximating Markov processes through filtration. Theoretical Computer Science.

引用 DOI URL

Mingsheng Ying, Nengkun Yu, Yuan Feng (2012). Defining Quantum Control Flow.

引用 arXiv URL

Mingsheng Ying (2012). Floyd--hoare logic for quantum programs. ACM Trans. Program. Lang. Syst..

引用 DOI URL

Nengkun Yu, Mingsheng Ying (2012). Non-Additivity of Minimum Output p-$mathbfRacuteenyi$ Entropy.

引用 arXiv URL

Nengkun Yu, Mingsheng Ying (2012). Reachability and Termination Analysis of Concurrent Quantum Programs. CONCUR 2012 – Concurrency Theory.

引用

Guoxin Su, Mingsheng Ying, Chengqi Zhang (2012). Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles. 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture.

引用 DOI

Guoxin Su, Mingsheng Ying, Chengqi Zhang (2012). Session Communication and Integration.

引用 arXiv URL

Nengkun Yu, Runyao Duan, Mingsheng Ying (2011). Any $2ensuremathbigotimesn$ subspace is locally distinguishable. Phys. Rev. A.

引用 DOI URL

Nengkun Yu, Runyao Duan, Mingsheng Ying (2011). Any 2⊗n subspace is locally distinguishable. Physical Review A.

引用 DOI URL

Mingsheng Ying, Yuan Feng (2011). A Flowchart Language for Quantum Programming. IEEE Transactions on Software Engineering.

引用 DOI

Mingsheng Ying (2011). Another Quantum Lovász Local Lemma.

引用 arXiv URL

Yuan Feng, Runyao Duan, Mingsheng Ying (2011). Bisimulation for quantum processes. Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.

引用 DOI URL

Yangjia Li, Runyao Duan, Mingsheng Ying (2010). Local unambiguous discrimination with remaining entanglement. Phys. Rev. A.

引用 DOI URL

Heng Zhang, Mingsheng Ying (2010). Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription. Proceedings of the AAAI Conference on Artificial Intelligence.

引用 DOI URL

Mingsheng Ying, Yuan Feng (2010). Quantum loop programs. Acta Informatica.

引用 DOI URL

Runyao Duan, Yu Xin, Mingsheng Ying (2010). Locally indistinguishable subspaces spanned by three-qubit unextendible product bases. Phys. Rev. A.

引用 DOI URL

Nengkun Yu, Runyao Duan, Mingsheng Ying (2010). Optimal simulation of a perfect entangler. Phys. Rev. A.

引用 DOI URL

Guoxin Su, Mingsheng Ying, Chengqi Zhang (2010). An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection. Software Architecture.

引用

Jianxin Chen, Mingsheng Ying (2010). Ancilla-assisted discrimination of quantum gates. Quantum Info. Comput..

引用

Mingsheng Ying (2010). Quantum computation, quantum theory and AI. Artificial Intelligence.

引用 DOI URL

Weiming Liu, Xiaotong Zhang, Sanjiang Li, Mingsheng Ying (2010). Reasoning about cardinal directions between extended objects. Artificial Intelligence.

引用 DOI URL

Zhengfeng Ji, Jianxin Chen, Zhaohui Wei, Mingsheng Ying (2010). The LU-LC Conjecture is False. QIC.

引用

Runyao Duan, Yuan Feng, Mingsheng Ying (2009). Perfect Distinguishability of Quantum Operations. Phys. Rev. Lett..

引用 DOI URL

Mingsheng Ying, Yuan Feng, Runyao Duan, Zhengfeng Ji (2009). An algebra of quantum processes. ACM Trans. Comput. Logic.

引用 DOI URL

Mingsheng Ying, Yuan Feng (2009). An Algebraic Language for Distributed Quantum Computing. IEEE Transactions on Computers.

引用 DOI

Runyao Duan, Yuan Feng, Yu Xin, Mingsheng Ying (2009). Distinguishability of Quantum States by Separable Operations. IEEE Transactions on Information Theory.

引用 DOI

Guoming Wang, Mingsheng Ying (2008). Deterministic distributed dense coding with stabilizer states. Phys. Rev. A.

引用 DOI URL

Guoming Wang, Mingsheng Ying (2008). Perfect many-to-one teleportation with stabilizer states. Phys. Rev. A.

引用 DOI URL

Jianxin Chen, Runyao Duan, Zhengfeng Ji, Mingsheng Ying, Jun Yu (2008). Existence of universal entangler. Journal of Mathematical Physics.

引用 DOI URL

Runyao Duan, Yuan Feng, Mingsheng Ying (2008). Local Distinguishability of Multipartite Unitary Operations. Phys. Rev. Lett..

引用 DOI URL

Yuan Feng, Runyao Duan, Mingsheng Ying (2008). Locally undetermined states, generalized Schmidt decomposition, and an application in distributed computing.

引用 arXiv URL

Zhengfeng Ji, Guoming Wang, Runyao Duan, Yuan Feng, Mingsheng Ying (2008). Parameter Estimation of Quantum Channels. IEEE Transactions on Information Theory.

引用 DOI

Sanjiang Li, Mingsheng Ying (2008). Soft constraint abstraction based on semiring homomorphism. Theoretical Computer Science.

引用 DOI URL

Zhaohui Wei, Mingsheng Ying (2007). Quantum adiabatic computation and adiabatic conditions. Phys. Rev. A.

引用 DOI URL

Chi Zhang, Guoming Wang, Mingsheng Ying (2007). Discrimination between pure states and mixed states. Phys. Rev. A.

引用 DOI URL

Runyao Duan, Yuan Feng, Zhengfeng Ji, Mingsheng Ying (2007). Distinguishing Arbitrary Multipartite Basis Unambiguously Using Local Operations and Classical Communication. Phys. Rev. Lett..

引用 DOI URL

Yingming Liu, Mingsheng Ying, Guoqing Chen (2007). Editorial: On fundamentals of fuzzy logic and soft computing and some applications. Fuzzy Sets Syst..

引用 DOI URL

Guoming Wang, Mingsheng Ying (2007). Multipartite unlockable bound entanglement in the stabilizer formalism. Phys. Rev. A.

引用 DOI URL

Mingsheng Ying (2007). Topology, randomness and noise in process calculus. Frontiers of Electrical and Electronic Engineering in China.

引用 DOI URL

Runyao Duan, Yuan Feng, Mingsheng Ying (2007). Entanglement is Not Necessary for Perfect Discrimination between Unitary Operations. Phys. Rev. Lett..

引用 DOI URL

Mingsheng Ying (2007). - Quantum logic and automata theory. Handbook of Quantum Logic and Quantum Structures.

引用 DOI URL

Mingsheng Ying, Jianxin Chen, Yuan Feng, Runyao Duan (2007). Commutativity of quantum weakest preconditions. Information Processing Letters.

引用 DOI URL

Zhaohui Wei, Mingsheng Ying (2007). Linearity and Quantum Adiabatic Theorem.

引用 arXiv URL

Yuan Feng, Runyao Duan, Zhengfeng Ji, Mingsheng Ying (2007). Probabilistic bisimulations for quantum processes. Information and Computation.

引用 DOI URL

Yuan Feng, Runyao Duan, Zhengfeng Ji, Mingsheng Ying (2007). Proof rules for the correctness of quantum programs. Theoretical Computer Science.

引用 DOI URL

Yongzhi Cao, Mingsheng Ying, Guoqing Chen (2007). Retraction and Generalized Extension of Computing With Words. IEEE Transactions on Fuzzy Systems.

引用 DOI

Lirong Xia, Jérôme Lang, Mingsheng Ying (2007). Sequential voting rules and multiple elections paradoxes. Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge.

引用 DOI URL

Yongzhi Cao, Mingsheng Ying, Guoqing Chen (2007). State-Based Control of Fuzzy Discrete-Event Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

引用 DOI

Zhaohui Wei, Zhengfeng Ji, Mingsheng Ying (2006). Majorization in quantum adiabatic algorithms. Phys. Rev. A.

引用 DOI URL

Yuan Feng, Runyao Duan, Mingsheng Ying (2006). Relation between catalyst-assisted transformation and multiple-copy transformation for bipartite pure states. Phys. Rev. A.

引用 DOI URL

Chi Zhang, Mingsheng Ying, Bo Qiao (2006). Universal programmable devices for unambiguous discrimination. Phys. Rev. A.

引用 DOI URL

Chi Zhang, Mingsheng Ying, Bo Qiao (2006). Universal programmable devices for unambiguous discrimination. Physical Review A.

引用 DOI URL

Run-Yao Duan, Zhengfeng Ji, Yuan Feng, Mingsheng Ying (2006). Some Issues in Quantum Information Theory. Journal of Computer Science and Technology.

引用 DOI URL

Zhengfeng Ji, Yuan Feng, Runyao Duan, Mingsheng Ying (2006). Identification and Distance Measures of Measurement Apparatus. Phys. Rev. Lett..

引用 DOI URL

Guoming Wang, Mingsheng Ying (2006). Unambiguous discrimination among quantum operations. Phys. Rev. A.

引用 DOI URL

Zhengfeng Ji, Yuan Feng, Runyao Duan, Mingsheng Ying (2006). Boundary effect of deterministic dense coding. Phys. Rev. A.

引用 DOI URL

Zhaohui Wei, Mingsheng Ying (2006). A modified quantum adiabatic evolution for the Deutsch–Jozsa problem. Physics Letters A.

引用 DOI URL

Zhaohui Wei, Mingsheng Ying (2006). A relation between fidelity and quantum adiabatic evolution. Physics Letters A.

引用 DOI URL

Mingsheng Ying (2006). Linguistic quantifiers modeled by Sugeno integrals. Artificial Intelligence.

引用 DOI URL

Yongzhi Cao, Mingsheng Ying (2006). Observability and decentralized control of fuzzy discrete-event systems. IEEE Transactions on Fuzzy Systems.

引用 DOI

Runyao Duan, Yuan Feng, Mingsheng Ying (2006). Partial recovery of quantum entanglement. IEEE Transactions on Information Theory.

引用 DOI

Yongzhi Cao, Lirong Xia, Mingsheng Ying (2006). Probabilistic Automata for Computing with Words.

引用 arXiv URL

Zhaohui Wei, Mingsheng Ying (2006). Quantum adiabatic evolutions that can't be used to design efficient algorithms.

引用 arXiv URL

Guoming Wang, Mingsheng Ying (2006). Realization of positive-operator-valued measures by projective measurements without introducing ancillary dimensions.

引用 arXiv URL

Yongzhi Cao, Mingsheng Ying (2006). Similarity-based supervisory control of discrete-event systems. IEEE Transactions on Automatic Control.

引用 DOI

Chi Zhang, Yuan Feng, Mingsheng Ying (2006). Unambiguous discrimination of mixed quantum states. Physics Letters A.

引用 DOI URL

Mingsheng Ying (2005). $π$-calculus with noisy channels. Acta Informatica.

引用 DOI URL

Zhengfeng Ji, Yuan Feng, Mingsheng Ying (2005). Local cloning of two product states. Phys. Rev. A.

引用 DOI URL

Runyao Duan, Yuan Feng, Mingsheng Ying (2005). Entanglement-assisted transformation is asymptotically equivalent to multiple-copy transformation. Phys. Rev. A.

引用 DOI URL

Runyao Duan, Yuan Feng, Xin Li, Mingsheng Ying (2005). Trade-off between multiple-copy transformation and entanglement catalysis. Phys. Rev. A.

引用 DOI URL

Runyao Duan, Yuan Feng, Xin Li, Mingsheng Ying (2005). Multiple-copy entanglement transformation and entanglement catalysis. Phys. Rev. A.

引用 DOI URL

Zhengfeng Ji, Hongen Cao, Mingsheng Ying (2005). Optimal conclusive discrimination of two states can be achieved locally. Phys. Rev. A.

引用 DOI URL

Runyao Duan, Yuan Feng, Zhengfeng Ji, Mingsheng Ying (2005). Efficiency of deterministic entanglement transformation. Phys. Rev. A.

引用 DOI URL

Mingsheng Ying (2005). A theory of computation based on quantum logic (I). Theoretical Computer Science.

引用 DOI URL

Runyao Duan, Yuan Feng, Mingsheng Ying (2005). An Equivalence of Entanglement-Assisted Transformation and Multiple-Copy Entanglement Transformation.

引用 arXiv URL

Yuan Feng, Runyao Duan, Mingsheng Ying (2005). Catalyst-assisted probabilistic entanglement transformation. IEEE Transactions on Information Theory.

引用 DOI

Mingsheng Ying (2005). Knowledge transformation and fusion in diagnostic systems. Artificial Intelligence.

引用 DOI URL

Sanjiang Li, Mingsheng Ying, Yongming Li (2005). On countable RCC models. Fundamenta Informaticae.

引用 DOI URL

Yongming Li, Sanjiang Li, Mingsheng Ying (2005). Relational reasoning in the region connection calculus.

引用 arXiv URL

Yongzhi Cao, Mingsheng Ying (2005). Supervisory control of fuzzy discrete event systems. IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

引用 DOI

Xiaoming Sun, Runyao Duan, Mingsheng Ying (2005). The existence of quantum entanglement catalysts. IEEE Transactions on Information Theory.

引用 DOI

Yuan Feng, Runyao Duan, Mingsheng Ying (2004). Unambiguous discrimination between mixed quantum states. Phys. Rev. A.

引用 DOI URL

Yuan Feng, Runyao Duan, Mingsheng Ying (2004). When catalysis is useful for probabilistic entanglement transformation. Phys. Rev. A.

引用 DOI URL

Yuan Feng, Mingsheng Ying (2004). Process algebra approach to reasoning about concurrent actions. Journal of Computer Science and Technology.

引用 DOI URL

Sanjiang Li, Mingsheng Ying (2004). Abstracting Soft Constraints: An Improvement.

引用 URL

Daowen Qiu, Mingsheng Ying (2004). Characterizations of quantum automata. Theoretical Computer Science.

引用 DOI URL

Zhengfeng Ji, Runyao Duan, Mingsheng Ying (2004). Comparability of multipartite entanglement. Physics Letters A.

引用 DOI URL

Sanjiang Li, Mingsheng Ying (2004). Generalized Region Connection Calculus. Artificial Intelligence.

引用 DOI URL

Hongen Cao, Mingsheng Ying (2004). Local discrimination of maximally entangled states in canonical form. Physics Letters A.

引用 DOI URL

Runyao Duan, Zhengfeng Ji, Yuan Feng, Mingsheng Ying (2004). Quantum operation, quantum Fourier transform and semi-definite programming. Physics Letters A.

引用 DOI URL

Zhaohui Wei, Mingsheng Ying (2004). Quantum search algorithm by adiabatic evolution under a priori probability.

引用 arXiv URL

Mingsheng Ying (2003). Reasoning about probabilistic sequential programs in a probabilistic logic. Acta Informatica.

引用 DOI URL

Sanjiang Li, Mingsheng Ying (2003). Extensionality of the RCC8 Composition Table. Fundamenta Informaticae.

引用 DOI URL

Sanjiang Li, Mingsheng Ying (2003). Region Connection Calculus: Its models and composition table. Artificial Intelligence.

引用 DOI URL

Yuan Feng, Shengyu Zhang, Runyao Duan, Mingsheng Ying (2002). Lower bound on inconclusive probability of unambiguous discrimination. Phys. Rev. A.

引用 DOI URL

Shengyu Zhang, Mingsheng Ying (2002). Set discrimination of quantum states. Phys. Rev. A.

引用 DOI URL

Xiaoming Sun, Shengyu Zhang, Yuan Feng, Mingsheng Ying (2002). Mathematical nature of and a family of lower bounds for the success probability of unambiguous discrimination. Phys. Rev. A.

引用 DOI URL

Yuan Feng, Shengyu Zhang, Mingsheng Ying (2002). Probabilistic cloning and deleting of quantum states. Phys. Rev. A.

引用 DOI URL

Mingsheng Ying (2002). A formal model of computing with words. IEEE Transactions on Fuzzy Systems.

引用 DOI

Mingsheng Ying (2002). Additive models of probabilistic processes. Theoretical Computer Science.

引用 DOI URL

Mingsheng Ying (2002). Bisimulation indexes and their applications. Theoretical Computer Science.

引用 DOI URL

Mingsheng Ying (2002). Implication operators in fuzzy logic. IEEE Transactions on Fuzzy Systems.

引用 DOI

Mingsheng Ying, Huaiqing Wang (2002). Lattice-theoretic models of conjectures, hypotheses and consequences. Artificial Intelligence.

引用 DOI URL

Yuan Feng, Shengyu Zhang, Xiaoming Sun, Mingsheng Ying (2002). Universal and original-preserving quantum copying is impossible. Physics Letters A.

引用 DOI URL

Mingsheng Ying (2002). Universal quantum-copying machines: a sufficient and necessary condition. Physics Letters A.

引用 DOI URL

Mingsheng Ying (2002). Wootters–Zurek quantum-copying machine: the higher-dimensional case. Physics Letters A.

引用 DOI URL

Shengyu Zhang, Yuan Feng, Xiaoming Sun, Mingsheng Ying (2001). Upper bound for the success probability of unambiguous discrimination among quantum states. Phys. Rev. A.

引用 DOI URL

Mingsheng Ying, Martin Wirsing (2001). Recursive equations in higher-order process calculi. Theoretical Computer Science.

引用 DOI URL

Mingsheng Ying (2001). Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs. Springer Science+Business Media.

引用 DOI URL

Mingsheng Ying (2000). Automata Theory Based on Quantum Logic II. International Journal of Theoretical Physics.

引用 DOI URL

Mingsheng Ying, Martin Wirsing (2000). Approximate Bisimilarity. Algebraic Methodology and Software Technology.

引用

Loredana Biacino, Giangiacomo Gerla, Mingsheng Ying (2000). Approximate Reasoning Based on Similarity. Mathematical Logic Quarterly.

引用 DOI URL

Mingsheng Ying (2000). Declarative semantics of programming in residuated lattice-valued logic. 中国科学: 技术科学英文版.

引用

Mingsheng Ying (2000). Weak confluence and $τ$-inertness. Theoretical Computer Science.

引用

Mingsheng Ying (1999). Topology in process calculus (I): Limit behaviour of agents. Journal of Computer Science and Technology.

引用 DOI URL

Mingsheng Ying (1999). Phase semantics for a pure noncommutative linear propositional logic. Journal of Computer Science and Technology.

引用 DOI URL

Mingsheng Ying (1999). A shorter proof to uniqueness of solutions of equations. Theoretical Computer Science.

引用

Mingsheng Ying (1999). Perturbation of fuzzy reasoning. IEEE Transactions on Fuzzy Systems.

引用 DOI

Mingsheng Ying, F-C Liu (1999). Three-valued and four-valued approach to logic programming with negation. Chinese Journal of Advanced Software Research.

引用

Ruqian Lu, Mingsheng Ying (1998). A model of reasoning about knowledge. Science in China Series E: Technological Sciences.

引用 DOI URL

Ruqian Lu, Mingsheng Ying (1998). A model of reasoning about knowledge. Science in China Series E: Technological Sciences.

引用 DOI URL

Mingsheng Ying, Bernadette Bouchon-Meunier (1998). Approximate reasoning with linguistic modifiers. International Journal of Intelligent Systems.

引用 DOI URL

Mingsheng Ying (1998). 模糊逻辑的紧致性. 科学通报.

引用

陆汝钤, Mingsheng Ying (1998). 知识推理的一个模型. 中国科学: E 辑.

引用

Mingsheng Ying (1997). Institution中自由理论态射的合成. 软件学报.

引用

Mingsheng Ying (1997). Fuzzy reasoning of Gentzen type. Journal of Systems Science and Mathematical Sciences.

引用

Mingsheng Ying (1997). Gentzen 型模糊推理. 系统科学与数学.

引用

Mingsheng Ying, Bernadette Bouchon-Meunier (1997). Quantifiers, modifiers and qualifiers in fuzzy logic. Journal of Applied Non-Classical Logics.

引用 DOI URL

Mingsheng Ying (1997). 关于 Herbrand 基上的语义映射. 计算机学报.

引用

Mingsheng Ying (1996). Institution中合并理论的初始与终结语义. 软件学报.

引用

Mingsheng Ying (1996). An open logic system admitting modification of inference rules. 科学通报: 英文版.

引用

Mingsheng Ying (1996). When is the ideal completion of abstract basis algebraic. Theoretical Computer Science.

引用 DOI URL

Mingsheng Ying (1996). 允许修改推理规则的开放逻辑. 科学通报.

引用

Mingsheng Ying (1995). Institutions of variable truth values: An approach in the ordered style. Journal of Computer Science and Technology.

引用 DOI URL

Mingsheng Ying (1995). Putting consistent theories together in institutions. Journal of Computer Science and Technology.

引用 DOI URL

Mingsheng Ying (1995). 关于不可分辨性与稳定性的几个结果. 数学研究与评论: 英文版.

引用

Mingsheng Ying (1995). 基于非经典逻辑的拓扑及其应用 (英文). 江西师范大学学报: 自然科学版.

引用

Mingsheng Ying (1994). $τ$_ (T, L) 型概率内积空间. 江西师范大学学报: 自然科学版.

引用

Mingsheng Ying (1994). A logic for approximate reasoning. Journal of Symbolic Logic.

引用 DOI

Mingsheng Ying (1994). On the method of neighborhood systems in fuzzy topology. Fuzzy Sets and Systems.

引用 DOI URL

Mingsheng Ying (1993). Compactness in fuzzifying topology. Fuzzy Sets Syst..

引用 DOI URL

Mingsheng Ying (1993). A new approach for fuzzy topology (III). Fuzzy Sets and Systems.

引用 DOI URL

Mingsheng Ying (1993). Fuzzifying topology based on complete residuated lattice-valued logic (I). Fuzzy Sets and Systems.

引用 DOI URL

Mingsheng Ying (1993). 概率度量空间中的不分明化拓扑结构. 数学年刊: A 辑.

引用

Mingsheng Ying (1992). A further extension of fuzzy logic. Journal of Computer Science.

引用

Mingsheng Ying (1992). A new approach for fuzzy topology (II). Fuzzy Sets and Systems.

引用 DOI URL

Mingsheng Ying (1992). Another Version of the Fundamental Theorem of Ultraproduct of Lattice-valued Models. 科学通报: 英文版.

引用

Mingsheng Ying (1992). COMPACTNESS, THE LÖWENHEIM-SKOLEM PROPERTY AND THE DIRECT PRODUCT OF LATTICES OF TRUTH VALUES. Mathematical Logic Quarterly.

引用 DOI URL

Mingsheng Ying (1992). Fuzzy reasoning under approximate match. Science Bulletin.

引用

Mingsheng Ying (1992). THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC. Mathematical Logic Quarterly.

引用 DOI URL

Mingsheng Ying (1992). 格值模型的超积基本定理的另一形式. 科学通报.

引用

Mingsheng Ying (1992). 近似匹配下的模糊推理. 科学通报.

引用

Mingsheng Ying (1992). 模糊逻辑的再扩充. 计算机学报.

引用

Mingsheng Ying (1991). $τ$_ (T, L) 型概率赋范空间的线性拓扑性质. 数学进展.

引用

Mingsheng Ying (1991). A new approach for fuzzy topology (I). Fuzzy Sets and Systems.

引用 DOI URL

Mingsheng Ying (1991). 关于格值模型论中的条件 (F′ _1) 和 (F′ _2). 江西师范大学学报: 自然科学版.

引用

Mingsheng Ying (1991). 基于对称三值逻辑的集合. 江西师范大学学报: 自然科学版.

引用

Mingsheng Ying, 江国彪 (1990). Fuzzy 关系的 Sup—T 可实现性. 福州大学学报: 自然科学版.

引用

Mingsheng Ying (1990). On probalistic normed spaces under τT,L. International Journal of Mathematics and Mathematical Sciences.

引用 DOI URL

Mingsheng Ying (1990). Reasonableness of the compositional rule of fuzzy inference. Fuzzy Sets and Systems.

引用 DOI URL

Mingsheng Ying (1990). The alternativity measures of fuzzy sets. Fuzzy Sets and Systems.

引用 DOI URL

江国彪, Mingsheng Ying (1990). 概率度量空间中映象的不动点定理几点注记. 福州大学学报 (自然科学版).

引用

Mingsheng Ying (1990). 语气要求下的最优 Fuzzy 蕴涵. 江西师范大学学报: 自然科学版.

引用

Mingsheng Ying (1989). Fuzzy 命题逻辑中的 Fuzzy 推理. 模糊系统与数学.

引用

Mingsheng Ying (1989). On a class of non-causal triangle functions. Mathematical Proceedings of the Cambridge Philosophical Society.

引用 DOI

Mingsheng Ying (1989). On ϵ-fuzzy sets. Fuzzy Sets and Systems.

引用 DOI URL

Mingsheng Ying (1989). 多值逻辑 Lukasiewicz-T arski 系统的函数保核完备性. 计算机学报.

引用

Mingsheng Ying (1988). CONJUGATE TRANSFORMS FOR_ ($τ$T, L)-SEMIGROUPS OF DISTANCE DISTRIBUTION FUNCTIONS. 科学通报: 英文版.

引用

Mingsheng Ying (1988). On standard models of fuzzy modal logics. Fuzzy Sets and Systems.

引用 DOI URL

Mingsheng Ying (1988). Report from Jiangxi Province, People's Republic of China. Fuzzy Sets and Systems.

引用

Mingsheng Ying (1988). SOME NOTES ON MULTIDIMENSIONAL FUZZY REASONING. Cybernetics and Systems.

引用 DOI URL

Mingsheng Ying (1988). 环运算 p 值与 ST 逻辑函数的新展开式. 计算机学报.

引用

Mingsheng Ying (1988). 距离分布函数的 $τ$_ (T, L) 半群的共轭变换. 科学通报.

引用

Mingsheng Ying (1987). A counter-example of Gottwald's theorem. Fuzzy Sets Syst..

引用 DOI URL

Mingsheng Ying (1987). Fuzzy semilattices. Information Sciences.

引用 DOI URL

江国彪, Mingsheng Ying (1987). Fuzzy 性度量. 福州大学学报 (自然科学版).

引用

Mingsheng Ying (1986). The first-order fuzzy logic (I). Proc. 16th IEEE Int. Symposium on Multiple-Valued Logic, Virginia.

引用

Mingsheng Ying (1986). 情报模糊集隶属函数的确定. 情报学刊.

引用