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

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

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

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

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

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

基于双难题的环Zn上圆锥曲线的数字签名

通过对一个剩余类环 Z_n上圆锥曲线C_n(a,b) 数字签名方案(Xiao06方案)的安全性分析,发现该方案的公开参数选取和算法设计存在问题,导致利用韦达定理可以分解模数 n ,说明Xiao06方案的安全性不是基于整数分解难题的.针对此缺陷,采取保密部分参数和修改验证算法的方法,提出了一个改进的环 Z_n 上圆锥曲线的数字签名方案,并且给出了改进方案的数值模拟.分析表明,改进的方案是一个同时基于离散对数和整数分解双难题的环 Z_n 上圆锥曲线的数字签名方案,不仅保留了原Xiao06方案的优点(明文嵌入方便,求逆元速度快,元素阶的计算及曲线上点的运算容易),还具有很强的抗破解能力.     

一种基于智能卡的指纹认证方案

利用智能卡安全的计算和存储能力,在智能卡上不仅存放指纹特征模板,而且还实现两个特征集合的比对,指纹识别算法的其它过程则由经过认证的读写设备来完成.指纹的预处理仅包括三个部分:基于8个离散方向的方向场计算,在脊线方向使用平滑算子而在垂直于脊线的方向使用增强算子的图像增强和直接对脊线进行跟踪的特征提取算法.比对过程中首先根据两个集合中的全等三角形求出它们的旋转和平移参数,然后对根据参数进行转换后的特征集合进行点模式匹配.根据实验获得的卡上比对时间和识别率表明该方法的合理性,可用于工程实践.     

基于最小二乘法的椭圆拟合改进算法

基于最小二乘法研究了一种改进的椭圆拟合算法.最小二乘椭圆拟合算法,由于包含误差较大样本点在内的所有样本点都参与运算,所以会对椭圆拟合的最后结果产生偏差.针对这种情况,采用随机理论的思想,先随机选取6个点拟合椭圆,然后计算与此椭圆匹配的所有样本点个数.重复此过程一定次数,采用投票机制,匹配样本点多的椭圆即为最优椭圆,构造了一种快速准确剔除误差较大样本点的改进椭圆拟合算法,并在实际图像应用中验证了算法能够有效地处理包含有较大比例误差点的样本空间,拟合出具有高精度的椭圆,并且算法的速度能够满足实时性的要求.      

适用于Ad hoc网络的EIGamal型门限数字签名方案

现有ElGamal型门限数字签名方案在签名前签名各方需要协商生成一个随机数,该过程计算量与通信量比较大,不能满足Ad hoc网络的需求.将组合公钥的思想引入到ElGamal型门限数字签名的随机数生成中,为Ad hoc网络提出一种门限数字签名的改进方案.方案由密钥初始化和门限签名两部分组成.密钥初始化时,签名各方使用分布式密钥生成协议协商出系统公/私钥对和一个随机数矩阵,每个节点掌握部分私钥和部分随机数矩阵;门限签名时,每个签名方使用相同的算法在掌握的部分随机数矩阵中选择随机数进行部分签名;最后将部分签名合成整体签名.对提出的方案在随机预言(RO, Random Oracle)模型中进行了安全性证明.实用性分析表明:方案计算复杂度低,交互次数少,通信量小,有很好的执行效率与签名成功率.     

基于有限状态机的Type A卡防冲突技术

在分析了Type A非接触智能卡防冲突的基本工作原理的基础上,采用有限状态机模型对卡上位冲突检测协议的实现算法进行了数学表述和状态转换的设计,并采用统一建模语言UML中的状态图描述了卡上的防冲突过程.最后,在智能卡芯片上实现了防冲突协议,实际应用证明系统运行正确.     

基于快速搜索的码书快速生成算法

在k维欧氏空间R^k中,给定一个有限子集W及一个向量x,如何快速搜索W中与x距离最近的向量,具有重要的实际应用价值,尤其在图像的矢量量化编码、自组织特征映射SOFM(Self-Organizing Feature Maps)算法的码书迭代生成等问题中,快速搜索算法起决定性的作用.针对SOFM算法的具体特点,在分析已有快速搜索算法的基础上,给出了一种新的快速迭代码书生成算法,该算法兼顾了快速与节省内存问题.实验结果表明:提出的新算法的执行时间仅为已有算法执行时间的约42％.另外,新算法在模式识别领域和计算机图形学领域均具有实际应用价值.     

摄动椭圆参考轨道上的最优精确交会

针对椭圆参考轨道附近的交会问题,给出了数值梯度寻优算法和遗传寻优算法用于确定最优转移时间和最优双脉冲,并解决了双脉冲半圈交会和整圈交会的奇异问题.在此基础上,考虑地球J2带谐项对相对运动的影响,给出了采用线性梯度的迭代算法,并将其用于摄动下的燃料最优双脉冲交会制导.采用不同偏心率的参考轨道进行了交会仿真,结果表明该迭代...     

On the generation of satellite position (and velocity) by a mixed analytical-numerical procedure

The generation of accurate Earth-satellite ephemerides by numerical integration, over a period of perhaps weeks, can consume an inordinate amount of computer time. No satisfactory purely analytical procedure exists, but if short-period components of the standard elliptic elements are removed analytically, the resulting mean elements can be integrated with a step time that is longer than the satellite's orbital period.The definition of the mean elements depends on the particular perturbations included in the orbit generator and regarded as non-resonant. It is best if short-period perturbations are not applied to the orbital elements themselves but to the satellite's position (and velocity if required), expressed in a system of cylindrical polar coordinates, and the paper shows how mean elements can be recovered from position and velocity.A computer program has been written to test the proposed procedure for generating ephemerides, using a truncated potential field. Some results from this program are presented.     

一种基于HXDSP的移位器查找表技术

高性能信号处理应用的快速发展,对相应处理器的运算速度及吞吐效率提出了巨大挑战。移位器是数字信号处理器（DSP）上的重要部件,通过为移位器设计额外专用随机存取存储器（RAM）和查找表（LUT）,并对其指令集及架构进行优化调整,从而达到提高处理器使用效率和传输速率的目的。此外,基于移位器与相应查找表指令,可在数据暂存的同时进行移位、提取、算术与逻辑运算处理,将部分数据运算的过程直接合并在对移位器RAM的数据存读取过程中,显著地提高了运算部件的使用效率。结果表明:基于移位器查找表的暂存技术可以达到与传输总线接近的吞吐率,对信号处理算法快速傅里叶变换（FFT）可以达到加速比约为1.15~1.20的性能提升效果。      

软件雷达基于改进CORDIC算法的坐标变换

利用通用计算机软件化实现雷达数据处理和终端显示已成为一种趋势,而从极坐标到直角坐标的快速变换是保证雷达实时显示的前提.在雷达显示过程中角度数据随时间均匀变化,每增加同一个微小的值可得到下一个角度.通过合理选择角度增量使其在满足雷达显示的前提下同时符合CORDIC(Coordinate Rotation Digital Computer)算法的要求,并据此对CORDIC算法进行了改进.改进后的CORDIC算法只需1次偏转就可计算出需要的三角函数值,提高了从极坐标变换到直角坐标的速度.经过分析,改进后的算法使得坐标变换的速度比原来提高了15倍.      

一种面向空间飞行器视觉导航的椭圆检测算法

基于椭圆特征的空间飞行器视觉导航技术是一种新颖的高精度空间探测自主导航方法,如何对空间目标的环形边缘进行精准提取和高效拟合是实现空间飞行器视觉导航的必要条件。针对该问题,提出一种面向空间飞行器视觉导航的椭圆检测算法。利用多项式逼近导航图像连续边缘段的方式提取椭圆弧段;通过基于极大似然假设检验理论构建的模型选择判据,对来自同一个椭圆的椭圆弧段进行准确合并;对合并后的椭圆弧段进行拟合,得到空间飞行器视觉导航的椭圆检测结果。大量的仿真实验表明：与传统的椭圆检测算法相比,所提算法具有较高的精度和更高的鲁棒性,可以广泛应用于空间飞行器视觉导航图像椭圆检测,为空间飞行器视觉导航算法提供精准的二次曲线输入。     

多段翼型贴体网格的生成方法

本文给出了一种多段翼型绕流的分区贴体网格生成方法。采用泊松方程的解来给出贴体网格的坐标,泊松方程中的源项通过靠近边界的网格间距和正交性来决定,本文对分区网格的区域边界的选择作了讨论,采用生成的分区贴体网格计算了绕多段翼型位流的解,其结果与实验所得是很一致的。     

Fractal signatures for multiscale processing of hyperspectral image data

A multiscale approach to hyperspectral image data analysis using fractal signatures was proposed and implemented in the Interactive Data Language (IDL). For 2-D hyperspectral curves, fractal signature measures the changes in curve length with changing scale. Using NASA’s Earth Observing-1 (EO-1) Hyperion image from a study area near Denton, Texas, USA, the capabilities of fractal signatures in discriminating different land cover types were presented in three different ways: (1) fractal signature curves, (2) distances between fractal signatures, and (3) fractal signature images. The asymmetry in length measurement was found to be effective in handling hyperspectral curves obtained from Hyperion radiance data. The contribution of fractal signature images was shown through comparison of image classification results. The results from the Hyperion radiance data suggest that fractal signatures at certain scales can reveal important differences in land cover types.