Petri网在维修工作分析中的应用研究

分析了当前维修工作分析方法中存在的问题,在论述了Petri网技术优点的基础上,提出采用层次化的时间-着色Petri网技术来建立维修工作描述模型.探讨了Petri网描述逻辑条件与时序关系的方法,并给出了维修工作建模的程序.通过一个实例研究说明了Petri网技术在确定保障资源工作中的应用.      

太阳帆板平面度测量系统的误差补偿方法

介绍了一种采用斜光学三角形测量结构和基于虚拟精密测量基准的太阳帆板平面度无接触测量系统及误差补偿方法.提出的虚拟精密基准的建模与误差补偿技术,解决了在非精密基准上实现精密测量这一难题,使得所研制的测量系统利用现有平台可实现对太阳帆板平面度的高精度测量.实际测量结果表明,该测量系统对面积为2581mm×1755mm太阳帆板的平面度测量精度达0.02mm(RMS).     

未来全球宽带无线通信系统构想

由于不断增长的宽带多媒体业务和移动性的需求,TCP／IP与卫星技术相互结合,逐渐成为构成下一代全球移动互联网系统的基础结构之一。文章从IP网及无线网的发展,详细介绍了各自的技术特点和发展趋势,在此基础上提出了全球宽带无线通信网互联互通模型。这对未来卫星通信的发展具有重要意义。     

新机技术支援保障系统概述

简述了新机技术支援保障系统建设的必要性、可行性，详细介绍了系统的组成、作用流程和功能以及该系统在信息化建设中的作用和意义。     

共享内存网--面向飞机仿真的实时网络

将多台计算机连接起来,共同完成单个的实时任务,如飞机仿真是一项非常具有挑战性的工程任务。本文论述了计算机分布式仿真的一些独特要求,对目前使用的两种主要方法进行了总结,将共享内存网的概念和传统的方法进行了对比介绍,共享内存网的设计方法、性能参数以及详细的设计过程也有论述。     

飞行程序发布订阅服务Petri网建模分析

发布订阅服务是未来航行情报管理所面临的主要问题之一。利用UML建立了飞行程序发布订阅概念模型,刻画了系统需求和发布订阅的具体过程。建立了相应的Petri网模型,通过可达树分析和P不变量分析得出所建Petri网模型的有界性、守衡性和活性,从而证明了概念模型的正确性和有效性。     

用弯剪法计算两向正交正放平板网架各杆内力

本文在节点法和截面法的基础上，将两者融为一体，为计算两向正交正放平板网架各杆内力，提供了一种新颖方法，称其为弯剪法，文中引用了实例，结果与其它方法完全一致，并符合实际，这就证实了本法的有效性和可靠性，有一定的参考价值。     

一种点扫描形貌测量系统的现场标定方法

针对三角法点扫描形貌测量系统结构参数标定的非线性问题,提出并实现了一种简单易行的系统结构参数现场标定方法.利用二维靶标在测量空间内自由摆放,根据靶标上特征点及其像点间的位置关系,基于坐标系转换实现了点扫描形貌测量系统结构参数的精确标定.通过对平面及已知直径圆柱面进行测量,利用测量点到拟合平面或圆柱面的距离评价了系统标定的精度.所提标定方法无需精密调整靶标位置,具有较高的可靠性与实用性;也可用于其它基于三角法原理的三维形貌测量系统结构参数的标定.     

基于BP神经网络的雷达装备维修质量评估研究

通过对雷达装备维修质量影响因素和众多参数进行分析权衡,建立了装备修后维修质量评估指标体系,鉴于评价体系包含许多复杂的不确定性因素,为衡量其对维修质量的影响程度,弥补传统评估方法的不足,构建了基于BP神经网络的雷达装备修后维修质量评估模型,并通过实例验证了模型的科学性、合理性和公正性。     

基于扩展Petri网的除冰软件安全需求建模和验证

Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题.