基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。     

某型导发架通用测试系统软件复用性设计

测试软件的复用性是摆在测试界面前亟待解决的重要问题。运用统一建模语言(Unified Modeling Language,UML)对测试软件进行建模,包括:测试系统的类图、软件功能分解、功能子系统的上下文模型、测试软件需求特征树以及软件功能子系统的顺序交互视图。在Visual C++6.0环境中,采用"应用程序框架+可复用构件"开发方式,实现了基于可复用构件的某型导发架测试系统应用软件组装,成功解决了导发架测试领域内同一系列产品间测试软件的可复用问题。     

复杂系统的MTTR建模研究

现代武器系统的结构越来越复杂,在进行系统修复前,系统往往发生多个故障的情况,致使原来的维修性模型不能完全地反映系统的维修性水平。针对多重故障的维修,推导出一种能反映这种情况下的维修性预计的平均修复时间(MTTR)数学模型。模型中的一次维修事件由原来的只进行单一故障维修扩展到可以对多个不同故障进行维修的情况,更好地反映了复杂系统的实际维修情况。通过实例验证了该模型能实际地反映出复杂系统的维修性情况,从而更加准确地预计出系统的维修性水平。     

Optimal control of a production‐inventory system with both backorders and lost sales

We consider the optimal control of a production inventory‐system with a single product and two customer classes where items are produced one unit at a time. Upon arrival, customer orders can be fulfilled from existing inventory, if there is any, backordered, or rejected. The two classes are differentiated by their backorder and lost sales costs. At each decision epoch, we must determine whether or not to produce an item and if so, whether to use this item to increase inventory or to reduce backlog. At each decision epoch, we must also determine whether or not to satisfy demand from a particular class (should one arise), backorder it, or reject it. In doing so, we must balance inventory holding costs against the costs of backordering and lost sales. We formulate the problem as a Markov decision process and use it to characterize the structure of the optimal policy. We show that the optimal policy can be described by three state‐dependent thresholds: a production base‐stock level and two order‐admission levels, one for each class. The production base‐stock level determines when production takes place and how to allocate items that are produced. This base‐stock level also determines when orders from the class with the lower shortage costs (Class 2) are backordered and not fulfilled from inventory. The order‐admission levels determine when orders should be rejected. We show that the threshold levels are monotonic (either nonincreasing or nondecreasing) in the backorder level of Class 2. We also characterize analytically the sensitivity of these thresholds to the various cost parameters. Using numerical results, we compare the performance of the optimal policy against several heuristics and show that those that do not allow for the possibility of both backordering and rejecting orders can perform poorly.© 2010 Wiley Periodicals, Inc. Naval Research Logistics 2010     

收发合置情况下海底混响仿真

为了实现收发合置情况下海底混响时间序列仿真,提出了一种混合模型方法。该方法将点散射模型方法与单元散射模型方法混合使用,既能够克服单元散射模型方法中高斯分布假设带来的计算误差,又能够克服点散射模型方法计算复杂的问题。针对窄带发射信号,为了便于计算,设计了一种适用于任意采样率的基于复包络的混响信号仿真方法。最后,通过仿真试验证实了仿真方法的有效性。     

分布式卫星系统相对运动的Hamilton力学建模及求解方法研究

介绍了地球扁率摄动下分布式卫星系统(DSS,Distributed Satellite System)相对运动的Hamilton动力学模型,给出DSS相对运动的Hamilton正则方程;针对地球扁率摄动下DSS相对运动的两点边值问题,提出了一种基于生成函数的打靶求解法,应用该方法对地球扁率摄动下DSS高精度构型调整问题进行了计算,结果表明该算法具有较高的计算效率,可有效避免维数灾难问题。     

小型固体运载器一、二级分离动力学与仿真研究

某低成本小型固体运载器采用侧喷流和栅格舵联合进行姿态控制。针对该布局,设计引入闭环姿态控制的一、二级级间冷分离方案。在描述级间分离过程的基础上,建立了分离运动学与动力学模型,解锁与分离冲量装置模型,气动力模型以及分离姿态控制律模型,讨论了碰撞判断条件,通过Monte Carlo仿真验证了参数不确定条件下分离姿态控制律设计对于避免碰撞和减小上面级初始姿态偏差的有效性。结果表明所设计的分离方案在充分发挥冷分离优势的同时能够弥补由冷分离时间长引起的上面级初始姿态偏差,能够有效避免级间碰撞。为该运载器的级间分离方案提供了一种可能的选择。     

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

基于云-神经网络的液体火箭发动机故障检测方法

根据故障检测原理,研究和实现了基于云-神经网络的液体火箭发动机故障检测方法。根据训练结果、测试结果和故障检测结果可以看出,云-神经网络用于液体火箭发动机的故障检测是可行的,经过历次试车数据验证,该方法没有误报警和漏报警。     

基于物理模型的行星轮系特征提取与评估方法

特征提取与评估是损伤检测和故障预测的基础。针对2K-H行星轮系缺齿损伤,建立了行星轮系的损伤模型,通过分析模型的仿真信号,提出了基于主频边带、小波变换和经验模式分解的多种损伤特征,并采用双样本一致性检验方法对所提取损伤特征的分类能力进行了评估,采用含噪声的仿真信号和试验数据对损伤特征进行了验证。验证结果表明,所提取的损伤特征均具有较强的分类能力,其中主频边带特征的分类性能最优。