交换环上赋值的合成

研究交换环上(Manis)赋值的合成。对于交换环R的一个赋值v及其值群的一个孤立子群Δ,定义了所谓的ν关于Δ所诱导的第一赋值和第二赋值,由此建立有关这两个诱导的赋值的一些结果。作为另一个主要结果,证明了对于交换环R上一个赋值u以及u的剩余环上一个核为零的赋值w,存在R上唯一的赋值v,使得u和w分别等价于v关于Δ所诱导的第一赋值和第二赋值,其中Δ是v的值群的某个孤立子群。此外,所合成的赋值v的实性被获得研究,由此获得了赋值v为实赋值的一个充分必要条件。     

关于实全商环的一则短记

给出两个与域赋值相类似的结论:设R为实全商环,C为基中子环,有正则素理想p。于是R有赋值对(A,M)满足AC;及MnC=p。另一结论为实环中的任一非浅显赋值对在包含该环的实全商环中恒有拓展。更多还原     

Some Limit Theorems on the Increments of l^p-valued Multi-Parameter Gaussian Processes

In this paper, we establish some limit theorems on the increments of an l^p-valued multiparameter Gaussian process under weaker conditions than those of Csoergoe-Shao theorems published in Ann. Probab. (1993).     

岩石弹塑性破裂过程的数值模拟研究

分析了对于非均质、非连续且材料参数分布具有分散性和随机性的岩体介质,采用传统有限元法解决其工程问题的局限性．阐述了用岩石力学性质的分布特性来描述岩石材料不均匀性,并用蒙特卡洛模拟方法,将符合Weibull分布规律的材料参数赋予岩体结构中的各个单元体,进而用计算机进行数值模拟的研究方法．应用了在Windows95环境下利用FORTRAN Power Station4．0平台开发的具有可视性的“岩石弹塑性破裂过程分析”软件——REPFPA软件,对典型的岩石试样和巷道模型的弹塑性破裂过程进行数值模拟研究,得到了有价值的实验结果．证明把材料参数随机赋值方法引入到岩土类材料的弹塑性破裂过程分析中去,并用计算机进行数值模拟是研究岩石弹塑性破裂过程的一种有效方法。     

半环上的赋值与实赋值

在有单位元的交换半环上,引入赋值和实赋值的概念,在此基础上建立有关半环上赋值和实赋值的一些基本结论。此外,引入了赋值与亚序之间的相容性,并通过赋值与亚序的相容性建立了一个赋值是实赋值的充分必要条件。     

仅具有某类赋值环的域

<正> 众所周知:一个域K仅具有浅显赋值环的充要条件为,K是一个特征不为O的绝对代数城（即K的质域K0的特征不为O,且K是K0的代数扩张）。我们自然会问:为了使一个域K的每个非浅显赋值环都是某一类赋值环（比如Hensel赋值环、半Hensel赋值环、一阶赋值环、阶≤n的赋值环等等）,K应     

HFI-代数的拟Fuzzy-赋值

给出 FI-代数的生成滤子的几个性质 ,然后在 FI-代数上定义了一种拟 Fuzzy-赋值 ,在研究它的一些性质的同时并利用它对 FI-代数的生成滤子予以刻画。     

关于模上的赋值

针对交换环上的模引进赋值这一概念,并在此基础上建立模上赋值的一些基本结论。此外,通过在模上引进赋值的骨架来揭示该赋值的值集结构。     

逻辑系统Luk中公式间的伪距离

在逻辑系统Lukasiewicz中,利用序结构知识和赋值函数的性质来研究公式间的伪距离,避开了n重积分的复杂计算,推出了积分真度与伪距离之间以及伪距离相互之间的若干等式与不等式,特别是得到了伪距离关于运算""""的若干新性质,从而给出了在伪距离空间中运算"■""→""∨""∧"""""关于伪距离均连续这一重要定理的简洁证明。     

效应代数上态的存在性

[中国科学A,2011,41(3):279-286]引入了效应代数的表示,给出了可表示与不可表示的效应代数的例子,证明了某些效应代数的可表示性.然而,尚未得到一般效应代数的可表示准则.基于抽象C^*-代数的GNS均造的思想,我们猜测具有足够多的态的抽象效应代数应当是可以表示的.因而,态的存在性与态空间的表示问题对于建立抽象效应代数的表示理论、解决分类问题似乎是至关重要的.本文讨论效应代数上态的存在性和赋值的存在性问题,给出了若干典型的效应代数上态的一般形式与它们的态空间.特别地,证明了可表示效应代数上态的存在性定理,并得到了到态空间与赋值空间的非空凸子集.