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

为了提高无人机俯仰角故障数据处理和预测的精确性和可靠性,避免增加无人机试飞成本,利用长短期记忆网络（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-难.     

西天山高压-超高压变质带折返过程中的流体活动证据:高压脉体和异剥钙榴岩

西天山造山带以发育蓝片岩和低温榴辉岩著称,蓝片岩中的大量榴辉岩相脉体记录了蓝片岩-榴辉岩相转变时的流体活动.详细的野外调查发现,西天山超高压榴辉岩内也发育了大量的高压脉体,而与蛇纹岩伴生的榴辉岩则受到了明显的异剥钙榴岩化改造,这些都是俯冲带变质作用过程中流体活动的直接证据.超高压榴辉岩内发育的高压脉体主要有3种类型,分别为绿辉石脉、石英脉和黝帘石脉,这些脉体不同程度地切穿了早期的面理.脉体石榴石是物理迁移的结果,而其他脉体矿物如榍石、绿辉石、黝帘石、白云石和磷灰石等,是从高压流体中晶出的.高压流体对钡元素具有富集作用,流体成分在时空上存在不均一性.这些普遍发育的脉体形成于超高压榴辉岩折返阶段,表明在减压过程中也可以发生强烈的流体活动和微量元素迁移.西天山异剥钙榴岩的原岩年龄为-420 Ma,异剥钙榴岩化作用发生在折返阶段(-290 Ma).在部分异剥钙榴岩化阶段,流体富集Ca,Si,Ti,Mn,Nb,Ta,Zr和Hf,亏损Fe,Mg,Na,K,REE,Tb和Y,氧逸度高,流体对岩石的交代作用不彻底,发育不平衡矿物结构;在完全异剥钙榴岩化阶段,流体富集Ca,Mg,LREE,Ni和Cr,亏损Fe,Ti,Rb,Ba,MREE和HREE,流体作用强烈,富水流体相的强烈淋滤作用使大部分元素发生迁移.