组合服务控制流测试

结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.     

传声器校准用活塞发生器的数学模型

通过理论分析推导出活塞发生器的数学模型,并且通过实验验证了模型和实测声压的一致性。     

飞机燃油箱气相空间平衡氧浓度理论研究

油箱上部空间平衡氧浓度的确定是设计机载油箱惰性化系统的基础。采用微元段计算方法,在考虑载油量、压力随飞行高度变化、燃油温度和燃油蒸汽压的情况下,建立了油箱上部气相空间平衡氧浓度的数学模型。首先将模型计算结果与文献公布的数据进行了比较,验证了模型的正确性。然后分析了不同因素对平衡氧浓度的影响。研究结果表明:不同燃油的氧氮溶解特性会对平衡氧浓度造成直接影响;平衡氧浓度与载油量有关,且不呈线性关系;燃油温度增加后,平衡氧浓度下降;此外,随着飞行高度增加,由于气相空间总压和氧氮分压下降,燃油的蒸汽压对平衡氧浓度的影响也越大。研究结果将为惰性化气体流量的估算和设计提供一定的理论基础。     

基于时域分析法的无人机飞行质量综合评价方法

以人为主对部队飞行训练质量进行定性分析,存在对训练效果难以做出公平、合理解释以及主观性强的问题。为此,提出一种行之有效的飞行质量综合评价数学模型。依据飞行训练大纲、部队调研掌握一些资深飞行员经验,建立了飞行质量综合评价的层次结构以及基本动作层的评价指标体系。利用时域分析原理,结合飞参数据现实需求,提出了合适的时域分析指标,权重以G1法进行确定,针对各个指标展开定量分析,评价结果合理。便于对训练期间的问题进行查找,提升飞行员操作水平。     

管式减涡器入口局部压降和流阻特性

使用CFD仿真分析的方法,研究了带有导流管式减涡器的盘腔内空气流动和损失特性,重点阐明了导流管的减阻机理,特别是不同结构下管口处的流动与局部损失特性,并提出了一个数学模型来预测导流管盘腔内的压力。研究表明:管口处的流动及损失特性与管口之前的流动状态密切相关,且管口处发生的静压损失不容忽视,约占具整个盘腔损失的11%;合适的导流管长度可以有效的改善管口处的损失,在当前研究工况下具有最佳导流管长度的结构可以降低约25%的管入口处局部压降,约10%的整体静压降;建立了可以精确计算盘腔内压力分布的数学模型,模型计算结果与CFD结果相比平均误差约为53%。      

带收益的车辆路径问题研究综述

车辆路径问题是企业实现物流配送的关键环节,对带收益的车辆路径问题的研究进行了综述。根据目前该问题的研究进展,对相关的研究进行了分类;分析了该类问题的特点,探讨了相应的0-1整数规划模型及集划分模型,总结了求解该问题的精确算法与启发式算法。介绍了该问题在实际中的应用,展望了其研究前景,为相关研究指出了方向。     

空间站集成全局热数学模型的建模和分析

为了分析某空间站的综合热性能,建立了该空间站的集成全局热数学模型（IOTMM）。文章介绍了该空间站的物理模型、工作模式、热节点网络模型和流体网络模型,其中流体网络模型主要由氨外回路、低温水回路、中温水回路、舱内通风回路和舱间通风回路组成,最后利用IOTMM分析了空间站在载人飞行模式下各种设备的温度变化情况。     

航天器真空热试验用加热板的数值仿真

文章针对加热板在航天器热试验中的传热特点,利用Thermal Desktop软件建立了加热板和空间模拟器热沉的热数学模型,分析了电热丝数量、加热板材料和液氮管路布置方式对加热板升、降温时间和温度分布的影响;建立了模拟星、加热板和热沉的热模型,分析了加热板和星表间距对模拟星表面温度的影响。根据分析研究结果,提出了加热板设计及其在航天器热试验中的应用方法建议。     

基于支持向量机的滚动轴承状态寿命模型

使用状态寿命(即状态良好、初始损伤、故障发展和即将失效4个寿命阶段)描述滚动轴承的使用寿命,并建立了滚动轴承的状态寿命评估模型.状态寿命评估模型建模的关键是振动信号的特征提取和状态的识别算法.针对滚动轴承振动的特点,提取小波包重构信号的频带能量构造特征向量,利用支持向量机作为辨识算法建立滚动轴承状态寿命评估模型,并讨论了模型参数确定等关键问题.滚动轴承全寿命试验验证了模型的有效性和可信性.      

低冲击分离装置冷气驱动分离过程的动力学建模与试验

介绍了一种低冲击分离装置的结构,并对冷气驱动分离试验进行了分析,依据能量守恒公式和空气动力学原理,为分离装置的冷气驱动分离过程构建了数学模型;对某型号的低冲击分离装置的冷气驱动分离过程进行了仿真和试验,仿真结果与试验数据相吻合;对冷气驱动试验过程中部分参数变化对分离过程中峰值气压的影响进行了仿真,仿真结果对分离装置的设计和优化具有指导意义。