模糊预Dual quantale

给出了模糊预Dual quantale的定义,讨论了它的一些性质,并证明了模糊Dual quantale恰好是含有单位元的的模糊预Dual quantale。最后讨论了模糊预Dual quantale上L-核映射和L-理想余核的关系,证明了在一类特殊的模糊预Dual quantale-模糊预Girard quantale上L-核映射和L-理想余核是一一对应的。     

基于完备剩余格的双标号转换系统

为了对不相容或不完备信息的系统进行形式化描述和满足对系统进行量化验证的需要,根据经典的双标号转换系统,提出基于完备剩余格的双标号转换系统作为此类系统的一般模型。在该模型框架下,将传统的互模拟关系推广到格值情形,来度量系统之间的接近程度。通过引入格值Hennessy-Milner逻辑的概念,给出格值互模拟关系的逻辑刻画。     

基于互模拟的三支粒化近似

本文提出了基于互模拟的三支粒化近似,揭示了基于潜在关系的三支粒化近似和基于互似(由潜在关系诱导的最大的互模拟)的三支粒化近似之间的关系.     

模糊有穷自动机的互模拟关系

互模拟是离散事件系统中的一个等价关系,它已经应用到概率、随机和加权自动机中.本文给出模糊有穷自动机(FFA)前向互模拟关系和后向互模拟关系的定义,并给出它们的一些性质,证明前向和后向互模拟关系对于模糊有穷自动机(FFA)的一些运算(并,连接,交)和模糊正则语言的表现定理是封闭的.另外文中还给出一个可在有限步计算极大前向互模拟关系的算法,最后指出前向和后向互模拟之间的区别.     

随机模拟在锁具互开问题研究中的应用

崔文泉，李娟．随机模拟在锁具互开问题研究中的应用．数理统计与管理，１９９８，１７（３），１１～１５．本文针对１９９４年全国大学生数学模型竞赛Ｂ题中锁具随机装箱引起顾客抱怨的程度分析，提出一种计算机随机模拟的算法，算法实现简单、便于推广     

一些无限维完备李代数

本文讨论了无限继完备李代数的一些性质,由Virasoro代数,Kac－Moody代数构造了几类无限维完备李代数．同时给出了Kac－Moody代数及其广义抛物子代数的导子代数的刻划．证明了完备李代数的Loop扩张仍为完备李代数。     

Quantale上的左(右)蕴含核映射

为了进一步讨论Quantale内部结构之间的对应关系,我们首先引入了左(右)蕴含核映射的概念;其次讨论了左(右)蕴含核映射的一些性质,左(右)蕴含Quantale商的等价刻画,并且给出了一个映射是左(右)蕴含核映射的等式刻画.最后,证明了在预Girard quantale上左(右)蕴含核映射与右(左)理想余核之间是一一对应关系.     

离散周期集上的Gabor系

因其在数字信号处理中的应用潜力,离散Gabor分析引起了不少数学家的关注．讨论了离散周期集上的Gabor系,它可以模拟实际问题中的周期间歇信号．刻画了离散周期集上Gabor系的完备性及Gabor标架;得到了容许完备Gabor系的周期集的一个充分必要条件,并证明此条件也是Gabor集E（即由ХE生成的Gabor系是紧标架）存在的充分必要条件,其证明是构造性的,由此方法可以得到所有由特征函数生成的具有某给定标架界的紧Gabor标架的构造;刻画了容许Gabor Riesz基的周期集;还给出大量例子来说明理论的一般性．     

各态历经的地震动空间场的简化模拟

基于地震动空间场模拟中运用较广泛的原型谱表示法,给出了一种各态历经地震动空间场的模拟公式．首先给出原型谱表示法中体现任意两点间相关性的相位角的具体表达式,使其具有明确的物理意义,从而使得对复功率谱矩阵的Cholesky分解转化为对实数域内的相干函数矩阵的Cholesky分解,提高了合成效率．同时还在模拟公式中引入了双索引频率,以使得模拟公式具有均值与相关函数(自/互功率谱密度函数)的各态历经性,还对其各态历经性进行了理论上的证明,证明了当所模拟的各点地震动时间序列取一个周期时,其均值与相关函数的各态历经性．为进一步提高模拟效率,还给出了特定条件下,相干函数矩阵Cholesky分解后下三角矩阵中各元素的解析解,使得在合成中可以避免反复地在各频率下对相干函数矩阵进行Cholesky分解,从而实现了对模拟模型的简化．最后,给出一个简单的模拟实例,对改进前后模拟的地震动场进行比较,以说明改进后公式的模拟效果．     

It(o)模型金融市场的完备性

本文研究了标的资产价格服从连续时间Ito过程模型的金融市场的完备性问题．在允许有摩擦的金融市场中，当可允许投资策略取值于一个非空凸闭集时，给出了金融市场在内蕴完备条件下广义不完备的充分必要条件．     

Representation Theorems for Quantales

In this paper we prove that any quantale Q is (isomorphic to) a quantale of suitable relations on Q. As a consequence two isomorphism theorems are also shown with suitable sets of functions of Q into Q. These theorems are the mathematical background one needs in order to give natural and complete semantics for (non-commutative) Linear Logic using relations. Mathematics Subject Classification: 06D05, 06D10, 06D20, 03G25.     

Quantum B-algebras

The concept of quantale was created in 1984 to develop a framework for non-commutative spaces and quantum mechanics with a view toward non-commutative logic. The logic of quantales and its algebraic semantics manifests itself in a class of partially ordered algebras with a pair of implicational operations recently introduced as quantum B-algebras. Implicational algebras like pseudo-effect algebras, generalized BL- or MV-algebras, partially ordered groups, pseudo-BCK algebras, residuated posets, cone algebras, etc., are quantum B-algebras, and every quantum B-algebra can be recovered from its spectrum which is a quantale. By a two-fold application of the functor “spectrum”, it is shown that quantum B-algebras have a completion which is again a quantale. Every quantale Q is a quantum B-algebra, and its spectrum is a bigger quantale which repairs the deficiency of the inverse residuals of Q. The connected components of a quantum B-algebra are shown to be a group, a fact that applies to normal quantum B-algebras arising in algebraic number theory, as well as to pseudo-BCI algebras and quantum BL-algebras. The logic of quantum B-algebras is shown to be complete.     

Quantale中理想的扩张

讨论理想Quantale的性质,给出了当Q是可换Quantale时,Q中理想都是半素理想的一个条件.引入了理想的扩张的概念,证明了与序半群中的一些经典结论相一致的命题.通过理想的扩张构造了一个Quantale上的同余,得到了当原理想是素理想时,这个同余所确定的Quantale商是Frame且找到了它的具体结构.     

Quantale的若干新的性质

讨论Quantale的若干性质，给出Prequantale构成Quantale的两个充要条件，论证在严格双侧Quantale上逆序对合对应的惟一性并给出了Quantale是分配格的一个条件。     

广义L模糊Quantale

引入了一类广义的L模糊Quantale,即(∈,∈∨q)-L模糊Quantale的定义,研究了其性质,利用它对经典子Quantale进行了等价刻画,证明了它的其中一种特殊情形就是L模糊Quantale。     

序半群的Quantale完备化

首先定义了集合上的闭包算子,研究了闭包算子的若干性质;其次给出了序半群的Quantale完备化,证明了序半群的Quantale完备化在同构意义下完全由序半群上的拓扑闭包决定;最后给出了序半群Quantale完备化的一个应用.     

模糊集Quantale与Quantale的嵌入

给出模糊集Quantale的定义,在此基础上对Quantale与它对应的模糊集Quantale二者之间的关系进行比较,得到如果一个Quantale是可换的、单位的,则它的模糊集Quantale也是可换的、单位的结论。然后给出Quantale的一种嵌入方式。     

Quantale矩阵的广义逆及其正定性

给出Quantale矩阵{1}-广义逆的一种刻划以及存在的条件,给出Quantale矩阵M-P广义逆的定义,讨论Quantale矩阵M-P广义逆的若干性质,得到Quantale矩阵M-P广义逆的具体形式.引入Quantale矩阵正定性的概念,研究交换幂等Quantale上矩阵正定的一些性质,得到交换幂等Quantale上矩阵正定的一些等价刻画.     

Quantale中的素根定理

在Quantale中引入了m系的概念,利用m系讨论了Quantale中素理想和半素理想之间的关系.在此基础上证明了当Q是可换Quantale时,Id(Q)是空间式Quantale当且仅当Q中的任一理想都是半素理想.最后把环和序半群中的素根定理推广到Quantak中,得到了Quantale中的素根定理.     

The quantic conuclei on quantales

In this paper, the main purpose is to investigate some properties of quantic conuclei. Firstly, the concept of an ideal conucleus is introduced and a characterization for a map to be an ideal conucleus is given. Secondly, the relations between quantic nuclei and quantic conuclei are studied on Girard quantale, based on which, the extensions of quantic conuclei (nuclei) to a Girard quantale and the relations between those extensions are discussed. Finally, the concrete structure of quantale without non-trivial quantic conuclei is given and it is proved that the number of subquantales of an infinite quantale is infinite.