JTIDS系统物理层的研究与实现

文章对联合战术信息分发系统(JointTactical Information Distribution System,缩写JTIDS)的物理层和数据链路层进行了研究;首先介绍了该系统的信号结构及其基本工作方式,然后根据已有的硬件平台设计出该系统下层的硬件实现方案,利用波形存储技术简化了系统的实现过程,并对该系统发送和接收处理的实现过程进行了仿真。     

一种基于Markov模型的星载计算机系统可靠性评测的新方式

可靠性在星载计算机系统中具有非常重要的作用。现以Markov链为基础,提出了一种新的估计星载计算机系统可靠性的统计使用检测方法。首先通过对故障的传播进行分析,对检测过程中Markov链上由故障产生的状态转移描述方法进行了改进,将“故障不一定产生失效”的现象用Markov链描述出来。其次,提出了程序执行路径的概率计算方法,并且用该方法对星载计算机可靠性进行了估计。最后通过仿真实验表明了该计算方法的有效性。通过对故障状态转移的分析和路径概率计算方法的提出,使星载计算机系统可靠性评测更能反映实际情况。     

航天器舷窗玻璃超高速撞击损伤与M/OD撞击风险评估

用北京卫星环境工程研究所的18mm口径二级轻气炮(TLGG)和20 J激光驱动微小飞片装置(LDFF-20)对用作航天器舷窗玻璃的熔融石英玻璃的超高速撞击损伤特性进行了实验研究和分析.其中,TLGG发射的球形铝弹丸直径分别为1 mm和3 mm,速度2～6.5 km/s;LDFF-20发射的圆柱形飞片厚度7 μm,直径1 mm,速度1～8.3 km/s.撞击结果为:对12 mm厚的熔融石英玻璃,直径为3mm的弹丸甚至在2.8 km/s的低速下就将其穿透,而直径为1 mm的弹丸在6.5km/s的高速下没有穿透,这说明弹丸直径对撞击损伤特性有很强的影响;LDFF-20发射的微小飞片的撞击仅在玻璃表面产生很浅的凹坑,没有裂纹产生,但微小飞片的累积撞击损伤明显地降低了玻璃的透光性.实验初步获得了侵彻深度PC、侵彻直径D1与弹丸撞击速度Vp、弹丸质量Mp之间的经验关系.依据实验结果和目前的微流星体/空间碎片(M/OD)环境工程模型,建议对于高度为400 km、轨道倾角42°、寿命为3年的典型航天器,其舷窗玻璃的临界安全(非穿透)厚度至少为12mm.     

基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

基于多元线性回归模型的光纤陀螺温度误差建模

在-40℃～60℃温度范围内测试了数字闭环光纤陀螺的标度因数、偏置和噪声,基于对测试 数据的分析指出,零偏稳定性大于0.3°／h的光纤陀螺的温 度误差主要来源于标度因数误差和偏置误差。利用逐步回归法分析了零偏与温度、温度梯度 之间的线性关系和标度因数与温度之间的线性关系,建立了零偏误差和标度因数误差的多元 线性回归模型。在模型中引入到达探测器的光功率作为新变量,提高了标度因数模型精度, 并使计算量减小40％。建模结果表明,标度因数误差回归模型的残差均方(RMS)达到1
(bit／(°／s)) 2,偏置误差回归模型的残差均方达到0.067(°／h) 2。     

基于Shape-from-Shading的月球表面三维形状恢复算法研究

提出了一种基于Shape-from-Shading的月球表面三维形状恢复算法。首先分析了在太阳光照射下月球表面成像模型,建立了使用Lommel-Seeliger反射模型描述的反射图方程。然后用有限差分近似微分运算,将反射图方程所示的一阶变系数线性偏微分方程进行离散化处理,得到关于表面高度函数的代数方程。进而采用超松弛迭代法进行求解,获得月球表面三维高度函数值。最后使用合成图像和实际月球图像进行三维形状恢复仿真实验。实验结果表明提出的算法可以有效地恢复月球表面三维形状。     

卫星编队飞行精确动力学模型与三维定位系统

提出采用精确动力学模型应用多颗编队飞行小卫星实现三维定位系统（电子侦察卫星）。为此,首先应用运动学和动力学两种方法建立精确动力学模型和摄动方程,然后进行数学仿真和队形变化的分析,最后讨论位置保持控制策略。仿真结果表明：编队飞行三维定位系统定位精度高,不受纬度影响,而且可以实现全球同时定位功能。
     

卫星干扰源定位系统中卫星星历校正技术

卫星干扰源定位系统中,制约定位精度的主要因素是卫星的速度精度。而现有的卫星测控手段,普遍很难获得高精度的同步卫星的速度。研究了同步卫星的轨道变化,结合卫星动力学模型和干扰源定位原理,提出了一种新的卫星星历改进技术,为干扰源定位系统提供适合定位用的同步通信卫星星历。     

桂林市产业结构计量经济模型及结构调整方案

本文构建了桂林市产业结构计量经济模型,并通过模型测算分析结果,确立了桂林市产业结构调整方案及规划指标.     

RFID技术在物流配送中的应用模型研究

文章阐述RFID物流配送系统的构成及其信息处理过程,探讨RFID电子标签在物流配送全过程中的信息识别作用,提出了RFID技术在现代物流配送中的一种新型应用模型和方法。