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接收机具有信道估计算法简单、信道跟踪实时性强的特点。     

基于Internet/Intranet的高校开放实验室管理信息系统的研究

本文在高校开放实验室教学管理中提出应用Internet／Intranet技术，建立基于B／S模式的高校开放实验室管理信息系统．在对系统的组织结构、系统软件设计思路进行介绍的同时，根据高校开放实验室教学管理中的需求分析提出了管理信息系统的实现办法和主要特点。     

姿控发动机稳态故障效应分析

在考虑了实际试车过程中已出现过或可能出现的故障的基础上，建立了恒庆挤压式双组元姿态控制发动机系统的稳志故障模型，并利用梯度法对该模型进行了求解。在此基础上进行了几种典型故障的仿真，分析了它们所产生的效应，识别出这些故障的模式。最后给出了用于分离和监测故障的关键参数。     

飞行控制系统模态转换瞬变抑制技术的研究

 <正> 一、引言 多模态飞行控制系统需要解决的特殊课题,一是模态转换技术,使驾驶员根据任务需要由按钮任意切换模态;二是对模态转换时所引起的瞬变幅度进行有效地抑制,限制转换时的舵面跳变,从而抑制由此而引起的过载变化。特别是当转换前后的两模态不同步工作时,更应抑制瞬变过程,以避免余度系统监控算法的误切除。笔者在文献的基础上着重研究并提出了几种数字飞行控制系统模态转换瞬变抑制方法,经数模混合仿真表明,本文提出的这些方法是有效的。     

中层大气的一种特殊振荡现象

通过分析Nimbus7卫星的SAMS温度探测数据，发现叠加在温度季节变化上，存在一种特殊的纬圈平均温度谐波振荡现象，其特征是，在水平方向上是同步振荡，在垂直方向上呈驻波特征．分析认为这种振荡可能是地球大气的一个特征波模，它的纬向波数m＝0，经向波数n=0，相应的特征函数为,表现为大气单纯的垂直运动，在垂直方向上存在反射面，形成驻波．