关于代数L-domain的一个刻画定理

引入了强core紧拓扑空间的概念,给出了代数L-domain的刻画定理,其主要结果是:偏序集D是代数L-domain当且仅当对每个强core紧拓扑空间X,函数空间[X→D]是代数L-domain.     

Domain函数空间代数性的一个注记

利用步函数讨论了domain函数空间的代数性,证明了当D是Lawson紧的代数domain,L是一个特定的非L-domain的连续domain时,函数空间[D→L]是代数的.     

代数L-domain的表示定理及其相关范畴性质

引人局部条件并半格(简记为L-cusl)及其理想完备化等概念．证明了：任一代数L-domain的紧元集是L-cusl，任一代数L-domain是其紧元集赋予A1exandrov拓扑时的Sober化；任一L-cusl的理想完备化是代数L-domain，从而得到了代数L-domain的表示定理．还证明了Scott连续映射为态射的代数L-domain范畴为L-cusl与单调映射作成的范畴的反射于范畴．     

关于强core紧空间的一个刻画定理

本文引入了强core紧概念,给出了强core紧空间的一个刻画定理.其主要结果是:设X是一个拓扑空间,若X是强core紧的当且仅当对每个代数L-domainD,函数空间[X→D]是代数L-domain.     

广义函数空间E′上的乘子

设L_1,(G)是局部紧交换群G上可积函数(关于Haar测度)全体所组成的带有通常范数和卷积的空间.又设T:L_1(G)→L_1(G)是连续线性算子,如果T与平移算子τ_s可以互相交换,即Tτ_8=τ_8T,就称T是L_1,(G)上的乘子,Edwards、Helson、Wendel等曾经研究了这种乘子的特征以及平移算子(它显然是乘子)在所有乘子中的地位(参见[2]),本文将考察广义函数空间E′上的乘子,获得了一些相仿的结果,但由于E′不象L(G)那样是一个Banach代数,同时又没有Haar积分这一工具,因此在考察的方法上只能利用广义函数本身的特性了。     

Fourier级数在L_(2π)空间的平均收敛

设(1)是函数f(x)∈L_2的Fourier级数,{S(f;x)}是级数(1)的部分和序列。又为f在L_(2x)空间中的范数。     

超顶点代数L_(c_m)的σ-正则性

设L_(c_m)是关于N=2超共形代数的超顶点代数,其中c_m=3m/m+2.2001年,Adamovic′证明了L_(c_m)的正则性.本文考虑超顶点代数L_(c_m)和自同构σ,证明了L_(c_m)的σ-正则性,这里σ|(L_(c_m))0=id且σ|(L_(cm))1=-id.     

关于Fuzzy弱收敛的完备性定理

在泛函分析中,函数列的弱收敛性是函数空间理论中诸收敛概念中的重要模型之一,它的通常定义是如下给定的,设L_1(Ω,(?),μ)为Lebesgue空间,函数列{x_n}_1~∞(?)L_1(Ω,(?),μ)弱收敛于x_0(记如x_0=w-(?)),是指f(x_0)=(?)f∈L_1~*(Ω,(?),μ),(其中L_1~*(Ω,(?),μ)为L_1(Ω,(?),μ)的对偶空间),文献[1]、[2]指出,这个定义又等价于如下的定义:     

L-稳定事件结构和L-domain

在domain理论中,事件结构和信息系统是domain的逻辑表示的主要工具.通过研究事件结构和它所对应的domain结构之间的关系,作者提出了L-稳定事件结构以及L-映射的概念,证明了L-稳定事件结构和L-映射构成的范畴等价于具有性质Ⅰ的代数L-domain和稳定映射构成的范畴,由此说明了可以通过特殊的事件结构来表示具有性质Ⅰ的代数L-domain.     

超顶点代数L_{c_m}的\sigma-正则性

设~$L_{c_m}$~是由~N=2~超共形代数构造的不可约超顶点代数, 其中c_m=\frac{3m}{m+2}. 2001年, Drazen Adamovic证明了L_{c_m}的正则性.本文主要考虑单超顶点代数L_{c_{m}}和自同构\sigma, 满足条件\sigma|_{(L_{c_m})_{\bar0}}=id且\sigma|_{(L_{c_m})_{\bar1}}=-id. 证明了L_{c_{m}}$~的\sigma-正则性.     

含在黎斯算子类中的算子理想

讨论一般巴拿赫空间X上包含于黎斯算子全体R(X)中的各算子理想之间的关系,证明Lorentz函数空间Λ_(P,W)[0,1](1相似文献   

函数空间连续性的一个注记

证明了当X是稳定空间，M是一个特定的既不是L-domain也不是B-domian的DCPO时，[X→M]是连续DCPO．     

依赖时间的二阶双曲方程半离散Galerkin解法的误差估计

本文考虑如下形式的二阶双曲方程: 其中A(t)=L_1(t)+L_2(t)依赖于时间t,当L_1(t)正定,L_1~(-1)(t)L_2(t)全连续时,我们就标准的Galèrkin有限元方法,给出半离散解的H~1模和L_2模误差估计。     

介观金属环中量子干涉晶体管对电子相干性的影响

研究了介观金属环1个通道上的量子干涉晶体管的栅极电压及其在通道上的位置对电子相干性的影响。理论结果表明,一般情况下改变栅极长度L6(下通道长度L2)会使透射率以π(2π)周期性变化。同时发现栅极在通道上的位置对透射率的周期性不产生影响,仅改变透射率的大小。但当kL6=nπ时,透射率为kL2的函数,周期为π;当kL6=(2n+1)2π时,量子干涉晶体管的位置不影响电子透射率的相干性;当上、下通道长度相等,且kL2=kL=nπ时,透射率恒为1,与栅极长度及其在通道上的位置无关。     

Construction of balanced rotation symmetric boolean functions with optimal algebraic immunity

Algebraic immunity is a new cryptographic criterion proposed against algebraic attacks. In order to resist algebraic attacks, Boolean functions used in many stream ciphers should possess high algebraic immunity. This paper presents one main result to find balanced rotation symmetric Boolean functions with maximum algebraic immunity. Through swapping the values of two orbits of rotation class of the majority function, a class of 4k＋l variable Boolean functions with maximum algebraic immu- nity is constructed. The function f（x） we construct always has terms of degree n-2 independence of what ever n is. And the nonlinearity off（x） is relatively good for large n.     

线性分式函数的迭代公式与还原周期

文[1]得出了线性分式函数的迭代公式[1],文[2]、文[3]探讨了几次迭代还原函数的构造定理[2][3],而定理不具有普遍性。利用高等代数知识推导出线性分式函数的另一迭代公式,用特征根之比得出还原周期,由此构造了任意次迭代还原函数。     

Г函数的性质研究

Г函数是一个特殊函数，其定义表达式为广义积分式。定理1一定理7给出了它的估计区间、精确表达式和近似计算公式。     

纵向污染数据回归模型中污染源密度的估计

研究了带有重复观测的线性回归模型中响应变量在受到另一随机变量序列污染时,污染源分布密度的估计问题.在较一般的条件下,对于纵向污染数据,构造了污染数据线性回归模型的参数和污染源密度的估计方法,并且证明构造的密度估计具有L2收敛性.由于在估计方法中无需假定误差方差,因此,所构造的估计方法更符合实际应用情况.