国家自然科学基金(60736011)

作品数：5被引量：23H指数：2
导出分析报告
相关作者：陆汝钤金芝更多>>
相关机构：中国科学院数学与系统科学研究院更多>>
相关期刊：《Science China Mathematics》《中国科技成果》《Science Bulletin》更多>>
相关主题：KWJ2EEPROMIS基于知识软件工程更多>>
相关领域：自动化与计算机技术理学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
开放系统量子计算理论及新型量子计算原理
《中国科技成果》2022年第6期74-75,共2页无 尚云 陆汝钤 卢献 李萌 王宇 
国家自然科学基金项目(61872352、61472412、61073023、60736011、60603002)的支持下完成的。
量子计算被认为是一种对未来产生颠覆性影响的新型计算模式。量子计算的高效来自于两个关键的量子力学现象:量子态的叠加和纠缠。在非理想的(不封闭的)量子环境下,叠加和纠缠会因外界信息的千扰而在短时间内遭到破坏。近年来国际上研制...
关键词：量子计算 量子纠缠 量子态 量子力学 开放系统 量子比特 颠覆性 叠加 
Quantum programming:From theories to implementations被引量：2
《Chinese Science Bulletin》2012年第16期1903-1909,共7页YING MingSheng FENG Yuan DUAN RunYao LI YangJia YU NengKun 
supported by the Australian Research Council(DP110103473);the National Natural Science Foundation of China(60736011)
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...
关键词：量子计算机 编程方法 并行编程语言 编程技术 形式化方法 通信协议 验证方法 子程序 
A direct product decomposition of QMV algebras
《Science China Mathematics》2012年第4期841-850,共10页LU Xian 1 ,SHANG Yun 1,& LU RuQian 1,2 1 Institute of Mathematics,Academy of Mathematics and Systems Science,Beijing 100190,China 2 Key Laboratory of Intelligent Information Processing,Institute of Computing Technology,Chinese Academy of Sciences,Beijing 100190,China 
supported by National Natural Science Foundation of China (Grant Nos. 60736011, 61073023 and 60603002);the National Basic Research Program of China (973 Program) (Grant No. 2009CB320701)
We study the direct product decomposition of quantum many-valued algebras (QMV algebras) which generalizes the decomposition theorem of ortholattices (orthomodular lattices).In detail,for an idempo- tent element of a ...
关键词：QMV algebra COMMUTATIVITY IDEMPOTENT decomposition theorem 
From knowledge based software engineering to knowware based software engineering被引量：3
《Science in China(Series F)》2008年第6期638-660,共23页LU RuQian JIN Zhi 
the National Natural Science Foundation of China for Distinguished Young Scholars (Grant No. 60625204);the Key Project of National Natural Science Foundation of China (Grant Nos. 60736011, 60496324 and 60603002)
The first part of this paper reviews our efforts on knowledge-based software engineering, namely PROMIS, started from 1990s. The key point of PROMIS is to generate applications automatically based on domain knowledge ...
关键词：PROMIS knowledge based software engineering knowware J2EE PROMIS/KW＊＊ knowware based software engineering 
从基于知识的软件工程到基于知件的软件工程被引量：19
《中国科学（E辑）》2008年第6期843-863,共21页陆汝钤 金芝 
国家自然科学基金(批准号:60496324,60603002,60736011);国家杰出青年基金(批准号:60625204)资助项目
首先回顾了从90年代初开始的10年PROMIS技术研究.PROMIS的核心是基于领域知识建模的应用系统自动开发,它强调要把领域知识的开发与应用和系统架构本身的开发区分开来并分别进行.但是,当时并没有确定这些单独分出来的领域知识应当采取何...
关键词：PROMIS 基于知识的软件工程知件 J2EE 技术 PROMIS/KW＊＊ 基于知件的软件工程 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部