您的位置： 专家智库 > >

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

作品数：12 被引量：40H指数：5
相关作者：毋国庆吴怀广陈曙万黎张清国更多>>
相关机构：武汉大学华中师范大学郑州轻工业学院更多>>
发文基金：国家高技术研究发展计划软件工程国家重点实验室开放基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 12篇期刊文章
  • 1篇会议论文

领域

  • 13篇自动化与计算...

主题

  • 3篇网络
  • 2篇多视点
  • 2篇一致性
  • 2篇视点
  • 2篇图算
  • 2篇图算法
  • 2篇无线传感
  • 2篇无线传感器
  • 2篇无线传感器网
  • 2篇无线传感器网...
  • 2篇画图
  • 2篇画图算法
  • 2篇感器
  • 2篇B方法
  • 2篇传感
  • 2篇传感器
  • 2篇传感器网
  • 2篇传感器网络
  • 1篇点定位算法
  • 1篇多视图

机构

  • 12篇武汉大学
  • 2篇华中师范大学
  • 2篇郑州轻工业学...
  • 1篇成都东软信息...
  • 1篇包头医学院
  • 1篇深圳大学
  • 1篇武汉理工大学
  • 1篇湖北省军区

作者

  • 10篇毋国庆
  • 5篇陈曙
  • 4篇吴怀广
  • 3篇肖晶
  • 2篇王敬华
  • 2篇万黎
  • 2篇张清国
  • 1篇梁正平
  • 1篇喻超
  • 1篇张帆
  • 1篇李勇华
  • 1篇甘勇
  • 1篇金保华
  • 1篇黄竞伟
  • 1篇姬厚灵
  • 1篇明仲
  • 1篇王锋
  • 1篇苗玥
  • 1篇刘小丽
  • 1篇金聪

传媒

  • 4篇计算机科学
  • 2篇小型微型计算...
  • 1篇计算机研究与...
  • 1篇计算机工程与...
  • 1篇计算机工程
  • 1篇计算机应用
  • 1篇计算机工程与...
  • 1篇计算机与数字...

年份

  • 2篇2012
  • 3篇2011
  • 6篇2009
  • 2篇2008
共 12 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
面向行为的需求建模研究及实现被引量：8
2011年
需求建模是需求工程中的重要步骤。提出了一种面向行为的需求建模方法,首先将目标系统问题域划分成多个子问题域,然后在子问题域里建立多个视点,在每个视点内,根据需求建立多个场景。对于每个场景,用行为描述语言建立场景行为模型,视点内所有场景的行为模型组合构成视点行为模型,目标系统所有视点的行为模型组合构成系统行为模型。在行为模型的基础上,提出了一系列特性以及其验证方法,用于验证行为模型的正确性以及系统特性。基于以上方法,设计和实现了面向行为的需求建模工具(BRMT),以辅助开发人员从行为的角度进行需求建模。
万黎毋国庆吴怀广
关键词：视点
一种基于BCCS的多视图一致性检测的元模型
2009年
模型驱动架构(MDA)是一种采用建模描述语言如UML或BON等对需求建立平台无关模型,作为对需求规约以补充的开发方法。在复杂系统中,一个需求模型往往涵盖了多种类型的模型,用于描述系统的不同方面,如描述系统实体的静态模型,以及描述系统运行过程以及状态的动态模型,在这些模型中,往往会出现内部以及相互之间的不一致性。尝试通过B方法以及通信演算系统(CCS)来描述BON的元模型,并以此来检测BON模型中所出现的不一致性。
陈曙毋国庆肖晶
关键词：元模型视图一致性B方法
集成安全策略到系统建模:一个实例
2008年
安全模型从理论上保证了系统的安全性。把安全模型应用到实际系统当中,是从理论走向实践的一个重要步骤。同时,形式化开发方法也是高可信、高安全的系统开发所必需的。因此,如何利用形式化的方法,把安全模型精确地表达到系统的实际建模、编码当中,是一项有意义的工作。结合一个实际的安全启动系统,利用B方法把Biba模型集成到了系统建模当中。
张帆毋国庆刘小丽喻超
关键词：B方法形式化开发
多视点需求工程中视点集成过程的研究被引量：4
2009年
多视点需求工程方法以视点的形式,分散、独立地获取和表示不同项目相关人员的需求信息。为生成一份统一的规格说明,必须对所有相关的视点进行集成。讨论了以公共开发方式作为视点的集成方式,并基于范畴理论对集成过程进行建模。同时,以公共开发的选取为导向,提出了视点集成的两种优化策略,并证明了它们的有效性。此外,讨论了视点集成的结果与集成的顺序之间的关系。
梁正平明仲毋国庆
关键词：视点范畴论
面向软件行为和多视点的需求建模方法被引量：5
2011年
提出一种面向软件行为和多视点的需求建模方法,包括建模步骤和建模语言.其中目标系统根据问题域以及视点源被划分成视点.视点在需求模型中以实体的方式存在,每个视点通过从需求规格说明中提取的场景来描述,作为需求模型基本组成单位的场景模型则通过基本的行为复合而成.分析了基于行为和多视点的需求建模过程,讨论了需求建模语言:行为描述语言的语法和语义,并给出相关实例分析以及所实现的建模工具简介.
陈曙毋国庆陈明楷
关键词：多视点建模方法建模语言
一个新的无线传感器网络节点定位算法被引量：6
2009年
将经典的画图算法应用到无线传感器网络节点定位问题是一个全新的思路.提出了一个新的无线传感器网络节点定位算法.算法包括两个阶段,第一阶段运用一个类似于Kamada Kawai画图算法的定位算法,得到一个接近于传感器网络原始布局的近似布局;第二阶段利用Mass-spring画图算法对第一阶段的定位结果进一步求精.仿真实验表明:算法适应性强,定位精度高,效果较好.
张清国黄竞伟王敬华金聪
关键词：画图算法无线传感器网络
基于矩阵的改进的Apriori算法被引量：12
2009年
针对Apriori算法的不足之处,提出了基于矩阵的算法,该算法首先将事务数据库用矩阵表示出来,并对矩阵进行处理,找出包含最多项的频繁K-项集,最后再利用矩阵找出从频繁2-项集到频繁K-1项集的所有频繁项集。通过一个实例表明了该算法的具体实现过程,并与其它算法进行比较,阐述了该算法的优缺点。该算法不但充分利用了矩阵这一工具,用"与运算"的方法代替了到数据库中去查找的算法,而且大大减少了候选频繁项集的产生,从而节省了计算频繁项集的时间,提高了计算的效率。
王锋李勇华毋国庆
关键词：矩阵频繁项集最小支持度事务
面向软件行为的需求模型及特性检测被引量：8
2011年
软件需求模型及其检测是软件需求工程中的重要工作.在分析现有需求建模方法和软件行为相关研究的基础上,对将软件行为概念引入需求模型进行了详细的阐述,提出一个面向软件行为的需求模型描述语言BDL(behavior description language),定义了它的语法、语义;讨论了CCS(calculus of communication system)与BDL的转换关系,构造了BDL到CCS的转换函数M〖-〗;给出了需求模型的系统一致性、系统安全性、行为可信性及行为非终止性等4种系统特性的时序逻辑描述;最后用模型验证工具CWB(Concurrency Work Bench)对BDL描述的具体实例进行验证分析.
吴怀广毋国庆陈曙万黎
关键词：系统特性
普适环境中上下文感知的带演算的Bigraphs描述被引量：3
2012年
针对普适环境中上下文感知系统的形式化建模问题,讨论了Bigraphs理论的扩展模型———柏拉图图形模型在此问题中的适用性及不足。在此基础上,利用带演算的Bigraphs反应系统对上下文感知系统进行描述,并给出了与柏拉图图形模型之间的比较。
吴怀广姬厚灵毋国庆苗玥
关键词：上下文感知
基于嵌套赋类的Bigraph反应系统模型被引量：2
2012年
针对Bigraph反应系统中位置图控制间的嵌套关系问题,提出了一个赋类的Bigraph扩展模型。在利用标签范畴Scat(K)给出嵌套赋类位置图定义的基础上,讨论了嵌套赋类位置图的相关性质,给出了嵌套赋类位置图中RPO的构建、证明,以及同前推出IPO的一致性条件的定义、证明。
吴怀广金保华甘勇毋国庆
关键词：一致性
全选 清除 导出
共2页<12>
聚类工具0