摩擦约束弹塑性广义变分不等原理的一种新的简化证明

用拦格朗日乘子法，利用向量分析的工具及巧妙的变换，对带磨擦约束的弹塑性接触问题的变分不等原理进行了严格的证明。     

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

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

Novel passive localization algorithm based on double side matrix-restricted total least squares

In order to solve the bearings-only passive localization problem in the presence of erroneous observer position, a novel algorithm based on double side matrix-restricted total least squares (DSMRTLS) is proposed. First, the aforementioned passive localization problem is transferred to the DSMRTLS problem by deriving a multiplicative structure for both the observation matrix and the observation vector. Second, the corresponding optimization problem of the DSMRTLS problem without constraint is derived, which can be approximated as the generalized Rayleigh quotient minimization problem. Then, the localization solution which is globally optimal and asymptotically unbiased can be got by generalized eigenvalue decomposition. Simulation results verify the rationality of the approximation and the good performance of the proposed algorithm compared with several typical algorithms.     

SRAD-QFT鲁棒优化设计新方法

针对使用定量反馈理论进行控制系统设计时存在的鲁棒性度量等问题,结合随机鲁棒分析与设计原理,提出一种鲁棒优化设计新方法.该方法使用被控对象参数的统计信息对参数不确定性进行描述,基于闭环控制系统的蒙特卡罗仿真,将获得的闭环控制系统不稳定概率及各项性能指标的不满足概率作为闭环控制系统稳定鲁棒性和性能鲁棒性的度量,并在此基础上实现闭环控制系统的鲁棒优化设计.由某型超声速反舰导弹纵向运动控制系统的设计过程表明:该方法能够准确地描述被控对象的参数不确定性,有效解决控制系统的鲁棒性度量问题,适用于复杂控制系统的设计.     

基于随机文法的多功能雷达识别方法

 针对多功能雷达采用复杂体制而造成的辐射源不能正确识别问题,提出了一种基于随机文法(SG)的辐射源识别算法。该算法基于多功能雷达的句法模型,将威胁数据库中的多功能雷达文法分为随机正则文法(SRG)和随机上下文无关文法(SCFG)两种情况,并分别构造随机有限自动机(SFA)和随机下推自动机(SPDA)对测量辐射源进行识别。仿真实验表明,该方法不仅能识别出多功能雷达辐射源的型号及模式,而且能识别出雷达辐射源的功能状态,并进而推断出雷达辐射源的威胁等级。     

受宽带噪声激励的二元机翼随机振动系统的矩Lyapunov指数

通过计算受宽带噪声参激的二元机翼随机振动系统的矩Lyapunov指数,研究了系统的矩稳定和概率1稳定。首先在经典二元机翼颤振方程中加入随机激励,通过随机平均法、Girsanov定理和Feynmann-Kac公式得到关于矩Lyapunov指数的特征值问题。其次采用Fourier余弦级数对特征函数进行正交展开,得到系统矩Lyapunov指数的近似解析式。最后,通过Monte Carlo仿真验证了矩Lyapunov指数近似解析式的可信性,并讨论了系统参数、来流平均速度以及随机噪声谱密度对机翼稳定性的影响。     

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

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

基于微分Petri网的民机航迹演化通用模型构建

为实现对未来大流量、高密度、小间隔条件下的空域实施管理,在战略航迹规划阶段,提出了一种模块化的战略航迹演化通用模型。建立了不同航段之间航空器状态动态切换的一类宏观Petri网演化模型,以及同一航段内航空器速度和高度两种特征参数值连续变化的3类微观Petri网演化模型。根据航空器特征参数值转化的4种不同形式并基于航空器全飞行剖面的混杂运行特性,运用微分Petri网理论,定义了航空器的4种演化模式,通过组合各种演化模式得到了3种航空器基本演化模型。在满足航空器性能约束的前提下,通过设定10个航段及15个高度和速度预设值,得到了全飞行剖面下各特征参数的演化图。结果表明,所设计的演化模型增强了航迹预测模型的通用性,能够反映航空器在水平剖面和垂直剖面内的状态变化。     

随机型多目标决策的新方法

设计了一种多目标随机型决策分析新方法——交互式参考目标满足度与可行度法(IRGSD-FD),讨论了随机型决策分析的希望水平原则、解及替代模型的定义和确定性等价等问题,并对IRGSD-FD的应用结果进行了讨论。     

结构的最优预防性维修周期

提出了一种计算结构最优预防性维修周期的模型。首先将结构的初始损伤、使用过程中的损伤累积用主裂纹长度的分布加以定量描述。针对预防维修只能在离散的时间点上进行的结构,考虑结构的失效损失费和维修费用,根据使结构单位使用时间的费用（费用率）达到最小的原则,建立了选择最优预防维修周期的方法。最后对一结构作了具体计算。