用多值逻辑树表示的多状态系统可靠性分析

本文提出了多值逻辑树不交布尔代数法,可直接写出不交型结构函数,从而计算其可靠性,而不需先找出最小j值向量或质蕴涵、再将其不交化以计算其可靠性。故可节省计算量。本文还给出从系统不交布尔表达式反求全部最小j值向量的简便算法。用Prolog语言编制了本文算法的程序。     

大气阻力摄动对卫星编队飞行队形的影响分析

为了分析大气阻力摄动对卫星编队队形的影响,利用相对轨道根数法推导了包含大气阻力摄动的卫星编队相对运动的状态转移方程。仿真结果表明当几何形状和质量不同的两颗卫星在低轨道做编队飞行时,大气阻力摄动对编队队形的影响很大而不能忽略;当主卫星的半长轴相等时,主卫星轨道的偏心率越大编队飞行受大气阻力摄动的影响也越大;大气阻力摄动主要影响编队飞行迹向相对距离。     

捷联惯导系统误差状态可观性分析

捷联惯导系统误差状态可观性分析是为了确定卡尔曼滤波器对系统误差状态的估值效果。本文根据分段常值理论分析了捷联惯导系统误差状态的可观性，得到相应的可观性结论，并且分析了水平通道的误差状态可观性，所得到的分析结论对设计滤波器时的运动路径设置提供了参考依据。     

非线性系统的可控正则型和状态变换的求法

Zeitz引入了非线性控制系统的可控正则型,证明了由可控正则型描述的非线性系统是可控的,本文进一步给出了非线性系统正则化的条件和状态变换的算法,从而解决了通过状态变换证明非线性系统的可控性。     

管制员不良心理对空管安全的影响及对策

每个管制员都想把管制工作做好,但由于心理压力过大,工作中会自觉不自觉地出现不良心理,这对保障空管安全工作极为不利。本文拟就管制人员工作中的不良心理,分析出现差错的原因,以期使之以正常的心理状态开展管制工作,确保空管安全。     

宁波空管站启用VNF链路机房视频监控系统

近日，为了能够实时掌控机房内设备的运行状态，宁波空管站技保部通信室在VHF链路机房安装启用了视频监控系统。     

软件技术状态检查工具的研究

软件技术状态管理是保证软件技术状态的正确性、控制软件技术状态的不受控性、提高软件可靠性的有效技术保障 ,是软件质量管理的一个重要环节。本文简要介绍了该工具的开发背景、设计思想、功能、优点及应用前景     

皮带传动中负载浮动状态下的自动张紧

文中对皮带传动系统中自动张紧的条件及原理进行了分析讨论，并提出负载轴为浮动的状态下，皮带传动系统能够延长皮带使用寿命的自动张紧装置的设计方法。     

一种面向用户的卫星状态监视系统设计

针对卫星研制过程中,如何在实现卫星性能指标及功能的基础上,进一步提高卫星用户体验,实现卫星的"易用"和"好用",文章提出了一种面向用户的卫星状态监视系统,通过视听一体化的方式直观地展示卫星状态,形成自顶向下、从宏观到微观的卫星状态监视模式,从而实现从用户角度观察卫星状态,帮助了解用户使用需求,更好地把握卫星改进方向。