面向普适计算应用的构件定义语言UCDL

普适计算的适应性特征对于软件重用的要求决定了构件模型是目前普适计算软件体系结构的理想选择.在面向普适计算的自适应软件平台UbiStar的研究过程中,为了准确地对普适应用中构件的外部特征进行抽象描述,参考了CORBA构件模型使用IDL3和CIDL对构件进行特征抽象的方法,结合UbiStar普适计算平台的特点与需求,提出了一种适用于普适计算环境的构件定义语言UCDL,并且给出了一个应用示例.     

基于改进协同遗传算法的有效载荷系统功能序列规划方法

针对传统回溯算法在求解基于知识模型的有效载荷系统功能序列规划问题中搜索效率低的问题,提出一种基于"择劣变异"(Worst Individual Mutation,WIM)策略的协同遗传算法(Co-evolutionary Genetic Algorithm,CGA)的改进算法WIM-CGA。该算法在遗传过程中采用双路线进化方案,即"择优实施标准遗传过程,择劣实施变异操作",达到提高求解精确度及搜索效率的目的。仿真结果表明,同等测试条件下,当功能规模为50,约束密度为1.0时,WIM-CGA算法在限定时间内最优解的平均精确度比优化的回溯算法提高了54.15%,比CGA算法提高了6.18%,且当所得解的精确度大于90%时,WIM-CGA算法比CGA算法的迭代次数减少了65.79%,耗时降低了48.97%,显著提高了功能序列规划的效率。     

基于 OSG 的战场态势仿真系统的设计与实现

本文以战场态势信息的三维实时显示为需求,首先根据模块化设计思想,在OSG框架下分析了战场态势的仿真流程,然后详细阐述了实体显示、轨迹显示、标注信息显示的实现方法,最后对所设计的模块进行集成,实现了一个战场态势仿真系统。通过仿真结果表明,本系统的可视化效果好、实时性高、沉浸感强,在未来的信息化战争环境下有着重要的应用价值。     

基于仿真实验的弹道导弹阵地优选

合理部署弹道导弹位置对于提高作战效能具有至关重要的作用。基于解析计算的优化方法难以反映环境因素、武器装备的技术和动力特性等不确定性因素对部署位置的影响,求得的结果存在置信度低的问题。故将解析法与仿真实验相结合,以体系对抗条件下弹道导弹作战效能评估的数学模型为基础,建立了由各种作战实体和行动的模型聚合而成的弹道导弹攻防对抗仿真模型,然后通过仿真实验找出最优部署位置,最后给出了应用示例。实验表明该方法具有速度快、效率高、结果清晰直观的特点,可为指挥员提供科学、快速的决策支持。     

高焓高压空气加热器壁面传热过程数值计算

以一种高焓高压空气加热器为研究对象,对其冷却通道的流动和传热进行了三维数值仿真,冷却剂采用液态水,燃烧室和喷管分别采用不同的壁面材料,考虑壁面材料物性随温度的变化,并通过加热器热试验证了数值仿真结果的正确性。在此基础上,对比分析了气体辐射、冷却通道结构以及冷却水的流动方式对壁面换热的影响。结果表明:气体辐射对加热器燃烧室段壁面换热影响较大,对喷管壁面换热无明显的影响。在传热计算中,忽略气体辐射会引起较大的误差;冷却通道数和宽度存在最优组合,使得壁面换热量最大。冷却水的流动方式对燃气侧壁面温度影响较小,但对冷却液侧壁面温度的影响较大。     

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

内外干扰因素对液体火箭发动机的影响分析

在已有的液体火箭发动机稳态工况的非线性数学模型基础上,计算分析了单干扰因素对液体火箭发动机参数的影响,用非线性方法和小偏差方法对比分析了两个干扰因素分别和共同对发动机参数的影响。所得结论可用于泵压式燃气发生器循环的液体火箭发动机试验结果分析、可靠性及故障分析,也揭示了此类发动机参数随各种干扰因素的变化规律     

舰载综合反潜分系统仿真训练系统构建与优化

阐述了各型反潜系统的性能、特点与组成,分析了舰载反潜武器作战过程,利用结构化设计思想构造了反潜作战仿真模型,以最新型反潜火控设备为依托,结合部队模拟训练的特点,运用创新设计理念,优化了反潜分系统界面与指挥控制流程,对仿真模拟分系统的研制具有参考价值。     

纯引力轨道验证质量辐射计效应与气体阻尼耦合模型的数值分析

辐射计效应和气体阻尼是纯引力轨道验证质量的重要干扰力,是影响纯引力轨道构造水平的重要因素.在纯引力轨道飞行器中,这两种力分别描述了由腔体中温度梯度和验证质量相对运动引起的气体分子作用,两者从不同角度描述了气体分子作用力,均是气体分子作用力的一部分,而两者的耦合模型则可以反映验证质量受到的气体分子作用力总和.针对耦合模型形式复杂的特点,本文以内编队系统为例,利用数值方法分析了耦合模型中的影响因素,这些因素包括内卫星相对运动速度、内卫星半径、外卫星腔体半径、腔体平均温度、腔体温差和腔体平均压力等.对大量计算结果进行了数据拟合,给出了内卫星气体分子作用力与各物理参数关系的拟合公式,和原始计算结果相比,拟合误差在20％以内.     

多柔体系统动力学模型的集中参数近似方法

提出了有限元方法和数值积分相结合获得多柔体系统集中参数模型的近似方法,并基于lagrange方程,对有根树型拓扑结构的多柔体系统进行建模。