计算机网络防御策略模型

目前计算机网络防御研究中缺乏高层且易于细化的策略建模方法,因此在分析Or-BAC模型(Organization Based Access Control model)的基础上,对网络防御控制行为进行抽象,建立计算机网络防御策略模型(CNDPM,Computer Network Defense Policy Model).该模型对保护、检测和响应等策略进行统一建模,并引入角色、视图、活动自动分配的方法,以提高分配的效率,同时给出了策略到规则的推导规则,以细化为具体的防御规则.还给出了策略的完备性、有效性和一致性的形式化描述及分析.实例分析表明,该模型表示的计算机网络防御策略,能够有效地转化为防御规则,具有较好的实用性和扩展性.      

联邦学习安全与隐私保护综述

联邦学习是一种新型的分布式学习框架,它允许在多个参与者之间共享训练数据而不会泄露其数据隐私。但是这种新颖的学习机制仍然可能受到来自各种攻击者的前所未有的安全和隐私威胁。本文主要探讨联邦学习在安全和隐私方面面临的挑战。首先,本文介绍了联邦学习的基本概念和威胁模型,有助于理解其面临的攻击。其次,本文总结了由内部恶意实体发起的3种攻击类型,同时分析了联邦学习体系结构的安全漏洞和隐私漏洞。然后从差分隐私、同态密码系统和安全多方聚合等方面研究了目前最先进的防御方案。最后通过对这些解决方案的总结和比较,进一步讨论了该领域未来的发展方向。     

CFD计算结果的静态及动态可视化显示方法

针对某翼型设计的 CFD计算结果,采用色调连续变化的图像映射方法,基于划分的计算网格,提出了三角单元结构的抽取和将 Gouraud-Shading与质心坐标插值法相结合的扫描线转换算法,并根据 HSV颜色模型的特点建立了可视化标量与颜色值之间的两种线性对应关系,在此基础上实现了翼型设计的 CFD计算结果中流体流函数和旋涡强度二维标量场的静态和动态可视化显示,实例证明了算法的有效性。     

航空嵌入式系统2000年问题分析及检测方法

通过对航空系统嵌入式计算机的应用分析,根据航空系统嵌入式计算机应用领域和重要性的不同,将航空系统分为机载电子系统,遥测与导航系统,设备开发、测试和综合系统,以及生产加工系统四个层次。并针对每个层次绝对时间的使用特征,从系统参数共享到底层电路构型,提出了各自相应的 Ｙ２ Ｋ 问题检查方法,以及相应的检查内容和责任单位。     

空中加油系统的建模与控制技术综述

空中加油已经成熟应用超过半个世纪,但其建模与控制技术仍是航空界的研究热点与难点之一。综合大量文献,回顾了空中加油的发展历程和战略价值所在,比较研究了2种加油方式各自的优劣,总结了近年开展的系统建模和控制相关的研究成果。基于硬式加油与软式加油的功能互补之效,提出了借助研制大型运输机的契机发展硬式加油技术的观点。通过研究国内已经开展的相关工作及其不足之处,论证了开展系统建模与控制专项研究的必要性与积极意义。结合硬式加油系统的特点,提出了建模时应该综合考虑系统多刚体、多构型、强扰动与不确定性、受弹性形变与弹性振荡影响等特点,并提出了与之对应的伸缩管姿态控制、对接状态应力自动补偿、对接过程协同控制、抑制弹性振荡影响、半物理实验平台开发等关键问题。     

MCS-51单片机数字化艇弹协调仪的设计方法

论述了艇弹协调仪硬件系统的设计方法及基本原理,并给出了系统运行的软件流程框图。     

一种非接触式双目视觉系统结构参数测量方法

双目视觉系统的设计与精度分析都需要精确的系统结构参数,但普通的测量手段难以胜任。为解决该问题,提出了一种基于摄像机标定的非接触测量方法,以实现结构参数的测量。首先,在研究双目视觉系统精度的基础上给出了双目视觉系统设计和精度分析所涉及的结构参数;然后,在理论上推导了通过摄像机标定的系统外参数与统结构参数的之间的关系;最后,通过标定实验在计算机中解算出了双目系统的外参数,进而测量了双目视觉系统的结构参数,获得了比较精确的系统结构参数。     

分段拓扑修形齿轮的成形磨削与试验

基于成形磨削的几何原理和机床运动学原理,提出了斜齿轮副的一种分段拓扑修形方法.通过改变齿顶和齿根处渐开线的发生线长度实现齿廓分段修形;给砂轮附加一个抛物线+直线的径向进给运动实现齿向分段修形.推导出基于成形磨削过程中拓扑修形齿面的计算公式,对修形齿面的边界进行了划分,建立成形磨齿机各伺服轴的运动方程.根据齿面的数值模拟结果,在五轴数控(CNC)成形磨齿机上进行磨削加工与在机拓扑测量,验证了成形法实现齿面拓扑修形的可行性. 对给定转速和负载工况下的齿轮箱进行加载试验,齿轮箱振动能量级幅值下降0.008dB,噪声减小约2dB.研究表明分段拓扑修形有利于降低齿轮传动振动和噪声.      

机器人在航天装备自动化装配中的应用研究

通过阐述航天装备传统人工装配方式的不足,提出了工业机器人装配方式的重要价值。简要介绍了工业机器人在国内外航空领域的应用现状,分析了航天装备在机械机构、系统组成、产品种类细分程度等方面的特点;针对航天装备装配过程中效率较低的工序,提出了工业机器人应用的研究思路与方向,并列举了需要突破的4项关键技术。最后,对机器人在航天装备自动化装配应用中的发展方向和趋势进行了展望。     

水银温度计视觉检定系统中的数字图像处理技术研究

提出了一种基于计算机视觉的水银温度计自动检定系统。首先构建了水银温度计自动检定系统的体系结构,重点研究了数字图像处理技术在温度计读数上的应用,研究了直方图均衡化处理,并根据OTSU原理,把温度计图像进行分割,采用Canny算子提取温度计边缘,并根据Hough变换得到温度计刻度线和液柱,最后给出了与人工读数对比的实验结果及结论。