关于丢番图方程x~2+27y~2=4p

分类讨论了方程x2 +2 7y2 =4p解的存在性 ,给出其有解的一个充要条件 .     

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…     

Bernoulli数模2r和3r的同余式

设{Bn}为Bernoulli数,m、n为自然数,本文证明了同余式(2-22n)B2n≡1-4n ∑mk=1(2n)/(2k)24kB2k (mod 24m 3)与(3-32n)B2n≡2-6n 2∑mk=1(2n)/(2k)32kB2k (mod 32m 1).取m=1,2,得到[5]中宣布的(2-22n)B2n(mod 27)与(3-32n)B2n(mod 35)的简单同余式.     

计算机化简逻辑函数的算法研究

针对计算机化简逻辑函数普遍存在操作复杂、存贮容量大、运算速度慢等问题，该文用改进的重复包含算法寻找逻辑函数的质蕴涵，选择极值法求最小覆盖，并对循环函数进行处理。实验表明，这种算法可以减少存储容量、加快运算速度，而且可以增大算法的应用范围。因此，该算法在数字电子设计自动化中具有广泛的应用前景。     

KosnioWski-Stong公式的一个简单证明

Kosniowski-Stong公式是近年来带对合协边领域的一个较重要的结果，它来源于Atiyah与Singer在指标定理方面的工作。此公式现有2种证明方法，其中属于带对合协边理论的是一种验算性质的证明。现利用带对合协边理论基本定理直接导出了此公式，由此可看出这2个重要结果是紧密相连的。     

关于Euler数的一些恒等式

将欧拉数的形如的累加和的递推关系式更具体。     

近终形连铸技术的发展状况

近终形连铸技术是当今冶金科技领域的一门前沿学科。本文介绍目前近终形连铸技术的发展及趋势。在世界各国的研究中，美国比较注重单辊法，日本侧重于双辊法，西欧则侧重于改进结晶器的结构和功能，开发新型铸机     

关于Fibonacci数列的两点注记

注记给出了Fibonacci数列两个重要公式的组合表达式,以及Fibonacci数与级数有关的两个新结果。     

关于M(x)=o(x)的一个初等证明

本文的主要结果为:设μ(n)是M?bius函数,x>0为实数,若M(x)=■,则M(x)=o(x),x→∞.完成了该定理的初等证明.