单纯Handcuffed三元系的嵌入

本文证明了对任意给定的正整数λ，当且仅当λ（ｖ－１）≡λｖ（ｖ－１）≡λ（ｕ－１）≡λｕ（ｕ－１）≡０（ｍｏｄ ４），ｕ≥２ｖ＋１且λ≤２（ｖ－２）／３时，任一单纯Ｈａｎｄｃｕｆｆｅｄ三元系ＮＨ（ｖ，３，λ）可嵌入于某个单纯Ｈａｎｄｃｕｆｆｅｄ三元系ＮＨ（ｕ，３，λ）。     

λ－可定义函数的构造性解

λ－可定义函数的构造性解朱一清（东南大学计算机科学与工程系，南京２１００１８）根据Ｋｌｅｅｎｅ定理，凡λ－可定义的数论函数均是递归函数，反之亦然．因此，常借助于递归函数和递归定义来描述一个λ－可定义函数．一个λ－可定义的函数是λ－项所组成的集合中的一...     

带类型λ-演算的扩充

在许多情况下λ－演算的能力不够、Felleisen M等把λ－演算加以扩充，并证明扩充后的语言λｃ具有某些基本性质．本文试图为λｃ－演算加上类型，给出带类型λｃ－演算的逻辑系统，然后考虑它的指称语义．     

单位球上的λ-分布

λ－性质是研究空间的单位球端点分布的性质，给出了关于性质公开问题的肯定和否定的回答，证明了如果X具有λ－性质，那么l1(X)具有λ－性质，但是某些l∞（X）没有λ－性质。     

几个重要广义函数的Fourier变换

给出了函数ｘ＾λ±ｌｎ＾ｍｘ±ｃｏｓ（ａｘ）和ｘ＾λ±ｌｎ＾ｍｘ±ｓｉｎ（ａｘ）的Ｆｏｕｒｉｅｒ变换，其中λ为复常数（λ≠－１，－２…），ａ为任意实数，ｍ＝０，１，２，…，并且ｘ＾λ＋ｌｎ＾ｍｄｘ±｛ｅ＾λｌｎｘｌｍ＾ｄｍｘ，ｘ＞０，０，ｘ＜０，ｘ＾λ－ｌｎ×ｍｘ－＝｛０，ｘ＞０ ｅ＾λｌｎ（－ｘ）ｌｎ＾ｍ（－ｘ），ｘ＜０。     

在电子计算机上实现Routh判据

将谢绪恺的“关于 Ｒｏｕｔｈ判据的一点注记”一文中的无除法运算的 Ｒｏｕｔｈ（卢 斯）表格、推导为一组递推公式： 这组递推公式仅用系统的特征多项式的系数实行加、减、乘法运算，而无除法运算． 得到一个用这组递推公式表示的无除法的Ｒｏｕｔｈ 判据： 多项式Ｐ（λ）＝α０λｎ＋α１λｎ－１＋α２λｎ－２＋…＋αｎ－１λ＋αｎ为Ｈｕｒｗｉｔｚ多 项式的充要条件是：递推公式（＊）成立且与α（ｉ，０）＞０（ｉ＝０，１，２，…ｎ）同号。 将其在电子计算机上实现，结果表明该算法简捷、实用、快速准确。     

经典测度空间所生成的gλ—测度

首先在测度空间上引入了一类μ－密度函数，证明了由这一类μ－密度函数能生成ｇλ－测度和条件ｇλ－测度，其次给出了与μ－密度函数相关的λ－独立性概念，得到一些有关的结果。     

关于g＿λ－独立集列的一个注记

文［１］引入了ｇ＿λ－独立类的定义，并在－１＜λ≤０的条件下证明了关于ｇ＿λ－独立集列的Ｂｏｆｅｌ－Ｃａｎｔｅｌｉ引理，本文在－１＜λ的条件下证明了上述引理，进一步，讨论了拓广形式的Ｋｏｌｍｏｇｏｒｏｖ０－１律等问题，从而推广了［１］的主要结果。     

Gn的一种完全因子

设ｎ＝２＾λ－１＋ｔ，λ〉２，０≤ｔ〈２＾λ－１。反馈函数ｘｎ＝ｆ（ｘ０，ｘ１，…，ｘｎ－１）＝１＋ｘ０＋Σｉ∈Ｉｔ（ｘｉ＋ｘｎ－ｉ）产生ｎ阶ｄｅ Ｂｒｕｉｊｎ－Ｇｏｏｄ图Ｇｎ的一个完全因子ＰＦλ（２＾λ－１＋ｔ）其中Ｉｔ＝｛ｔ；（ｔｉ）是奇整数，１≤ｉ≤ｔ｝。     

ST1,ST2及强Hausdorff分离性与λ—截拓扑

在Ｌ－Ｆｕｚｚｙ拓扑空间研究中几种分离性是λ－截拓扑和λ－弱诱导空间的关系，直接证明ＳＴ１，ＳＴ２及强Ｈａｕｓｄｏｒｆｆ分离性与λ－可截性质，并得到，满层的λ－弱诱导空间是ＳＴ１空间，当且仅当λ－截拓扑空间是Ｔ１空间，当且仅当底空间是Ｔ１空间。     

模糊性度量方法（Ⅲ）──λ－模糊度

引入了λ－模糊因素集、λ－模糊生成集的概念，建立了度量模糊集的模糊性的λ－模糊度，讨论了全平均模糊度、次模糊度及λ－模糊度之间的关系。     

图中含Dλ—圈的一个充分条件

设图Ｇ是一个ｎ阶简单图，Ｇ中的一个圈Ｃ称为Ｄλ一圈，如果Ｇ／Ｖ（Ｃ）的每个连能分支的阶都小于λ。当Ｇ是３－连通图，且有ＮＣλ（Ｇ）≥ｎ＋４／２－２λ时，Ｇ含有Ｄλ－圈或Ｇ是Ｐｅｔｅｒｓｅｎ图。     

经典测度空间所生成的gλ－测度

首先在测度空间上引入了一类μ－密度函数．证明了由这一类μ－密度函数能生成ｇλ－测度和条件ｇλ－测度．其次给出了与μ－密度函数相关的λ－独立性概念，得到一些有关的结果．     

布尔算子Fuzzy逻辑公式的λ—恒假性

在布尔算子Ｆｕｚｚｙ逻辑中证明了任意公式Ｇ是λ－恒假的，当且仅当Ｇ所对应的子句集Ｓ是λ－恒假的。进而有子句集Ｓ是λ－恒假的，当且仅当Ｓ在其所有Ｈｅｒｂｒａｎｄ解释下是λ－恒假的，从而保证了在布尔算子Ｆｕｚｚｙ逻辑中施行归结的正确性。     

具有矩阵伸缩的正交双向小波包

为了将正交双向小波包推广到高维情形φan+λ(t)=∑〖DD(X〗k∈Zdp+k,λφn(At－k)+p－k,λφn(k－At),构造了伸缩因子为矩阵A的正交双向小波包{φan+λ(t),λ=0,1,…,a－1}n∈Z+,分别从时频域角度通过小波包基函数的正交性研究了高维正交双向小波包的性质,得到了小波包子空间的分解算法、重构算法及频域表示为∏ SymboleB@ j=1P λjωajΦ^0(0)。
     

框-剪结构总框架最大水平剪力层分析

从高层框－剪结构刚度特征值λ与侧移曲线的关系入手，建立总框架最大水平剪力层的相对高度ξｍａｘ与λ的关系式，用多功能求解器求解超越方程，并给出总框架的一系列Ｑｊ－ζ－λ关系曲线和λ－ζｍａｘ关系图，得出关于框－剪结构中，总框架最大水平剪力层特性的４个结论。     

图的第二个最小特征值的界

设Ｇ是ｎ个顶点的简单图，λｎ－１（Ｇ）为Ｇ的第二个最小特征值。Ｇ的非孤立点形成的图记为Ｇ１，Ｖ（Ｇ１）＝ｓ，（３≤ｓ≤ｎ）。本文主要证明了：ａ．若Ｇ１不是完全偶图，则λｎ－１（Ｇ）≤λｓ－１（Ｋ２，ｓ－２＾－ｅ），等式成立＝Ｇ１≌Ｋ２，ｓ－２＾－＾ｅ。其中图Ｋ２，ｓ－２＾－＾ｅ为完全偶图Ｋ２，ｓ－２去掉一边ｅ而得到的图ｂ．若Ｇ１既不是完全偶图，又不是Ｋ２，ｓ－２＾－ｅ，则λｎ－１（Ｇ）＜－√２／２     

布尔算子Fuzzy逻辑公式的λ－恒假性

在布尔算子Ｆｕｚｚｙ逻辑中证明了任意公式Ｇ是λ－恒假的，当且仅当Ｇ所对应的子句集Ｓ是λ－恒假的。进而有子句集Ｓ是λ－恒假的，当且仅当Ｓ在其所有Ｈｅｒｂｒａｎｄ解释下是λ－恒假的，从而保证了在布尔算子Ｆｕｚｚｙ逻辑中施行归结的正确性．     

向量值有理插值函数的递推算法

针对向量连分式序列Rn(x)=bo x-xo/b1 … x-xn-x/bn,n=0,1,2,…利用向量的Samelson逆，建立了类似于标量逐步有理插值算法的向量有理函数插值的逐步递推算法：Pλ=dλ,λPλ-1 ∑λ-1 i=1wi^λdλ-i,λPλ-i-1 (x-xλ-1)^2Pλ-2 ωλ^λBλ,Qλ=dλ,λQλ-1 ∑λ-1i=1wi^λdλ-i,λQλ-i-1 (x-xλ-1)^2Qλ-2,λ=2,3,…，n（＊） 其中{P0=b0,Q0=1;{P1=d1,1P0 ω1^1b1,Q1=d1,1Q0,Rλ(x)=Pλ(x)/Qλ(x)(λ=0,1,…，n)是满足插值条件Rλ（xi))=Rλ(xi)Qλ(xi)=Vi,i=0,1,…，λ 的向量有理函数，与向量与理函数插值的传统算法相比，上述算法的主要优点是具有承袭性；当需要增加一个插值条件Rn 1(xn-1)=Vn 1时，原来已经得到的向量有理插值函数序列P0／Q0，P1／Q1，…，Pn/Qn仍然保留，只要按（＊）式再计算一个Pn 1(x),Qn 1(x)即可。在此基础上，将上述算法推广到二元情形，数值实例验证了所给算法的有效性。     

λ—可拓域和λ—稳定域

在可拓集、可拓域、稳定域的基础上引入可拓集的λ－上域,λ－下域λ－界及可拓集关于变换Ｔ的一上域,λ－下域,λ－可拓集,λ－稳定域。分析了可拓 的交,并的λ－可拓λ－稳定的结构。研究了可拓集的交,并的λ－可拓域和λ－稳定域与可拓集的λ－上域,λ－下域,λ－可拓域,λ－稳定域之间关系。