国家高技术研究发展计划(2007AA01Z185)

作品数：12被引量：36H指数：4
导出分析报告
相关作者：毋国庆吴怀广陈曙万黎张清国更多>>
相关机构：武汉大学华中师范大学郑州轻工业学院武汉理工大学更多>>
相关期刊：《计算机工程与设计》《计算机与数字工程》《小型微型计算机系统》《计算机研究与发展》更多>>
相关主题：视点画图算法无线传感器网络多视点一致性更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于嵌套赋类的Bigraph反应系统模型被引量：2
《计算机科学》2012年第9期143-151,共9页吴怀广 金保华 甘勇 毋国庆 
国家高技术研究发展计划项目(2007AA01Z185);郑州轻工业学院博士启动基金(ZZB2011008)资助
针对Bigraph反应系统中位置图控制间的嵌套关系问题,提出了一个赋类的Bigraph扩展模型。在利用标签范畴Scat(K)给出嵌套赋类位置图定义的基础上,讨论了嵌套赋类位置图的相关性质,给出了嵌套赋类位置图中RPO的构建、证明,以及同前推出IP...
关键词：Bigraph反应系统 嵌套赋类 相关推出 一致性 
普适环境中上下文感知的带演算的Bigraphs描述被引量：3
《计算机科学》2012年第1期109-114,共6页吴怀广 姬厚灵 毋国庆 苗玥 
国家高技术研究发展计划项目(2007AA01Z185)资助
针对普适环境中上下文感知系统的形式化建模问题,讨论了Bigraphs理论的扩展模型———柏拉图图形模型在此问题中的适用性及不足。在此基础上,利用带演算的Bigraphs反应系统对上下文感知系统进行描述,并给出了与柏拉图图形模型之间的比较。
关键词：Bigraphs理论 Bigraphs反应系统 上下文感知 形式化模型 
面向软件行为的需求模型及特性检测被引量：8
《计算机研究与发展》2011年第5期869-876,共8页吴怀广 毋国庆 陈曙 万黎 
国家"八六三"高技术研究发展计划基金项目(2007AA01Z185)
软件需求模型及其检测是软件需求工程中的重要工作.在分析现有需求建模方法和软件行为相关研究的基础上,对将软件行为概念引入需求模型进行了详细的阐述,提出一个面向软件行为的需求模型描述语言BDL(behavior description language),定...
关键词：软件行为 需求模型 系统特性 逻辑刻画 特性检测 
面向行为的需求建模研究及实现被引量：8
《计算机科学》2011年第4期175-181,共7页万黎 毋国庆 吴怀广 
国家高技术研究发展计划(863计划)(2007AA01Z185)资助
需求建模是需求工程中的重要步骤。提出了一种面向行为的需求建模方法,首先将目标系统问题域划分成多个子问题域,然后在子问题域里建立多个视点,在每个视点内,根据需求建立多个场景。对于每个场景,用行为描述语言建立场景行为模型,视点...
关键词：需求建模 软件行为 视点 场景 行为描述语言 
面向软件行为和多视点的需求建模方法被引量：5
《小型微型计算机系统》2011年第1期24-33,共10页陈曙 毋国庆 陈明楷 
国家"八六三"高技术研究发展计划项目(2007AA01Z185)资助
提出一种面向软件行为和多视点的需求建模方法,包括建模步骤和建模语言.其中目标系统根据问题域以及视点源被划分成视点.视点在需求模型中以实体的方式存在,每个视点通过从需求规格说明中提取的场景来描述,作为需求模型基本组成单位的...
关键词：软件行为 多视点 建模方法 建模语言 
基于画图算法的WSN节点定位算法被引量：3
《计算机工程》2009年第20期25-27,共3页张清国 王敬华 
国家"863"计划基金资助项目(2007AA01Z185)
针对无线传感器网络的节点定位问题,提出一种新的基于类Kamada Kawai画图算法的无线传感器网络节点定位算法,将无线传感器网络节点定位问题转化成画图问题,用经典的画图算法求得问题的最优解,从而实现对节点的定位。仿真实验结果表明,...
关键词：无线传感器网络 画图算法 定位 
基于矩阵的改进的Apriori算法被引量：8
《计算机工程与设计》2009年第10期2435-2438,共4页王锋 李勇华 毋国庆 
国家863高技术研究发展计划基金项目(2007AA01Z185)
针对Apriori算法的不足之处,提出了基于矩阵的算法,该算法首先将事务数据库用矩阵表示出来,并对矩阵进行处理,找出包含最多项的频繁K-项集,最后再利用矩阵找出从频繁2-项集到频繁K-1项集的所有频繁项集。通过一个实例表明了该算法的具...
关键词：矩阵 与运算 频繁项集 最小支持度 事务 
多视点需求工程中视点集成过程的研究被引量：4
《计算机科学》2009年第8期138-144,共7页梁正平 明仲 毋国庆 
国家863高科技计划项目(2007AA01Z185);国家自然科学基金项目(60673122);软件工程国家重点实验室开放基金项目(SKLSE20080702);深圳大学科研启动基金项目(200747)资助
多视点需求工程方法以视点的形式,分散、独立地获取和表示不同项目相关人员的需求信息。为生成一份统一的规格说明,必须对所有相关的视点进行集成。讨论了以公共开发方式作为视点的集成方式,并基于范畴理论对集成过程进行建模。同时,以...
关键词：需求工程 视点 视点集成 范畴论 
一个新的无线传感器网络节点定位算法被引量：6
《小型微型计算机系统》2009年第3期460-465,共6页张清国 黄竞伟 王敬华 金聪 
国家“八六三”计划项目(2007AA01Z185)资助
将经典的画图算法应用到无线传感器网络节点定位问题是一个全新的思路.提出了一个新的无线传感器网络节点定位算法.算法包括两个阶段,第一阶段运用一个类似于Kamada Kawai画图算法的定位算法,得到一个接近于传感器网络原始布局的近似布...
关键词：画图算法 无线传感器网络 定位 
一种基于BCCS的多视图一致性检测的元模型
《计算机应用》2009年第2期590-594,共5页陈曙 毋国庆 肖晶 
国家863计划项目(2007AA01Z185)
模型驱动架构(MDA)是一种采用建模描述语言如UML或BON等对需求建立平台无关模型,作为对需求规约以补充的开发方法。在复杂系统中,一个需求模型往往涵盖了多种类型的模型,用于描述系统的不同方面,如描述系统实体的静态模型,以及描述系统...
关键词：元模型 视图 一致性 通信演算系统 B方法 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部