广义循环布尔矩阵半群的格林关系

研究了广义循环布尔矩阵的秩，在此基础上对广义循环布尔矩阵半群的Ｌ、Ｒ关系进行了刻划。     

局部凸空间中K映像的若干问题

研究局部凸空间（简记ＬＣＳ）中满足边界条件（Ｌ－Ｓ，ａ）的Ｋ映像方程的解、本征元、谱等问题。     

格群上的Fuzzy同余关系与正规不变Fuzzy子格群

探讨了格群上Fuzzy同余关系与正规不变Fuzzy子格群的联系，证明了格群上的全体Fuzzy同余关系关于Fuzzy集合的包含关系构成一个模格，并证明格群上的Fuzzy同余关系格同构于格群上全体正规不变Fuzzy子格群组成的格。     

模糊综合评判中的模糊评分法

对模糊综合评判方法提出一种新的评分法－模糊评分法，它可适用于单级或多级模糊综 合评判．     

用变分法计算在张力作用下长方形薄板弯曲问题的近似解

1长方形薄板在张力作用下承受法向振动荷载时里兹(Ritz)法的近似解 设单跨矩形薄板G｛0≤a,0≤y≤b｝,承受一简谐振动荷载为:这时薄板在张力作用下的强迫振动方程为: 取板的振动幅度w(x,y,t)为: 将(2)式代入(1)整理后[1]可得:其中:为抗弯刚度,为振动荷载的频率,是板单位面积上的重量,q(x,y)是作用在板的单位面积上的荷载幅度. 方程(3)的四边简支边界条件为在 线性算式是对称正定算式.因此,边值问题(3)、(4)的唯一解等价于泛函J[u]的极小值[2] 1)取均布的振动荷载q,则F(x,y,t)-qsin(t),式中q是振动荷载幅度.选取坐标函数系[3]将N)式代人*)…     

带类型λ-演算的扩充

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

聚类谱系图的计算机打印及其应用

聚类谱系图是聚类分析中必不可少的十分有效的分析手段.当聚类样品数较少时,可将聚类结果用手工画出谱系图,但当样品数较大时,用手工绘制谱系图就很困难繁杂,甚至不可能.从而限制了系统聚类法在大样品情况下的应用.为解决这一问题,本文编制了通用的计算机程序,用这个程序可迅速准确地把谱系图在打印机上打印出来,聚类结果一目了然.1 基本方法与实例计算 给定一组数据,样品数为n ,因子个数为m. (1)聚类计算 ①开始形成几个类,每类含一个样品.由它们形成n×n距离(或相似系数)对称矩阵; ②从距离矩阵中找出距离最近(最相似)的两个类,设为U和V,…     

一种求解Riccati代数方程的降阶方法

本方法解决了不完全可观的Ｒｉｃｃａｔｉ代数方程的求解问题，提高了数值的可靠性。     

关于图的4-色数

本文研究了图的４色数的界，得到了完全图．完全ｍ－部图、轮、圈和树的４－色数及图与补图４－色数间的关系，证明了图Ｇ与补图Ｇ的４－色数之和介于ｐ＋１与２ｐ之间。     

多应力—强度模型结构可靠度的估计

在Ｙｌ，…，Ｙｎ－ｌ，Ｙｎ相互独立且服从正态分布情况下得到结构可靠度Ｐｒ（Ｙｎ＞ａｌＹｌ＋…＋ａｎ－ｌＹｎ－ｌ）（其中ａｌ，ｉ＝ｌ，ｎ－ｌ均为已知的常数）的最小方差无偏估计及其置信下限．