检索结果-南通市图书馆

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

多值逻辑Lukasiewicz-T arski系统的函数保核完备性

在线全文

学校读者我要写书评

暂无评论

计算机学报 1989年第4期12卷 307-309页

作者：应明生江西抚州师范专科学校

本文中的符号和术语,如未加说明,皆引自[1],给定整数M≥2,真值集合T_M={1,…,M},命题函数F_1(P_1,P_2)=P_1CP_2,F_2(P)=NP对应的真值函数分别为:

关键词：多值逻辑函数保核完备性

MESSAGE FROM IFSA2005 CHAIRS

在线全文

学校读者我要写书评

暂无评论

MESSAGE FROM IFSA2005 CHAIRS

第11届国际模糊系统协会世界大会

作者： yingming Liu (General Chair) Guoqing Chen (Organizing Chair) mingsheng ying (Program Chair)

＜正＞ First of all, as the general, organizing and program chairs, we are so delighted to welcome all the participants of the 11th World Congress of International Fuzzy Systems Association （IFSA2005）. The Congress aims at bringing together scholars and practitioners from academia and industries to present the latest development in theories and applications of fuzzy logic, soft computing and computational intelligence. IFSA2005 is taking place in the 40th year of fuzzy set theory and in the year of IFSA’s 20th anniversary, which is surely an event of memory and celebration.

关键词：

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

红茶菌发酵对天麻活性成分及感官品质的影响

食品科学 2024年第4期45卷 232-238页

作者：王迎董明盛张国强韩月峰南京农业大学食品科学技术学院江苏南京210095 江苏勤善堂健康产业有限公司江苏南京210042

利用传统红茶菌菌群液态发酵天麻,研究发酵过程中其主要活性成分含量变化,并进一步分析红茶菌发酵天麻液的感官品质。结果表明,经红茶菌发酵5 d,天麻发酵液的总酸质量浓度显著上升,导致pH值下降,其中乙酸、琥珀酸有机酸质量浓度增加最... 详细信息

利用传统红茶菌菌群液态发酵天麻,研究发酵过程中其主要活性成分含量变化,并进一步分析红茶菌发酵天麻液的感官品质。结果表明,经红茶菌发酵5 d,天麻发酵液的总酸质量浓度显著上升,导致pH值下降,其中乙酸、琥珀酸有机酸质量浓度增加最为明显。红茶菌发酵也显著提高天麻多酚、总黄酮以及对羟基苯甲醇等活性成分的含量。通过电子鼻结合固相微萃取-气相色谱-质谱联用法对天麻发酵液的挥发性成分进行分析,结果表明红茶菌发酵产生多种风味物质;经感官评价得出,红茶菌发酵能够明显减少天麻不愉快气味并赋予其果香味。研究结果可为天麻食品深度开发和利用提供理论依据和技术支撑。

关键词：天麻红茶菌发酵对羟基苯甲醇感官品质