组合服务控制流测试

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

机器人视觉系统模糊识别抓取物算法

针对机器人视觉系统对抓取物的模糊识别问题,参照人眼-脑识别对象的过程,建立了包括区域分割与模糊识别两个环节的识别算法.以视觉图像的灰度与色度特征作为区域分割与模糊识别的依据,从灰度、色度及形体特征上提取特征集的指标,并根据经walsh变换后图像灰度迅速向低频聚集的特点,提出基于walsh变换的基元模式识别特征的定义方法.在构建识别目标矩阵与关系矩阵的基础上,应用模糊关系合成与最大隶属度原则建立识别算法.该算法可从少量的采样点中识别出对象,具有较好的实时性.     

基于弯振模态的螺纹杆式直线超声电机(英文)

介绍了基于弯振模态的螺纹杆式直线超声电机的运行机理.在梁弯曲振动模型的基础上,对螺纹杆式直线超声电机进行动力学分析,推导出电机定子驱动点的空间运动轨迹方程,并阐明了电机运行机理.本文应用有限元法分析了电机的振动模态和结构,设计并研制了样机.样机定子的尺寸为13 mm×13 mm×30 mm,最后对电机输出特性进行了测试,最大输出力为5.2 N.     

地磁图制备方法及其有效性评估

高精度地磁图制备是地磁匹配导航关键技术之一.在简单介绍4种网格插值方法原理的基础上(反距离加权插值法、克里金插值法、改进的谢别德插值法以及径向基函数法),应用实测地磁数据,选取测点分布较均匀区域,根据上述插值方法分别制备地磁图,并通过交叉验证统计准则对地磁图制备方法的有效性进行评估.结果表明,径向基函数插值法制备的地磁图"鸭蛋"形分布较少,地磁图等值线较圆滑,其标准偏差远小于其它方法的标准偏差,且其标准误差以及平均偏差也最小,具有较高的插值精度,能更好地反映该区域地磁场分布情况.     

亚燃燃烧室稳态工作过程数值研究

采用Fluent流场计算软件,对液体亚燃冲压发动机燃烧室的稳态工作过程,包括点火前的冷流场与点火后的两相反应流场进行数值模拟研究。首先,通过二维计算,对比研究两种不同阻塞比燃烧室方案的冷流损失特性与回流区特性,进行方案初选。随后,对选型后方案进行两相反应流场计算,研究燃烧室热态工作过程的温度场、燃油分布与燃烧效率的一般规律,比较并选择适合的燃油供应方案;最后,对燃烧室进行三维详细结构的建模并计算。计算结果很好地揭示了燃烧室内的流动和燃烧过程,与试验数据吻合较好。     

基于模糊理论的航天发射场火箭煤油贮存泄漏风险研究

分析了导致火箭煤油发生泄漏事故的危险因素,对各影响因素进行了分类,通过层次分析法确定各因素的权重,运用模糊综合评价法对泄漏事故风险进行评价。评价结果表明火箭煤油在贮存过程中出现泄漏事故的风险等级为第4等级,即风险处于“较大”级别。     

某型导弹伸缩翼展开可靠性评估

与固定翼相比,伸缩翼能够有效减少飞机弹仓的空间占用,但由于伸缩翼存在运动机构,其带来的可靠性下降成为不可忽视的问题。为探究新型机构的可靠度,本文从理论方面计算某型伸缩翼展开机构的定位可靠性;采用 Adams 对伸缩翼展开过程进行仿真,结合 Adams/Insight 模块计算在考虑摩擦力条件下的卡滞可靠性,并对伸缩翼卡滞失效原因进行分析。结果表明：异物的存在使伸缩翼的定位可靠性显著降低,适当增加上下翼弹簧的预载荷能够有效减小伸缩翼展开机构的卡滞失效,上下翼弹簧在上翼质心产生的附加力矩会降低伸缩翼的卡滞可靠性。     

考虑管路的飞机液压刹车系统压力振荡分析

飞机液压刹车系统通常采用压力伺服阀控制刹车压力,由于布局限制,压力伺服阀和刹车作动器之间往往存在较长的液压管路.管路会给系统引入欠阻尼的频率特性,而且该特性会与压力伺服阀固有的局部压力闭环结构相耦合,使得压力伺服阀的输出压力容易出现振荡、失稳现象.因此通过在飞机液压刹车系统建模中考虑管路模型,在频域上分析了压力伺服阀与管路、容腔耦合的现象和原因,具体给出了管路参数和油液参数变化对压力闭环的影响,并通过时域仿真进一步验证了频域分析的结论.同时分析了匹配设计管路、增加系统阻尼和降低系统增益3种避免压力闭环控制振荡失稳的方法.为飞机液压刹车系统的设计与优化提供了理论参考依据.      

一种基于人工扰动电离层的通信对抗技术研究

研究了扰动后的电离层对不同波段的电磁波传播的影响,并探讨了该项技术在通信对抗上的具体应用。结果表明:受扰电离层可以引导VLF波进行"哨声模式"传播,进而实现对潜通信;可以使得HF波传播轨迹发生偏转、逃逸、聚焦和散焦,进而实现短波干扰;可以降低卫星通信频率,进而利用新波段实现卫星保密通信,同时还能产生透镜效应,对实现卫星通信的VHF电波产生额外增益,增强通信效果。     

Design and analysis of an extended mission of CE-2: From lunar orbit to Sun–Earth L2 region

Chang’E-2 (CE-2) has firstly successfully achieved the exploring mission from lunar orbit to Sun–Earth L2 region. In this paper, we discuss the design problem of transfer trajectory and at the same time analyze the visible segment of Tracking, Telemetry & Control (TT&C) system for this mission. Firstly, the four-body problem of Sun–Earth–Moon and Spacecraft can be decoupled in two different three-body problems (Sun–Earth + Moon Restricted Three-Body Problems (RTBPs) and Earth–Moon ephemeris model). Then, the transfer trajectory segments in different model are computed, respectively, and patched by Poincaré sections. The full-flight trajectory including transfer trajectory from lunar orbit to Sun–Earth L2 region and target Lissajous orbit is obtained by the differential correction method. Finally, the visibility of TT&C system at the key time is analyzed. Actual execution of CE-2 extended mission shows that the trajectory design of CE-2 mission is feasible.