中国人民解放军总装备部预研基金(51315050105)
- 作品数:2 被引量:2H指数:1
- 相关作者:段振华舒新峰门鹏更多>>
- 相关机构:西安电子科技大学更多>>
- 发文基金:中国人民解放军总装备部预研基金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 动态Web服务组合的选择策略
- 2009年
- 为了提高光网络资源的利用率,提出一种基于Petri网的Web服务组合最优化选择的方法.根据用户需求使用Petri网对服务组合之间的数据依赖关系建模,利用Petri网的T-不变量得到各种可能组合方案,并对于每种组合方案使用广义随机Petri网分析其性能.实验结果表明:该方法充分利用Petri网善于描述、分析、评价分布式系统的优点,得到性能最优的基于光网络资源的服务组合方案.
- 门鹏段振华
- 关键词:WEB服务组合PETRI网光网络
- 利用投影时序逻辑的多内核进程调度建模与验证被引量:2
- 2010年
- 针对软件测试无法满足多内核处理器上进程调度的验证需要这一问题,提出利用投影时序逻辑(PTL)的定理证明方法来验证进程调度.使用PTL公式建立了支持当前主流进程调度算法的多内核处理器进程调度一般模型S,并将系统期望的性质描述为PTL公式P,在PTL公理系统的基础上,通过证明S蕴含P是否为一个定理来验证系统是否具备该性质.以2内核处理器上的多级反馈队列算法的正确性为案例进行检验,结果表明所提方法可验证多内核处理器进程调度的系统性质,保证多内核进程调度的可靠性.由于多内核处理器的进程调度具备了并发系统的主要特点,因此该方法也适用于一般的并发系统验证.
- 舒新峰段振华
- 关键词:投影时序逻辑进程调度定理证明多核处理器