浙江省科技厅科技计划项目(2009C31118)
- 作品数：2 被引量：1H指数：1
- 相关作者：陈建明丁革建刘松李志蜀更多>>
- 相关机构：浙江师范大学四川大学更多>>
- 发文基金：浙江省科技厅科技计划项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于PBIL的综合QoS参数组播路由
- 2010年
- 提出了一种基于PBIL(Population-Based Incremental Learning)的QoS组播路由算法,它能在综合QoS参数约束条件下寻找代价最小的多播树.该算法有效地结合了遗传算法的进化特性与竞争学习算法的特点,采用基于路径的树编码结构和基于概率的备选路径集,在网络规模较大的情况下也能得到很好的应用.仿真实验表明,该算法快速有效.
- 陈建明
- 关键词：STEINER树组播PBIL算法
- 基于形式化监控的可信软件构造模型被引量：1
- 2011年
- 传统的形式化方法和软件运行时监控都是提高软件可信性的有效途径,但存在监控需求表达能力不强及代码分散等问题。针对该问题,提出基于形式化监控的可信软件构造技术FM-TSPM,将形式化方法和运行时监控相结合,实现跨领域的方法融合。用形式化方法描述监控约束,根据监控约束生成方面监控代码,解决代码分散问题。采用AOP编织器将方面代码编织到目标系统中。
- 陈建明刘松李志蜀丁革建
- 关键词：确定有限自动机面向方面编程
