并发计算的元模型Ⅱ.对称通信

在并发计算图模型的基础上,提出了并研究了一新的进程演算,该演算的创新处在于它只有在业前缀操作,故通信是对称的,通过建立从ｐｉ演算到对称ｐｉ演算的翻译,证明ｐｉ演算是对称ｐｉ演算的子语言该翻译既保持前者的操作语义,又保持其代数语义,对称ｐｉ算的意义在于它既简化了ｐｉ演算,又不影响其表达能力。     

*EI 拓扑分子格在聚类分析中的应用

本文在引入AFS代数和AFS结构的基础上,通过对AFS代数上拓扑分子格结构的讨论,给出了EM中,由一些模糊概念生成的拓扑分子格所诱导出的X上拓扑的几点性质,并利用这些性质,对一个实际例子构造了隶属函数进行聚类分析,说明了这些性质在聚类分析中的应用。     

超对称势作用下束缚态体系能量本征值的代数解法

借助于超对称及其配偶势的概念,用代数方法求解了形状不变势作用下束缚态体系的能量本征值及相关波函数,并以氢原子等典型问题为例进行了具体讨论。     

Loop代数_2的一个新子代数及其有关的一族新的可积系

构造了Loop代数 A2的一个新的子代数,由此设计了一个等谱问题,利用屠格式获得一类新的Liouville可积系,且具有双Hamilton结构.作为其约化,得到了一族非线性广义Schrodinger方程.     

初等代数函数是代数函数

<正> 初等代数函数是代数函数,从名称上看好象应该是显然的。但从各自的定义上看就不是显然的了。初等代数函数的定义是:由函数y=x和y=c(c为常数)经过有限次代数运算并用一个解析式表示的函数;代数函数的定义是:P(x,y)是多项式,若y=φ(x)满足方程P(x,y)=0,则称y=φ(x)为代数函数。可见说初等代数函数是代数函数是要经过证明的。     

关于De Morgan代数的不动核

研究了Ｄｅ Ｍｏｒｇａｎ代数中的不动核的性质，特征，并且给出了Ｄｅ Ｍｏｒｇａｎ代数含有不动核的充分必要条件，同时又对不动核的个数问题做了进一步的讨论，得到了一些结果。     

套的间断点与套代数的理想

设N是一个赋范线性空间X上的套,m(N)是N到N的映射全体所成的集合,记m0(N)={α∈m(N)|α(0)=0,α左连续且保序}。对于子空间M,首先表明下面命题是等价的:(1)M是弱闭的AlgN-模;(2)存在α∈m0(N)使M=Mα;(3)存在β∈m(N)使M=Mβ。假使N最多只包含3个元素,那么所有的AlgN-模可全部被列举出来;假如N至少包含4个元素,那么下面命题是等价的:(1)0<0+且X-相似文献   

超对称Bullough－Dodd模型的prolongation分析

在扭曲仿射代数A2^(2)上建立了超对称的Bullough-Dodd模型。Prolongation方法的研究表明，该模型承认一个Lax pair，从Lax意义上证明该模型可积。另外，当该超对称模型的所有费米量为零时，该系统就定义了一个新奇的由单标量玻色场指数相互作用构成的可积模型。这个发现还打破了长久以来的一种认识；只有sinh-Gordon和标准Bullough-Dodd模型是Liouville模型。     

关于BZMVdm一代数的若干性质

在文献 [1]的基础上 ,主要讨论了二元运算⊙的运算规律 ,并给出了德摩根 BZMVd M-代数的若干性质 ,即在一个 BZMVd M-代数中 ,(1)～～ x=x当且仅当～ x⊙ x=x当且仅当 x x=x.(2 ) x,y∈A,x∧ y=0当且仅当 y<～ x;若 x x=x,则 x∧ y=0当且仅当 x≤ y.(3)～ (x y) =～ x⊙～ y.(4) x ～ x=1.