陆闯

作品数：2被引量：3H指数：1
导出分析报告
供职机构：吉林大学计算机科学与技术学院更多>>
发文主题：VANET基于角色逻辑WEB服务组合WEB服务质量更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《吉林大学学报（理学版）》《电子学报》更多>>
所获基金：国家自然科学基金吉林省科技发展计划基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于概率策略逻辑的VANET信息广播模型定量验证方法研究被引量：2
《电子学报》2015年第8期1610-1615,共6页李树秋 刘淑芬 王晓燕 徐伟峰 陆闯 
国家自然科学基金(No.60973041)
VANET网络中信息的发送和接收具有随机性和不确定性,IEEE 802.11p广播协议无法适应VANET网络拓扑动态变化,于是研究者们根据不同环境中的具体应用需求提出了各种VANET广播协议,如何对新提出的协议的性能以及可靠性进行分析与验证是一个...
关键词：VANET 定量验证 基于角色的概率系统 概率策略逻辑 
基于概率时间自动机Web服务质量的形式化建模分析被引量：1
《吉林大学学报（理学版）》2015年第3期531-537,共7页陆闯 刘淑芬 王晓燕 
国家自然科学基金(批准号:60973041);国家高技术研究发展计划863项目基金(批准号:2009AA010314);吉林省科技发展计划项目(批准号:20115007)
针对拓展的Web服务体系结构,利用概率时间自动机(probabilistic timed automata,PTA)对Web服务组合进行形式化建模,将Web服务组合的过程理解为一个实时系统的运行过程,进而对Web服务组合的整体服务质量(quality of service,QoS)进行定...
关键词：WEB服务组合 概率时间自动机 定量建模分析 WEB服务质量 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部