AKS算法及关于它的一种改进算法的实现分析

2002年，Agrawal、Kayal和Saxena成功地解决了多项式时间判别素数这一著名的世界难题，他们给出了一个算法(简称AKS算法)，该算法对输入整数是素数还是合数进行判断。它是一个确定的多项式时间算法．后来许多科学家对该算法进行了改进，其中一个比较好的改进是由Bernstein给出的(简称Bernstein算法)．作者详细分析了这两种算法，利用C语言实现了这两种算法，并进行了比较，找出了真正需要用到AKS算法和Bemstein算法来判断其为素数和合数的最小数，并估计出所需要的运行时间．     

退火温度对25Mn-3Si-3Al-TWIP钢组织和力学性能的影响

研究了不同退火温度对25Mn-3Si-3Al-TWIP钢组织和力学性能的影响.结果表明经1000℃退火后,此钢种可达到640MPa左右的抗拉强度和255MPa左右的屈服强度以及82%以上的延伸率,具有较好的综合力学性能.其室温组织为单相奥氏体基体的退火孪晶,通过TEM观察内部为大量的层错和孪晶共存结构.在随后的拉伸变形过程中产生大量形变孪晶,发生了TWIP效应——孪晶诱发塑性效应,使钢板具有优良的力学性能.     

代数整数环的素元及剩余类环

作为抽象代数中环理论的两个重要环Z[i]与Z[ω],常以特例的形式散见于抽象代数教材中,对其系统的讨论不多见.而这两个环不仅是抽象代数中的重要实例,而且它们的性质是数论中相关理论的重要基础,特别是Z[ω]在解决费马问题n=3的情形时发挥了关键的作用.文章较为系统的讨论了整环Z[ω],确定了Z[ω]中的素元及其剩余类环所含元素的个数,由此得到数论中一个与Fermat小定理类似的结果。     

素环上的交换映射

设R是一个环,F:R→R是一个映射.如果对所有的x∈R,有[F(x),x]=0成立,则称F是R上的交换映射.文章的主要结论为:设R是特征不为2的素环.如果存在一个非零广义导子:δR→R,使得映射x→[δ(x),x]在R上是可变换的且δ(I)∈Z(R),则δ在R上是可交换的.     

关于乘法分拆数上界的一个注记

设f(n)表示分解自然数n为大于1的整数因子乘积的所有方式的数目,用初等简洁的方法改进了f(n)的上界,证明了若nP,P2,则f(n)≤(n)/((q(n)-1)p(n)),其中p(n),q(n)分别为n的最大素因子与最小素因子.     

任意点存储器结构FFT处理器地址策略

提出一种针对任意点数运算的并行地址无冲突的存储器结构的FFT处理器.该方法利用高基底的分解方法减少整体计算时钟周期,以及小基底互联的多路延迟交换结构降低计算引擎的复杂度.该方法可以将存储器结构FFT处理器中的几个重要特性如连续帧处理模式,多点数计算和并行无地址冲突等特点集成在一起.另外,素因子FFT算法也被运用到该处理器当中用以降低乘法器个数和蝶形因子存储,以及满足任意点数的计算需求.设计了一种统一的基-2,3,4,5的Winograd算法的蝶形计算单元用以降低计算复杂度.实验仿真结果表明,本FFT处理器在122.88 MHz工作频率下功耗只有40.8 mW,非常适合LTE系统的应用.      

关于亚纯函数的分解

本文将 Noda 关于一个超越整函数与一个线性整函数和的素性的工作考虑到一般的一个超越亚纯函数与一个有理函数和的分解.     

四元数的归域公式及其应用

给出四元数的归域公式,用它可以求得四元数体上左（右）一元多项式的四元数零点及四元数二阶方阵的LL（RR）特征值。     

交换环的素谱空间的连通性

本文中的环均指有单位元的交换环。本文在一定条件下对于J.R.Silvester提出的关于环的素谱空间连通与道路连通关系的问题给出了肯定的回答,并给出了极大理想或极小素理想个数有限的环的结构定理。     

PIMD上一元多项式环的素理想分类

设R是主理想整环,若R有无穷多个极大理想,则称R是Principal Ideal Maximal Domain,简称为PIMD.设x是PIMD上的未定元,R[x]是R上的一元多项式环.依据整环的基本理论和唯一分解环的结构理论,研究R[x]的素理想和极大理想,推证了R[x]的任一主理想都不是极大理想,给出了构造R[x]的极大理想的一种方法,得到了R[x]的素理想是极大理想的条件,最终给出R[x]的素理想分类定理.