基于uppaal的飞机着陆控制系统模型验证

为了避免飞机在着陆过程中出现事故,同时又能充分利用机场的跑道资源,对飞机数量多于跑道的情况进行了研究,采用了模型验证的方法.介绍了时间自动机的相关理论,以及基于该理论的验证工具uppaal,在此基础上使用uppaal工具对飞机着陆过程构造了模型,然后对模型的需求规范进行了验证,验证结果表明该模型不存在死锁问题,最终可以保证飞机安全和及时地着陆.     

关于提升文职人员业务能力的思考

聘任文职人员是军队用人制度改革的发展趋势,越来越多的文职人员被聘任为军校教员。从分析新型军事人才的培养需求出发,提出了对军校教员业务能力的新要求,并针对文职人员业务能力的不足,初步探讨了提高文职人员业务能力的培养方案。     

Development of Special Winding Machine for HT-7U Superconducting Tokamak

1. IntroductionThe Chinese National Fusion Research ProjectThe HT-7U superconducting tokamak physics experimental device hajs been approved by the Chinese Government and is under construction. TheHT-7U Superconducting Tokamak is an advancedsteady-state plasma experimental device to be builtin ASIPP [2]. The superconducting toroidal field(TF) magnet system of HT-7U consists of a toroidalarray of sixteen coils. The TF magnets are designedto react on the magnetic centering forces by w…     

齿轮的装配(续)

在大批和大量生产中用标准齿轮(胎)来检查安装在轴上的齿轮也很普遍,这时齿轮和轴1这一被检查部件(图12)安在套子2上,并顶在顶尖3上。使被检查齿轮和安在轴5上的标准齿轮4咬合,轴5装在滑板6上,滑板 6由弹簧7压住,使咬合齿轮彼此靠紧,挡铁8在滑板上这时经常压在千分表9的触针上。在回转被检查齿轮时,咬合误差将使轴5和滑板6移动,这可以从千分表9的指数上看出来。同时在这上面也可以检查部件的齿轮横振,为此目的,上面安有千分表10,杠杆11用来在往卡具上安齿轮和轴时後退滑板6的。 安装齿轮检查之後还必须查视一下,注意其表而,端都肯缘(可能有…     

一种图像清晰度评价方法

图像清晰度评价在图像分析和识别中具有重要的意义.对于同一内容的图像,清晰图像的边缘相对模糊图像具有较大的灰度变化率的特征.提出了一种以图像边缘灰度变化率为指标的图像清晰度评价方法,即以每一行灰度值连续下降间隔像素点数最多的边缘灰度变化率代表这一行的灰度变化率,计算出图像所有行灰度变化率均值为评价指标.分析了清晰图像与模糊图像某行边缘灰度变化规律,设计了这种新的图像清晰度评价方法的实现流程.以红外图像和一般的可见光和运动模糊图像为对象,进行了该方法与相邻像素灰度方差法和方差法对比研究.实验结果表明:该方法能更好地满足单调性和无偏性,具有更高的灵敏度.     

基于BP神经网络的游艇造型意象量化模型研究

为研究游艇造型特征与用户感性意象两者之间的匹配问题,提升用户对于游艇造型意象认知水平。以感性工学为理论基础,小型游艇为研究对象,通过大量搜集研究样本并对其造型特征进行解构;利用层次分析法统计各设计要素在游艇整体造型中对人的视觉感受所产生的影响力,并对权重较高的设计要素进行分类;采用聚类分析得出用于描述游艇造型的感性词汇,以语意差异法对研究样本做感性意象评价;通过BP(Back Propagation)神经网络构建游艇造型设计要素与用户感性意象评价两者之间的量化模型;并通过均方误差MSE(Mean Squared Error)对该模型进行测验,测试结果数值小于0.01,证明了该量化模型的可靠性。研究结果表明,该量化模型可以为游艇造型意象提供逆向评价,在游艇产品开发初期提供设计参考。     

基于SSA-VMD和1.5维包络谱的齿轮箱磨损故障诊断的研究

针对强噪声背景下行星齿轮箱特征提取困难的问题,提出一种基于樽海鞘群算法优化变分模态分解(SSA-VMD)结合1.5维包络谱的故障诊断方法。该方法首先运用樽海鞘群算法(SSA)优化变分模态分解(VMD)的参数;然后运用自相关系数对分解信号进行重构,降低噪声的干扰;最后运用1.5维包络谱对重构信号进行故障的特征提取。在实验部分,首先通过仿真试验将SSA-VMD与变分模态分解(VMD)进行对比,验证了SSA-VMD的优越性;然后搭建行星齿轮箱磨损故障全生命周期实验台采集振动信号,运用SSA-VMD结合1.5维包络谱的方法提取出了振动信号的故障特征频率,总结了行星齿轮箱磨损故障演化规律。研究结果表明：随着磨损故障程度的加深,故障特征频率出现次数明显增多,凭借这一规律,有利于实现对行星齿轮箱磨损故障的诊断;该结果可为行星齿轮箱磨损的故障诊断提供依据。     

居家养老模式下适老化餐厨具包容性设计研究

居家养老模式的广泛推行,刺激了居家空间中配套产品的适老化设计需求。其中,餐厨具作为居家养老中必不可少的功能性产品具有极大的适老化设计潜力;然而,当前餐厨具在适老层面的研究以及案例实践却十分匮乏。基于以上需求及问题,首先对当前养老模式及适老化设计方法进行分析,确定以包容性设计方法对居家养老模式下适老餐厨进行研究;其次,结合居家养老模式下对老年用户生理、心理特征和生活状态及使用习惯进行分析,并从健康、情感、习惯、地域、经济和学习六个包容性层次对老年人差异变量因素进行划分;最后,根据差异变量因素进行餐厨具案例开发,根据用户反馈以佐证该研究结果的科学性,为相关适老化设计与研究提供了理论与实践参考。