云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(60496324)

国家自然科学基金(60496324): 作品数：10被引量：106H指数：6; 导出分析报告; 相关作者：金芝陆汝钤邹彪朱雪峰张哲更多>>; 相关机构：中国科学院数学与系统科学研究院中国石油大学（北京）中国科学院中国科学院研究生院更多>>; 相关期刊：《Journal of Computer Science & Technology》《电子学报》《Science Bulletin》《计算机工程与科学》更多>>; 相关主题：KWJ2EEPROMIS形式化方法ENTANGLEMENT更多>>; 相关领域：自动化与计算机技术理学更多>>

设计模式组合操作优化研究被引量：3: 《计算机科学》2020年第3期19-24,共6页纪程宇朱雪峰; 国家自然科学基金(60496324);中国石油大学科研基金(KYJJ2012-05-17) ~~; 作为软件设计经验的总结,恰当使用设计模式能够有效提高软件系统的可复用性,确保最终所得软件产品的质量。但在实际应用中,人们很少使用单一的设计模式,通常需要根据实际的应用场景进行多个模式的组合,这可能会导致所得结果不确定,严重...; 关键词：设计模式模式组合操作优化形式化方法等式推理

网络协议一致性测试研究综述被引量：18: 《计算机科学》2009年第12期5-7,36,共4页朱雪峰许建军邹彪张哲孙雷; 国家自然科学基金重大项目(60496324);中国标准化研究院中央基本科研业务费支持项目(56076S-1524)资助; 一致性测试是网络协议验证中最为基本的部分。虽然大量的研究与实践对此问题做过深入的探讨,但是到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性描述方法入手,分别从一致性测试的体系结构、方法以及测试生成...; 关键词：网络协议一致性测试形式化方法

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＊＊基于知件的软件工程

Review on the study of entanglement in quantum computation speedup被引量：35: 《Chinese Science Bulletin》2007年第16期2161-2166,共6页DING ShengChao1,3 & JIN Zhi1,2,1 Institute of Computing Technology,Chinese Academy of Sciences,Beijing 100080,China 2 Academy of Mathematics and Systems Science,Chinese Academy of Sciences,Beijing 100080,China 3 Graduate University of Chinese Academy of Sciences,Beijing 100080,China; Supported by the National Natural Science Foundation for Distinguished Young Scholars of China (Grant No. 60625204);the Key Project of the National Natural Science Foundation of China (Grant No. 60496324);the National 973 Fundamental Research and Development Program of China (Grant No. 2002CB312004);the National 863 High-Tech Project of China (Grant No. 2006AA01Z155);the Knowledge Innovation Program of the Chinese Academy of Sciences and MADIS; The role the quantum entanglement plays in quantum computation speedup has been widely disputed. Some believe that quantum computation's speedup over classical computation is impossible if entan-glement is absent,whil...; 关键词：量子论量子纠缠量子计算加速模拟

Modeling and verifying Web services driven by requirements:An ontology-based approach被引量：15: 《Science in China(Series F)》2006年第6期792-820,共29页HOU Lishan1,3,JIN ZHi1,2 & WU Budan1,4 1. Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100080, China 2. Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080, China 3. Institute of Software, Chinese Academy of Sciences, Beijing 100080, China 4. Graduate University of Chinese Academy of Sciences, Beijing 100049, China; This work was partly supported by the National Natural Science Foundation of China （Grant Nos. 60233010 and 60496324）; the National Key Research and Development Program of China （Grant No. 2002CB312004）; the Knowledge Innovation Program of the Chinese Academy of Sciences and MADIS of the Chinese Academy of Sciences.; Automatic discovery and composition of Web services is an important research area in Web service technology, in which the specification of Web services is a key issue. This paper presents a Web service capability desc...; 关键词：Web service environment ontology automatic composition π calculus formal verification.

Beyond Knowledge Engineering被引量：6: 《Journal of Computer Science & Technology》2006年第5期790-799,共10页陆汝钤金芝; Partly supported by the National Natural Science Foundation of China （Grant Nos. 69733020, 69983010, 60233010 and 60496324）, the National Grand Fundamental Research 973 Program of China （Grant No. 2002CB312004）, the Knowledge Innovation Program of the Chinese Academy of Sciences and MADIS of the Chinese Academy of Sciences. Acknowledgements The authors are very thankful to Profs. Fei-Yue Wang, Hong Mei, Jian Lii, XiaoGuang Yang and Dr. Lin Liu for their fruitful discussions on knowware. The authors also thank the anonymous referees for their valuable comments, which have helped to improve the manuscript.; Knowledge engineering stems from E. A. Figenbaum＇s proposal in 1977, but it will enter a new decade with the new challenges. This paper first summarizes three knowledge engineering experiments we have undertaken to s...; 关键词：knowledge engineering knowware knowware engineering knowledge middleware domain knowware

网络服务环境下的信任关系建模: 《计算机工程与科学》2006年第z2期75-78,共4页朱曼玲刘璘金芝; 国家自然科学基金资助项目(60233010,60496324,60503030);国家973计划资助项目(2002CB312004);中科院知识创新项目和中科院管理、决策和信息系统实验室资助; 本文提出一个关于信任需求的形式化建模框架,该模型框架主要用于面向服务的环境的信任度量.该框架定义了与服务信任相关的建模概念及模型推理规则,因而既能反映出问题领域又可以使其可计算化.该框架模型为分布式服务世界中的社会信任关...; 关键词：信任建模网络服务本体论

Revisiting the Meaning of Requirements被引量：10: 《Journal of Computer Science & Technology》2006年第1期32-40,共9页金芝; Supported by the National Natural Science Foundation of China （Grant Nos. 60233010 and 60496324）, the National Basic Research 973 Program of China （Grant No. 2002CB312004）, the Knowledge Innovation Program of the Chinese Academy of Sciences, MADIS of the Chinese Academy of Sciences.; Understanding the meaning of requirements can help elicit the real world requirements and refine their specifications. But what do the requirements of a desired software mean is not a well-explained question yet thoug...; 关键词：problem decomposition requirements analysis requirements refinement

基于环境变迁的构件组合模型被引量：4: 《电子学报》2005年第B12期2370-2375,共6页侯丽珊金芝; 国家自然科学基金（No.60233010,No.60496324）;国家重点基础研究发展规划项目（No.2002CB312004）;中科院知识创新项目;中科院管理、决策与信息系统实验室资助; Internet为分布构件的重用提供了平台，准确、高效的构件组合是新型软件生产的重要环节．针对新一代的软件模型．网构软件，本文首先建立了构件的环境本体，并提出将变迁图作为刻画环境本体的模型；其次提出了基于环境及其状态变迁的构...; 关键词：构件组合网构软件环境本体环境变迁

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

国家自然科学基金(60496324)

检索结果分析

下载全文

高级检索检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

国家自然科学基金(60496324)

检索结果分析

下载全文

用户登录

高级检索检索式检索