关于折线函数逼近在单调逼近中的一个应用

用折线磨光的方法给出单调逼近定理的一个新证明。     

判别Boole函数组的独立性的一个充要条件

文献[1]中给出了Boole函数组相互独立的定义,研究了独立平衡Boole函数组的性质和构造方法,讨论了它们在密码学中的应用.本文给出了判别平衡Boole函数组的独立性的一种方法,这种判别方法将判别平衡Boole函数组的独立性问题转化为判别Boole函数的平衡性问题,在某些应用场合十分方便.置换可视作一种特殊的独立平衡Boole函数组,由本文的结果不难推出文献[2]和[3]中的主要结果.文中的结果可推广到剩余类环和任意有限域上,这将对剩余类环和任意有限域上的函数组的独立性、平衡性、正交性的讨论带来更多的方便.     

回归函数递归核估计相合的充要条件

设(X_1,Y_1),(X_2,Y_2),……为(X,Y)的样本,(X,Y)在R~d×R中取值,μ为X的概率分布,m(x)=E(Y|X=x)的核估计,递归核估计分别为     

各类有限单元稳定的充要条件研究

引入了独立应力、应变和不协调位移参数的多变量有限元,在刚度阵计算中有可能出现多余零能模式(ZEM)而使单元不稳定.文献[1—6]对一些多变量有限元的稳定性或多余零能模式进行了讨论.本文利用广义单元刚度阵和分离函数思想,根据矩阵理论给出基于最小势能原理的(不协调)假设位移有限单元、基于广义驻值变分原理的假设应力有限单元和假设     

增长曲线模型中存在UMRU估计的充要条件

本文采用下列记号.对于矩阵 A 和 B,A>B 表示 A—B 是正定对称阵;AB 表示A 和 B 的 Kronecker 乘积;R(A),A′和 A~-分别表示 A 的列空间、转置和广义逆;P_A=A(A′A)~-A′;对于 s×t 矩阵 B=(b_1…6b),用 vec(B)表示 st 维向量(6_1~′…6_~′)′.trA 表示方阵 A 的迹.由 Potthoff 和 Roy 提出的增长曲线模型定义为     

区间对称矩阵渐近稳定的充要条件和充分条件

对区间对称矩阵G[B,C]={A|A=(a_(ij))_(n×n)=A~T,b_(ij)≤a_(ij)≤a_(ij)},(1)B=(b_(ij))_(n×n)=B~T,C=(C_(ij))_(n×n)=C~T∈R~(n×n),Bialas研究了G[B,C]渐近稳定的充要条件.后经有关文献(略)得到结论:G[B,C]渐近稳定当且仅当其子集H[B,C]={A|A=(a_(ij))_(n×n)∈G[B,C],a_(ij)=b_(ij)或C_i}(2)渐近稳定.我们进一步构造K[B,C]如下:     

具有三个公共值的周期亚纯函数的唯一性定理

设f(z)和g(z)是两个亚纯函数。若f(z)和g(z)在同点处以同样的重数取α-值,则α被称为f(z)和g(z)的一个公共值,并记为。已知任一亚纯函数由这样的五个公共值所完全确定。本文将证明亚纯函数的周期性在这样三个公共值下保持     

反链方法及其在正则三值逻辑函数计数上的应用

为适应不确定推理之需要,Mukaidono提出并系统地研究了正则三值逻辑函数的理论.这类函数个数的计算十分复杂,至今仅对自变量个数小于7的情形提出了若干结果.本文将反链方法与该类计算联系起来,从而为解决该类问题提供了一种新的可能途径.定义1 　设E={0,1/2,1},在E上除通常序“≤”外,再定义偏序(?)为:0(?)1/2,1(?)1/2,i(?)i.这两种序在E~n上各诱导出相应的乘积序,仍记为“≤”或“(?)”.映射f:E~n→E称正则函数,若(?)a,b∈E~n,当a(?)b时f(a)(?)f(b).正则函数f:E~n→E称单调函数,(?)a,b∈E~n,当a≤b时f(a)≤f(b).以下用F(n,R)记全体n元正则函数之集,用F(n,M)记全体n元单调函数之集.定义2 设(P,≤)是非空偏序集,a,b∈P.若有c∈P使c≤a且c≤b,则称a与b有公根.设A与B是P中的反链,若(?)a∈A和(?)b∈B,a与b有(无)公根,则称序对(A,B)为全(无)公根反链对.以下用E(n)表示(E~n,(?))中全体无公根反链对之集.令N(n)={1,…,n}.W(n)={L:L(?)N(n),L≠φ},用N(n,C)表示(W(n),(?))中全体全公根反链之集.定义3 设a=(a_1,…,a_n)∈(E~n.(?)).     

动态系统的混合单调分解及应用

引入动态系统的混合单调分解概念 ,基本思想是利用系统结构中固有的增长与衰减机制将系统动力学分解 ,由此构造一个增广的动态系统作为原来系统的双边比较系统 .相应的双边比较定理表明该比较系统的解规定了原系统解的上下界 ,因而可以通过双边比较系统了解原系统的性质 .与通常的向量比较方法相比 ,混合单调分解方法能自然地利用动态系统的结构特性 ,不必要求系统具有严格的 (拟 )单调性 ,能给出系统状态更为细致的非对称估计 ,可直接用于本质上具有非对称状态约束的问题 .作为应用 ,文中对于具有非对称状态饱和非线性的系统 ,建立了其平凡解全局渐近稳定的充分条件 .此条件完全由系统的参数和状态饱和阈值给出 ,并包含了文献中关于对称状态饱和系统平凡解全局稳定性的一个新近结果     

单调布尔函数的MSOPE

对于单调布尔函数,在文[1]中给出了一类范式——单调析取范式(MDNF),这类范式的构造是先找出单调质蕴含,所有单调质蕴含的和就是MDNF,质蕴含往往是由Q-M方法     

三值矢量图及其应用

以单一模块为细胞的三叉树型(T门)网络实现的三值逻辑函数具有许多优点,国内外不少学者在T门网络简化方面做了大量工作。通常认为N变量三值函数须经N1次探索,才能得到最佳的简化结果。本文介绍的矢量图,只须N次探索即可找出最佳简化结果,且具有象二值卡诺图一样简单方便的优点。     

布尔函数的单调分解定理

对于n元布尔函数f:{0,1}~n→{0,1},如果对于任意X_1,X_2∈{0,1}”,当X_1≤X_2时有f(X_1)≤f(X_2),称f(X)为单调上升函数,当X_1≤X_2时有f(X_2)≤f(X_1),称f(X)为单调下     

单调函数的两个定理

§1.最近,庄圻泰教授证明了如下的两条定理:     

Fuzz函数成为Zadeh型函数的充要条件

刘应明与王国俊曾对序同态理论进行过系统的研究并就正则的Fuzzy格分别建立了Fuzz函数成为Zadeh型函数的充要条件。本文的目的在于对任一Fuzzy格建立Fuzz函数成为Zadeh型函数的充要条件。值得一提的是,本文所引入的保承集Fuzzy序同态可用来定义L-Fuzzy拓扑空间间的同胚而放弃纵向上的度量不变性。文     

闭曲面上奇点孤立的C~0流有伪轨跟踪性质的充要条件

本文将讨论闭曲面上奇点孤立的C~0流有伪轨跟踪性质的充要条件。根据文献[1],闭曲面上的C~r(r≥2)流的极小集总是平凡的,而C~0流则可能含有非平凡的极小集。因此,闭曲面上的C~0流比C~r(r≥2)流复杂。 定义1 设f:M×R→R是闭曲面M     

分布函数满足Lip-ψ的充要条件

设Φ(x)是定义在[0,∞)上的严格增加连续函数,Φ(0)=0,Φ(x)/x是非增的。称函数φ(x)满足Lip-Φ(记作φ∈Lip-Φ),如果存在常数M>0,使得对一切x,y∈R~1,成立|φ(x)-φ(y)|≤MΦ(|x-y|)。如果Φ(x)=x~r,r∈(0,1],则Lip-x~r归结为通常所谓以r为指数的Lipschitz条件,此时简记作Lip-r,又设J是这样一类特征函数的集合,对每个g∈J,成立:     

Fuzz函数成为Zadeh型函数的充要条件

设f:X→Y是映射,L是fuzz,即具有逆序对合对应“,”的完全分配格,则f导出一个映射F:L~X→L~Y如下:     

整函数及其导函数的Julia集

设f:C→C是整函数映照,定义迭代序列{f~n}如下: f~0(z)={z, f~(n+1)(z)=fof~n(z), n=0,1,2,……。整函数的迭代理论很早就为 Fatou 所研究。近年来,随着有理动力系统的发展,整函数动力系统迅速活跃起来。以下定义 N(f)={z∈C|{f~n} 在z点正规};J(f)=C\N(f),     

用较少变量函数的叠合逼近多变量函数

近年来,用一个固定函数的复合来逼近多元连续函数问题引起了工程师及数学家的广泛的兴趣,因为它是神经网络及小波分析中的一个根本问题。在以往的一系列文章中我们讨论了一个一元函数的复合对多元函数的逼近。本文将讨论一个s元函数的复合对     

布尔函数的其他单调分解定理

对于布尔函数的结构作进一步分析可得下列结果: 定理1 任一布尔函数f(X),有f(X)=I(X)·D(X)成立的充要条件是f(X)的Hasse