检索结果-南通市图书馆

Topology,randomness and noise in process calculus

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Electrical and Electronic Engineering in China 2007年第2期2卷 127-131页

作者： ying mingsheng State Key Laboratory of Intelligent Technology and Systems Department of Computer Science and TechnologyTsinghua UniversityBeijing 100084China

Formal models of communicating and concurrent systems are one of the most important topics in formal methods,and process calculus is one of the most successful formal models of communicating and concurrent *** the previous works,the author systematically studied topology in process calculus,probabilistic process calculus and pi-calculus with noisy channels in order to describe approximate behaviors of communicating and concurrent systems as well as randomness and noise in *** article is a brief survey of these works.

关键词： communicating and concurrent systems process calculus topology randomness noise

Quantum programming:From theories to implementations

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Science Bulletin 2012年第16期57卷 1903-1909页

作者： ying mingsheng FENG Yuan DUAN RunYao LI YangJia YU NengKun Center for Quantum Computation and Intelligent Systems Faculty of Engineering and Information TechnologyUniversity of TechnologySydneyNSW 2007Australia State Key Laboratory of lntelligent Technology and Systems Tsinghua National Laboratory for Information Science and Technology Department of Computer Science and TechnologyTsinghua University Beijing 100084China

This paper surveys the new field of programming methodology and techniques for future quantum computers, including design of sequential and concurrent quantum programming languages, their semantics and implementations. Several verification methods for quantum programs and communication protocols are also reviewed. The potential applications of programming techniques and related formal methods in quantum engineering are pointed out.

关键词：量子计算机编程方法并行编程语言编程技术形式化方法通信协议验证方法子程序

维普期刊数据库

Compactness in fuzzy logic

在线全文

学校读者我要写书评

暂无评论

Chinese Science Bulletin 1998年第14期43卷 1166-1171页

作者： ying mingsheng Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China Department of Computer Science and Technology Tsinghua University Beijing China

Compactness in Pavelka’s fuzzy logic for some compact lattices of truth values is shown, and the concept of gradual compactness is introduced to establish some corresponding results in a more general setting.

关键词： fuzzy logic compactness gradual compactness.

维普期刊数据库

Preface to special topic on quantum computing

在线全文

学校读者我要写书评

暂无评论

National Science Review 2019年第1期6卷 20-20页

作者： Guang-Can Guo mingsheng ying Key Laboratory of Quantum Information Chinese Academy of SciencesUniversity of Science and Technology of China Synergetic Innovation Center of Quantum Information & Quantum Physics University of Science and Technology of China Centre for Quantum Software and Information University of Technology Sydney State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Department of Computer Science and Technology Tsinghua University

At the beginning of the 1980s, quantum computing was born to noble parents—Quantum Mechanics and Computer Science,two of the greatest intellectual triumphs of the twentieth century—with Richard Feynman and David Deutsch among its midwives. Theoretical research over the last 40 years revealed that quantum computers can outperform current computers in a number of important computational tasks, particularly given the discovery of several celebrated quantum algorithms,such as Shor’s for factoring, Grover’s for searching, quantum

关键词： Preface to special topic on quantum computing

On an Open Problem by Schweizer and Sklar

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

江西师范大学学报(自然科学版) 1992年第2期 112-118页

作者： ying mingsheng (Dept. of Math.)

In this paper,we discuss an open problem proposed by Schweizer and Sidar (see Schweizer B,Sklar *** Metric Spaces,North-Holland(Amsterdam, 1983),Problem 7.9.6)and improve some results related to this problem obtained ... 详细信息

关键词： probabilistic metric-space distribution function triangle function

CONJUGATE TRANSFORMS FOR_(τT,L)-SEMIGROUPS OF DISTANCE DISTRIBUTION FUNCTIONS

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Science Bulletin 1988年第23期33卷 2001-2002页

作者：应明生 Fuzhou Teacher's College Jiangxi

Schweizer and Sklar （Probabilistic Metric Spaces, North-Holland, 1983） proposed an open problem （Problem 7.9.10） to extend the theory of conjugate transforms to all the semigroups (△+, τT,L) where T is continuous and Archimedean and L is associative and commutative and satisfies （7.1.9） and possibly （7.1.10） in the book mentioned above. The purpose of this letter is to solve the above problem.

关键词： Archimedean commutative conjugate letter T,L associative possibly mentioned linearization remaining

维普期刊数据库