基于智能卡的椭圆曲线数字签名算法的实现

椭圆曲线算法只需要较小长度的密钥就可以获得较高的安全性,因此非常适合用智能卡来实现椭圆曲线数字签名算法.首先介绍了智能卡提供的硬件加速模块的特点,为提高椭圆曲线数字签名算法的执行速度,采用射影坐标代替仿射坐标来表示椭圆曲线.最后给出了椭圆曲线数字签名算法的执行时间,结果表明,该算法能够有效地工作,与RSA和DSA算法相比,极大地减少了算法的执行时间.      

一种基于陨石坑拟合椭圆的着陆器位姿估计算法

针对星际着陆自主导航问题,提出一种利用陨石坑边缘曲线估计着陆器位姿的简便算法。该算法首先利用至少3条陨石坑边缘曲线及其对应的像曲线,建立关于着陆器位姿的几何约束方程;然后由克罗内克积和最小二乘算法,求取着陆器位置、姿态的解析解。该方法的优点在于,计算过程简单、快速。仿真结果表明,该算法可以较精确的估计着陆器位姿,鲁棒性好。     

基于恒应变率控制的椭圆凹模胀形试验方法

为确定2A16-O铝合金板材在不同温度及应变率下的成形极限曲线(FLCs),应用改进Hollomon公式获取满足外插可靠度的拟合应力应变,通过有限元分析(FEA)不同椭圆度的椭圆凹模胀形破裂位置,优化工艺参数得到指定应变路径下的成形极限点,建立了液体压力与等效应变及应变率的公式,推导出压力变化率与应变率的定量关系。以应变率控制的椭圆凹模胀形与单拉试验相结合,获得2A16-O铝合金板材在不同温度及应变率下的FLCs,为定量分析应变率的影响规律和评判理论预测方法的准确性提供了依据。      

一种基于身份的移动自组网认证机制

针对移动自组网无公钥基础设施的特点,采用基于身份的密码学算法、分布式秘密共享算法和椭圆曲线加密算法,实现安全高效的移动节点认证.简单讨论基于身份的数字签名算法;介绍如何使用Lagrange插值公式,实现分布式的系统主密钥;然后给出节点密钥安全分发的模型,并在此模型的基础上,基于椭圆曲线加密算法实现安全的分布式节点密钥签发;给出算法安全性和效率分析;根据双线性对的特点,讨论会话密钥的产生和更新.给出的认证方法,具有分布式实现和安全高效的特点,同时可以非交互式产生一次性会话密钥,适用于分布式移动网络环境.      

基于预计算和周期性的ECC标量乘法算法

在研究二进制、带符号的二进制(NAF,Non-Adjacent Form)等常见标量乘法算法的基础上,结合椭圆曲线基点的周期特性和预计算倍点序列方式,提出了一种新的标量乘法算法,并给出了新算法的详细步骤.点的周期性和系数决定了直接进行标量乘法运算还是转化为求其逆元,预计算倍点序列方式避免了椭圆曲线密码体制(ECC,Elliptic Curve Cryptosystem)加解密过程中大量的重复运算.为验证算法的正确性,采用密钥长度为192 bit椭圆曲线,给出了一个具体实例.实例结果和算法分析表明:与二进制和NAF算法相比,新算法虽占用了一些存储空间,但省去了倍点运算的时间开销,同时减少了点加的运算次数,极大地提高了标量乘法运算的效率.该算法的提出对完善ECC理论和加快ECC在实际中的应用具有重要意义.      

航天器相对运动的两点边界值问题解析解

针对无摄椭圆轨道,推导了表示真实相对位置速度的状态转移矩阵,进而推导出了相对运动两点边界值问题的一阶解析解。所得结果不仅可指定转移时间、还可在时间范围内进行全局的燃料优化或在时间和燃料两者间折中;对于周期和非周期的相对运动均适用。仿真结果表明此解的归一化精度达到10^－6。进一步的仿真发现相对转移过程的燃料消耗会随目标轨道偏心率的增加而增加;随长半轴的增加而减少;随初始真近点角的增加呈现周期性变化;随着转移时间增加,燃料消耗的总趋势是减少的。     

面向BDSBAS电文认证的OTAR播发策略设计

星基增强系统（SBAS）是向用户提供完好性信息的广域增强系统,涉及生命安全领域。为了提高SBAS系统的抗欺骗能力,基于椭圆曲线数字签名算法（ECDSA）提出面向北斗星基增强系统（BDSBAS）的电文认证设计方案。根据国内商用密码标准椭圆曲线（SM2）算法进行相应参数设计和电文排布方案,并描述了空中密钥更新（OTAR）的电文播发策略。为了进一步对试验方案进行验证,采用蒙特卡罗OTAR仿真器,基于3种播发调度算法进行仿真试验,通过调整权重对不同情况下OTAR电文接收时间进行分析。仿真结果为具体情况下OTAR电文方案播发调度的选择提供了重要参考依据。      

自珍的尘埃

新年走近,几则科技新闻入耳:普林斯顿大学开发出一种能够解决象棋数学问题的RNA计算机;罗斯林研究所为了获取所需人体组织同时避免过多的伦理麻烦,现在采用干细胞进行"治疗性克隆"试验;中国科学家参与世界性人类基因组计划,目前已完成对第3号染色体基因测序任务的一半.这些科技进展都涉及操纵生命遗传信息,都对人类的尊严有不同程度的刺激.     

二阶多项式自治系统代数曲线解的判定法

为了以解析的方法和代数的方法寻求二阶多项式自治系统的代数曲线解，并为进一步研究非线性系统的可积性和得域上多项系统的定理论，证明了关于复域上二元多项式的一个整除定理，并以ＶａｎＤｅｒＰｏｌ程及一个二阶二次自治系统为例，说明这一整除定量可以作为二阶多项自治系统是否存在代数曲线解的主要判据。     

空间飞行器电源系统的现状及展望

本文反映了国际上飞行器电源系统的历史和现状;介绍了太阳电池阵、蓄电池联合电源系统,放射性同位素电源和核反应堆的空间应用可能性,以及潜在的危险因素;并对未来进行了展望。     

中国航空可靠性维修性工程的现状与发展

综述了“七五”期间我国航空可靠性维修性工程从“萌芽”时期进入“初步发展”时期的历史过程。分析了航空领域中新、旧设计思想交替的特点,取得的成果及存在的问题。根据我国航空工业发展的需要,提出了必须建立国情化的可靠性工程学科的要求,描述了“八五”期间航空可靠性维修性工程发展的框架,制定了新研、改型机种(产品)可靠性维修性工程重点项目应用矩阵表。