基于Credential Provider的身份认证模型的研究与实现

身份认证是系统安全的第一道门户,采用强身份认证技术能极大的提高系统的安全性。通过对现有的强身份认证技术的分析,在对微软新推出的身份认证模型——凭据提供(Credential Pro-vider)模型进行研究的基础上,设计并实现了一个基于动态口令的双因素身份认证系统,对操作系统用户身份进行强认证,有效地提高了系统的安全级别。     

基于NMAS身份认证模型的研究与实现

从现有身份认证模型出发，利用novell模块认证服务（Novell Modular Authentication Services，NMAS）设计出一套完整的认证模型，实现对用户身份的分级认证及认证方法的统一管理和授权。并通过加载双因素身份认证技术实现对用户身份的强认证。     

基于Linux下智能卡登陆操作系统的实现方法

随着电子商务、电子政务已不断发展和应用，仅仅靠用户名和口令登陆操作系统的身份认证机制，其安全性已经无法保证。使用智能卡进行身份认证是目前身份认证技术的热门话题。它描述了使用智能卡自动登陆linux操作系统gdm管理器的实现方法，包括智能卡系统的安装和守护进程设计、智能卡认证PAM模块的编写、配置1inux GDM、实现linux智能卡自动登陆操作系统等内容。     

指挥自动化网络信息安全的一种解决方案

针对基地指挥自动化网络信息安全要求,提出了基于USB身份认证卡技术,采用间接身份认证方式鉴别网络用户合法性,用双重加密算法对信息进行加密上传和解密下载的解决方案。此外,还设计了本地涉密文件加密隐藏方法。整个系统安全性高。独立性强,开发成本较低,具有较高的推广价值。     

复杂信息系统中单点登录的设计与实现

使用令牌机制,设计了一种适用于复杂信息系统门户平台的单点登录模型,实现了用户的统一身份认证和授权管理。用户一次登录门户就能自动访问所有授权的应用子系统或子模块,方便系统管理的同时有效提高了系统的安全性。最后以某保障信息系统为背景,描述了模型的技术实现。     

面向适航认证的模型驱动机载软件构件的安全性验证

 在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致。最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中。利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据。     

基于Portal的统一身份认证系统研究与开发

描述了基于Portal的统一身份认证系统的实现方法。整个系统主要由用户登录和注销管理、用户在不同应用系统中的操作权限管理和各个应用系统的信息管理三部分组成。文章详细介绍了采用"票证"技术解决用户对不同应用系统的持续访问,并给出了实现过程的主要数据结构。经过实际测试证明本系统有效地解决了用户重复登录和多点管理账号的问题,提高了用户的工作效率和应用系统的安全性。     

面向高安全数据分发服务的身份认证协议设计

为解决数据分发服务安全规范中身份认证与密钥协商协议存在共享密钥建立缺乏公平性、缺乏验证密钥一致性机制及会话过程缺乏完整性等安全问题,以协议为基础,设计一种新的高安全数据分发服务身份认证与密钥协商协议。新协议引入了ACK机制,并利用D－H密钥交换和非对称密码体制特点解决了原协议存在的安全问题,具备实用性和更高的安全性。     

一种基于CCSDS的空间网络认证模型

通信安全已成为影响空间科学技术进一步发展的重要因素之一。根据通信系统安全体系结构设计原则和方法，分析空间通信的特征和空间网络存在的各种安全威胁，提出一个将多级多层密钥管理以及混合式身份认证方法相结合的网络认证模型，从而对CCSDS标准的安全部分给予有力补充，更加全面高效地实现空间通信网安全认证。     

ACARS地-空数据链中数字证书的应用研究

ACARS(aircraft communication addressing and reporting system)即飞机通信寻址报告系统,它是当前民航部门使用的飞机与地面的主要通信方式之一.ACARS地空数据链对航空飞行安全保障十分重要,但其安全性和重要性并非成正比.在分析其安全隐患的基础上,针对ACARS中实体身份认证方法的不足,在地-空安全会话初始化中研究基于椭圆曲线加密ECC (elliptic curve cryptography)的数字证书认证方法,以及基于OpenSSL的航空地-空数据链数字证书,设计和实现了用于签发和管理的证书授权机构.分析表明,将数字证书认证方法应用到ACARS中,会提高系统的安全性,并且不会对系统性能造成影响.     

航空发动机研制费估算工作的现状与展望

针对在立项论证阶段对航空发动机项目经费进行快速并有效的估算的问题,基于中国航空发动机的研制现状和型号数据的积累情况,分析了发动机研制经费估算工作的重点与难点以及相应的解决途径,并采用偏最小二乘法建立了航空发动机研制经费估算模型。计算结果表明:该发动机模型精度较高,已经应用于国产某型涡扇发动机的经费测算工作中,并可用于中国未来航空发动机型号的研制经费估算。     

全测速测元弹道计算的数据融合算法与应用

针对“全测速”测元条件下弹道计算的数据融合问题,就数据融合中初值的确定、最优节点的搜索、样条基函数的选取、数据融合模型的数值解法等方面进行了分析与讨论,并给出一种适用于“全测速”测元条件下弹道计算的数据融合算法,经试用表明：该算法不仅具有良好的收敛性、稳定性,而且有着很好的数据融合效果,弹道计算的精度与“测距-测速”混合条件下数据融合弹道的精度相当。     

耦合梯度与分级Kriging模型的高效气动优化方法

Kriging代理模型中引入梯度信息能够提高模型的预测精度,但常规耦合梯度的方法都有不足之处。本文结合分级Kriging模型,提出了一种变可信度分级Kriging模型耦合梯度（GEHK）信息的新方法。首先利用梯度信息,选取扰动步长得到初始样本点附近的派生点,以派生点拟合出能够预测目标函数趋势的低精度Kriging模型。然后以初始样本点修正该模型得到高精度的Kriging模型。翼型减阻优化设计算例表明,与常规耦合梯度的Kriging模型相比,基于分级Kriging的梯度耦合方法对于扰动步长引入的误差不敏感,明显提高了模型预测精度,优化效率因此提升并使得目标函数值下降得更加迅速。相比Euler解作为低精度数据的常规分级Kriging模型,由梯度信息得到的派生点为模型提供了更准确的全局趋势预测,取得了更好的优化结果。本文方法成功应用于翼型多点减阻优化问题,说明该方法对复杂设计问题有很好的适应性。基于分级Kriging模型的耦合梯度方法克服了常规方法的缺点,提高了模型全局拟合精度,是一种优化效率更高的Kriging方法。     

飞机发动机状态监控研究

通过应用时序分析理论，对飞行参数系统记录的数据进行建模、分析，提出了一种飞机发动机状态监控的新方法。     

太阳辐射对ER3BP拉格朗日点的影响

为了研究Halo轨道中继通信以及行星际轨道转移等问题,需要首先对拉格朗日点(平动点)的理论进行分析。使用考虑太阳辐射的椭圆型限制性三体建模,代替原有的圆型限制性三体建模,提高了建模的精度。提出了在L1,L2,L3点的更为精确的新解析解,经过Matlab仿真,其相对于精确数值解的误差,分别为Ammar的解析解的13.13%,29.51%,0.46%。     

用虚拟黏性法构造Navier-Stokes方程黏性项的隐式格式

提出的虚拟黏性法是一种关于Navier-Stokes方程黏性项(黏性应力项和传热项)的隐式新方法。通过引入虚拟时间和虚拟黏性项,将隐式格式的构造大大简化,从而避免了大型复杂隐式差分方程组的常规求解。在虚拟时间推进过程中所需求解的方程组的系数矩阵是一个三对角矩阵,它具有计算简单且计算量小的优点。用模型方程和Navier-Stokes方程进行了数值仿真,研究各种参数对计算的影响,并在精度和效率上与显式方法进行比较,证实了算法的正确性和优势。最后分析了本文格式的适用范围。     

超高层建筑表面脉动风压空间相关特性试验研究

通过对某超高层建筑模型同步测压风洞试验,分别从时域和频域对模型各表面典型测点脉动风压水平和竖向空间相关性系数、以及水平和竖向相干函数进行了全面深入分析。与相关参考文献中提出的经典风速相干函数表达式进行了比较,给出了侧风面脉动风压相干函数考虑涡旋脱落影响的新的数学模型,拟合了公式参数,得到的结果可为建立更为精细的气动力模型所参考。     

基于灵敏度分析的飞行器稳健设计优化方法

提出了一种基于灵敏度分析的稳健设计优化方法。针对设计变量存在扰动的不确定性问题,在原有优化数学模型上,增加了准则函数和约束函数的灵敏度附加项。采用全局灵敏度方程来计算准则函数及约束函数对设计变量的灵敏度,进而得出新的优化问题数学模型,得到问题的稳健性解。将上述方法应用到轻型飞机的总体设计中,对飞机重量、气动和性能模块进行多目标优化,得出最优解,并与已有的飞机进行对比和分析。     

双侧零度纤维T型长桁共固化壁板成型工艺

区别于传统的T型长桁的设计理念,新构型的长桁设计有双侧的零度纤维填充和卧边斜角设计。在增加了强度的同时,给零件整体制造工艺带来了一定的困难。在分析了新构型壁板外形和结构特点后,从零件铺层设计、整体成型工艺、组合方式等方面对零件成型进行了详细的分析和研究,并提出了相应的工艺解决方案。     

跨声速轴流风扇转子流场三维粘性数值分析

采用一种快速求解三维粘性流场的计算方法求解跨声速压气机风扇转子内部流场。该方法以ＬＵ型隐式格式和ＭＵＳＣＬ ＴＶＤ迎风格式为基础,结合壁面函数方法和简单的混合长度湍流模型,使用多重网格迭代加速收敛技术,对三维可压缩雷诺平均Ｎ－Ｓ方程进行求解。计算得到了ＮＡＳＡ Ｌｅｗｉｓ ６７跨声速、低展弦比轴流风扇转子的性能曲线,并重点分析了最高效率点工况和近失速工况下的内部流场。计算与实验结果的对比表明,此方