基于差分自回归移动平均模型、长短期记忆网络模型及相关模型的无人机俯仰角预测

为了提高无人机俯仰角故障数据处理和预测的精确性和可靠性,避免增加无人机试飞成本,利用长短期记忆网络（Long Short Term Memory,LSTM）、注意力机制+LSTM模型和差分自回归移动平均模型（Autoregressive Integrated Moving Average Model,ARIMA）模型预测无人机试飞俯仰角故障数据。结果表明,ARIMA预测结果：MAE（Mean Absolute Error）=0.35,RMSE（Root Mean Square Error）=0.73,MAPE(Mean Absolute Percentage Error)=23.80%;LSTM模型预测结果：MAE=0.49,RMSE=0.74,MAPE=45.20%;注意力机制+LSTM模型预测结果：MAE=0.17,RMSE=0.53,MAPE=18.93%。可见注意力机制+LSTM模型比其余两种模型更适合于试飞俯仰角的数据预测,以上三种方法对无人机故障数据预测都具有实际意义,有效的预测可以推进自动飞行器和移动机器人的异常检测或外国直接投资研究的最新进展,以进一步提高自动和远程飞行操作的安全性。     

基于AutoCAD的地形图栅格化批量处理的实现与应用

本文采用批量处理这一技术创新对地形图进行栅格化处理,通过AutoLISP语言对AutoCAD进行二次开发,实现数据栅格化转换与应用。     

大别山金河桥榴辉岩中金红石Zr温度计及其意义

对大别山金河桥超高压榴辉岩中的金红石进行了电子探针微量元素分析, 得出其Zr含量为37~118 μg·g^-1, 并且同一薄片内不同颗粒之间的Zr含量存在明显差别. 应用压力校正的金红石Zr含量温度计, 以压力上限4.1 GPa计算得到的温度(595~678℃)仍比石榴石-绿辉石Fe-Mg配分温度(846±70)℃低200~250℃, 但是比石英-金红石矿物对氧同位素温度及U-Pb体系封闭温度高150~200℃. 这指示, 金红石中Zr的扩散速率明显比Pb和O慢, 与已知的实验研究结果一致, 表明金红石Zr温度高于U-Pb同位素定年体系冷却年龄对应的封闭温度. 超高压岩石折返过程中降压扩散和流体参与下的退变质重结晶可能是造成金红石Zr含量降低而没有记录峰期温度的主要因素. 金红石粒间Zr含量的显著差别表明, 金红石中Zr的配分可能处于差异性扩散和退化不平衡状态.     

地震超材料:从自然结构到新型人工结构

光子晶体、声子晶体和声学超材料在调控波和波衰减等领域产生了深远影响.它们并不是自然界中新发现的材料,而是根据不同需求设计的复合结构,通常利用布拉格散射或局域共振机理来达到调控声波/弹性波能带结构的目的.与光子晶体不同,声子晶体和声学超材料的工作区域在较低频区域,因此获得低频且大范围的禁带是该领域的研究重点,并逐渐拓展到频率低、波长长的地震波隔震减灾防控上.本文从纳米光子和地震超材料的联系出发,从固体物理的视角分析了地震超材料的城市群、自然森林超材料等,将新型人工地震超材料在分布区域、禁带机制、实验方式3个方面进行了分类比较,并展望了现阶段地震超材料研究的一些局限性以及面临的挑战.     

一种基于扩展有限状态机的自动化测试用例生成方法

扩展有限状态机(EFSM)是使用最广泛的测试模型之一.由于不可行路径的存在,运用EFSM模型生成测试用例仍然是个难题.本文提出了一种基于EFSM模型的自动化测试用例生成方法 (ATGEM).为解决不可行路径问题,首先提出一种基于数据流分析的路径可行性度量方法来预测路径的可行性,以尽可能避开不可行路径,提高测试用例自动化生成的效率.然后通过建立动态可执行模型来获取运行时反馈信息作为搜索算法的适应度函数(fitness function),实现测试数据和预言信息的自动生成.该方法结合静态分析和动态分析技术生成一个较优可行路径子集和对应测试用例来达到指定的覆盖准则,能够应用于多种数据类型的测试用例生成,适用范围较广.通过实验在多个EFSM模型上验证了ATGEM方法中测试用例生成和路径可行性度量方法的有效性,实验结果表明,利用路径可行性度量方法可以大幅度提高测试用例生成效率,与现有方法相比,ATGEM中的测试用例生成方法具有更高的效率.     

浅谈高职院校体育教学模式改革与创新

目前。高职院校在我国尚处于发展阶段。各类学科的教学模式也处于探索时期。特别是体育教学也在努力探索新的教学模式,使高职院校的体育教学能体现出其自身的特点,从而收到最佳的教学效果。本文通过分析高职院校体育教学模式的发展现状,针对高职院校体育教学目标,对教学模式改革及改革中应注意的问题进行论述。     

定时包装袋

这是一种用定时材料制作的包装袋,选用时使包装袋的使用时间和食品的保质期相同。这样,超过了保质期,包装袋就会自动溶掉,从而保证了食品的安全食用。     

一种基于模型检验的类测试用例生成方法

提出一种新的自动生成类测试用例的方法.使用符号执行从类源代码抽取对象的状态和行为,以一个四元组抽象描述类,并转化成等价的Kripke结构.使用CTL公式描述测试覆盖标准,然后把这组CTL公式和描述类状态行为的Kripke结构输入模型检验工具,并利用模型检验工具自动生成相应的证据路径,最后将路径转化成满足相应覆盖标准的类测试用例.该方法直接从源代码生成测试用例,并使用贪心法约减冗余用例以降低测试成本.实验表明该方法生成的测试用例具有较高的覆盖率.     

变量极小公式复杂性

基于逻辑公式的极小变量集合的需求, 研究了变量极小等价(VME)和变量极小可满足(VMS)问题的理论性质. 引入等价关键变量和可满足关键变量概念, 证明它们的判定复杂性分别为NP-完全和D^P-完全. 通过等价关键变量和可满足关键变量, 分别定义VME和VMS. 证明了Unique-SAT VMS VME SAT, 其中Unique-SAT是具有唯一成真赋值的公式类. 进一步证明VME是NP-完全, VMS属于D^P且是coNP-难.     

RV减速器扭转刚度特性分析

以广泛应用于机器人关节的RV减速器为对象,针对其结构特点,构建了减速器整机的几何模型,以及在ANSYS环境下考虑轴承刚度、轮齿啮合刚度及各构件弹性的有限元模型,分析得出了对应曲柄轴自转1周的整机扭转刚度的变化规律;与实验结果比较,验证了该模型的有效性与计算精度.在此基础上,应用该模型进一步分析了摆线轮与针齿啮合齿数以及轴承刚度变化对整机扭转刚度的影响规律.结果表明:轴承刚度是影响整机扭转刚度变化的主要因素;在分析整机扭转刚度特性时,将轴承刚度按非线性变化规律考虑时能够更精确地揭示整机的扭转刚度特性.