n元三值函数可由L3^＊中公式导出的充要条件

三值Lukasiewicz命题逻辑L3*中的任何公式的赋值均为0,1/2,1中的某个元素.0,1/2,1及其上定义的运算■,→构成三元MV代数.根据规定的0,1/2,1中元素之间运算∧,∨,■,→的特点,构造性地证明了对于给定的n元三值函数f∶0,1/2,1n→0,1/2,1,当且仅当f满足一定条件时,f均可由L3*中的公式导出.

线性相连的(r,s,t)/(l,m,n):F格点系统的可靠性

线性相连的(r,s,t)/(l,m,n):F格点系统是由l×m×n个部件依次排列成一个长方体形状,系统失效当且仅当至少有一个由r×s×t相邻的部件排列成的一个子长方体中所有部件都失效,三维线性连续失效系统(k3/n3;F)是其特殊情形。本文给出了线性相连的(r,s,t)/(l,m,n):F格点系统的上、下界.

与一类半乘法函数相关联矩阵的行列式的界

设f是算术函数,S={x1,x2,…,xn}是一个n元正整数集.(f[xi,xj])表示一个n阶方阵,它的i行j列处的元素为函数f在[xi,xj]处的取值,其中[xi,xj]为xi和xi的最小公倍数.作者证明了对于某个算术函数类,若f是一个半乘法函数且1f属于这个函数类,则矩阵(f[xi,xj])是半正定的,进而给出了其行列式的明确的下界和上界.若以f(c)表示函数f的c重狄利克雷乘积,则矩阵1f(c)[xi,xj]也有类似的结论.

关于素因数和函数的混合均值研究

对任意正整数n,素因数和函数珚ω(n)为珚ω(1)=1,当n>1且n的标准分解式为n=pα11pα22…pαrr时,珚ω(n)=p1+p2+…+pk…利用初等及解析的方法,给出了珚ω(n)与数论函数L(n)的复合函数珚ω(L(n))的加权均值分布,并给出一个有趣的加权均值分布的渐近公式.

一类广义方程的灵敏性分析

在有限维空间中研究由次微分形式给出的广义方程.首先,给出了与该广义方程有着密切关系的函数.其次,证明了该广义方程解映射的单值性与Lipschitz连续性.