组合服务控制流测试

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

一种新的民用飞机修理级别优化模型

修理级别分析(LORA)是飞机保障性分析的一个重要内容,是在设计阶段评估维修对飞机成本影响的一种系统分析方法。现有的LORA经济性分析模型对于系统寿命周期的维修费用考虑不够,且不适合民用飞机维修特点,基于此,提出了一个适合民用飞机维修规划三层三级的LORA经济性分析的数学模型,在此基础上,以最小化维修成本为目标建立了维修级别优化模型,并利用免疫粒子群算法超强的多变量、非线性及全局优化能力,对所提出的民机维修级别优化模型进行了求解。最后通过算例的比较分析,说明了本文LORA经济性分析模型的合理性以及模型求解算法的高效性。     

有动力通用再入飞行器的轨迹设计与优化

研究了有动力通用再入飞行器的燃料最优巡航轨迹,将问题转化为求解最优稳态巡航轨迹和最优周期巡航轨迹问题。基于稳态动力学方程求解了全局最优稳态巡航轨迹,采用直接打靶法求解了最优周期巡航轨迹,求解过程均考虑了质量变化。结果表明,与全局最优稳态巡航轨迹相比,在一个周期内,最优周期巡航轨迹在燃料消耗和吸热量两个方面都更具优势,采用超燃冲压发动机和火箭发动机分别可以节省4.75%和3.96%的燃料,吸热量分别减小10.4%和5.9%。     

一种有限推力航天器交会轨道的鲁棒设计方法

基于C—W方程描述的二体相对运动模型,考虑利用范数有界方法刻画航天器交会过程中的参数不确定性,并结合控制推力受限的工程需要,提出了一种在不确定环境下有限推力航天器交会轨道的设计方法。通过构造Lyapunov函数,将此设计问题转化为一个具有线性矩阵不等式约束的凸优化问题,通过求解此问题即可设计出符合航天器交会要求的鲁棒状态反馈控制器。     

燃气涡轮性能试验台的控制因素敏感度分析

针对某燃气涡轮性能试验台,选择空气流量、燃油流量、水流量以及涡轮背压作为控制系统的主要控制量。通过建立工作点附近的线性“小偏差”方程,讨论了以上四种因素对于涡轮的入口压强、入口温度和转速这三个状态变量的影响程度。压强主要取决于空气流量．温度对空气和燃油均有一定的敏感性,转速则主要由水流量来控制。基于以上判断确定了试验台的手动调节规律。     

大转角涡轮叶栅复合弯曲定性分析与应用验证

通过定性推导分析了复合弯曲对叶栅吸力面静压分布与端部周向迁移流体折转过程的影响,明确了复合弯曲对大转角高负荷平面涡轮叶栅流场的影响机制,并结合已有仿真结果进行了初步验证。复合弯曲是在反弯叶片吸力面端部进行局部正弯,令叶片压力面反弯、吸力面端部正弯结合叶身反弯的造型方式。研究表明,复合弯曲设计通过改变吸力面低能流体的展向迁移趋势与周向迁移流体的折转趋势抑制了叶栅二次流的发展。一方面,复合弯曲设计调节了叶展中部与叶栅端部附近吸力面逆压梯度与展向静压梯度分布,抑制了吸力面低能流体向脱落涡与壁角涡高损失区的迁移与堆积;另一方面,复合弯曲设计影响了周向迁移流体折转过程,抑制了周向迁移流体向叶栅端部的折转及其折转过程中与吸力面附近流体的掺混。因此,复合弯曲设计能够在常规反弯基础上进一步改善叶栅流场。      

多轴联动条件下插补速度实时可调的前瞻控制算法

针对目前多轴联动条件下S形加减速算法复杂,一条插补线段内最大进给速度不能实时可调的问题,提出了一种插补速度实时可调的前瞻控制算法。算法首先根据机床特性和线段夹角建立了小线段衔接处进给速度的约束条件,然后采用加速度跟随原理提出了最大进给速度连续可调的S形加减速控制方法,在此基础上设计了一种加速度自适应调整的前瞻处理算法。该算法在不降低轨迹插补精度的前提下,能以最大的速度通过线段的转接点,从而使整个线段插补过程具有高度的柔性和快速性,能满足现代数控系统对前瞻处理的实时性要求。结果表明该算法有效降低了机床运动时的振动,与传统速度规划算法相比,同等加工条件下,加工效率明显提高,工件表面质量也得到改善。     

飞机-驾驶员闭环系统模糊预见控制器设计

针对驾驶员操纵延迟和飞机不确定性所导致的人-机系统跟踪性能降低的问题,提出一种基于T-S模糊模型的鲁棒预见辅助驾驶方法。建立驾驶员-飞机时滞不确定T-S模糊模型,引入预见控制思想补偿驾驶员延迟,以跟踪误差和驾驶员操纵负担为性能指标,将存在模型不确定性的人-机指令跟踪问题转化为模糊最优保性能控制问题,并推导了该凸优化所应满足的线性矩阵不等式。为克服预见步数增多引起增广系统维数较大、进而导致线性矩阵不等式不易求解的缺陷,设计了一种次优的预见控制器。最后,分别通过驾驶员模型仿真和飞行模拟器实验,验证了所设计的模糊预见控制器的有效性。     

脉冲推力轨道拦截可达性描述及求解方法

针对航天器单脉冲轨道拦截可达性分析问题,基于共面变轨、逆轨拦截假设,考虑能量、时间和交会角约束,提出了拦截航天器可拦截区和可发射区的概念。在航天器单脉冲空间可达范围的基础上,进一步考虑了目标轨道的约束,建立了目标轨道命中区的计算策略,对异面轨道交叉点为燃料最省点做出了解释。把拦截可达性相关的问题归纳为8个基本拦截问题,通过这8个问题的组合,描述了考虑能量、时间和交会角约束下拦截问题的可拦截区和可发射区的计算方法。采用圆轨道共面变轨、逆轨拦截场景进行了仿真验证,结果表明该方法能够快速有效地计算出约束条件下航天器的拦截可达范围,能够用于分析特定任务情况下的拦截可达性。     

基于多种空间信息的高光谱遥感图像分类方法

在高光谱遥感图像分类方法中,空间特征和光谱特征的融合可以有效地改善分类效果。针对单一空间特征的信息表达不充分问题,提出了一种联合多种空间特征的高光谱图像空谱分类方法。利用超像素信息对分类结果进行后处理去掉椒盐噪声,并创造性地将超像素信息应用于分类前处理,提出了一种利用超像素信息对像素点的特征向量进行线性加权融合的方法。试验结果表明,所提方法的性能优于目前的通常方法。