自动寻找使多重串行循环并行化的幺模变换

对于已知ｎ维距离向量矩阵的多重串行循环，过去的并行化编译研究还缺乏寻找使循环外层并行化的幺模矩阵的可行算法．文章介绍了多重串行循环并行化的幺模变换方法，不仅从理论上证明满足外层并行化要求的合法幺模矩阵是存在的，而且通过构造性证明给出一个计算外层并行化幺模变换矩阵的可行算法，并探讨了扩大其适用范围于非完全嵌套和非常数相关距离循环的有效途径．

实二次整数环上的正定偶幺模格

本文给出了二次域 Q(d ) (d>0且无平方因子正整数 )上二次空间 V 〈1〉⊥〈1〉⊥…⊥〈1〉的正定偶幺模格存在的充要条件 ,不可分偶幺模格的构作及偶幺模格种类数为 1的实二次域 .

虚二次域上的正定幺模Hermite格的分类

推广 Kneser的方法 ,给出了类数大于 1的虚二次域上正定幺模 Herm ite格分类的邻格方法 .作为应用 ,对类数为 2的虚二次域 Q(6 i)及 Q(15 i)上秩 3的正定幺模格进行了分类 ,得到了其类数分别为 7和5 ,并且给出了每一类的代表格 .

实二次域上正定偶幺模格的类数

本文综合利用邻格方法及Siegel mass公式证明了实二次域Q( )上 内的偶幺模 格类数为2当且仅当Q( ),n=4及Q( ).n=8.

实二次域Q(8k+1)^(1/2)上的正定幺模格

给出了实二次域Q(8k+1)^(1/2)上的正定幺模格种类及其邻格关系和邻格链个数.利用推广的邻格方法,对Q(17)^(1/2)上的秩≤4的所有正定幺模格进行了分类,给出了代表格.

Z[7^(0.5)]上的正定幺模格的分类

利用邻格方法完成了Z[7]上秩 3的单位格种 gen(Ⅰ3 )及秩 4判别式ε=8+37的正定幺模格种W的分类 ,得到了h(Ⅰ3 ) =3,h(W )

幺模群上的不可分解正定函数及其应用

本文得到了么模群Ｇ上酉表示的不可约性的一个等价刻画．即若ｆ是Ｇ上正定函数，π是Ｇ在Ｈｉｌｂｅｒｔ空间Ｈ上的酉表示，ｕ∈Ｈ是 Ｈ的拓扑生成元且ｆ（ｘ）＝（π（ｘ）ｕ，ｕ），则ｆ是不可分解的正定函数的充要条件是π是不可约酉表示．并将这一结果应用到ＳＵ（２），ＳＬ（２，Ｒ）上．

基于幺模矩阵的MIMO雷达正交编码信号设计

针对MIMO雷达发射正交波形的要求,提出一种基于幺模矩阵的MIMO雷达信号设计的方法,该方法采用循环迭代算法,设计产生一组幺模的正交相位编码信号,通过仿真实验表明,由此算法设计信号波形具有较低的相关峰值旁瓣电平(PSL)和归一化的互相关峰值(CP)、支持更长的发射信号码长及良好的多普勒分辨率。且此算法具有收敛速度快、性能稳定、运算量低的特点。

实二次代数整数环上的正定幺模格的分类

推广了Ｋｎｅｓｅｒ的邻格方法，研究了Ｚ［／ｄ］ 上的秩４ｎ判别式１的正定幺模种的邻格性质，完成了Ｚ［／３］上秩４的正定幺模格的分类．

Z_(p^m)环上的自对偶码与幺模格的构造

首先给出自对偶码在Z_(p^m)环上存在的条件,即当m是偶数时,在Z_(p^m)环上存在所有长度的自对偶码,当m是奇数时,在Z_(p^m)环上存在长度为偶数的自对偶码。然后,将Z_(p^m)环上的自对偶码与幺模格建立联系,即定义一个同态映射,利用Z_(p^m)环上的自对偶码及其原像构造得到了一个幺模格。

Q(6^(1/2))上的定幺模格的分类

利用推广的邻格方法,完成了Q(6^(1/2))上秩4的在一个阿基米德除子上正定,在另一阿基米德除子上负定的所有幺模格种的分类.

不可分的正定幺模Hermite型的构作

本文给出了构作Z[m^(1/2)i]上不可分的正定幺模n秩Hermite格当m?3(mod4)时的方法.对任何自然数n,除了n=2,3,4,5(n=2,3)的例外情形,证明了存在Gauss整环Z[i](整环Z[2^(1/2)i])上不可分的正定幺模n秩正规Hermi-te格并给出它们的明显结构.又对任何n=4k(n=2k)构作了Z[i][(Z2^(1/2)i])上不可分的正定幺模n秩偶Hermite格.

全实代数数域上正定幺模格的分类

本文推广了邻格方法,并利用局部格,正旋量种及种的分类理论,给出了维数4判别式1的二次空间上幺模种的个数公式,正定幺模格种的质量与邻格数的关系公式,以及幺模格种的邻格图,正定幺模格种质量的计算方法.还完成了判别式148的全实三次循环代数数域K_(148)上二次空间V≌〈1〉⊥〈1〉⊥〈1〉⊥〈1〉内的所有5个正定幺模格种的分类.

对偶星幺半模与自反星幺半模

在引入星系统的基础上 ,进一步引入了无星因子 -幺半环、无星因子 -幺半模、对偶星幺半模与自反星幺半模等概念 。

L集合范畴中的L幺半群模

本文引入以完备的Heyting代数为真值集L集合范畴及L幺半群范畴概念,构造了L幺半群模结构与L幺半群T代数结构;讨论了L积函子F与L幺半群单位函子G的伴随性,并证明了与该伴随对应的L比较函子K是一个同构,从而得出L幺半群单位函子G是L可模的。

Dyadic域上幺模格的局部密度公式

最近,Fiori给出了dyadic域上幺模格的局部密度公式,但其秩3的局部密度公式与Pfeuffer和Krner的结果有矛盾,而且其秩4的公式中指数部分在一些情形下出现分数,与局部密度定义矛盾.本文利用Siegel的质量公式及邻格方法建立dyadic域上幺模格的邻格个数与局部密度的关系,得到秩3和4幺模格的局部密度,结合Pfeuffer的结果,得到dyadic域上任意幺模格的局部密度公式.

幺模乘子在α模空间中的渐进估计

我们研究幺模乘子在α模空间中的渐进估计.对不同频率分解的空间进行统一的研究,包括模空间以及Besov空间.结果中的上界估计包含了已知的模空间的结果.同时,在对符号函数做局部非退化假设的条件下,给出幺模乘子的最佳渐进估计.

幺半群模的结合素性质

设M是右R-模,G是严格的全序幺半群,σ是从G到环R的全体自同态的集合的映射.证明如果MR是σ-相容的,则Ass(M[G])={P[G,σ]|P∈Ass(M)}.

群分次环与群分次模的基座

将关于交叉积的基座的主要结果推广到了群分次环上 ,得到了群分次环的基座的一些具体刻划 ,特别地 ,证明了对有限群G和强G 分次环R ,有Soc(RR) Soc(ReRe)R soc｜G｜(RR) .

考虑损耗的内置式永磁同步电机标幺化系统硬件在环实时仿真与测试

传统内置式永磁同步电机实时仿真建模通常只针对某一特定电机，且不考虑电机实际运行中存在的损耗，这存在两个缺点：一是采用实际值建模通用性不足，改变电机参数容易造成定点数溢出或芯片资源的浪费；二是如果不考虑实际电机尤其是大功率电机运行中的损耗，会引起一定的仿真误差。为解决这两个问题，建模采用标幺化，以适用于不同功率等级的电机；同时，建模时加入了等效损耗模型。为对比实时仿真模型相对于真实电机的准确度，搭建了2个实验平台，即硬件在环半实物平台（HILBench）和实物双电机对拖平台（M／G Bench）。以M／G Bench为基准，测试转矩从轻载到额定负载，得到电机在不同转速下的电流值，将相同工况下的HILBench电流值与之对比。结果表明，所提方法提高了HIE实时仿真的准确度，轻载误差为2％～6％，重载误差为1％～2％。