【摘 要】
：
本文基于形式化方法,结合ATL(Alternating-time Temporal Logic)对形式化建模与验证技术的应用进行了研究,研究领域主要集中在应用广泛的公平交换协议和前景广阔的微电网电源管理系统方面。本文基于ATL及其拓展语言rPATL做了两个工作,第一个工作结合ATL及MOCHA工具对公平交换协议中广泛应用的电子合同签署协议进行形式化建模与系统规格描述,并验证其是否满足公平性、及时性
论文部分内容阅读
本文基于形式化方法,结合ATL(Alternating-time Temporal Logic)对形式化建模与验证技术的应用进行了研究,研究领域主要集中在应用广泛的公平交换协议和前景广阔的微电网电源管理系统方面。本文基于ATL及其拓展语言rPATL做了两个工作,第一个工作结合ATL及MOCHA工具对公平交换协议中广泛应用的电子合同签署协议进行形式化建模与系统规格描述,并验证其是否满足公平性、及时性和不可滥用性。本文通过对MOCHA工具的验证结果进行分析,发现本文选用的电子合同签署协议不满足公平性、及
其他文献
能源是社会的重要基础资源。许多可再生能源未被采集利用,由此能量采集技术应运而生。所谓能量采集技术主要是指将环境中被空置的能源利用俘能装置采集起来为使用终端供电。本文为提高压电俘能器的宽频响应能力,提出了臼型压电俘能器和双音叉式压电俘能器;为提高压电俘能器在二阶弯曲模态下的俘能效率,以矩形压电片为模型进行优化,设计了一种非对称式单晶双压电片俘能器,并评估了这种新型俘能器的发电特性。首先,深入分析了矩
非隔离光伏并网逆变器由于不存在变压器,使光伏系统具有体积小,成本低,转换效率高等优点。但变压器的移除导致了逆变系统共模漏电流的存在,共模漏电流对人身和设备安全都产生了危害。因此,本文提出了一种新型单相非隔离光伏逆变器,又称带续流开关的中点箝位型非隔离逆变器,该拓扑在H桥逆变器的交流侧上加入续流开关构成续流回路,使得续流阶段续流电流不流经电源,省去了能量回馈电源这个环节,提高了非隔离光伏逆变器的转换
随着国民经济的快速发展,配电网的经济、可靠运行成为如今电网运行的重要部分。传统的配电网重构优化研究主要是以降低有功网损、均衡负荷以及提高基于电力设备下的可靠性为目的,少有考虑网络自身拓扑结构优化。同时,随着分布式发电技术的快速发展,越来越多的分布式电源(DG)并入配电网,特别是出力具有随机性、间歇性的DG,使得传统的配电网重构方法不能完全适用含DG的配电网。因此,在配电网重构研究中,考虑网络结构优
随着电力电子、微型计算机以及自动控制等技术的不断发展,研发节能高效的交流电机调速系统越来越受到广大学者重视。为了解决异步电机矢量控制调速系统的转速环、转矩电流环以及磁链电流环的PI调节器参数优化问题,本文首先提出了一种改进的Bloch球面坐标量子算法(IBQA);接着借鉴满意优化思想,建立了多目标满意优化函数和多性能指标函数;然后对异步电机矢量控制调速系统转速环、转矩电流环以及磁链电流环的PI调节
由于能源危机的日益严重以及大力推动构建环境友好型社会,可再生能源技术得到快速发展。其中,风力发电及光伏发电等可再生能源发电技术得到广泛应用,在环境效益等方面体现出独特优势,但同时也存在诸如接入成本高、控制技术不足,对主网产生消极影响等缺点,为此,微电网技术应运而生。微电网将各可再生能源集中管理,构成一个相对大电网友好的可控单元,充分发挥各微电源优势的同时也能保证不会对电网的安全稳定产生影响。微电网
染料敏化太阳电池(Dye-sensitized Solar Cells,以下为DSC)作为新型太阳电池,以其独特的结构与低廉的制造成本受到广泛关注,其光电转换效率已经接近13%,展现出巨大的应用前景。DSC内部界面处发生的复合过程是电池能量损失的主要原因。DSC复合过程主要发生在TiO2半导体薄膜与电解质接触界面(Dyed-TiO2/EL界面),这个界面又包含多个可以发生电子转移的复合源。除此外,
网络控制系统作为一种新型分布化和智能化的控制系统,得到控制界的普遍关注和支持,其具有结构简易、性能可靠、操作灵活、资源共享等优点。直流伺服电机被广泛应用于工业生产、交通工具及家用电器等领域中,其具有灵敏度强、响应时间短、执行效率高等特点。目前针对网络控制系统问题及传统的直流伺服电机控制问题的研究已经取得了丰富的成果,然而对两者相结合情况的研究还不够充分。因此,如何将网络控制结构引入传统的直流伺服电
本文主要研究MCR-WPT系统的功率因数校正技术,包括发射端的功率因数校正器设计和接收端的功率因数校正技术研究。提高发射端功率因数可以提高MCRWPT系统对电网电能的利用率,达到节能的目的,而且可以有效隔离MCR-WPT系统产生的高频噪声,防止它污染电网。提高接收端的功率因数可以提高对发射器的电能的利用率,直接可以降低发射器的成本,这对发射器中的高频功率放大器影响最为明显。在接收端,本文设计了一种
硅具有已知最高的嵌锂容量(4200mAh/g),被认为是最有潜力取代碳材料的下一代锂离子电池负极材料。硅作为负极材料所面临的最主要问题是在嵌锂和脱锂过程中体积膨胀收缩(>300%)和收缩,导致电极材料的粉化和差的循环性能。薄膜电极材料因其具有较为稳定的结构以及不需要导电剂和添加剂等优势而极具研究价值。在本文中,采用磁控溅射法制备了纯硅和Si-Ti双层薄膜负极材料,研究了薄膜负极的组织结构和电化学性
在当前能源紧缺的大环境下,变频家电由于具有节能、舒适等优点,符合国内外可持续发展战略,具有广泛的应用前景。变频家电的核心器件为功率变换模块,目前应用最多的功率变换模块是智能功率模块(IPM)。随着变频家电的发展,国内企业也开始对智能功率模块进行自主研发。基板是IPM主要的组成部分,需要具备良好结合性、绝缘性及导热性,目前国内使用的IPM基板为阳极氧化铝基板。然而阳极氧化铝基板的综合性能不佳,因此本