具有混合约束的DES Petri网控制器的设计

针对基于Petri网离散事件系统库所和变迁混合不等式约束反馈控制器的设计问题,提出一项新型设计具有库所和变迁混合约束的Petri网控制器的方法——利用Petri网简化技术把所有约束库所融合为一个与它们标识总量相等的库所,然后再与受约束的变迁进行对照比较,使控制器的设计更为简单并且避免了死锁,尤其是对规模较大的系统,其优势更加明显。借助一个应用实例．将该控制器设计方法与Yamalidou等人提出的控制器设计方法作比较,表明所提出的控制器设计方法不仅更简单、更有效而且可以应用到推广Petri网。     

机载令牌传递网络的计算机仿真研究

从机载令牌传递网络的基本原理出发,建立了网络模型,按照计算机仿真的一般方法建立了系统的仿真模型,给出了仿真程序的实现,进而对仿真模型的有效性进行了验证,并给出了机载环境下的性能仿真。     

基于极大代数的航班离港过程分析

采用极大代数方法对民航飞机每一批次中各类机型的配比大于1的离港过程进行了建模与分析,通过多步输出反馈,得到了具有多步状态延迟的闭环系统模型。给出了求解极大代数意义下的广义特征值问题的算法,并通过算例验证了算法的有效性。     

航班延误引发的旅客群体性事件仿真研究

针对航班延误引发的旅客群体性事件,改进了情绪感染模型,提出一种外界事件刺激下的情绪感染模型,模型中提出了个体受外界事件刺激下的情绪增长计算模型,引入了群体角色、亲疏关系等社会属性,在此基础上,应用行为阈值函数模拟个体的情绪动态下的行为决策过程,并以航站楼候机厅航班延误引发的旅客群体性事件为案例,结合社会力模型模拟单个航班延误情境下的情绪感染过程以及旅客群体事件演化过程。仿真结果表明,所提出仿真方法考虑了旅客特征与随机性,更接近于真实的场景;群体结构的分化是旅客群体性事件的诱发因素。     

TG-2伽玛暴偏振探测仪POLAR

伽玛暴偏振的测量对喷流机制的确定有着至关重要的作用。伽玛暴偏振探测仪POLAR是中欧合作的、专门用于探测伽玛暴偏振的探测仪器,POLAR通过康普顿散射的原理实现对伽玛暴偏振度高灵敏度的测量。介绍了POLAR的整体方案和载荷研制情况,通过蒙卡模拟和地面实验对仪器性能进行验证,结果表明POLAR具有符合设计要求的偏振测量能力。     

基于情景分析的航空集群决策规则库构建方法

针对传统的规则学习算法很难解决顶层决策,以及现阶段航空集群作为一种新兴的作战样式,没有太多现成的数据和案例可供参考,暂不具备"从战争中学习战争"条件等难题,从战争设计的角度出发,探讨性地提出了一种基于情景分析的规则库构建方法。首先,从系统演化的外部触发条件和内部驱动机制出发,提出了基于事件触发-规则驱动的自主决策机制;然后,将航空集群决策规则拆分为事件、条件、动作3部分,并采用事件-条件-动作（ECA）描述机制进行规范化表达;最后,借鉴情景分析理论的思想,通过详细分析作战过程的逻辑关系、状态变迁,实现对象、事件、行为的关联,并以无人机自主察打任务规则提取为例进行了验证分析。     

基于验后概率的Bayesian序贯方差检验技术（Ⅱ）

在给定截尾试验次数的条件下,为了在理论上给出最大截尾试验次数以及从保护使用方利益的原则出发进行试验设计,基于验后概率和＂小概率事件原理＂,在一定程度上以保护使用方利益为准则,对Bayesian序贯方差检验（BSVT）模型进行了修正,建立了修正的Bayesian序贯方差检验（MBSVT）模型,设计了继续试验区临界值的求解...     

多情境感知环境下RFID复合事件检测算法

无线射频识别(Radio frequency identification,RFID)技术的发展让感知世界变得更加便利。本文针对RFID数据特点以事件为中心进行数据建模,在多约束环境下利用各种规则和模式,有效地检测出特定的复杂事件。通过对RFID事件的分析和处理,利用抽象的底层RFID事件的检测对复杂事件进行有效监控和处理。根据Cascadia系统对RFID数据的事件分类与检测给出了利用事件解析图的事件检测方法。提出了在不同的约束执行环境中各操作的事件检测算法,结合具体应用实例对采用事件解析图的RFID复杂事件检测模型进行了解释说明。实验结果表明本文提出的RFID复杂事件检测算法能够较好地满足正确性要求,并提高了RFID系统整体的执行效率。     

基于5Hz频率光诱发的脑电信号θ波的时-频分析

通过时-频法研究5 Hz频率先刺激前、光刺激中平均脑电信号θ波能量百分比的差异性.研究发现光刺激中能量百分比在前额(F8)、顶部(P4)、中央(C3)、颞区(T6)和枕部(O2)均有显著性增加.在枕部(O2)区域光诱发最初20 s内α波能量百分比从45％下降到30％,θ波能量百分比从25％上升到35％,θ波能量百分比呈上升趋势;中间20 s内,θ波能量百分比呈下降趋势,最后20 s,θ波能量百分比恢复到基线.以上结果说明在20～30s,5 Hz频率光刺激能够驱动脑电信号从优势脑波α波转向以θ波为主.对研究低频率光诱发响应,应用时-频脑电波能量百分比方法是一条新的途径.     

基于星光角距/激光测距的卫星组合导航方法

为了进一步提高卫星天文自主导航精度,提出了一种利用激光测距辅助的天文组合导航方法。激光测距能够直接获取卫星到地面参考信标的高精度距离信息,在以星光角距为观测量的天文导航系统中引入激光测距辅助数据,可以拓展滤波器观测量的维度,从而改善滤波效果。由于组合导航系统为非线性系统,为避免泰勒展开线性化引起的二阶截断误差,采用UKF滤波方法进行组合导航系统信息融合。仿真结果表明,所提出的组合导航方法能够明显提升导航精度,改善滤波性能。