整数阶电路基本定理到分数阶电路推广及分析

近几十年来,对分数阶电路的研究逐渐深入,但对其中电路定理的分析较少,因此针对分数阶电路需要进一步探究其规律,将一些经典的电路定理推广到分数阶电路中,使得在以后的分析过程中能直接使用。本文在整数阶电路定理的基础上,运用基尔霍夫定律在分数阶电路中证明了叠加定理、替代定理、等效电源定理和互易定理,并进行了应用分析。     

基于特勒根定理的风场送出线路新型纵联保护

双馈风机和永磁直驱风机广泛应用于陆上风电场。受控制策略影响,送出线路故障时风场侧故障特性与同步机电源差异显著,使传统纵联保护性能下降。特勒根定理建立于基尔霍夫电压、电流定律,仅与电路拓扑结构有关,对含线性/非线性、时变/时不变元件的电路均能适用。将特勒根定理应用到陆上风场送出系统,建立了满足定理应用要求的线路故障拓扑结构图。以此为基础,分析了能够区分内、外部故障的特征量,提出了一种基于故障前后线路两端电压电流的新型纵联保护动作判据。利用风场多个故障案例的录波数据和基于PSCAD的仿真数据对所提判据进行验证及对比分析,证明了所提纵联保护方法的优越性和可行性。     

基于精化的TrustZone多安全分区建模与形式化验证

TrustZone作为ARM处理器上的可信执行环境技术,为设备上安全敏感的程序和数据提供一个隔离的独立执行环境.然而,可信操作系统与所有可信应用运行在同一个可信环境中,任意组件上的漏洞被利用都会波及系统中的其他组件.虽然ARM提出了S-EL2虚拟化技术,支持在安全世界建立多个隔离分区来缓解这个问题,但实际分区管理器中仍可能存在分区间信息泄漏等安全威胁.当前的分区管理器设计及实现缺乏严格的数学证明来保证隔离分区的安全性.详细研究了ARM TrustZone多隔离分区架构,提出一种基于精化的TrustZone多安全分区建模与安全性分析方法,并基于定理证明器Isabelle/HOL完成了分区管理器的建模和形式化验证.首先,基于逐层精化的方法构建了多安全分区模型RMTEE,使用抽象状态机描述系统运行过程和安全策略要求,建立多安全分区的抽象模型并实例化实现分区管理器的具体模型,遵循FF-A规范在具体模型中实现了事件规约;其次,针对现有分区管理器设计无法满足信息流安全性验证的不足,设计了基于DAC的分区间通信访问控制,并将其应用到TrustZone安全分区管理器的建模与验证中;再次,证明了具体模型...     

分数阶时滞非线性多智能体系统的自适应控制

针对分数阶多智能体系统中存在时滞和非线性特性, 时滞往往会引起控制系统的性能下降甚至出现系统 不稳定等问题, 提出了一种含时滞非线性的分数阶多智能体系统自适应控制方法. 对于多智能体系统的控制协议, 设计了基于领导者和相邻智能体状态信息的自适应控制协议, 减小了过大常数控制增益带来的能源浪费. 对于一 致性, 利用图论基础、分数阶Halanay不等式稳定性定理、Kronecker积和Schur补引理, 获得了分数阶时滞非线性多 智能体系统的LMI一致性条件. 仿真结果验证了本文算法的正确性和有效性. 由于整数阶系统是分数阶系统的特殊 形式, 本文结论可以直接推广到整数阶多智能体系统中.     

基于多通道的跳频信号欠采样频率估计

为实现跳频信号频率跟踪估计,本文提出一种基于多通道的跳频信号欠采样频率估计方法。基于快速傅里叶变换（FFT）,提出了一种3谱线方程的频率校正算法,提高了基于中国余数定理的频率估计方法对短序列信号的频率估计精度,与现有的两种基于离散傅里叶变换（DFT）的频率校正算法相比,序列补零数量灵活。给出了一种频率估计检错机制,可以提高算法可靠性。仿真结果表明,本文所提频率估计算法的精度优于现有算法,增加序列补零数量可进一步提高算法的估计精度和信噪比阈值,降低误差平台;检错机制在-23 dB至8 dB信噪比范围内的准确率高于95.5%。      

基于香农采样定理的结构风振时域计算改进

基于同步测点的风压时程数据的响应计算有两种方法:时域法和频域法,它们得到的结果存在一定的差异。针对如何改善时域算法的精度进行研究,提出基于香农采样定理对风压时程数据进行加密的方法。将此方法运用到一个有解析解的两自由度结构算例和一个实际工程算例中,对采样数据量和采样频率都一定的荷载时程数据进行香农插值加密;分别采用插值加密之后的数据与未插值加密的数据进行计算,得到频域和时域结果。通过计算结果的比较得到以下结论:荷载时程数据相同的情况下,对于风致振动响应,频域计算的结果一般比时域计算更精确,时域计算的误差主要由高频部分的误差引起;运用香农采样定理,对已采得的数据进行插值加密,频域计算精度基本不变,但时域计算精度能得到提高。     

带电体绕对称轴转动时的转动惯量及在外磁场中所受磁力矩的量纲解法

通常在讨论均匀带电体绕对称轴转动时的转动惯量及其在外磁场中所受磁力矩时,要用到较多的微积分知识,给这类问题的求解带来一定难度。文章提出运用量纲分析的方法可以避免复杂的数学运算,突出了定性与半定量物理思想,并较为简洁的得到结果。     

双枝模糊集(Ⅲ)

提出双枝模糊集Ｓ的理论,本课题是［Ⅰ,Ⅱ］研究的继续．在单枝模糊集理论（Ｌ．Ａ．ＺａｄｅｈＦｕｚｚｙＳｅｔＴｈｅｏｒｙ）研究中,由于引进λ－截集Ｓλ的概念,便产生了单枝模糊集的并－普通分解定理［３］,交－普通分解定理［４］．［Ⅰ,Ⅱ］提出了双枝模糊集Ｓ,由于引进了λ－截集Ｓλ的概念,便产生了双枝模糊集Ｓ的并－普通分解定理,交－普通分解定理．人们自然提出这样的问题：双枝模糊集可以分解成若干个普通集Ｓλ;双枝模糊集Ｓ是否能分解成若干个模糊集Ｓα？本文的研究说明：双枝模糊集Ｓ可以分解成若干个模糊集Ｓα．（一个单枝模糊集Ａ也可以分解成若干个模糊集Ａα,但是在单枝模糊集理论中没有被人们去研究．）本文给出Ｓ的α－嵌入集Ｓα的概念,提出Ｓ的α－嵌入定理,Ｓ的α－嵌入模糊分解定理．     

双枝模糊集(Ⅱ)

提出双枝模糊集Ｓ的理论,是（Ｉ）研究的继续．提出双枝模糊集Ｓ的并－普通分解定理,交－普通分解定理．这些结论建立了双枝模糊集Ｓ与普通集Ｓλ之间的关系,这些结论为建立双枝模糊推理,双枝模糊控制作了理论准备．结论指出：（１）双枝模糊集Ｓ同时存在并－普通分解形式：Ｓ＝∪λ∈［－１,１］λＳλ和交－普通分解形式：Ｓ＝∩λ∈［－１,１］λＳλ;这两种分解形式是建立双枝模糊推理理论,双枝模糊控制理论的理论基础．（２）单枝模糊集Ａ（Ｌ．Ａ．ＺａｄｅｈＦｕｚｚｙＳｅｔＡ）的并－普通分解定理,交－普通分解定理是双枝模糊集Ｓ的并－普通分解定理,交－普通分解定理的特例．     

参数稀疏信号非均匀采样性能分析

提出了一种参数稀疏信号的时间交替周期非均匀采样方案。相对于非均匀采样,周期非均匀采样可以在降低系统复杂度的前提下依然保持较高的转换速率。通过仿真证明,非均匀采样样本的超分辨率特性可以提高非线性最小二乘周期图谱估计的重构性能。