可重构智能表面辅助的混合RF-FSO传输系统性能分析

自由空间光（FSO）通信具有高速率、低成本和强抗干扰能力,但是大气湍流引起的衰落会造成FSO通信系统的性能恶化.传统的解决方案是使用RF链路作为并行的通信链路来提升系统性能.可重构智能表面（RIS）具有低损耗、部署简易且无须复杂的编码和解码等优点,能够进一步提高RF链路的接收信噪比.本文提出一种RIS辅助的混合RF-FSO传输系统,以此来改善通信服务质量.基于此混合模型,导出系统中断概率、平均误码率和信道容量的表达式,同时给出蒙特卡罗仿真来验证分析结果的准确性.结果表明所提出系统的性能相比于传统的混合RF-FSO系统有显著的提升.     

混合系统Petri网模型的重叠分解

考虑用混合Petri网重叠分解和扩展的方法分析混合系统。首先给出混合Petri网的一些相关定义(如有界性、可达性和活性等),并对包容原理作了详细阐述。然后介绍混合Petri网重叠分解和扩展方法,并将重叠分解方法用于混和系统Petri网络型的拓扑结构,分析Petri网的拓扑结构,确定Petri网的重叠子网。最后用一个混和Petri网的例子来阐明重叠分解和扩展的过程。这为分析大规模的混合系统提供了一个切实可行的方法,有助于对复杂混合系统的分析与控制。     

基于状态相关模态切换混合估计的航迹预测

针对航空器飞行轨迹预测的随机线性混杂系统估计问题,提出一种状态相关模态切换的混合估计算法(SDTHE). 该算法不仅解决了标准交互式多模型(IMM)算法似然函数为零均值高斯函数假设的缺陷,而且基于实时状态更新模态转移矩阵,使得飞行模态估计更为准确,从而提高飞行轨迹预测的精度. 与标准交互式多模型算法相比,仿真结果表明了所提出算法的有效性和优越性.     

多目标环境下车辆自主决策可达集分析

由于自主车辆具有离散控制和连续行为混成以及不可避免的系统偏差存在的特点,使传统验证方法无法遍历所有不确定的系统输入和运行状态,因而自主车辆安全决策的置信水平较低。为此,提出以车道边界作为约束条件的多目标约束的可达集建模方法,该方法利用哈密顿雅可比方程控制可达集变化,利用水平集完成可达集的可视化任务,确定具有不确定系统输入和运行状态的自主车辆安全区域。结果表明,与传统仿真方法相比,基于可达集的自主车辆多目标安全决策方法具有更高的适应性,并且可以为智能驾驶车辆在较为复杂环境下的安全性提供理论保证。     

基于UKF与模型误差的交互式多模型算法

在最小距离设计准则下,提出了一种基于Monte-Carlo采样和K均值聚类的模型集合设计实现方法.通过讨论由于真实模式与模型之间的差异所可能引发的问题,提出基于UKF与模型误差的交互式多模型改进算法.新算法中每个模型采用Unscented Kalman Filter处理非线性估计问题.Monte-Carlo仿真实验表明当真实模式远离模型集合中的各模型时,新算法比IMM更具鲁棒性.并且当真实模式保持不变时,从全局角度考虑新算法比IMM优越.     

基于CheckMate的混合系统建模和验证

形式验证是混合系统中的重要研究方向,Checkmate是基于MATLAB/Simulink和Stateflow工具箱开发的一种混合系统建模、仿真和形式验证工具。文章首先介绍了混合系统形式验证的概念和验证过程,从用户的角度介绍了CheckMate的每个自定义模块的设置及其功能原理,通过一个三维线性混合系统的例子,说明了使用CheckMate进行建模、仿真以及验证的方法,最后指出了CheckMate验证工具的局限性。     

卫星定位系统的验证原型

用模型检查的方法对卫星定位系统进行了验证,对把模型检查应用于实际系统进行了初步的探索。     

时标上脉冲混合系统的一致稳定性

利用向量Lyapunove函数的方法研究了时标上脉冲混合系统两个测度下的一致稳定性和一致渐近稳定性。     

脉冲混合系统的(h0,h,L)-稳定性分析

用直接方法和比较方法,建立了脉冲混合系统的（h0,h,L）-稳定性的判别准则。