对于逻辑系统 L(w1,w)的 L-S型定理与H-型定理

本文得到了对于逻辑系统L(w1,w)的 L-S 型定理与 H-型定理.     

逻辑系统(谓词系统)L(w1,w)的(≤W1,infinite)-紧性

在这篇文章中我们提出并且证明了L(Wl,W)的(≤W1 infinite)-紧性.     

加权空间L2w(Rd)上的向量Gabor框架

讨论加权空间L2w(Rd)上的Gabor框架,得到该空间具有向量Gabor框架的一个必要条件,即权函数W(x)满足0＜A≤W(x)≤B＜ ∞,a.e.,A、B为常数.进而说明加权空间L2w(Rd)与空间L2(Rd)本质上一样,从而L2w(Rd)上不存在Gabor框架,除非权函数W(t)是本质有界的.     

关于拟Grünwald插值算子的L_(p,w)收敛性

证明了文 [1 ]中引入的一种拟 Grünwald插值算子在 Lp ,w(p >0 )范数下的收敛性 ,其中 w(x) =11 -x2     

w(MgO)/w(SiO_2)对转炉渣系微晶玻璃结构和性能的影响

为了减少转炉渣对环境的危害,提出利用熔融法制备了SiO2-CaO-MgO-Fe2O3系微晶玻璃.借助DTA,SEM和XRD等分析方法,系统探讨了w(MgO)/w(SiO2)比值对微晶玻璃的结构和弯曲强度的影响.结果表明:随着w(MgO)/w(SiO2)比值的增加,玻璃的转变温度和析晶峰温度变化较小,但微晶玻璃的物相组成发生较大变化,由普通辉石转变为透辉石,微晶玻璃内部的晶体尺寸逐渐减小,晶体分布相对均匀;微晶玻璃的弯曲强度逐渐增加.     

形如(w)xw的双边无限C∞字的组合

文[1]定理2给出了形如(w)xw的间隙为x(|x | ≤4)的双边无限C∞字所确定的无限C∞字(w)恰有12个,文章在此研究定理2的逆问题,并完全确定了形如(w)xw的双边无限C∞字的间隙x的取值,其中(w)是由定理2确定的12个无限C∞字.     

w(CaO)/w(Al2O3)对钙铝基保护渣结晶性能的影响

利用热丝法测试技术,结合扫描电镜和能谱分析,研究了不同w(CaO)/w(Al₂O₃)条件下钙铝基保护渣的结晶性能.结果表明,较低w(CaO)/w(Al₂O₃)下,保护渣结晶物相为LiAlO₂和CaO·Al₂O₃.其析出由渣中的Li⁺离子和Ca²⁺离子分别对高聚合度铝氧四面体结构的电荷补偿所致.而且,Li⁺离子优先参与,LiAlO₂优先析出.较高w(CaO)/w(Al₂O₃)下,结晶物相转变为LiAlO₂和3CaO·Al₂O₃.其变化原因为,CaO相对质量分数提高,保护渣聚合度降低,Ca²⁺离子和低聚合度铝氧四面体结构单元Q²结合而形成3CaO·Al₂O₃并析出.随着w(CaO)/w(Al₂O₃)由1.13提高至1.82,钙铝基保护渣析晶能力先减弱然后增强.在w(CaO)/w(Al₂O₃)为1.50和1.82时分别具有最弱和最强的析晶能力.     

w(Co)对CB2钢显微组织和力学性能的影响

为研究w(Co)对CB2钢微观组织和力学性能的影响，调整CB2钢中w(Co)为0.5%，1.0%，1.5%，2.0%和3.0%.利用光学显微镜(OM)、扫描电镜(SEM)、室温拉伸等检测方法研究w(Co)对试验钢微观组织和力学性能的影响规律，结合Thermo-Calc和JMatpro-7.0模拟结果解释其影响机理.研究发现:w(Co)增加提高铬当量的值，使试验钢中δ铁素体含量减少，当w(Co)增加到1.5%时，δ铁素体基本消失;材料的抗拉强度随w(Co)的增加而增加，而延长率则先增加后降低;结果表明，w(Co)为1.5%时综合性能较好，即抗拉强度达到805.13MPa，延长率达到20.4%，布氏硬度为260.     

Gr(u)nwald插值于加权Lp,w下收敛阶估计

给出了以第一类Chebyshev多项式的零点为插值结点组的Gr(u)nwald插值于加权Lp(权函数w(x)=(1-x 2)-1/2)的收敛估计阶.推广了文[6]的结果.     

一类Gk(a,b;c,d)图的着色

令Gk(a,b;c,d)表示θ(a,b,c k)∪ Pd(d≥2),其中Pd的一个端点与θ(a,b,c k)的一个3度点u重合,Pd的另一个端点w在Pc k上,且Pc k上w与θ(a,b,c k)的另一个3度点v间的路长为k.给出了G2(m,m;m,m)(m≥2)的着色.     

Grünwald插值于加权L_(p,w)下收敛阶估计

给出了以第一类Chebyshev多项式的零点为插值结点组的Gr櫣nwald插值于加权Lp(权函数w(x)=(1-x2)-12)的收敛估计阶。推广了文[6]的结果。     

组合逻辑形式系统CLξw的外延性

考虑组合逻辑形式系统CLξw的外延性问题.由于在标准转换的意义下形式系统CLξw弱于形式系统λβ和λβη,因此采用三种方式对形式系统CLξw进行外延,前两种使之与形式系统λβ等价,后一种与形式系统λβη等价.作为推论,笔者亦证明了前两种外延系统是定理等价的.     

一种确定多值函数w=n(/)z某个单值解析分支的方法

多值函数w=n(/)z可分出n个单值解析分支wk=(n(/)z)k(k=0,1,2,…,n-1).本文给出了由给定某点z=z0函数值w=w(z0)所确定的单值解析分支的一种求解方法.     

一种确定多值函数w=z~(1/n)某个单值解析分支的方法

多值函数w =nz可分出n个单值解析分支wk=(nz) k(k =0 ,1 ,2 ,… ,n - 1 )。本文给出了由给定某点z =z0 函数值w =w(z0 )所确定的单值解析分支的一种求解方法。     

初等函数w=cosz的映射特性

本文在讨论函数w=cosz单叶性区域的基础上，研究其基本映射特性，给出了简单的竖直直线与水平直线的映射特性，进而获得了w=cosz所实现的特殊的区域间的映射．     

初等函数w=cosz的映射特性

本文在讨论函数w=cosz单叶性区域的基础上，研究其基本映射特性，给出了简单的竖直直线与水平直线的映射特性，进而获得了w=cosz所实现的特殊的区域间的映射．     

加W权Drazin逆（A×B）d,w的表示及应用

讨论了Kronecker积A B的加W权Drazin逆(A B)d,w的表示式,并建立投影算子的Kronecker积之间的关系。最后,运用上面的结果和Cramer法则,得到了一类约束线性方程的加权Drazin逆解x∈R(((A B)(W1 W2))k1)。     

一种确定多值函数w=^n√z某个单值解析分支的方法

多值函数w=^n√z可分出n个单值解析分支wk=(^n√z)k(k=0，1，2，…，n-1)。本给出了由给定某点z=z0函数值w=w(z0)所确定的单值解析分支的一种求解方法。     

赋Luxemburg范数Orlicz空间的Hμw性质

给出了赋Luxemburg范数Orlicz函数空间单位球上的点为Hμw点充分必要条件,从而给出了赋Luxemburg范教Orlicz空间具有Hμw性质的等价条件.     

加W权Drazin逆(A(×)B)d,w的表示及应用

讨论了Kronecker积A(×)B的加W权Drazin逆(A(×)B)d,w的表示式,并建立投影算子的Kronecker积之间的关系.最后,运用上面的结果和Cramer法则,得到了一类约束线性方程的加权Drazin逆解x∈R(((A(×)B)(W1(×)W2))k1).