密码协议的分层安全需求及验证

将密码协议的安全需求分为浅层需求和深层需求2个层面,阐述了密码协议的分层安全需求.采用近世代数和时序逻辑的方法定义了形式化描述语言,并形式化地描述了密码协议的分层安全需求.将类BAN逻辑与模型检查相结合,在Abadi-Tuttle模型的基础上建立密码协议的计算模型.以Otway-Rees协议为例,利用该计算模型和定理证明技术对密码协议进行了多层需求验证.     

基于改进NSGA2-FLC的饱和含水燃油多目标优化控制

为了解决在燃油结冰适航试验饱和含水燃油制备中,燃油与导热油之间温差过大易导致热交换器壁面结冰问题,提出一种将改进第2代非支配排序多目标优化算法（NSGA2）最优个体输入模糊控制器（FLC）进行动态优化的多目标优化方法,实现对饱和含水燃油温度的精确控制。基于热液和两相流管路模型搭建含第3方导热油的饱和含水燃油温控系统,结合试验温控系统验证仿真模型的可靠性,对不同温度工况下的系统进行仿真分析。优化在控制中定义的系统温度调节时间,并以温差控制的适应度值为决策目标,引进佳点集法初始化种群并在迭代过程中采用变惯性权重的柯西变异（CM）法寻优,将改进NSGA2寻优获得的全局最优控制参数输入模糊控制器中并自整定控制器中参数的变化率,实现对温控模型的动态优化。结果表明：改进NSGA2-FLC多目标优化控制能缩短调节时间,提高控温精度约50%,使温差接近且不超过13 ℃,满足适航要求。     

8mm衰减自动校准装置

介绍了８ｍｍ衰减自动校准装置的工作原理、系统构成、主要技术特点和误差分析等，并附有数据及表格。该装置在２６．５～４０ＧＨｚ频率范围内，具有８０ｄＢ的量程和±０．０１ｄＢ／１０ｄＢ的准确度。     

INTERNET网检工具逻辑算符及检索表达式优化

对ＩＮＴＥＲＮＥＴ网检工具逻辑算符进行分析和比较。在此基础上，提出制定和优化检索表达式的方法。     

电视导引头图像闪烁故障分析

针对电视导引头存在的“图像闪烁”故障,重点分析了故障的常发生部位,如硅靶管、CCD、图像处理电路和电视摄像机光圈等,并从故障部位的结构特点和工作原理入手,详细阐述了故障产生的原因、机理以及排故方法,为同类故障的修理提供参考。     

燃油流量标准装置测控系统开发

利用PLC、PC和单片机开发的燃油流量标准装置测控系统,最大限度地挖掘了标准装置检定校准燃油流量传感器的能力,保障了航空发动机试验数据准确可靠,在实际使用中取得了很好的效果。     

高速数据采集和CCD数据变换技术

本文讨论的是高速数据采集技术问题,其中重点阐明利用 CCD(电荷耦合器件)作为模拟一数字变换器(ADC)的中间暂存器,把高速变化信号采样后的信息按顺序快速输入 CCD 中暂存起来,供给低速的 ADC 变换,变成二进制数字量。这种利用 CCD 器件采用快入慢出(FISO)工作方式是解决高速模拟量变换成相应数字量的最新技术。它可以把 ADC 变换率提高到100MHz,而成本却提高很小。     

空间智能桁架模糊振动控制研究

研究了模糊控制应用于多输入、多输出的空间智能桁架系统的振动控制.首先建立空间智能桁架的有限元方程,在此基础上,设计了一个标准的模糊控制器,并通过选择合适的量化因子将该标准模糊控制器应用于每一对同位布置的作动器/传感器,各个控制器之间独立工作.这样就避免了设计MIMO模糊控制器带来的复杂问题.最后针对空间智能桁架进行仿真,结果表明,设计的模糊控制器可以有效抑制桁架的振动,并且具有结构简单、鲁棒性强、抑制控制溢出的优点.     

应用于电机转子抛光机可编程控制器系统设计

针对自主研发的电机转子抛光机平台及电气主回路,采用三菱Fx1s PLC作为抛光机运行的控制系统,对转子夹具、可调滑台、抛光电机及吸尘器等执行元件进行控制;最后设计了触摸屏及操作界面。成套设备已应用于工程实践。     

某型航空涡轴发动机吞砂试验研究

砂尘环境是航空发动机事故中常见且重要的诱发环境,因此,吞砂试验是新型发动机摸底和定型的重要试验项目。根据GJB 242-1987相关要求,通过设计投砂装置模拟真实砂尘环境,对某型航空涡轴发动机进行地面吞砂试验。试验结果表明:随着吞砂时间的增加,发动机功率衰减,耗油率增加,燃气涡轮出口总温有所提高;发动机性能在吞砂前2 h变化速率较快,随吞砂时间增加变化速率放缓。