A hazard analysis via an improved timed colored petri net with time–space coupling safety constraint

Petri nets are graphical and mathematical tools that are applicable to many systems for modeling, simulation, and analysis. With the emergence of the concept of partitioning in time and space domains proposed in avionics application standard software interface(ARINC 653), it has become difficult to analyze time–space coupling hazards resulting from resource partitioning using classical or advanced Petri nets. In this paper, we propose a time–space coupling safety constraint and an improved timed colored Petri net with imposed time–space coupling safety constraints(TCCP-NET) to fill this requirement gap. Time–space coupling hazard analysis is conducted in three steps: specification modeling, simulation execution, and results analysis. A TCCP-NET is employed to model and analyze integrated modular avionics(IMA), a real-time, safety-critical system. The analysis results are used to verify whether there exist time–space coupling hazards at runtime. The method we propose demonstrates superior modeling of safety-critical real-time systems as it can specify resource allocations in both time and space domains. TCCP-NETs can effectively detect underlying time–space coupling hazards.     

导弹及固体火箭的外防护材料

叙述了导弹火箭系统外绝热防护，抗核辐射并介绍了作为固体火箭发动机结构材料的增强纤维／树脂、等复合材料抗氧化途径。     

灵敏度及鲁棒稳定性理论在导弹发射决策中的应用

本文运用系统敏灵度理论分析了多变量系统在参数摄动条件下的动态特性。为了提高系统鲁棒性,对影响系统动态性能的不同参数偏差间的相互补偿、最优搭配及对判定域的影响进行了研究。本文旨在给出一种简单、实用的方法,以便在某些参数超出允许限的条件下,为现场指挥决策提供系统有关的定量信息。     

IS-95 CDMA系统RAKE接收机仿真

RAKE接收机作为一种有效的抗多径技术，充分利用了经过各条路经到达的信号能量获得分集增益。分别对IS—95码分多址标准CDMA系统进行了简单介绍，对RAKE接收机的工作原理和SystemView软件进行了介绍，概述了IS—95RAKE接收机的基本特点和性能参数，给出了采用SystemView软件仿真IS—95码分多址标准RAKE接收机的方法和仿真结果。仿真表明，利用RAKE接收机具有信道估计算法简单、信道跟踪实时性强的特点。     

关于企业材料购入账务处理的思考

针对《企业会计制度》中的有关规定,从理论和实务两个方面对材料购入账务处理进行了全面分析,指出了其中的问题,提出了具体的改进建议。     

汽车电子牌照系统设计

利用无线收发技术和计算机控制管理技术，来实现和完成汽车电子牌照的检测与车辆的管理，其特点是自动检查车牌，自动完成各种控制，该系统安装、测试、维修简单，成本低、效益高。     

飞行传感器的故障检测与识别

 飞行传感器是飞行控制和导航系统中的薄弱环节,它们的故障率一般是比较高的。为了提高系统的可靠性,对传感器的故障应能实时地检测和识别,并重构传感器所测量的信号(修正)。为此,在系统中常采用传感器的硬件余度和解析余度。本文介绍了飞行传感器硬件余度和解析余度的原理以及几种实用的余度方案,对解析余度中的统计决策原理和故障检测的鲁棒性问题也作了简单介绍。     

键图在液体火箭发动机系统建模中的应用

简要介绍利用键图建立数学模型的原理。针对BYF-03双组元液体推进剂变推力火箭发动机系统,画出该系统的键图,并列出用状态变量表示的数学模型。     

一种基于便携式PC的数据采集系统

提出论证了一种基于便携式PC的数据采集系统方案,并完成了其控制器DSP的基本电路设计、信号调理电路设计以及与上位机接口通讯的设计,是一种方便、实用、价廉的测试仪器.