一个证实门限数字签名方案的安全漏洞分析

证实数字签名协议是一种需要签名者、证实者和验证者三方参与的特殊的数字签名方案,除了签名者,其他任何人都不能以签名者的名义产生有效的证实签名;同样除了证实者,其他任何人也不能对签名的有效性作出判断。文献[8]是一个新的证实门限数字签名协议,是秘密共享思想与证实数字签名方案的新结合,但提出的新方案并未满足证实数字签名协议的某些要求,因此存在着安全漏洞;本文对此进行了详尽的分析,指出了其设计不足之处,从而说明新协议并没有实现其预期设计目标。     

非结构网格的高超声速粘性MHD流场数值模拟

应用数值方法在非结构网格上对磁场干扰下的二维高超声速钝头体粘性绕流进行了数值模拟。控制方程为N-S方程耦合Maxwell方程的粘性MHD方程组,空间离散采用有限体积方法,对流项用AUSM格式计算,粘性项用中心格式求解,时间推进用显式5步Runge-Kutta格式,引用双曲型散度清除技术加强▽.B=0的条件。计算模型为二维钝头体,在高超声速来流条件下,分别对有、无均匀磁场干扰下的流动进行了数值模拟。计算结果表明,在均匀磁场干扰下,激波脱体距离显著增加,物体表面压力急剧下降。对比表明文中发展的计算方法可以准确地进行二维粘性MHD流场的数值模拟。     

基于体积分数形式的多介质流动数值模拟

把非守恒形式的体积分数方程与Euler方程组耦合，用交错中心型格式求解流体力学方程组。对一维情况下两种气体的相互作用和二维气泡的变形及塌陷问题进行了数值模拟，并把模拟结果与γ-model方法和NND（Non—oscillatory and non—free—parameter dissipation difference scheme，无振荡无自由参数耗散）格式的模拟结果进行比较，达到了抑制界面两侧非物理振荡和保持体积分数正性的目的。     

军用飞机总体方案的可承受性分析

为了研究飞机设计中的不确定性因素对总体方案优劣的影响,对飞机设计中不确定因素的存在根源进行了分析;介绍了不同不确定性因素的相应处理方法,包括概率论、变复杂度理论等;以此为基础,提出了面向可承受性的飞机总体方案评估方法;采用该总体方案评估方法,对某军用飞机及其改型的可承受性进行了分析;通过计算可知,在改型飞机上加装新型空空导弹可使改型飞机的可承受性优于原型机;结果表明,该方法可以应用于飞机总体方案的有效评估和合理改进中。     

导弹垂直发射系统三维超声速射流的数值模拟

对导弹垂直发射系统(VLS,Vertical launching system)内的三维湍流流场进行了数值模拟.采用了单元中心有限体积法和三阶迎风TVD差分格式离散Navier-Stokes方程,采用双时间步和预处理过程提高计算收敛速度,引入对角化的双时间ADI算法求解控制方程.仿真结果准确地模拟了发射系统内的激波形成过程,真实地反映出VLS中的复杂流动.研究表明,压力室底部射流中心的波后压强以大约1 200Hz的频率振荡.      

格子玻尔兹曼和气体动理学通量算法及其应用进展

采用守恒律方程求解流体流动问题时,单元界面通量的计算尤为关键,该过程也被称为通量重构。由于离散控制方程的物理量定义在解点上,如何利用解点上的值来计算单元界面的通量,是计算流体力学最为关心的问题之一。针对该问题的研究已发展了各式各样的计算格式,例如完全基于数学重构的差分近似、基于部分物理重构的黎曼通量求解器以及近年发展起来的基于完全物理重构的气体动理学格式、格子Boltzmann通量算法和气体动理学通量算法。本文首先对几种典型的通量重构算法进展进行回顾和分析;然后着重介绍格子玻尔兹曼通量算法和气体动理学通量算法的研究进展及其相关应用;最后就该类算法存在的挑战和可能的研究方向进行展望。     

大气层外拦截器末段轨控方案分析

针对采用固体推进剂动力系统的大气层外拦截器,从动力学角度分析了其末段飞行的轨控方案。首先推导了实现给定精度拦截时视线转率的控制范围,之后从提高被动测距可观性的角度给出了轨控发动机控制方式。根据系统延迟和采样频率对控制进行了修正,并讨论了发动机喷嘴开关对轨控推力大小的影响。最后进行了仿真验证。     

通信卫星热试验中转发器地面测试设备连接方案研究

通信卫星由于热试验环境和条件的特殊性,其地面设备在热试验中的连接方式随着高频段、高功率转发器的出现变得尤为重要。研究了通信卫星热试验时不同频段转发器地面测试设备在真空室内的连接方案,重点对Ka频段的解决方案及相关问题进行了详细分析和比较。     

基于非结构动态网格的翼型积冰过程数值模拟

讨论了积冰气象条件下翼型积冰过程的非结构动态网格数值模拟方法。外部无黏绕流流场采用基于非结构网格的分布式并行计算技术,空间离散采用VanLeer迎风有限体积格式,时间推进为5步显式龙格 库塔方法。采用四阶龙格 库塔方法求解过冷水滴运动轨迹方程,使用了一种合理、简单的物面水积冰量计算方法,提高了计算效率。使用非结构动态网格技术对积冰后的翼型网格进行快速调整。在对NACA0012翼型积冰形状进行校核验证后,对某型飞机在积冰气象条件下飞行时翼型积冰过程进行了数值模拟,得到了与参考文献结果相符的冰形特性。     

预处理AUSM+格式在全速域反应流模拟中的应用

对预处理修正的AUSM+(advection upwind splitting method+)格式进行了详细讨论, 并将其应用于全速域范围内的化学反应流场数值模拟.基于多组分Navier-Stokes方程, 结合控制方程时间导数项的预处理, 采用预处理修正的AUSM+格式发展了一种模拟全速域范围内化学反应流场的有效算法.验证算例包括超声速、亚声速以及极低速情形的化学反应流场, 计算结果表明基于预处理AUSM+格式发展的算法能够有效地用于全速域范围内化学反应流动问题的模拟.