基于拍卖的物联网搜索数据提供机制

不同于互联网搜索采用爬虫等技术来采集数据,物联网搜索获取数据的主要方式之一是数据拥有者主动提供数据,然而自私性及隐私保护等原因导致数据拥有者不愿主动提供数据。这使得如何有效激励数据拥有者提供数据成为促进物联网搜索发展的关键问题之一。由于竞价拍卖能有效激励参与合作,因此将竞价博弈引入到物联网搜索中,为物联网搜索中的数据采集提供方法。具体地,提出了面向性价比最优的多属性逆向拍卖激励机制,证明了最优数据质量独立于自身报价、其他竞拍者的数据质量及其报价。     

基于演化博弈论的功率控制和垂直切换研究

基于演化博弈论分别构建了无线资源管理中功率控制和垂直切换的形式化模型,设计了一种基于定价机制的功率控制收益函数,根据3GPP对无线通信业务的分类,将切换判决过程划分为4个不同层次,降低了切换决策的复杂性,定义了目标网络的代价函数,将网络参数划分为成本型参数和收益型参数两类,并对其进行归一化处理,实现了异构网络参数比较的公平性.证明了功率控制博弈和垂直切换博弈中存在唯一的演化稳定策略,给出了基于演化博弈论的功率控制算法和垂直切换方案.仿真结果表明,给出的功率控制算法减少了网络中隐终端的数目,提高了网络容量;垂直切换方案既可以减少切换发生的频率,增加网络选择的准确性,又使运营商与用户之间的利益得到平衡.     

煤矿供电系统继电保护整定以及仿真系统的研究

通过分析目前的继电保护整定软件结合现有供电系统的特点,提出"整定条件触发"的整定思想和基于保护值的仿真方法。阐述了该系统的结构和功能,并利用可视化的方法使供电系统中的整定计算和保护动作很直观地表现出来。     

移动环境公平支付协议的设计与分析研究

结合固定网络中的支付协议并充分考虑移动装置和无线网络的特点,提出了一种移动环境公平支付协议。利用模型检验工具对协议进行分析并将该协议与其他支付协议进行比较,分析和比较结果表明,该协议具有公平、保密、高效等特点,适用于移动环境。     

公平非否认协议的有限状态分析

本文针对公平非否认协议给出了一种基于有限状态自动机的分析模型，并使用SPIN模型检测工具，对Zhou-Gollmann非否认协议进行了分析，结果发现该协议不满足公平性和机密性．为此对该协议进行了改进。     

安全支付协议的设计与验证研究

安全支付协议是实现电子商务在线支付的关键。目前缺乏同时支持电子商品和实物商品的在线支付协议,基于此,该文给出了一种同时支持这两类商品交易的安全支付协议,最后使用SMV工具对协议的原子性进行了分析并验证了其可行性。     

一种基于马尔可夫博弈的能量均衡路由算法

针对无线传感器网络中耗能不均问题,引入马尔可夫博弈理论,构建了无线传感器网络的马尔可夫博弈模型.在能量均衡路由分析的基础上,给出了一种基于马尔可夫博弈的能量均衡路由算法,该算法从无线传感器网络整体耗能出发,兼顾节点之间的合作.定义了能量和信誉值的二元收益函数,给出了节点转发的状态转移概率,根据收益函数进行能量调节,求解出能量和收益之间的均衡系数——纳什均衡,实现了节点能量的均衡消耗,延长了网络的生命周期.使用PRISM概率仿真工具进行仿真,验证了该博弈模型存在纳什均衡点,同时表明该模型能促进节点之间合作,最大化无线传感器网络的生命周期.     

SF6微水／密度在线式监测装置的研究

文章简述SF6气体绝缘设备中水分的来源,气体泄露原因分析及现有检测方法的缺陷;提出了SF6气体密度计算方法和微水20℃修正方法,阐述了以高分子薄膜电容式露点传感器,压力传感器和温度传感器作为组成元件的新型在线监测微水／密度装置的结构原理和应用系统的构架,并指出其现实意义。     

基于ProVerif的电子商务协议分析

采用应用pi演算来建模自动解决争端的公平电子商务协议,基于一致性给出了公平性的形式描述方法,利用应用pi演算的自动化分析工具--ProVerif分析了该协议,结果表明,利用一致性描述协议公平性是可行的,同时指出了基于ProVerif验证电子商务协议的优缺点:适用于分析"A事件发生以前,B事件是否曾经发生",但不适用于分析"A事件发生之后,B事件将来是否会必然(或可能)发生".     

煤矿供电系统技术优化改进措施分析

以一个煤矿供电系统技术优化作为实例,分析了如何立足矿井实际,对地面变电所、井下供电系统做出较为合理的优化和改进设计。优化应用结果表明,其达到了供电系统设备最佳配置的目的,在大幅度节省电力损耗费用同时,还提高了矿井电源质量,延长了电气设备使用寿命,使得整个供电系统更具可靠性,为企业的正常生产、安全生产提高了保障,可以为同类工程提供借鉴。