有限域上的k-型高斯正规基的对偶基及其乘法表

设q为素数的方幂,N是F qn在F q上的k-型高斯正规基.得到了k型高斯正规基的几个性质,并利用这些性质给出了N的对偶基的简洁证明,以及N与其对偶基乘法表对应元素之间的关系.

J_(x^m) f类解析函数正规型

文章给出Jxm f函数类的正规型的一个简单的初等的证明方法。

HERMITE型非正规样本定理及其混淆误差估计

该文证明了具有扰动的二重样本序列的指数型整函数的Marcinkiewicz-Zygmund型不等式.并由此结果得到非正规样本定理及其在Soblev类上的混淆误差估计.

AES轮变换的代数正规型及其应用

每个布尔函数的代数正规型(ANF)是唯一的,对于研究布尔函数有重要意义。利用Mathematica软件得到了高级加密标准的轮变换(Sbox,ShiftRow和MixColumn的复合)的128个分量函数的代数正规型。每个分量函数都是32元布尔函数,其项数在448～545,平均为496,远远小于随机32元布尔函数的平均项数231。这表明AES轮变换与随机置换有巨大偏差。得到这些ANF的时间复杂度在一个2GHz的PC机上只用几分钟。该方法优于通过真值表得到ANF的经典算法——其得到128个分量函数的时间复杂度为O(128×32×232)=O(244)。作为应用,利用得到的ANF建立了一轮AES的一个方程系统,并用Cryptominisat 2.9.0进行求解。使用Guess-and-Determine的方法,利用一个已知明密对,可以在PC机上233h内得到全部128比特密钥。

第二型优化正规基Lambda矩阵的快速计算

文章通过对第二型优化正规基Lambda矩阵所涉及的同余方程组进行优化并采用合理的预计算方法,实现了对第二型优化正规基Lambda矩阵的快速计算。与通常方法相比可以减少近一半的运算时间。

浸泡型非正规垃圾堆体治理综合勘查技术应用研究——以北京某垃圾堆放点治理勘查为例

由于大型、浸泡型非正规垃圾堆放点对周边土壤与地下水有较高污染风险,针对该类型的垃圾堆体,往往采用异位筛分清源治理方案。因垃圾体被地下水浸泡,导致治理方案通常比较复杂,涉及到采用环境与岩土综合治理技术。治理方案设计除进行筛分工艺设计外,垃圾清挖还会涉及到降水地下水控制、基坑支护和抽出污水处理方案设计,鉴于此,只有运用综合勘查技术才能满足复杂治理方案设计需求。目前我国还没有开展针对浸泡型非正规垃圾堆体的综合勘查技术研究,也没有相应的规范可参考。本研究首次系统提出了针对浸泡型垃圾堆体的综合勘查技术,并将该技术应用于北京市某处因周边河道生态补水形成的浸泡型垃圾堆体的治理勘查项目。工程实践结果表明,该综合勘查技术实用性强,在类似垃圾堆体勘查中具有参考和借鉴价值。

正规半日潮的潮型数及平均潮差对港口航道通过能力的影响

我国黄海、东海大部分海岸线为正规半日潮,本研究在分析国内沿海潮汐资料的基础上,建立港口船舶作业系统仿真模型,研究潮型数、平均潮差对港口航道通过能力的影响。结果表明,对于正规半日潮港口,潮型数对航道通过能力没有显著影响;平均潮差是影响航道通过能力的关键因素。

真左正规型A幺半群的结构(英文)

利用P-子直积以及左正规型A幺半群上的最小右可消同余的性质,证明了右可消幺半群和左正规带的P-子直积是一个真左正规型A幺半群;反之,真左正规型A幺半群可以分解成右可消幺半群和左正规带的P-子直积.

Hermite型非正规样本定理的一致截断误差与混淆误差估计

估计了函数f(x)在具有某种衰减条件(存在s>0,使得f(x)≤C1/1+|x|s,f'(x)≤C2/1+|x|s,其中C1,C2为正常数)时,利用Hermite插值算子在非正规节点处进行插值重构所产生的一致截断误差与一致混淆误差的界。

一类特殊半拟齐次函数的正规型

利用文献[1]中给出的半拟齐次函数的性质证明了一类特殊半拟齐次函数的正规型,使得半拟齐次函数的分类更加简化。

R(L)型诱导空间的正规性

Kubiak在文献[1]中研究了I(L)型诱导空间中的正规性,complete正规性以perfect正规性与LX中相应概念之间的关系,得到了三个重要的定理.本文将这一结果推广到R(L)型诱导空间情形.

Mod 2^n加法和减法的代数正规型

文献[1]给出了从n元布尔函数f的代数正规型得到f(X+Y mod 2n)和f(X*Y mod 2n)的公式,其中Y是常数。基于mod 2n加法进位比特的性质,给出了求X+Y mod 2n或X-Y mod2n的n个分量函数的代数正规型的方法。其总的计算复杂度分别为O(2n)(或O(3n))。远远低于经典的用真值表计算布尔函数代数正规型的算法[2]。使用文献[2]的算法仅得到X+Ymod 2n(或X-Y mod 2n)最高位的计算复杂度就达O(2n*22 n)。

多环芳烃结构与命名及对称性分类——正规苯型稠环芳烃

系统研究了多环芳烃的结构与命名及其对称性分类,对正规苯型稠环芳烃的结构与命名进行了研究,提出了一种新的分界命名法,给出了产生正规苯型稠环芳烃的两个定理,并用微机获得了它们的结构生成,系统命名,结构计数和对称性分类,另外还研究了关于正规苯型稠环芳烃和其它相关分子极性的某些问题。

调和γ-正规映射和调和γ-正规型映射

作为调和γ-Bloch映射和调和γ-Bloch型映射的推广,研究了调和γ-正规映射和调和γ-正规型映射,讨论了这2类调和映射的如下性质:仿射不变性、线性不变性、包含关系、与局部一致单叶调和映射的关系以及从属原则.

两类解析函数的正规型

文中利用半拟齐次函数的性质,证明两类解析函数的正规型,简化了半拟齐次函数的分类.

关于两类函数正规型的证明

用一种比较初等的方法证明了半拟齐次函数的正规型。

抓住资源枯竭型城市转型契机大力发展非正规教育

非正规教育已经成为衡量终身学习实现的杠杆。目前许多国家在制定本国教育方针、政策和构建国民教育体系的框架时,均以终身教育理念为依据,以终身教育提出的各项基本原则为基点。随着社会的发展,特别是现代科学技术的迅猛发展引起的产业结构、劳动市场结构、劳动的性质和社会生活等一系列的急剧变化,加强非正规教育迫在眉睫。而阜新面临着经济落后、教育经费短缺的实际问题,如何在短期内培养专业技术人才,提高劳动力素质,积极探索劳动力转移途径,这是我们目前资源枯竭城市普遍遇到的问题。

正规齐型空间中的一类恒等逼近

设δ(x,y)是正规齐型空间(x,d,μ)中的一个非对称拟距离,K_(?)是由δ(x,y)定义的一族算子,T是K_(?)的极大箅子,本文研究了T的L_p(1<p<∞曲)及弱L_1有界性,且给出了K_(?)(f)的点态恒等逼近和L_p恒等逼近。

关于T_H型区间值模糊正规子群的乘积结构

本文在群上的区间值模期集空间上,通过引入幂等区间范数“T_H”,给出了T_H型区间值模糊集乘积的定义,并研究了这种乘积在其模糊正规子群空间上的推广性质。

GF（2m）域上Ⅱ型最优正规基的字级乘法器

通过研究Ⅱ型最优正规基及重序正规基之间的关系及特点,提出了一种GF(2m)域上Ⅱ型最优正规基字级乘法器。该型乘法器比串行结构乘法器更快速,比并行结构乘法器更节省资源;算法针对字级结构进行了最优,相比其他字级结构乘法器具有更小的空间复杂度。实验表明,该乘法器可以获得很高的时钟频率,且不受运算字长的影响。