组合服务控制流测试

结合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.     

振荡水柱波能发电装置冲击式透平的三维数值模拟研究

目前波能发电装置中应用最为广泛的是振荡水柱式,具有导流叶片的冲击式透平因其峰值效率高,启动性能好等优点而受到越来越多的重视.采用计算流体力学软件Fluent 6.2的三维数值模拟技术对该种透平装置进行了研究.控制方程为雷诺平均方程,并利用重整化群RNG湍流模型闭合方程组.数值计算结果与试验值较为吻合,说明该方法有效可靠.考察了网格类型及网格数对计算结果的影响,研究了在不同径间比条件下,动叶片表面的压力分布情况,计算了径间比在不同流量系数范围内对输入系数、扭矩系数及透平效率的影响.对动叶片表面空气流动迹线分布进行了考察.根据以上研究结果,对不同流量系数下透平径间比的设计取值提出了建议.     

激光参数对光船性能影响分析

采用三温度11组元热化学非平衡空气模型计算了激光能量在等离子体中的沉积过程,并在激光脉冲作用结束8 μs后采用平衡空气模型,完成激光推进光船工作过程的数值模拟,研究了不同入射激光能量和脉冲宽度对光船推进性能的影响。结果表明:当脉冲宽度相同时,入射激光能量越大,所得冲量耦合系数越大;当入射激光脉冲能量相同时,脉冲宽度越小,所得冲量耦合系数越大。将计算所得冲量耦合系数与Schall实验所得结果进行比较,结果非常吻合。     

塞式喷管二次喷射推力矢量控制研究

采用流体二次喷射方案,对塞式喷管发动机进行了不同工况的推力矢量控制冷流试验研究。在试验中,主要对影响推力矢量控制性能的参数:二次流流量、位置、喷射角度、二次流喷射孔的数量以及喷射孔出口面积大小等进行了研究。试验数据表明:二次流的工作参数和环境压力对侧向力的影响比较大。在高空环境下,推力矢量控制效果比较好,但在地面条件下,产生的侧向力比较小。二次流喷射产生侧向力的同时,对轴向力也有一定的增加。     

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

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

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

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

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

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

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

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