公共文化服务平台

共 3 条记录，以下是 1-3

全选清除导出

排序方式：

多主体模型定量验证方法研究: 近年来，基于模型的性质验证方法已经发展到定量验证阶段。在系统建模框架和性质规范语言的描述能力方面，定量验证方法相对于原有的模型检测方法均有了提升，使基于模型的验证方法的应用扩展到了DNA计算、微电网管理等更广泛的领域。然...; 徐伟峰; 文献传递

基于概率策略逻辑的VANET信息广播模型定量验证方法研究被引量：2: 2015年; VANET网络中信息的发送和接收具有随机性和不确定性,IEEE 802.11p广播协议无法适应VANET网络拓扑动态变化,于是研究者们根据不同环境中的具体应用需求提出了各种VANET广播协议,如何对新提出的协议的性能以及可靠性进行分析与验证是一个关键性问题.自动化的定量验证技术能够针对系统需要满足的多个性质进行分析,并给出满足需求的最大或者最小概率.然而研究人员在进行定量验证过程中使用的PTCL、rPATL等逻辑语言都不能够明确描述用户的策略是什么,因此本文提出基于概率策略逻辑的模型定量验证方法.该方法首先对系统中的多个角色使用概率时间接口自动机对其行为建模,然后使用概率策略逻辑语言对系统需要满足的性质进行描述,最后基于定量验证算法自动给出系统相关性质的分析结论.本文将该方法应用到VANET信息广播协议性能分析上,能够针对外界环境的变化选择合理的策略,从而分析出不同环境下信息广播发送成功的最大概率.; 李树秋刘淑芬王晓燕徐伟峰陆闯; 关键词：VANET

实时低空气象情报图片采集处理系统: 本发明公开了一套实时低空气象情报图片采集处理系统，属于航空气象工作领域。该系统包括图片采集系统，图片处理系统，气象情报发布Web服务器。其中：图片采集系统主要用于自动定时拍摄周围环境的照片，并将拍摄照片及其时间和地点信息...; 刘淑芬徐伟峰; 文献传递

全选清除导出

共1页<1>

徐伟峰