Security Analysis of Discrete Logarithm Based Cryptosystems

0 IntroductionNowthere are many well known cryptosystems based ondiscrete logarithms , such as the ElGamal cryptosys-tem[1]and the digital signature algorithm(DSA)[2]. Discretelogarithms have many advantages . Breaking the discrete log-arithm modulo pri mepappears to be somewhat harder thanfactoringintegern,and elliptic curve cryptosystems may usemuchsmaller keysizesthan RSA-basedcryptosystems of com-parable security.The discrete logarithmproblemover a group can be bro-ken down into a numb…     

微机排版校对中易出现的差错及对策

从多方面分析了排版校对过程中容易产生的差错，并从编辑应具备的计算机素养、排版软件所具有的功能及校对技巧出发，提出了如何防止这类差错发生的具体措施．     

道琼斯工业指数与纳斯达克指数的非线性协整分析

首先对道琼斯工业指数进行分整分析,长记忆的道指被分数维差分得到平稳时间序列;进而对纳指也进行分数维差分.由于两指数的分整阶数不同,故不存在线性协整关系,所以,文章着重讨论两指数的非线性协整关系.     

美国对非石油战略的地缘政治透视

冷战时期，非洲由于丰富的自然资源和重要的战略位置成为美苏两个超级大国争夺的重要区域。冷战结束以后，随着前苏联的解体，非洲的战略地位有所下降，美国对非洲的兴趣也日益减弱。但近几年来，美国对非洲的战略开始由冷变热。文章从政治地理角度对美国近年来对非石油战略的转变进行了分析。     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

一种适于强横向变速的高阶差分正演模拟方法

波动方程正演模拟法相对于射线法具有精度高、效率低的特点。为了提高其效率 ,提出了一种高阶差分正演模拟方法。该方法考虑了速度场局部的强横向变化 ,适于复杂介质的正演模拟 ;在相同精度下 ,高阶差分的空间横向间隔可取为低阶差分的 2～ 4倍 ,有较高的计算效率 ;高阶差分加上合适的边界条件能较好地解决网格频散和边界效应问题。通过对Marmousi模型的试算 ,验证了该方法对复杂速度模型的适应性、有效性和实用性。     

舰载超视距雷达背景杂波统计特性分析

海杂波的统计特性对于岸基与舰载表面波雷达目标检测算法的设计非常重要。岸基雷达测试下海杂波的统计特性已有论述 ,主要阐述舰载雷达情形下背景海杂波的理论与数学统计模型 ,并提出了海杂波序列的参数自回归模型 ,对海杂波的重要统计参数如相关性进行了统计分析 ,最后得出了舰载雷达情形下一阶与二阶海回波皆为正态分布的结论 ,为在舰载雷达情形下进行信号检测奠定了理论基础。     

飞行模拟器六自由度运动系统的关键技术及研究现状

作为飞行模拟器载体的并联六自由度运动系统是飞行模拟器非常重要的组成部分。其本质是由数字计算机实时控制并能提供俯仰、滚转、偏航、升降、纵向和侧向平移的六自由度瞬时过载仿真设备。本文从研制者的角度出发，评述了研制高性能飞行模拟器六自由度运动系统所需的关键技术及其国内外的研究进展。结合样机设计与制造的实践经验，提出亟需解决的若干理论与技术问题，以及解决这些问题的可行途径。     

带参模糊关系合成

该文对广义λ-并算子的性质作了进一步的研究,利用该算子对通常的模糊关系合成进行了推广,提出一种带参的模糊关系合成,并给出了它的若干性质。     

关于多元Gauss—Weierstrass算子的一致逼近

本文利用一类 K—泛函和光滑模的等价性给出了二元 Gauss—weierstrass 算子在一致逼近意义的正定理、逆空理和特征性。