孪生素数椭圆曲线E_+的整数点

设p和q是适合p+2=q的孪生素数.文章根据二元四次Diophantine方程和联立Pell方程组的解数上界证明了:当p≡1(mod 4)时,椭圆曲线E+:y2=x(x+p)(x+q)没有非平凡整数点(x,y);当p3且p≡3(mod 4)时,E+至多有3对非平凡整数点.     

一类n维自映射有特殊异状点的充要条件

在一维自映射中，L．Block和Z．Nitecki分别指出了有特殊异状点、有异状点、有素周期点三者等价．本文主要给出有特殊异状点的一类n维自映射．     

素理想(p)在Q(μ(1)/(25))中的分解

设Q为有理数域 ,令 φ为由奇素数p生成的有理数域Q的p adic赋值 ,R为与其相对应的赋值环 ,(p)为R的极大理想 (素理想 ) .用扩张平移的方法讨论了素理想 (p)在Q的 2 5次根扩张Q( μ1 2 5) ( μ∈R)中的分解问题 ,并完全解决了该问题 .     

哥德巴赫猜想的新尝试

本文提出两个猜想:(Y)猜想和弱(Y)猜想,证明了(Y)猜想的正确性蕴涵哥德巴赫猜想的正确性;弱(Y)猜想的正确性蕴涵弱型哥德巴赫问题的一个新命题:一切偶数都可以表示为至多四个素数之和。     

快速检验梅森素数的一种新方法

研究梅森素数与偶完全数的内在联系,分析偶完全数因子分解的结构特点,分别得到一个准偶完全数序列的通项公式:Sn=22n-2·(22n-1-1),和一个准梅森素数序列的通项公式:SMn=(22n-1-1).最后给出快速检验梅森素数新方法的算法思路.     

算术级数中的无平方因子数

给出了算术级数中不大于x的无平方因子数的一个上界估计,并由此给出了算术级数中最小的无平方因子数的明确的上界.应用到二元一次不定方程中,证明了对(a,b)=1,a>b>0,当n≥4000a3/2b·2v(a) v(b),(n,ab)=1时,存在无平方因子数u,v,使得n=au bv,其中v(a),v(b)分别为a,b的不同素因子的个数.我们猜测,对(a,b)=1,a>b>0,总有C(a,b),使得当n≥C(a,b)且2nab,(n,ab)=1时,存在奇素数p,q,满足n=ap bq.Goldbach猜想是其特例,即:a=b=1.     

关于有限域F_q上的置换多项式

对于给定的置换多项式f(x)∈F_q[x],研究f(x)是否F_(q~r)(r>1)上的置换多项式,是研究有限域上置换多项式的主要问题之一.本文改进了Carlitz和万大庆的方法,完全解决了形如x~(((q-1)/4)+1)+ax的多项式是否F_(q~r)上置换多项式的问题.     

零维理想的性质

主要研究和讨论多项式环k[x1,…,xn]中零维理想的一些性质及模零维理想I的商环k[x1,…,xn]/I可分解成一些无幂零元环的直和.并讨论了当I是准素理想、零维准素理想时,I∶f与I∶〈f1,…,fr〉的性质;得到了以下重要结论:当I是P-准素理想,则I∶〈f1,…,fr〉=R或是P-准素理想.参8.     

广义Frame的谱空间

本文在frame的范畴形式推广--广义frame上引进点、素元与谱空间的概念,并且证明任意广义frame都是完备、余完备的Cartesian闭范畴.进而说明一个广义frame上全体点与该广义frame上全体素元之间存在着范畴等价的关系,此关系不同于经典frame理论中相应的--对应关系.并且讨论了广义Frame范畴与拓扑空间范畴之间的函子关系,最后,证明广义frame的谱空间是Sober空间.     

基于FPGA的实时PFFT处理器的高效实现

摘要：
提出了一种在现场可编程门陈列（FPGA）器件上高效计算实时离散傅里叶变换（DFT）的处理器.该处理器采用实时质因子傅里叶变换（PFFT）算法实现,应用级联流水架构来获得实时处理能力;利用基于查找表（LUT）的分布式算法来获得与FPGA器件基本逻辑单元适配的特性;利用质数点DFT的循环卷积特性来显著降低LUT的规模.根据该方法,设计了一个16位、1 105点的实时PFFT处理器,并在Xilinx Virtex5 FPGA平台上进行了实现验证.结果表明,该处理器达到了比现有1 024点快速傅里叶变换（FFT）更少的资源占用和更高的资源利用效率.
关键词：

中图分类号： 文献标志码： A