王飞明
- 作品数：5 被引量：8H指数：2
- 供职机构：桂林电子科技大学计算机科学与工程学院更多>>
- 发文基金：广西青年科学基金国家自然科学基金广西壮族自治区自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 模型检测研究进展被引量：5
- 2008年
- 阐述模型检测的基本思想和工作方式,介绍二叉决策图、符号模型检测、偏序规约等几种在模型检测中抑制状态爆炸的优化技术,并分析模型检测在应用上的优势,最后展望模型检测今后的研究热点。
- 王飞明胡元闯董荣胜
- 关键词：时态逻辑
- 模型检测中状态爆炸及其优化策略研究
- 模型检测是针对有限状态系统行为的逻辑性质的一种自动验证技术,简洁明了和自动化程度高,在生产实践中得到了广泛的应用,其主要缺陷是状态爆炸问题。阐述了模型检测的基本思想和相关理论,给出一些处理状态爆炸问题的优化技术,并与其它...
- 王飞明胡元闯董荣胜
- 关键词：时态逻辑
- 全局优化的分层动态Web服务组合被引量：3
- 2011年
- 优化选取服务是动态Web服务组合的关键技术之一。在对分层组合算法研究的基础上,利用产生式规则和接口语义规则对Web服务建模,引入了备选服务的QoS性能指标和用户请求对响应时间、成本、成功率、可靠性和组合率的多条件约束,给出了一种全局优化的分层动态Web服务组合算法,通过仿真工具Weblogic 8.1 application server+Oracle BPEL Process Manager 10验证,结果表明,该算法能够有效提高动态Web服务组合的成功率和组合率。
- 王飞明董荣胜胡元闯骆翔宇
- 关键词：动态WEB服务组合全局优化
- 基于信息素机制的Ad Hoc网络安全路由协议
- 2010年
- 研究无线网络性能问题,针对Ad Hoc网络比较容易遭受恶意节点攻击的特点,基于群体智能算法,为防止攻击,提高网络安全性能,提出了一种基于信息素机制的安全多路路由方案。方案考虑了节点局部信息,根据多路路由中的吞吐量特性,通过周期性传输的BANTs对路由信息素值进行更新,信息素值及节点局部信息进行路由决策,建立了相应的多路路由传输模型及其攻击模型。使用NS-2对方案的模型进行仿真验证,结果表明,该方案能够较好保持分组投递率,有效地避开包含恶意节点的路由,提高了网络的安全性。
- 胡元闯董荣胜王飞明刘建明
- 关键词：群体智能算法恶意节点信息素安全路由协议
- 基于QoS的动态Web服务发现与组合方法研究
- Web服务发现与组合方法己是动态Web服务领域具有挑战的研究热点。目前,服务发现缺乏支持组件的服务质量(QoS),服务组合的匹配算法亦缺乏支持动态重组和保障全局质量。本文针对组件服务的按需选择问题和高效的组合服务协调问题...
- 王飞明
- 关键词：组件服务
- 文献传递
