您的位置: 专家智库 > >

国家自然科学基金(60625204)

作品数:11 被引量:91H指数:4
相关作者:金芝刘群贾泂吴步丹赵彬更多>>
相关机构:中国科学院数学与系统科学研究院中国科学院北京大学更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术理学自然科学总论更多>>

文献类型

  • 10篇中文期刊文章

领域

  • 8篇自动化与计算...
  • 1篇自然科学总论
  • 1篇理学

主题

  • 2篇频繁项
  • 2篇频繁项集
  • 2篇最大频繁项集
  • 2篇项集
  • 2篇分布式
  • 1篇需求捕获
  • 1篇知识
  • 1篇软件工程
  • 1篇树结构
  • 1篇数据库
  • 1篇频繁闭项集
  • 1篇频繁模式树
  • 1篇情景
  • 1篇全局最大频繁...
  • 1篇状态机
  • 1篇网构软件
  • 1篇无线传感
  • 1篇无线传感器
  • 1篇量子
  • 1篇量子计算

机构

  • 4篇中国科学院数...
  • 2篇北京大学
  • 2篇中国科学院
  • 2篇浙江师范大学
  • 1篇广西师范大学
  • 1篇华东师范大学
  • 1篇清华大学
  • 1篇罗定职业技术...
  • 1篇中国人民大学
  • 1篇济宁职业技术...
  • 1篇中国科学院研...

作者

  • 4篇金芝
  • 2篇贾泂
  • 2篇刘群
  • 1篇张师超
  • 1篇曾德胜
  • 1篇刘红岩
  • 1篇张新林
  • 1篇赵彬
  • 1篇王璞巍
  • 1篇尹斌
  • 1篇陈小红
  • 1篇吴步丹
  • 1篇陈源
  • 1篇姜晗
  • 1篇汤健
  • 1篇郑丽伟

传媒

  • 2篇计算机学报
  • 2篇计算机工程与...
  • 1篇模式识别与人...
  • 1篇广西师范大学...
  • 1篇Scienc...
  • 1篇Scienc...
  • 1篇浙江师范大学...
  • 1篇中国科学:信...

年份

  • 2篇2011
  • 2篇2010
  • 1篇2009
  • 4篇2008
  • 1篇2007
11 条 记 录,以下是 1-10
排序方式:
网构软件实体的功能描述及其发现被引量:7
2009年
网构软件通过网构软件实体自底向上的动态聚合来满足用户的需求.在这个过程中,网构软件实体的功能描述发挥着非常重要的作用.根据基于环境的软件建模思想,文中提出了基于环境本体的网构软件实体功能描述方法.其中,环境本体包含领域相关的环境实体以及这些环境实体需要的来自软件实体的交互,环境实体的生命周期用树结构层次状态机来刻画.网构软件实体的功能则表现为它能够与那些环境实体发生的交互,以及这些环境实体在它的作用下所发生的变化.文中构型了网构软件实体功能描述之间的匹配过程,以支持网构软件实体的发现.选择在线教学领域中的具体案例展示了所提出方法的有效性.
王璞巍金芝刘红岩
关键词:网构软件
From knowledge based software engineering to knowware based software engineering被引量:3
2008年
The first part of this paper reviews our efforts on knowledge-based software engi- neering, namely PROMIS, started from 1990s. The key point of PROMIS is to gen- erate applications automatically based on domain knowledge as well as software knowledge. That is featured by separating the development of domain knowledge from the development of software. But in PROMIS, we did not find an appropriate representation for the domain knowledge. Fortunately, in our recent work, we found such a carrier for knowledge modules, i.e. knowware. Knowware is a commercial- ized form of domain knowledge. This paper briefly introduces the basic definitions of knowware, knowledge middleware and knowware engineering. Three life circle models of knowware engineering and the design of corresponding knowware im- plementations are given. Finally we discuss application system automatic genera- tion and domain knowledge modeling on the J2EE platform, which combines the techniques of PROMIS, knowware and J2EE, and the development and deployment framework, i.e. PROMIS/KW**.
LU RuQian JIN Zhi
关键词:PROMIS软件工程知识
院系级科研实力评估的研究被引量:1
2008年
为院系级科研实力的评估建立两种度量:宽度和厚度,并简要地讨论该评估方法的可应用范围。
张师超
从交互情景出发的需求捕获方法及其支撑工具被引量:10
2011年
需求捕获是需求工程中的重要问题.文中结合情景和问题框架方法,提出一个从交互情景出发的需求捕获方法.其特点是:(1)对问题领域以及软件系统与问题领域间的交互进行分类,以捕获深层需求信息;(2)将情景定义为产生有意义问题领域变化的交互序列,引入交互情景约束,以捕获隐式需求信息.文中构建了支持这个方法的需求描述元模型,提出以该元模型为基础的需求捕获过程.文中还构建了相应的支撑工具,提供各种需求元素的编辑、检测和验证手段,帮助需求提供者正确地表达需求信息.
陈小红尹斌金芝
关键词:需求捕获情景
需求驱动的服务Agent协作及其协商框架被引量:3
2008年
传统的面向服务计算模式通常是包含中央控制结点的集中控制结构,多 Agent 理论和技术提供了另一种角度看待服务计算.本文将 Web 看成一种主动服务实体,即服务 Agent,服务计算模式演变为一种非集中式的、分布式结构.服务 Agent 主动发现需求并在需求吸引下聚集,通过功能本体和自动机制设计,得到需求解决方案.形成需求解决方案后,协作方案选择可以被归结为二部图上的0-1整数规划,这是一个 NP 完全问题.本文给出一种多 A-gent 协商框架,服务请求方和各服务 Agent 通过有限次协商交互最终达成协议,该协议选定服务 Agent 解决需求的一种协作方案.通过模拟对协商框架进行验证.
汤健郑丽伟金芝
关键词:服务AGENT
分布式数据库的精简频繁模式集及其挖掘算法被引量:2
2010年
对分布式数据库关联规则的挖掘与精简表示进行了研究,把频繁闭项集和最大频繁项集的概念推广到分布式数据库中,提出了在分布式环境下的频繁模式集的精简表示方法,以及一种基于各站点的全局大项目集的全局频繁闭项集和全局最大频繁项集的挖掘算法.该算法具有占用空间少、通信量小等特点.最后用实例进行了证明.
贾泂刘群姜晗
关键词:分布式数据库频繁闭项集最大频繁项集全局最大频繁项集
一种移动信源追踪活动目标的方法
2010年
无线网络的出现使移动追踪并定位正在运动的目标变为可能,在多传感器网络中,测距定位是目标定位的一种常用手段。利用测距定位的移动追踪方法,根据移动传感器信源节点的信息及感知目标所得的测距数据,推算出目标的位置,由信源节点与目标节点的位置分别确定各个信源节点的追踪方向,使移动传感器信源节点沿该方向追踪目标。但被追踪的目标本身也是移动点,再利用孤立求解的特性再次推算出目标的位置,如此循环往复,直至完成任务。通过在MATLAB环境中进行仿真的实验,表明该方法可使移动信源节点有效地追踪活动目标。
张新林陈源曾德胜
关键词:无线传感器
面向服务的建模:一种全过程复用的方法被引量:30
2008年
面向服务的计算是Internet环境下的一种新型软件架构理念,即通过集成分布的服务构建软件.面向服务建模是面向服务计算中的重要研究内容.一方面,面向服务的软件同传统软件一样,需要首先对应用需求进行建模.另一方面,面向服务的计算需要实现分布复用和快速集成,这对面向服务的建模提出了新的要求.文中提出一种基于全过程复用的面向服务的建模方法,即提出构建特定应用领域的本体系统,包含相互关联着的多个不同类型的本体.不同层次的软件资产关联到这些本体上,支持面向服务建模的不同阶段,包括应用框架建模、业务流程建模、合作模式建模以及组合服务建模等.当出现新的服务软件应用需求时,通过本体系统的引导复用软件资产,最后构造出服务软件模型.
吴步丹金芝赵彬
Review on the study of entanglement in quantum computation speedup被引量:34
2007年
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,while others claim that the presence of entanglement is not a necessary condition for some quantum algorithms. This paper discusses this problem systematically. Simulating quantum computation with classical resources is analyzed and entanglement in known algorithms is reviewed. It is concluded that the presence of entanglement is a necessary but not sufficient condition in the pure state or pseudo-pure state quantum computation speedup. The case with the mixed state remains open. Further work on quantum computation will benefit from the presented results.
DING ShengChao1,3 & JIN Zhi1,2,1 Institute of Computing Technology,Chinese Academy of Sciences,Beijing 100080,China
关键词:量子论量子纠缠量子计算
一种分布式全局频繁项集挖掘方法
2011年
提出一种基于频繁模式树与最大频繁项集的分布式全局频繁项集挖掘算法BFM-MGFIS,该算法引入子集枚举树以实现有序挖掘与全局剪枝策略,有效地减小了候选数据集且提高了并行性,实验表明本文提出的算法是有效可行的。
刘群贾泂
关键词:频繁模式树最大频繁项集
共1页<1>
聚类工具0