空天信息支持反卫星作战军事概念模型

以空天信息支持反卫星作战为基础,分析了反卫星作战的工作过程,综合采用形式化概念建模语言,重点建立了空天信息支持反卫星作战的军事概念模型,为建立数学模型、逻辑模型提供足够完备和详尽的信息,为模型的验证提供可追踪的参照.     

实时嵌入式软件系统测试需求建模研究

使用形式化语言构建测试需求模型,有助于提高系统测试的自动化程度.UML状态图具有形式化特征,适合复杂系统详细行为的描述.本文基于面向对象思想,以状态图为核心技术,结合类图,提出了一种适合实时嵌入式软件的系统测试需求建模方法.该方法对被测软件系统的静态结构和动态行为进行建模,能清晰、完整地描述测试输入信息,包括前置条件、接口数据、激励事件、过程描述、后置状态等.并通过相关的建模机制实现了对实时性、并发性、时序性及数据反馈等约束特征的描述.基于该方法生成的需求模型,结合一定的测试用例生成策略,可以自动生成测试用例.作为示例,本文结合该方法对某飞行器控制功能进行建模,模型具有简洁、直观、易用的特点.     

复杂系统仿真概念模型研究进展及方向

介绍了仿真领域里的概念模型的发展过程及研究现状，针对复杂系统仿真提出了复杂系统仿真概念模型，研究了复杂系统仿真概念模型的内涵和评价建模方法优劣的标准，探讨了关于复杂系统仿真概念模型的建模语言、描述方法、建模过程、验证方法和辅助工具五个研究方面的研究方法及方向。     

基于云理论的复杂系统MTTR验证方法研究

针对复杂系统MTTR的不确定性特点及传统验证方法的不足之处,提出一种基于云理论的MTTR验证方法。首先,根据复杂系统的结构特性,将复杂系统MTTR分解为系统级MTTR和总成级MTTR,并构建2者的关系模型;其次,在对复杂系统MTTR分解的基础上,根据MTTR云化流程生成总成级MTTR云模型和系统级MTTR云模型;最后,通过示例分析对比对该方法进行了校验。该方法为研究复杂系统MTTR验证提供了新的思路。     

电子对抗事件建模方法在危机预测中的应用

提出了一种用于危机预测的电子对抗事件建模方法,该方法主要使用电子目标参数特征、行为特征和环境特征进行危机事件建模.利用事件模型和电子侦察数据进行事件情报处理,能够有效提高电抗情报处理水平和危机预测能力,实现电抗情报从数据层向认识层的提升.通过仿真数据实现了危机事件预测,验证了该方法的有效性.     

北斗卫星注入校验信息传输时延分析及优化

北斗导航卫星上行注入校验信息主要用于上行注入导航信息的闭环校验及错误重注,具有较高的实时性要求;同时该类信息具有传输路径复杂、处理节点多、处理难度大的特点。文章分析了上行注入校验信息的使用方式、传输路径及传输需求,介绍了基于星间链路的星座信息传输方法。提出了一种工程应用可行的注入校验信息传输方案,进行了星内信息传输流程设计,描述了各个传输节点的信息路径,分析了各个节点的传输时延,提出星地同步注入策略和动态调度措施,对信息传输时延进行了综合评价和优化改进,将传输时延优化压缩至1200～1800 ms。对卫星在轨数据进行了分析,验证了优化措施及分析结果的有效性,可以有效满足卫星工程应用的需求。     

质量矩导弹固定时间二阶滑模控制方法

针对三轴稳定的双滑块质量矩导弹,基于动态系统零点配置原理提出一种快速固定时间二阶滑模控制方法。首先建立具有完整耦合动力学特征的质量矩导弹姿态动力学模型;其次,基于典型动态系统进行零点配置原理分析和收敛时间估计;在此基础上,提出动态过程可调节的固定时间二阶滑模控制方法,并对系统收敛时间的上界进行估计;最后,针对质量矩导弹的仿真校验了设计方法的有效性。     

如何在应用软件中实现财务数学公式自定义

本文实现了在开发具有数据校验功能的软件时,一种全新的数据校验方法,将传统的写在程序中的校验公式或利用手工进行检验数据的方式完全抛弃.该种方法具有配置灵活、维护简单和功能强大的特点,利用界面元素命名方法,内置校验公式到各个界面元素中,而公式是可以灵活维护的,一般是将公式存贮在数据库表中,在软件需校验数据时,从数据库表中读取公式,根据公式中涉及到的各种界面数据项进行自动的数据校验并得出校验结果.这对需大量数据校验和校验算法经常改变的软件是非常有用的.     

加速度载荷下推进剂力学行为研究进展

为探究加速度载荷条件下固体推进剂及装药的力学行为,首先分析了加速度载荷条件下固体推进剂装药力学响应呈材料非线性、几何非线性和边界条件非线性的特点,并从宽泛应变率力学性能试验、线性与非线性粘弹性本构模型、失效准则、结构力学响应、装药检测验证等五方面,对加速度载荷条件下固体推进剂动态力学行为进行了综述.结果表明,完善深化加...     

液滴发生器均匀液滴生成过程的动态特性

为了提高液滴发生器生成均匀液滴的稳定性,研究了液滴生成过程的动态特性。在传统射流表面波不稳定性理论的基础上,考虑液滴发生器动态特性的影响,建立了组合动力学模型,确定了传递函数与传递矩阵,并就Re数与We数等对射流表面波增长率的影响以及喷嘴长径比对液滴生成过程动态特性的影响规律进行了分析。采用丙二醇作为液体工质进行了计算与试验校验,结果表明当生成的液滴速度大于19m/s时,组合动力学模型计算得到的最优无量纲波数较射流表面波不稳定性模型结果偏差超过6%;而对于液滴速度30m/s设计工况,两种模型计算结果偏差近10%,此时液滴发生器动态特性的影响不能忽略。     

基于超梁降阶模型的复杂梁式结构动力学模型修正及确认

提出了一种基于超梁降阶模型的复杂梁式结构动力学模型修正技术。依据超梁降阶模型理论,并考虑可能的修正参数,将复杂梁式结构降阶为具有较高计算精度的超梁降阶模型;而后,利用基于灵敏度分析及优化算法的模型修正技术,并根据模态测试数据对模型参数进行修正,获得能够准确反映实际结构动力学特征的修正模型。最后,通过多种动力问题分析对修正模型进行评估,并与实际结构的响应结果进行对比。以典型蒙皮加筋圆柱壳为例实现这一过程。结果表明,所提出的模型修正方法具有可行性和较高的计算效率。     

概念设计中可重构航天器动特性快速预示方法

为解决概念设计中可重构航天器结构动特性快速评估问题,考虑接触、摩擦等因素影响,提出一种动特性快速预示方法。该方法针对典型可重构航天器特点,处理流程包括动特性分析与辨识、基于虚拟材料的模型等效及等效参数估计,实现了精细化模型的等效替代。仿真校验中,利用本文方法对构型设计方案进行了预示,在所得结果能较为准确反映结构动特性的前提下,有效提高了分析效率。该方法能够保障可重构航天器概念设计工作,并为构型方案的设计迭代与优化提供实现基础。     

分离模块航天器综合评估方法研究

以分离模块航天器概念设计阶段的方案评估分析为目标,提出一种基于数学建模和蒙特卡洛模拟的定量化评估分析方法框架。首先,定义了分离模块航天器生命周期状态及其转移过程,建立了状态转移概率矩阵,将生命周期不确定风险因素在状态转移过程中加以考虑;进而,基于系统状态模型建立了分离模块航天器生命周期成本和净收益计算模型;然后,以生命周期成本和净收益的均值和标准差作为评价指标,提出了基于蒙特卡洛模拟的综合评估仿真分析方法;最后,采用典型设计案例进行了分析与验证。     

考虑气动加热和变截面惯性矩的高超声速飞行器建模与分析

由于高超声速飞行器弹性机体/发动机的高度一体化设计,使得此类飞行器的动力学建模与控制较为复杂,而作为控制的基础以及面向控制的总体优化设计都需要建立高精度的动力学模型。首先,建立了考虑气动加热和变截面惯性矩影响的高超声速飞行器自由梁结构弹性模型,分析了气动加热和变截面惯性矩对飞行器振型的影响,得出了气动加热对振型影响非常小且振型引起的攻角变化很小,变截面惯性矩对飞行器的振型影响较大且振型引起的攻角变化较大的结论。然后,建立了考虑气动加热和变截面惯性矩影响的自由梁高超声速飞行器动力学模型,对考虑气动加热和忽略气动加热、恒截面惯性矩和变截面惯性矩对应的动力学模型进行了零极点分布对比分析,得出了气动加热对飞行器的纵向动态特性影响很小,变截面惯性矩自由梁对应的高超声速飞行器在特征点处开环不稳定性更大和非最小相位行为约束变弱的结论。     

航天器电源系统的动态特性研究

对采用锂离子电池作为供电部件的航天器电源系统进行动态特性研究,以关键的内阻参数为变量建立传递函数,描述用电部件上电时引起的瞬时电流与电压动态变化的关系,对单个用电部件提出阻抗匹配的规则,对多个用电部件的复杂电源系统建立离散仿真模型。以使用无电压调节母线的航天器作为案例研究,仿真结果显示,文章提出的研究方法能够有效反映多个部件上电过程中母线电压的动态特性,可为电源系统的设计提供参考。     

基于一种隶属函数的夹具相似度计算模型

针对夹具概念设计过程的复杂性和设计结果的不确定性等缺点,将基于实例推理技术应用于夹具概念设计过程当中。并根据夹具特征和概念设计中的模糊需求,选取三角函数作为隶属函数进行相似度计算,构建相似度计算模型,并将其应用于夹具实例推理过程中,最终实现简化夹具设计过程和提高设计效率的目的。     

一种卫星飞行模拟器的热控分系统模型设计

设计了一种飞行模拟器的热控分系统模型,用于仿真卫星在轨正常和故障状态下的温度情况.为了保证热控分系统的仿真功能、速度和精度,构建了一个完整的热控分系统架构,并采用一系列数学模型来描述卫星的热状态变化,尤其是采用了基于偏微分方程的卫星主体热数学模型.最后,根据仿真结果与热分析数据以及卫星在轨数据的对比,对热控分系统设计进...     

大型伞绳帆和抽打现象连续模型及验证

文章主要推导了可用于描述大型降落伞绳帆和抽打现象的一般绳索三维动力学连续模型,及弦坐标系下可用于求解绳帆现象的两点边值问题(BVP)模型,并采用某型号大型降落伞的空投录像和杆件算例对模型进行验证对比,说明了模型的正确性,采用这一连续模型能够更直观地对大型伞的绳帆和抽打现象进行定性和定量分析。