摘要：基于形式化方法的需求规约过程以严格定义的语义和数学模型为基础,使得需求的表述更加清晰明了,易于理解。SCR方法是一种基于形式化符号-表格的表达式,以多维表格化结构表示系统需求的形式化需求规约方法。针对形式化需求的自动化测试和检验工具提高了需求分析的正确性和效率性,但目前工具缺少安全性质的自动验证,无法保证需求的安全性。因此,文中对基于SCR方法的T-VEC工具进行扩展,在语言解析器生成器antlr(ANother Tool for Language Recognition)的辅助下开发了模型转换工具T2N,设计了语言结构转换规则,将基于SCR的需求描述语言T-VEC转换为符号化模型检测语言XMV,以实现对提取的系统安全性质的自动化验证。最后,以需求工程中的典型案例——灯光控制系统为例进行实验分析,验证T2N工具的有效性和需求模型的安全性。

摘要：随着航空计算机系统的发展进步,航空计算机电磁兼容性(EMC)的设计越来越复杂。晶振电路作为计算机系统中时钟的基准,其良好的EMC设计愈发重要。为了提高晶振电路的EMC性能,本文设计了三种晶振滤波电路,通过对比信号仿真及电磁仿真结果,最终提供了最佳的晶振滤波电路设计,有效降低晶振电路电磁辐射,从而提高航空计算机系统的可靠性。

摘要：针对熔融沉积制造(FDM)在热成型过程中由于材料收缩带来尺寸偏差的问题,基于初始设计模型进行轮廓补偿,以减小尺寸偏差,提升尺寸精度。采用正交试验设计系列正椭圆柱体、正三棱柱体和正四棱柱体模型,提出了两种轮廓补偿方式,分别采取方式一和方式二对试验件初始设计模型轮廓进行补偿。结果表明:针对本文研究案例,正椭圆柱体、正三棱柱体和正四棱柱体成型尺寸精度存在差异。两种方式均可提升尺寸精度,同一种方式对正椭圆柱体、正三棱柱体和正四棱柱体的尺寸精度提升程度不同,方式二有更优的补偿效果。

摘要：为了进一步讨论和完善混沌在数字图像加密领域应用已经取得的成果和存在的问题,简述了该领域的发展历程,总结了混沌作用于图像置乱的两大主流设计思想,对图像置乱的理论基础和主流方案进行了讨论,分析了传统置乱加密算法的弱点和不足。给出了常用的混沌置乱方法,介绍了混沌作用于加密系统的一般思路和应用混沌进行加密时应注意的几个问题,提出了灰度替换和像素置乱算法的评估标准等新见解,并讨论了该领域的发展方向。

摘要：介绍了舰载弹炮结合武器系统的发展背景与基本概念,分析了舰载弹炮结合武器系统顶层设计应关注的4大因素及具体内容;针对4大因素的各个方面,从定性的角度对分布式和共架式舰载弹炮结合武器系统进行了比较,总结出了共架式舰载弹炮结合武器系统的特点;提出了发展舰载弹炮结合武器系统的几点看法,对我军开展舰载弹炮结合防空武器系统研制具有一定的借鉴作用。

摘要：温度测试对于航空发动机设计与研制有极其重要的意义。航空发动机高温测试技术主要应用于热端部件高温燃气与壁面温度的测量,对于发动机燃气涡轮设计和了解燃烧室中的燃烧过程具有重要意义。主要介绍了热电偶测温、示温漆测温、红外光谱测温、晶体测温、蓝宝石光纤测温、超声波测温等目前航空发动机高温测试的方法及特点,对航空发动机高温测量方法的应用现状进行了分析,并对航空发动机高温测试技术的发展趋势进行了预测。

摘要：惯导测试转台轴系间的非线性摩擦力矩会降低系统的角分辨率和重复精度,系统运行过程中的模型参数变化会严重影响系统的跟踪精度,针对该问题提出一种基于摩擦补偿和自抗扰控制的复合控制方案。首先建立测试转台的数学模型,采用LS算法辨识Stribeck摩擦模型,将其作为前馈补偿加入控制中,以减小摩擦对测试转台的影响。为了降低对摩擦的过补偿、欠补偿和系统模型失配等其他干扰的影响,进一步设计了测试转台的自抗扰控制器,利用跟踪微分器对系统的参考输出进行轨迹规划,应用扩张状态观测器对系统的输出进行状态和扰动估计,通过非线性状态误差反馈控制律对系统广义误差进行控制。仿真和实验结果表明,该复合控制方案可提高测试转台伺服控制单元的抗干扰性能和鲁棒性,取得较好的控制效果。

摘要：目前很多高等院校对《计算机文化基础》课程的教学未能因材施教。针对这种状况。本文在新的教育教学理念指导下,采用问卷调查等教育科学研究方法,通过分级教学实践,构建了我院《计算机文化基础》课程的分级教学模式,对于推动高等院校《计算机文化基础》课程的教学改革具有现实的意义,同时也对其他学科的教学改革具有借鉴意义。

摘要：介绍了航空液压泵故障模拟试验设计和实现的过程，主要从调研统计的角度出发梳理出液压泵的故障机理。通过对FMECA的分析，明确液压泵的典型故障，进而确定监测参数及传感器布局，详细阐述三类故障模式的故障模拟途径和手段。为复现液压泵故障现象，实现液压泵故障精确诊断奠定基础。

摘要：采用DSPTMS320F2812来控制永磁无刷直流电动机,并且对整个控制系统原理进行了介绍与说明。通过上位机(PC机)来对电流、转速进行数值设置,DSP作为下位机来接受参数并且实时进行检测,根据模糊PID控制算法对数据进行调整和处理,达到实时的处理效果,并且上位机采用VC++进行编程,友好的人机界面,操作方便简单。整个控制系统性能高,而且易于控制算法的实现。