UC安全的移动卫星通信系统认证密钥交换协议

由于移动卫星和移动用户的计算、存储和通信能力有限,解决移动卫星通信系统的安 全和保密问题面临许多困难。根据移动卫星通信系统的实际情况,分析了系统的安全需求, 基于UC安全模型定义了移动卫星通信系统认证密钥交换协议的理想函数,该理想函数保证了 强安全性和实用性,并用于实际协议的设计。在移动用户和移动卫星通信网络控制中心之 间,设计了一个简单、低计算复杂性的认证密钥交换协议,该协议涉及了较少的交互次数, 认证协议计算负载仅仅需要利用伪随机函数、散列函数和与或计算。同时,基于UC安全模 型,对新的协议进行了可证明安全分析。新协议的安全属性包括可用性、有效性、身份隐藏 的可认证性、前向保密的密钥交换以及协议的模块化可复合性。     

基于电动力绳系的航天器离轨方式初步研究

为寻找适合近地轨道上使用的航天器离轨技术,文章对目前各种离轨策略的基本原理及优缺点作了分析与对比,重点对电动力绳系离轨装置进行了深入研究,建立了数学模型,推导出离轨时间预估公式,对离轨的过程进行了数学仿真,结果证实电动力阻力能使近地轨道上航天器的轨道高度迅速降低,电动力绳系离轨策略具有很高的工程实用性。     

遥感图像中基于Hough变换的直线提取算法

针对遥感图像中大型目标的直线特征提取问题,设计了一种基于类直线提取的改进霍夫(Hough)变换算法。类直线的提取相当于Hough变换的预处理,既约束了Hough变换所使用的直线上的特征点,改进了直接进行Hough变换时不同直线的特征点互相干扰的缺点,又降低了计算量。对图像空间的每条类直线分别进行Hough变换,改进投票过程的映射方式,寻找类直线中最多特征点所在的那条直线,只取一个投票峰值,在减小了计算复杂度的同时又去掉了虚假峰值的影响。实验结果表明,改进Hough变换直线特征提取算法性能好、效率高,可用于遥感图像处理领域。     

一种直接入轨卫星变轨阶段的供电方案

相比传统的卫星自身变轨方式,直接入轨方式下卫星的主动段时间将延长到4～5h。为解决卫星直接入轨过程中由于主动段时间大大加长,导致卫星电能需求的增加,以及电源系统配置不必要的质量增加的问题,文章提出了一种在发射和变轨阶段通过运载火箭上面级向卫星供电的方案,即在上面级上增加了一套独立的一次性电源系统。该系统与卫星自身电源系统相结合,在发射和变轨期间优先使用,卫星自身电源根据负载用电情况自主介入,能很好地解决卫星直接入轨方式下主动段的电能需求问题。     

湍流方程扩散项离散对某径向叶轮流场计算的影响

在相对旋转坐标系下采用Harten,Lax and van Leer contact （HLLC） 格式离散对流项,自行开发了基于多块结构化网格的有限体积程序,实现了对叶轮机械内部流场的数值求解.分别对半开式径向叶轮、闭式后弯叶轮展开数值模拟,程序和商业软件计算得到的不同叶高处表面压力数据,其相对差异不超过1%,验证了算法的正确性.针对湍流方程的扩散项,分别使用完全离散和略去交叉导数项离散,通过对湍流黏度等值线、气动轴向力和力矩的比较表明:在网格正交性较好的情况下,略去交叉导数项的离散对计算结果的影响小于1%,显著地减小湍流方程离散的计算量.      

间冷燃气轮机预防凝析问题研究

针对间冷燃气轮机过程控制,提出了湿空气凝析问题.以湿空气等压和等温热力学状态变化为基础,分析了间冷燃气轮机压缩、间冷过程湿空气状态变化特征,推导了湿空气经过低压压气机压缩与间冷器冷却后状态参数的变化关系,得出了只有在间冷过程才会发生湿空气凝析的结论,建立了湿空气凝析的条件判别式.以在线测量参数可获取性为基础,建立了以间冷后静温为控制目标的多参数的逻辑控制方法,并结合工程实例对转换的控制静温进行了精度分析,结果表明其误差在0.6‰以内,编制了工程适用的间冷燃气轮机控制程序,并给出了全工况运行的控制方案.      

GPU平台上的叶轮机械CFD加速计算

通过数据并行的方式对一个成熟的叶轮机多块网格气动计算程序(MAP)进行了并行化处理,利用计算统一设备架构(CUDA)技术实现了在图形处理单元(GPU)上的并行计算.保留了原程序中的2阶空间迎风格式和隐式时间离散格式,并采用了隐式迭代对线性系统进行求解.经过2个叶轮机械算例的测试,与在传统的中央处理器(CPU)上运行的原程序相比,在计算结果完全一致的前提下,单GPU的计算速度最高可达单CPU计算速度的8.89倍,与四核并行的CPU计算相比可以得到2.39倍的加速.     

捕捉激波的群速度控制方法

回顾及综述了群速度控制方法基本原理、发展过程及最新进展。群速度控制方法是通过控制色散误差以捕捉间断的一种数值方法。该方法通过在间断两侧采用不同色散类型的格式,将数值波的传播压制在间断附近,避免数值振荡向周围扩散,从而达到抑制数值振荡的效果。该方法主体上采用数值色散抑制振荡,实际使用中仅需补充较低水平的数值耗散就可将振荡压制在可接受的范围内。因而群速度控制格式的总体耗散水平较低,易于实现小尺度波的高分辨率捕捉,是复杂流动高分辨率数值模拟的有效方法。     

基于研制信息的测试性验证试验方案研究

针对现有测试性验证试验方案需要较大故障样本量的问题,提出了一种利用研制信息制定测试性验证试验方案的新方法。首先,在二项分布经典抽样模型的基础上,运用证据理论方法,研究了基于测试性试验数据、测试性预计结果和专家经验等研制信息的基本信任分配函数的构造方法,建立了基于融合不同种类研制信息的测试性验证试验方案,并确定了该方案的存在性,给出了方案的确定方法,最后开展了案例应用研究。由于充分考虑了研制信息,因此在确保有较好的验证效果的条件下,与传统的试验方案相比,该方法可以明显减少故障样本量,或在样本量保持不变的情况下有效降低双方风险。     

一类中心型三阶格式及应用

通过分析格式的耗散关系和重线性化技术,发展相应格式构造技术,提出了一类中心型的三阶非线性格式,格式具有与NND格式相当的网格模板.由于格式的线性形式具有很好的耗散特性,同时重线性化技术的使用使格式在光滑区尽量采用线性形式,从而理论上提升了计算对旋涡等结构的分辨和保持能力;另一方面,格式的非线性机制使格式在非光滑区退化为类NND格式,实现耗散和稳定机制.验证计算表明,格式能够开展粘性和旋涡及脉动流场的计算应用,算法形式简单,便于工程应用,容易进行有限体积推广.