王飞明

作品数：3被引量：5H指数：2
导出分析报告
供职机构：桂林电子科技大学计算机科学与工程学院更多>>
发文主题：时态逻辑QOS服务质量动态WEB服务组合全局优化更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机仿真》《计算机工程与应用》《广西科学院学报》更多>>
所获基金：广西青年科学基金国家自然科学基金广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
全局优化的分层动态Web服务组合被引量：2
《计算机工程与应用》2011年第12期72-74,145,共4页王飞明 董荣胜 胡元闯 骆翔宇 
国家自然科学基金No.60762002;No.60763004;广西自然科学基金项目(No.桂科自0991242);广西青年科学基金项目(No.桂科青0728090)~~
优化选取服务是动态Web服务组合的关键技术之一。在对分层组合算法研究的基础上,利用产生式规则和接口语义规则对Web服务建模,引入了备选服务的QoS性能指标和用户请求对响应时间、成本、成功率、可靠性和组合率的多条件约束,给出了一种...
关键词：动态WEB服务组合 全局优化 服务质量(QoS) 
基于信息素机制的Ad Hoc网络安全路由协议
《计算机仿真》2010年第12期97-101,共5页胡元闯 董荣胜 王飞明 刘建明 
研究无线网络性能问题,针对Ad Hoc网络比较容易遭受恶意节点攻击的特点,基于群体智能算法,为防止攻击,提高网络安全性能,提出了一种基于信息素机制的安全多路路由方案。方案考虑了节点局部信息,根据多路路由中的吞吐量特性,通过周期性...
关键词：群体智能算法 恶意节点 信息素 多路路由 安全路由协议 
模型检测研究进展被引量：3
《广西科学院学报》2008年第4期320-324,327,共6页王飞明 胡元闯 董荣胜 
阐述模型检测的基本思想和工作方式,介绍二叉决策图、符号模型检测、偏序规约等几种在模型检测中抑制状态爆炸的优化技术,并分析模型检测在应用上的优势,最后展望模型检测今后的研究热点。
关键词：模型检测 状态爆炸 形式验证 时态逻辑 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部