离散事件系统的Petri网图仿真

1.前言 离散事件动态系统DEDS(Discrete Event Dynamic System)的传统分析方法——应用排队论和随机过程理论为离散事件动态系统建立排队网络模型,在很多情况下已不适用。新的理论和研究方法相继提出。其中之一是“皮特里网”(Petri Nets)理论。另一种比较成熟的方法是仿真法,但是,仿真法要以高昂的计算机设备的大量计算时间为代     

民航安保事件分级研究

在民航安全保卫的专业背景下,将危机管理中对突发事件的分级方法应用于对民航安保事件危险等级的划分。从既往案例中总结出30种民航安保事件的生成机理与发展特征,从主客观标准上设定出3个层次、7个分级变量要素与4个观察维度的分析框架。在此基础上,经过对各个分级变量要素进行权重赋值与判别函数计算,得出了每一种航空安保事件的具体得分,进而确定出4个级别的行为分级系统。     

档案中的时空旅行

从古至今,发生过很多鲜为人知的事件,而其中某些神秘事件又同时空旅行有关。     

反向需求

“产品在不期望但又可能出现的非正常输入的情况下,能有正确的反应”,这是何国伟定义的反向需求,很多设计人员主要考虑“在规定的输入条件（所谓正常情况）下,能以规定概率（可靠性）完成规定功能”。于是,当非正常输入时,就可能出现危险事件,甚至导致严酷度等级很高的后果。因此在需求子工程中,应该力求需求（包括反向需求）的完备性,主要方法有：1）头脑风暴法;2）建立反向需求库;3）找原始设计需求的疏漏;4）分析危险事件发生的概率分布,发生概率与假设条件的一致性,并以毒奶粉,次级房贷等为例进行说明。     

基于GM(1,1)与灰区间估计的SPE通量水平长期预测

太阳质子事件（SPE,Solar Proton Events）是干扰日地空间最主要的源,大规模质子事件会影响在轨空间站实验设备的可靠性,有时甚至会威胁空间站的安全运行.提出一种基于灰色GM（1,1）和区间估计太阳质子事件预测方法;首先对1976—2010年SPE通量水平数据进行预处理,分别建立以发生时间为序列的一般SPE通量序列与极端SPE通量序列;之后将灰色GM（1,1）与区间估计相结合建立预测方法,融合反映一般SPE通量水平随周期性波动的活跃性调节系数,建立SPE通量水平长期预测模型;然后叠加不同SPE类型所得结果合成预测年份的SPE通量水平,给出未来一年或几年间SPE通量水平的变化范围;最后选取1976—2010年太阳质子事件年均值数据,分多批次预测1996—1998年和1999—2001年等SPE通量均值区间,结果表明各年实际发生SPE的通量均值均位于预测区间内,并且多年预测区间偏差最大值小于26%,实验结果还表明单次预测时长以2~3年为宜.     

磁层顶通量传输事件轴向统计分析

磁层顶通量传输事件（Flux Transfer Event,FTE）与磁重联相关,其典型特征为磁场法向分量的双极变化.在不同FTE模型里,FTE结构可能为重联的通量管、由多X线重联形成的闭合磁通量绳或者由单X线重联形成的开放磁场环,从而在磁层顶有不同的整体位形.使用一种新的轴向分析方法,对Cluster在一个向阳面磁层顶穿越季观测到的505个FTE进行统计研究.结果表明：在磁层顶中低纬度的侧翼,大多数FTE轴向均为沿磁层磁力线方向即南北方向,少数FTE轴向沿着不同于磁层磁力线方向的东西方向;在高纬磁层顶,大多数FTE轴向沿东西方向,少数FTE轴向沿着磁层磁力线方向即南北方向.这些统计特征有助于重新认识FTE的全球形态.     

一个串行口Javabean的研究与设计

本文描述了一个基于JavaBean组件标准的串行通信组件的实现原理、实现过程以及实现方法。它将被作为C／S系统的一个组,以实现某些工业控制场合中远程控制的要求。充分利用了Java语言的事件监听机制、串行性、持久性、自检以及JavaBean的定制等特性,并经由Java本地接口（JNI－Java Native Interface)调用硬件控制等底层操作,具体实现了一个串行通信组件必需的功能,如初始化、读写操作等。在所需要的.DLL的支持下,所有安装了Java虚拟机的Windows系统都可以使用这个.Jar文件。     

拒绝服务攻击下的Euler Lagrange系统的安全控制

研究了Euler Lagrange系统在拒绝服务(denial of service, DOS)攻击其传感通信通道时的安全控制问题.为减少采样资源消耗,本文设计了基于事件触发机制的控制算法.针对DOS攻击活跃期和休眠期两种情况,设计了Lyapunov函数并证明了所提出的基于事件触发的算法能保证Euler Lagrange系统在DOS攻击下的稳定性.最终通过仿真算例验证了算法的有效性.     

一种基于事件序列的故障树最小割集算法

在系统分析故障树最小割集各种求解算法的基础上,提出了一种故障树事件序列的数据结构,并针对该数据结构,设计了一种高效的故障树最小割集求解算法,并对其替换子算法、复制子算法和消减子算法进行了形式化描述。算法可有效降低最小割集生成中的“组合爆炸”问题,实验结果表明算法具有较好的计算性能。     

近地磁尾准无碰撞磁重联事件

综合分析了ClusterⅡ－C1飞船在2001年9月15日飞越地球磁尾等离子体片区的热离子和磁场观测资料。结果表明,约在0340－0440UT时间期间,资料多次呈现出较强的尾向离子流（VXGSM＜0）,明显的南向磁场分量（BZGSM＜0）,以及明显的晨－昏向磁场分量BYGSM等特征。由此可以推断,在磁尾等离子体片中,在径向方向XGSE＞－18．6Re范围内,可能发生了多次磁重联事件,整个事件持续期约1h。磁重联事件的观测特征与准无（或半）碰撞磁重联理论的基本图像符合一致,因此这些事件应当是准无碰撞磁重联事件。