您的位置: 专家智库 > >

国家重点基础研究发展计划(2006CB708302)

作品数:7 被引量:65H指数:4
相关作者:何克清陆君安聂南夏启明王浩更多>>
相关机构:武汉大学郑州轻工业学院湖北大学更多>>
发文基金:国家重点基础研究发展计划国家自然科学基金软件工程国家重点实验室开放基金更多>>
相关领域:自动化与计算机技术理学电子电信更多>>

文献类型

  • 7篇期刊文章
  • 3篇会议论文

领域

  • 6篇自动化与计算...
  • 2篇理学
  • 1篇电子电信
  • 1篇自然科学总论

主题

  • 4篇网络
  • 3篇复杂网
  • 3篇复杂网络
  • 2篇接口
  • 1篇动力系统
  • 1篇语义WEB
  • 1篇语义互操作
  • 1篇元模型
  • 1篇软件工程
  • 1篇组件
  • 1篇组件接口
  • 1篇耦合矩阵
  • 1篇稳定性
  • 1篇问题域
  • 1篇力系
  • 1篇链状
  • 1篇模型库
  • 1篇矩阵
  • 1篇互操作
  • 1篇环形网

机构

  • 9篇武汉大学
  • 3篇湖北大学
  • 2篇郑州轻工业学...

作者

  • 4篇何克清
  • 3篇余敦辉
  • 2篇夏启明
  • 2篇马于涛
  • 2篇李兵
  • 2篇陆君安
  • 2篇李增扬
  • 2篇聂南
  • 1篇何扬帆
  • 1篇姚俊峰
  • 1篇邓璐娟
  • 1篇韩秀萍
  • 1篇彭蓉
  • 1篇王浩
  • 1篇张群娇
  • 1篇李健勇
  • 1篇梁鹏
  • 1篇刘婧

传媒

  • 1篇系统工程与电...
  • 1篇电子学报
  • 1篇华中科技大学...
  • 1篇电子科技大学...
  • 1篇中国科学(E...
  • 1篇计算机科学
  • 1篇Scienc...
  • 1篇第三届全国复...
  • 1篇2010年全...

年份

  • 1篇2011
  • 1篇2010
  • 1篇2009
  • 2篇2008
  • 3篇2007
  • 2篇2006
7 条 记 录,以下是 1-10
排序方式:
对复杂系统的软件工程研究
软件开发者对于日趋复杂的软件系统的理解和控制越来越困难,传统软件工程正接近其复杂性和可扩展性的极限.复杂性使软件开发困难,质量难以保证.复杂网络理论的最新研究成果,为软件复杂性度量提供了新的数学基础.讨论了软件复杂性的形...
李兵何克清马于涛刘婧彭蓉梁鹏李增扬
关键词:软件工程复杂网络语义WEB
文献传递
面向不同行业软件的质量评测模型及实践被引量:3
2011年
针对不同的行业类型软件的质量需求和应用,提出了建立对应的软件质量评测模型,论述了系统质量评价时涉及的相关质量特性选择根据和方法。还结合几个实际的工程测量类软件产品,给出了工程测量类软件测试模型的一个应用实例。测评过程展示了测试实践中遇到的问题和解决方法,如一些接口交互错误和格式化数据类型错误等。最后软件的质量得到了改进,并且统计出一个较全面和客观的评价结果。
聂南邓璐娟夏启明李健勇
关键词:接口
从环状网络到链状网络同步能力的变化被引量:10
2007年
通过理论分析发现,单向耦合结构与双向耦合结构的环状网络,在断开一条边从环状变为链状时,网络同步能力所发生的变化是完全不同的.从双向环状耦合结构到双向链状结构时同步能力是减弱的,在N很大时同步能力约为原来的1/4;而从单向环状耦合结构到单向链状结构时同步能力却明显增强,在N很大时增强约N2/(2π2)倍.数值仿真也定性地验证了这一结论.还发现在单向耦合与双向耦合两种不同的环状网络上添加一条不同长度的边对同步能力的影响是不同的,对于单向环来说添加一条边对同步能力影响具有一定的规律性.同步问题是一个基本的物理问题,文中的结果对于一些现实世界的网络,比如生物生态系统、电路设计等的应用具有一定的参考意义.
韩秀萍陆君安
关键词:复杂网络耦合矩阵
NRST及其在需求过程调度中的应用
网络式软件作为基于Internet这一开放环境运行的软件的一个典型代表,其全开放运行机制使得需求过程的自动调度尤为重要.为此,首先将网络式软件的需求状态(NRS)划分为6个状态,并利用网络式软件需求状态跟踪(NRST)图...
余敦辉何克清李兵毛海燕
文献传递
一类动力系统的时滞脉冲控制被引量:5
2007年
针对脉冲控制中,时滞在脉冲采样时刻客观存在这样一种现象,研究了一类动力系统的时滞脉冲控制问题。给出了在时滞脉冲控制下,这类动力系统的原点是全局渐近稳定的一个充分条件,该条件反映了系统参数,脉冲区间和延迟时间之间的相关关系。利用所得的结论,也实现了这类系统的时滞脉冲同步。最后,以典型的分段线性系统Chua电路和非线性的混沌Chen系统为例,分别通过数值仿真实验验证了理论结论的有效性。
张群娇陆君安何克清
关键词:动力系统稳定性CHUA电路CHEN系统
基于问题域的领域模型库度量
在网络化软件中,为了便利地对领域建模所得到的巨量、多粒度、多层次的领域模型进行复用,从而实现按需服务,需要以问题域为单位对领域模型进行组织.为此,以领域问题域的内聚度和耦合度为指标,对问题域的划分合理性进行度量,基于该度...
余敦辉何克清李兵余红卫
关键词:问题域
文献传递
基于复杂网络的软件复杂性度量研究被引量:41
2006年
软件开发者对于日趋复杂的软件系统的理解和控制越来越困难,传统软件工程正接近其复杂性和可扩展性的极限.复杂性使软件开发困难,质量难以保证.复杂网络理论的最新研究成果,为软件复杂性度量提供了新的数学基础.讨论了软件复杂性的形成原因和度量方法,介绍了目前复杂网络与软件复杂性结合的研究工作.探讨了基于复杂网络的软件结构复杂性度量方法,提出一种结合复杂网络和演化算法的软件演化复杂性度量模型.
李兵王浩李增扬何克清余敦辉
关键词:复杂网络
The changes on synchronizing ability of coupled networks from ring networks to chain networks被引量:5
2007年
In this paper, two different ring networks with unidirectional couplings and with bidirectional couplings were discussed by theoretical analysis. It was found that the effects on synchronizing ability of the two different structures by cutting a link are completely opposite. The synchronizing ability will decrease if the change is from bidirectional ring to bidirectional chain. Moreover, the change on synchro- nizing ability will be four times if the number of N is large enough. However, it will increase obviously from unidirectional ring to unidirectional chain. It will be N 2/(2π2) times if the number of N is large enough. The numerical simulations confirm the conclusion in quality. This paper also discusses the effects on synchronization by adding one link with different length d to these two different structures. It can be seen that the effects are different. Theoretical results are accordant to numerical simulations. Synchronization is an essential physics problem. These results pro- posed in this paper have some important reference meanings on the real world networks, such as the bioecological system networks, the designing of the circuit, etc.
HAN XiuPingLU dunAn
关键词:环形网络
一种支持语义互操作的过程模型注册元模型
2008年
现有过程规范面向特定的业务领域且缺乏必要的语义信息管理机制,导致跨企业的业务协作和过程集成难以有效实施.针对这一问题,提出了一种基于本体元建模理论的过程模型注册元模型.其中基本模型用于注册和管理不同组织构造的、基于不同描述语言的过程模型的公共结构信息,过程控制模型用于记录过程模型中的语义信息和附加语义标识.通过两个应用场景的案例说明使用该元模型能够有效注册和管理各类异构过程模型,为实现过程模型之间的语义互操作提供了保障.
王羽中何克清马于涛何扬帆
关键词:元模型语义互操作
面向组件接口的XACML变异测试策略被引量:1
2009年
XACML是一种适用于各种信息资源保护的访问控制语言。由于其严格的语法规范,且具有多种平台之间的可移植性,非常适用于各种组件交互的安全管理。借助该访问控制语言提出的一种面向组件的三层访问控制方法,组件交互、接口调用和参数访问都能实现安全控制。在该基础上设计了相应的变异测试策略,规则变异可以导致策略变异,策略变异可以导致整个策略集的变异;反之亦然。通过测试具体实例与验证其语义模型,该测试策略为组件访问及交互提供了安全保障。
聂南夏启明姚俊峰何克清
关键词:组件
共1页<1>
聚类工具0