长波定时ASF修正的GIS软件

论述的长波定时ASF修正的GIS软件能快速数字化可视化显示和调用服务区域的地形地理信息、大地电参数和大气折射率等多种数据源。使用此软件可以非常方便容易地用不同模型计算在广阔区域接收到的多个长波信号在各种典型路径上的ASF和地波传播时间延迟,并提高定时精度。     

基于小波分析和信息融合的航空发动机转子早期裂纹故障诊断

针对发动机转子早期裂纹难以检测的特点,建立发动机转子早期裂纹扩展模型,提出了对裂纹振动信号进行小波分析和信息融合的方法对转子早期裂纹进行检测。最后,以转子系统为对象进行实验研究,结果表明,此方法能够有效地提取转子早期裂纹故障特征并能对故障进行准确识别。     

阿拉伯卫星-3将出租给静止星公司

法国戛纳卫星厂即将改进第三颗阿拉伯通信卫星 Arabsat-3,以便能装备适用于美国静止星公司的移动通信设备。合同的一方是由22个阿拉伯联盟成员国联合组成的 ASCO 组织,另一方是负责改进卫星的航空航天公司和负责发射卫星的阿里安空间公司组成的联合会。Arabsat 卫星首先租给静止星公司使用3年,该公司使卫星定点     

一种新的广义凸多目标分式规划的对偶定理

本文给出了一类新的广义凸函数-(F,α,ρ,θ)-b-凸函数,讨论了多目标分式规划(MFP)的三种对偶模型:Mond-Weir型对偶、Lagrange型对偶、Schaible型对偶,并基于(F,α,ρ,θ)-b-凸性证明了各自相应的弱、强对偶定理。     

一类（h，φ）-意义下的分式规划解的最优性条件及对偶定理

本文利用Ben-Tal广义代数运算对一类分式规划进行了讨论,在目标及约束函数为(h,φ)-η不变凸的情况下得出了分式规划解的广义最优性条件,并建立了它的Mond-Weir对偶模型,证明了对偶定理.     

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

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

一种Linux用户空间下的快速伪随机数生成算法

随机数发生器是网络安全应用中的重要组成部分,对于构造加密算法的密钥具有重要作用.Linux操作系统提供了内核级随机数发生器,但因其随机数产生效率较低而不宜将其应用于密钥变换频繁的网络安全应用.给出了一个快速伪随机数生成算法.算法以64 bit硬件高频计数器作为随机数源.算法将计数器的低32 bit放入集合中,然后通过SHA(Security Hash Algorithm)算法对集合进行处理,并采用集合的前16 byte作为随机数输出.采用非参数检验方法检验算法产生的随机数质量,测试结果表明算法产生的随机数具有较高的安全性.同时由于算法运行在用户空间,比Linux的内核级随机数发生器具有较高的随机数生成效率.