局部有限BL-代数的素逆演绎系统及性质

在BL-代数中引入逆演绎系统及素逆演绎系统的概念,并在局部有限BL-代数中研究了素逆演绎系统的基本性质及逆演绎系统和通常理想之间的关系;其次,讨论了BL-代数中逆演绎系统和同余关系之间相互决定的关系;最后,证明了由素逆演绎系统诱导的商代数为线性BL-代数,进而证明了在局部有限BL-代数中一个逆演绎系统是素逆演绎系统当且仅当由其诱导的商代数是线性的BL-代数。     

局部有限 BL-代数的素逆演绎系统及性质

在BL-代数中引入逆演绎系统及素逆演绎系统的概念,并在局部有限BL-代数中研究了素逆演绎系统的基本性质及逆演绎系统和通常理想之间的关系;其次,讨论了BL-代数中逆演绎系统和同余关系之间相互决定的关系;最后,证明了由素逆演绎系统诱导的商代数为线性BL-代数,进而证明了在局部有限BL-代数中一个逆演绎系统是素逆演绎系统当且仅当由其诱导的商代数是线性的BL-代数。     

基于BL系统的演绎系统集代数的剩余格属性

在命题逻辑系统BL中提出了演绎系统的概念, 并且给出了由F(S)的子集生成演绎系统的方法, 证明了命题逻辑系统BL中演绎系统和结论之集的同一性; 其次, 在命题逻辑系统BL中证明了在包含偏序关系下所有演绎系统构成的集族D(F )中上, 下确界的存在性; 最后, 在D(F )中定义了二元运算∧,∨,*,→, 证明了集代数(D(F ),∧,∨,*,→,0,1)是满足可除性的完备剩余格。     

L~*系统的一种弱完全对偶形式系统WCL

研究了模糊命题演算的一种形式演绎系统 L* 和修正的 Kleene逻辑系统 W-,W,Wk 及 R0-代数 ,给出了 L* 系统的一种弱完全对偶形式系统 WCL-* ,并证明了二者之间的等价性 ,为形式演绎系统的研究和应用提供了一个有益的途径     

BL_Δ~*系统的完备性

研究了BL*系统和BR0-代数.首先在BL*系统的基础上添加了一元逻辑连接词Δ,得到BL*系统的一种模式扩张BL*Δ系统,随后提出了ΔBR0-代数的概念,其次研究了ΔBR0-代数中的Δ-滤子及其性质,最后证明了BLΔ*系统的完备性,给出了BLΔ*系统的广义演绎定理.     

T^＊系统的一种弱完全对偶形式系统WCT^＊—

研究了模糊命题演算的一种形式演绎系统T^*-和修正的Kleene逻辑系统W^-,W,Wk及R0-代数,给出了T^*-系统的一种弱完全对偶形式系统WCT^*-,并证明了二者之间的等价性,为形式演绎系统的研究和应用提供了一个有益的途径。     

纯正半群上的强同余(I)

证明了纯正半群上的所有强同余构成该半群同余格的完备子格,刻画了与强同余对应的核-迹同余对-正规迹、正规子半群(称为强同余对)及其相互关系,由此给出纯正半群上任一强同余的结构,并证明强同余格和强同余对的集合之间一一对应.     

正则半群上的强同余

证明了正则半群上的所有强同余构成该半群同余格的完备子格,刻画了与强同余对应的核-迹同余对-强同余对及其相互关系,由此给出正则半群上任一强同余的结构,并证明了强同余格和强同余对的集合之间一一对应.     

超相等代数的强超推理系统

引入并研究了超相等代数的几类强超推理系统。首先,给出了强超推理系统的一些生成表示;其次,研究了2类重要的强超推理系统,即关联和正关联强超推理系统,得到了2类强超推理系统的等价刻画,并讨论了二者之间的关系。     

关于纯正Γ半群上的强同余

研究了纯正Γ-半群上的强同余以及强同余对.先给出纯正半群上的强同余及强同余对的概念,然后刻画了强同余的性质,由此证明了纯正Γ-半群上的强同余对的集合与强同余的集合之间是一一对应的.     

系统协同开发过程模型重用的研究

为缩短企业系统开发时间，对系统开发过程中不同阶段的模型重用进行了研究。分析了IDEF0功能模型中“ICOM”分类及结构在系统设计时存在的不足，通过改进IDEF0，构建了良构IDEF0并研究了良构IDEF0和过程模型MCM构成元素之间的对应关系及模型间的相互转换，为实现系统协同开发过程的模型重用打下基础。     

基于L^＊系统的一种非单调推理系统

研究了非单调优先推理系统P和累积单调推理系统CM，以及模糊命题演算的形式演绎系统L^*，在L^*系统中定义了后承关系|～：A|～B当且仅当A^2┠B，证明了在L^*系统中的这种后承关系满足累积单调推理系统CM，非单调优先推理系统P的全部规则，但这种后承关系不满足单调推理系统M的逆否律规则，从而在L^*系统中建立了一个介于非单调推理系统和单调推理系统之间的逻辑系统，这为两种系统的理论研究建立一个桥梁以及为模糊控制提供了一种新的思路。     

基于L~*系统的一种非单调推理系统

研究了非单调优先推理系统P和累积单调推理系统CM,以及模糊命题演算的形式演绎系统L ,在L 系统中定义了后承关系｜～:A｜～B当且仅当A2├B,证明了在L 系统中的这种后承关系满足累积单调推理系统CM,非单调优先推理系统P的全部规则,但这种后承关系不满足单调推理系统M的逆否律规则,从而在L 系统中建立了一个介于非单调推理系统和单调推理系统之间的逻辑系统.这为两种系统的理论研究建立一个桥梁以及为模糊控制提供了一种新的思路.     

基于嵌入式系统DeltaSystem的电源管理系统

介绍基于一种嵌入式系统DeltaSystem的电源管理系统，包括耗能状态各不相同的一种正常运行模式和三种节能模式，以及各模式间的相互联系和相互转换，并提出了扩展电源管理的方案，使之能管理嵌入式系统的外部设备，最大程度上提高电源管理的效能．     

次BL代数的推理系统

基于Esko Turnner对BL代数的系统研究，引入了次BL代数的概念，并给出了次BL代数的实例，在次BL代数中建立了一种广泛的推理系统，研究表明，R0代数、Lukasiewicz结构、Goedel结构等均可纳入次BL代数理论之中。     

BL△*系统中理论的△-根及广义△-MP问题

对BL*系统进行了研究.结合Petr Hajek的观点,在BL*系统中添加了一元逻辑连接词△,得到BL*系统的一种扩张BL△*系统.随后在BL△*系统中提出了理论的△-根的概念,并对其基本性质进行了研究.最后提出了广义与集体广义△-MP问题,定义了上述问题在语构意义下的解,并对解的存在性进行了讨论.     

浑沌系统与随机系统的转换及其控制

研究了具有浑沌运动的非线性确定动态系统与随机过程之间相互转换的原理和方法。讨论了浑沌系统的控制问题和最优化方法所遇到的困难。提出了浑沌控制的三个目的和一种次优控制方法。     

用系统的观点分析几何学中的图形构成

从系统的观点出发，论述了系统的相关性，层次性，表达性及动态性的含义，进而阐述了它们与几何学中的图形构成方面的相互联系与相互制约关系，为在几何学中建立起系统的思维方式打下了一个基础。     

钻柱力学双重非线性问题中的四套坐标系

本文较系统的阐述了钻柱力学双重非线性问题中应用的四套坐标系及其相互转换关系,给出了其详细的转换关系式,并编制了计算机程序计算实例。     

新产品行销过程的系统动力学模型

采用系统动力学的方法,从新产品的市场进入入手,研究其销售量与时间因素之间的动态关系,给出了二者之间的系统动力学一般性方程．在此基础上,引入了几个特殊但有实际意义的动力学方程,并从定性与定量两个方面讨论了相应模型的数学与经济意义