排序方式: 共有55条查询结果,搜索用时 15 毫秒
1.
安全支付协议的设计与验证研究 总被引:2,自引:0,他引:2
安全支付协议是实现电子商务在线支付的关键。目前缺乏同时支持电子商品和实物商品的在线支付协议,基于此,该文给出了一种同时支持这两类商品交易的安全支付协议,最后使用SMV工具对协议的原子性进行了分析并验证了其可行性。 相似文献
2.
公平非否认协议的有限状态分析 总被引:3,自引:0,他引:3
本文针对公平非否认协议给出了一种基于有限状态自动机的分析模型,并使用SPIN模型检测工具,对Zhou-Gollmann非否认协议进行了分析,结果发现该协议不满足公平性和机密性.为此对该协议进行了改进。 相似文献
3.
基于演化博弈论分别构建了无线资源管理中功率控制和垂直切换的形式化模型,设计了一种基于定价机制的功率控制收益函数,根据3GPP对无线通信业务的分类,将切换判决过程划分为4个不同层次,降低了切换决策的复杂性,定义了目标网络的代价函数,将网络参数划分为成本型参数和收益型参数两类,并对其进行归一化处理,实现了异构网络参数比较的公平性.证明了功率控制博弈和垂直切换博弈中存在唯一的演化稳定策略,给出了基于演化博弈论的功率控制算法和垂直切换方案.仿真结果表明,给出的功率控制算法减少了网络中隐终端的数目,提高了网络容量;垂直切换方案既可以减少切换发生的频率,增加网络选择的准确性,又使运营商与用户之间的利益得到平衡. 相似文献
4.
5.
6.
文章简述SF6气体绝缘设备中水分的来源,气体泄露原因分析及现有检测方法的缺陷;提出了SF6气体密度计算方法和微水20℃修正方法,阐述了以高分子薄膜电容式露点传感器,压力传感器和温度传感器作为组成元件的新型在线监测微水/密度装置的结构原理和应用系统的构架,并指出其现实意义。 相似文献
7.
8.
通过分析目前的继电保护整定软件结合现有供电系统的特点,提出"整定条件触发"的整定思想和基于保护值的仿真方法。阐述了该系统的结构和功能,并利用可视化的方法使供电系统中的整定计算和保护动作很直观地表现出来。 相似文献
9.
一种基于马尔可夫博弈的能量均衡路由算法 总被引:4,自引:0,他引:4
针对无线传感器网络中耗能不均问题,引入马尔可夫博弈理论,构建了无线传感器网络的马尔可夫博弈模型.在能量均衡路由分析的基础上,给出了一种基于马尔可夫博弈的能量均衡路由算法,该算法从无线传感器网络整体耗能出发,兼顾节点之间的合作.定义了能量和信誉值的二元收益函数,给出了节点转发的状态转移概率,根据收益函数进行能量调节,求解出能量和收益之间的均衡系数——纳什均衡,实现了节点能量的均衡消耗,延长了网络的生命周期.使用PRISM概率仿真工具进行仿真,验证了该博弈模型存在纳什均衡点,同时表明该模型能促进节点之间合作,最大化无线传感器网络的生命周期. 相似文献
10.