简介:随机Petri网(SPN)是一种基于状态空间的可靠性建模分析方法,由于它具有其他可靠性分析方法(可靠性框图、故障树等)所不可比拟的优势,使其成为目前系统可靠性分析中备受关注的一种方法。但是,当所分析系统复杂时,状态空间爆炸问题是SPN进行系统可靠性分析最大的挑战。特别针对神光Ⅲ原型装置计算机控制系统这一庞大、复杂的系统,状态空间大小不可估量,所以很有必要研究克服SPN空间状态爆炸的方法。根据系统可靠性分析时常用到的SPN模型结构和有关可靠性分析理论知识,提出了模型结构约简方法,以约简系统模型,从而克服或缓解SPN模型可靠性分析中的状态爆炸问题。
简介:为了深入研究可行的中高轨成像技术,本文从探测能力角度(用最低发射激光功率表示)深入分析和比较3种主动干涉合成孔径成像技术——傅立叶望远镜(又称为相干场成像或条纹场扫描成像)、成像相关术(又称为强度相关成像)和剪切光束成像。本文利用光电倍增管的信噪比模型和激光作用距离方程,较为细致地分析每种技术在满足单次信噪比(SNR=5)条件下的极限探测能力。通过仿真分析得出:傅立叶望远镜、成像相关术和剪切光束成像所需的最低单光束单脉冲能量分别为11.4J、0.73MJ和3.1MJ。最终得出傅立叶望远镜是上述3种主动成像技术中在目前技术水平下最适合中高轨目标(约36000km)高分辨成像的可用技术的结论。