格值模型的超积基本定理的另一形式

文献[1—3]中通常都要求值格具有弱或强特征式,不难知道必须附加这样一个较强的条件的本质原因之一在于文献[1]中对于“某模型满足某理论”的定义。本文修改了此定义并在此基础上证明了格值模型的一个超     

格值模型的超积基本定理

近年来,由于公理集合论中布尔值模型的应用,模糊数学中非布尔值逻辑的出现,以及计算机科学中多值线路的探讨等等,使得多值逻辑的研究有了更多的具体背景及客观需要。本工作是对于多值逻辑的一个方面——多值模型论的一些初步考查。     

一阶格值逻辑系统FM的语法问题

文献[1～3]建立了以丰富剩余格为真值域的命题逻辑系统,得到了一些结果.为研究更一般的格值逻辑系统,文献[4]提出了格蕴涵代数的概念,文献[5]讨论了以格蕴涵代数为真值域的命题逻辑,文献[6」建立了以格蕴涵代数为真值域的—阶逻辑系统FM,本文讨论FM的语法问题,得到了FM的可靠性定理、演绎定理及协调性定理.设L是一格蕴涵代数,F是系统FM的公式集合.定理1~[6]对于任意公式p,q,r及正整数m,n,下列公式都是有效公式:     

FM逻辑的紧致性与LÖwenheim-Skolem性

讨论了ＦＭ模型的若干性质,给出了ＦＭ逻辑的紧致性定理及Ｌｏｗｅｎｈｅｉｍ－Ｓｋｏｌｅｍ性定理。     

Ornstein-Uhlenbeck超过程的中心极限型定理

Ornstein-Uhlenbeck超过程(简称O-U超过程)的概念是由Dynkin给出的,它是一种取Schwartz分布值的Gauss-Markov过程.这种过程的背景是对某些Rescaled粒子系统取波动极限,反应了粒子系统围绕整体流的波动情况.由于O-U超过程可作为某种形式的广义Langevin方程的解,因此它也是广义Ornstein-Uhlenbeck过程的一类(满足广义Langevin方程的分布值过程统称为广义O-U过程).虽然关于粒子系统的波动极限和广义Langevin方程已有不少工作,但是O-U超过程本身性质的研究却很少.设S(R~d)表示Schwartz速降函数空间,设S’(R~d)表示S(R~d)的拓扑对偶空间,即S’(R~d)是全体Schwartz tempered分布.关于它们的拓扑可参见文献[2,3].又设(T_t~r)_(t≥r≥0)为S(R~d)上强连续的有界线性算子半群,(Q_t)_(t≥0)为S(R~d)上连续正定的二次型族,使对(?)O≤t,(?)∈S(R~d),Q_s(?)关于s在[0,t]上右连左极.定义1称取值于S’(R~d)的Markov过程(X_t)为O-U超过程,如果它的转移函数由下式唯一确定:又称(T_t~r)和(Q_t)为(X_t)的特征.如果(T_t~r)有无穷小算子(A_t),也将(A_t)和(Q_t)称为(X_t)的特征.如果(A_t)对应一Markov过程ξ,则称ξ为(X_t)的底过程,而称(X_t)为ξ的O-U超过程.Holley和Stroock用鞅问题方法和Rcscaled粒子系统取波动极限两种     

超对称多重三波相互作用模型的量子可积性

量子完全可积系统是近年来十分活跃的研究领域,经典Yang-Baxter方程和量子Yang-Baxter方程在经典和量子完全可积系统理论中起着核心作用.1973年,Gaudin给出了一类新的完全可积量子模型,正如Faddeev首先注意到的,这些模型可以与经典Yang-     

超大单胞体系电子结构计算的负因子计数方法——定理及数值方法

一、引言 大分子的量子化学计算一直是一个很困难的问题。目前,无序体系(如非晶态材料、生物大分子)及超晶格体系引起了人们的极大兴趣。但是,由于这种复杂体系涉及到高阶的Hamilton矩阵(约1000×1000),因而使量子化学计算变得困难。对于一维无序长链体系,近年来发展的负因子计数(NFC)方法是一种非常有效的手段。为了给这种方法一个坚实的数学基础,我们在厄米矩阵的形式下严格地论证了负本征值定理,并在此基础上提出了求解超晶格紧束缚模型的数值方法。     

一个具有任意函数的完全可积模型及其对称性约化

完全可积模型的研究早就引起了物理学家和数学家的广泛注意。一个完全可积的非线性偏微分方程几乎具有所有下列奇妙的性质:多孤子解的存在、无穷多的守恒量和对称性。双Hamilton密度表示、延长结构、Lax对Bclund变换、Hirorta的双线性表示、Painlevé性质等。然而我们所知道的极大多数完全可积模型都是常系数的或者是具有某些特殊确定函数的变系数方程。本文从Kadomtsev-Petviashvili方程的对称性约化出发。得出一个具有一个任意函数作为变系数的完全可积的1+1维模型。并进一步研究该模型的对称性约化和它的Painlevé性质。     

一种新发现的镉超积累植物龙葵(Solanum nigrum L.)

以杂草为研究对象,通过盆栽模拟试验和小区试验,从20科54种杂草植物中筛选出镉（Cd）超积累植物龙葵(Solanum nigrum L.).试验结果表明:在Cd投加浓度为25mg/kg条件下, 龙葵茎和叶中Cd含量分别为103.8和124.6mg/kg, 超过了Cd超积累植物应达到的临界含量标准100 mg/kg；而且, 其地上部Cd富集系数为2.68, 地上部Cd含量大于其根部Cd含量, 植物的生长未受抑制, 这些特点均满足Cd超积累植物的衡量标准. 小区试验也表明, 龙葵对Cd的富集特性均符合Cd超积累植物的基本特征. 因此, 可以确定龙葵是Cd超积累植物. 本研究对于超积累植物筛选乃至植物耐性生理、遗传和进化等具有一定意义,并为Cd污染土壤的植物修复提供了一种具有自主知识产权的新材料.