特征为2的素~*-代数上强保持2-新积

设R是特征为2包含非平凡对称幂等元的单位素~*-代数.对A,B∈R,定义A·B=AB+BA~*为新积,(A·B)_2=(A·(A·B))为2-新积.设φ:R→R是满射.对所有A,B∈R,如果φ满足(φ(A)·φ(B))_2=(A·B)_2当且仅当对所有A∈R,存在α∈C_S且α~3=I使得φ(A)=αA,其中I是R的单位,C_S是R的对称可延拓中心.作为应用,得到了素C~*代数和因子von Neumann代数上保持上述性质映射的结构.     

模糊命题逻辑L*中公式的条件随机真度

在赋值格为[0,1]的模糊逻辑系统L*中,基于条件概率的思想和赋值集的随机化方法提出了公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论。     

对称空间中的重合点和公共不动点定理

利用对称空间中的一个新的(Ag)型弱相容映像的条件,讨论了对称空间中重合点的存在性和公共不动点的存在唯一性问题.证明了几个满足性质(E-A)和(Ag)型弱相容映像的新的公共不动点定理,并给出了验证和说明文章结果的实际例子.这些结果改进和推广了文献[1-3]中的一些相关结果.     

L*-Lindenbaum代数中的滤子

利用格论中滤子的相关知识,对公式集D(Г)的性质进行研究。通过对D(Г)和R0代数中MP滤子相似性的比较分析,证明了L*-L indenbaum代数[F]中的MP滤子都是形如D(Г)形式的,其中D(Г)={[A]|Г├A,A∈F(S)};又进一步证明了[F]中的极大滤子(格论意义下)是极大MP滤子,而且给出了刻画[F]中极大滤子的一个充分条件.     

PM空间的不动点及广义Pinard程序的收敛性

近年来,由于随机分析理论的发展,许多问题将纳入概率度量空间(简称PM空间)的框架进行讨论.文[1]证明了PM空间中压缩及局部压缩映射不动点定理.本文研究的是一类更广泛的映射的不动点定理,同时提出了计算不动点的广义 Pinard程序[2],并证明该程序的收敛性.本文的结果推广了文[2]中的诸结论.1 主要结果 设(E,F,Δ)为(ε-λ)可键的完备PM空间;T:E→E满足条件(A):对于任意x∈E,当y∈Ux(ε,λ)时有:式中ψ满足: (φ):φ:[0,+∞)→[0,+∞]为严格增加函数且 Φ(0),limΦn(t)= +∞,这里ψn(t)为φ(t)的第n次迭代. 引理1[3]设Φ(t)满足条件(Φ)…     

一类差分方程解的收敛速度及其应用

给出在φ满足Kantorovich引理的条件下,差分方程tk 1=φ(tk)迭代序列{tk}收敛于不动点t*的四种收敛速度.作为应用,给出文[1]中Rheinbold W定理的一个更为明显的结果.     

与不动点有关的三个新的几何性质

在Banach空间的对偶空间中引入了三个新的几何性质:W*UKK’性质,W*UKK(α)性质和W*UKK(α’)性质,并证明了若Banach空间X的对偶空间X*分别具有这三种性质,都蕴含Banach空间X具有不动点性质.     

一类差分方程迭代公式（序列）敛速的估计

给出在φ满足Kantorovich引理的条件下,差分方程tk=1=φ(tk)迭代序列{tk}收敛于不动点t*的四种收敛速度的估计作为应用,给出文[1]中RheinboldtW定理的一个更为明显的结果.     

一类非线性项包含导数的边值问题伪对称解的存在性

研究时标上非线性项包含低阶导数的p-Laplacian三点边值问题:(φ_p(u~Δ(t)))~v+h(t)f(t,u(t),u~Δ(t))=0,t∈(0,T)T,u(0)=0,u(η)=u(T)伪对称解的存在性,其中η∈(0,T)T且T在[η,T]T上是对称的,p1,φp(u)=up-2u.利用伪对称技巧和锥上的五泛函不动点定理证明了边值问题至少有3个正的伪对称解.作为应用,给出例子验证了所得结果.所得结论在相应的微分方程(T=R),差分方程(T=Z)以及通常的时标上都是新的.     

关于对称导数

在导数概念各种推广中,对称导数发展较早.二阶对称导数即许瓦兹导数在解决三角级 数展开唯一性问题起了决定性作用。对于一阶对称导数,　　证明了[1],如果在 集合A上存在有限对称导数研Df(x),则在A上几乎处处存在普通导数,并且两者相等。这就是说,除了测度为零集不计之外,对称导数和普通导数是一致的。　　　[2]将普通导数的A.Denjog定理推广到对称导数. 就函数的确切(exact)性质而言,对称导数和普通导数性质上有很大差异.我们知道各种广义导数如近似导数,彼安罗导数等都保持了普通导数的大多性质(达布性质、中值定理等);简单例子.表明,对…     

基于三值语义的非单调逻辑

本文给出一种三值非单调逻辑形式，它一方面可推广标准非单调逻辑到三值情形，另一方面它能捕捉各种非单调逻辑作为特殊形式，特别地，我们证明了三值非单调逻辑与模态非单调逻辑具有密切的关系．     

对半符号逻辑的思考——从教育的观点看

半符号逻辑是一种新的逻辑分支,它试图突破传统和现代逻辑的局限性,建立一种既严格又易于掌握的逻辑体系。本文从逻辑教育的角度对其本身提出质疑,认为它并不有益于逻辑的研究和教学。     

模糊知识体系逻辑扩展能力评价模型研究

以真度测度区间的兼容性和推理结果的逻辑语义一致性为评价指标，在模糊逻辑知识体系和二值逻辑知识体系间严格定义了一种模糊知识体系逻辑扩展能力评价模型，并给出对典型加权模糊逻辑的详细评测过程，这个模糊知识体系的逻辑扩展能力评价模型，可对各领域模糊知识体系对二值逻辑知识体系扩展的合理性程度进行评测。     

概率逻辑中的命题相关性与逻辑运算

原子命题是数理逻辑研究的基本单位. 分析了原子命题的相关性与逻辑运算之间的关系. 在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同. 定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点.     

/p∧乛p/=0与/p∧乛p/=1/2能使我们陷入“两难”吗?

在卢卡西维茨的三值逻辑理论L3 中 ,当 /p/=1/2时 ,/p/=1/2 ,所以 ,/p∧p/=1/2。但是 ,在人们的“逻辑直觉”中 ,/p∧p/=0。本文指出这种“逻辑直觉” ,其实是以二值逻辑暗中取代了三值逻辑 ,从而得出 /p∧p/=0这样的结果。 /p∧p/=1/2与 /p∧p/=0由于不是以同样的逻辑理论为基础 ,而是分别以三值逻辑和二值逻辑为基础的结果 ,因而 ,它们并不能使人陷入“二难”的境地     

IMTL逻辑系统的一种新扩张形式

提出了一种新的模糊逻辑系统 IMTL^*,这种逻辑系统的特点是只使用蕴涵这一种逻辑联接词。证明了这种逻辑系统是IMTL逻辑系统的模型扩张,并且 ?ukasiewicz 逻辑系统和逻辑系统ℵ^*都是它的模型扩张,应用这些结论给出了?ukasiewicz 逻辑系统和逻辑系统ℵ^*的蕴涵表示形式。只使用蕴涵这一种逻辑联接词的模糊逻辑系统将为模糊逻辑的应用提供方便。     

文化产业兴起与发展的内在规律

文化产业的兴起和发展是产业逻辑、需求逻辑和技术逻辑综合作用的结果。文化产业作为高端服务业是产业自身演进的产物,其动力机制是经济社会发展与需求结构升级的相互作用。“机械复制技术”催生了文化产业,文化产业随着以“机械复制技术”为特征的传播技术的发展而不断升级并向传统产业渗透,文化产业业态不断创新。在经济全球化与国际文化产业的互动发展的背景下,文化产业必将成为21世纪的主导型产业。     

门和功能级混合的逻辑模拟系统GFLS1

ＧＦＬＳ１是门和功能级混合的逻辑模拟系统，它允许门或功能块作为被模拟电路的基本单元。ＧＦＬＳ１的主要特点是：提供了一个便于使用的描述语言；使用表驱动和选择追踪算法；既可对已有的逻辑电路作正确性检查，负载检查和各种条件检查，也可支持自上而下的逻辑设计。     

浅析逻辑学与知识组织

从逻辑学角度出发对知识组织进行了分析,揭示了知识组织是如何运用逻辑学理论进行研究和发展的。