形式演绎系统T中的运算与演绎定理

对著名的形式演绎系统T做了进一步的研究,得到一些新定理,在系统T中引入新的二元运算,讨论了这各运算的性质,并由此得到了形式系统T中的演绎定理。     

形式演绎系统L~*中的运算与演绎定理

对著名的形式演绎系统 L* 做了进一步的研究 ,得到一些新定理。在系统 L* 中引入新的二元运算 ,讨论了这种运算的性质 ,并由此得到了形式系统 L* 中的演绎定理     

L—fuzzy拓扑向量空间的归纳拓扑

利用L－fuzzy拓扑向量空间理论^[1]-[6],本文研究了由L-fuzzy线性序同态族所确定的L－fuzzy归纳拓扑后一些性质,给出了由单一Luzzy线性序同态所确定的L-fuzzy归纳拓扑的一个特征刻划,利用此结果,证明了L-fuzzy拓扑向量空间的商空间亦是L-fuzzy拓扑向量空间。     

L—fuzzy群（Ⅱ）

This paper is a continuation of [1].In paper[1],the concept of LF group was introduced.In this paper,the concept of OP homomorphism will be introduced and its properties will be discussed.     

基于R—K—F方法的模糊初值问题

本在Runge-Kutta-Fehlberg方法的基础上，运用模糊仿真的近似推理规则，讨论了当初始状态具有模糊不确定性时，求微分方程数值解的问题。     

*系统的一种改进系统 0*

研究了王国俊教授建立的模糊命题演算的形式演绎系统T以及在语义上相关的修正的Kleene逻辑系统W,W,Wk,给出了T系统的一种改进系统T0,并证明了二者之间的等价性,为形式演绎系统T的研究和应用提供了一个有益的途径。     

L~*系统的一种改进系统L_0~*

研究了王国俊教授建立的模糊命题演算的形式演绎系统 L*以及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,给出了 L*系统的一种改进系统 L*0 ,并证明了二者之间的等价性 ,为形式演绎系统 L* 的研究和应用提供了一个有益的途径     

形式演绎系统L~*中封闭理论的性质及其应用

本文在模糊命题演算的形式演绎系统L~*中引入了封闭理论的概念,讨论了封闭理论的基本性质,并利用封闭理论给出了形式演绎系统L~*的基于公式集的完备性的证明.首先,在形式演绎系统L~*中引入了封闭理论的概念,给出了理论封闭化扩张的方法;其次,在形式演绎系统L~*中引入了完全封闭理论的概念,证明了满足相关条件的完全封闭理论的存在性;第三,对形式演绎系统L~*中的封闭理论确定的同余关系性质进行了讨论,在公式集中引入了强同余关系的概念,给出了封闭理论和强同余关系相互决定的方法;第四,在形式演绎系统L~*中证明了封闭理论型L~*-Lindenbaum代数是R_0代数,并且封闭理论型L~*-Lindenbaum代数是全序的当且仅当封闭理论是完全的;最后,利用完全封闭理论型L~*-Lindenbaum代数完成了形式系统L~*完备性的证明,并改进了原有的结果.     

F—集的模糊可应用性及加权平均可应用性

In the paper,the concept of the generic applicability about Fset is generalized,and the new concepts of fuzzy applicability and weighted average applicability and applicable region about F sets are proposed.     

Fuzzy格的F—同态与W—理想（Ⅰ）

本文讨论了Ｆｕｚｚｙ格的Ｗ－理想在Ｆ－同态下的一些性质，得到如下主要结果：设ψ：Ｆ→Ｆ为Ｆｕｚｚｙ满同态，Ｊ为Ｆ的一个理想，Ｊ＝ψ＾－１（Ｊ）．（１）若Ｊ为Ｆ的Ｗ－理想，则Ｊ为Ｆ之间余理想，且Ｆ／θ（Ｊ）≌Ｆ／θ（Ｊ），（２）若Ｊ为Ｆ的同余理想，而Ｋｅｒψ为Ｆ的Ｗ－理想。则Ｆ／θ（Ｊ）≌Ｆ／θ（Ｊ），且Ｊ为Ｆ的ＷＳ－理想＝Ｊ为Ｆ的Ｗ－理想；（３）若Ｆ为二元Ｆｕｚｚｙ格，则Ｋｅｒψ是Ｆ的Ｗ－素理想。     

命题演算系统S的概率模型

概率模型P是为有效地检验命题演算系统之永真(假)函项、永真蕴涵关系;求取命题(合取、析取)范式及证明各重言式定理而特设的一种纯数学模型.其特征是,在运算中既保持概率运算的基本性质,又满足命题演算的逻辑要求,且运算关系简单(仅含算术运算+、-、×).     

Full Lambek Calculus in natural deduction

A formulation of Full Lambek Calculus in the framework of natural deduction is given (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A Labelled Deductive System for Relational Semantics of the Lambek Calculus

We present a labelled version of Lambek Calculus without unit, and we use it to prove a completeness theorem for Lambek Calculus with respect to some relational semantics.     

计算机上的抽象算符演算系统

本文在REDUCE语言环境下,利用公理化方法建立了一个“抽象算符演算”系统.使REDUCE系统可用于抽象的算符演算,逆演算;用于Laplace变换,逆变换及解微分方程,推导公式,以及验证有关定理等.     

The Fractional Calculus for Some Stochastic Processes

Abstract

The integration and differentiation of fractional orders are well known concepts for deterministic functions (see Miller, K.S.; Ross, B. An Introduction to Fractional Calculus and Fractional Differential Equations; John Wiley: New York, 1993; I. Podlubny and Ahmed M.A. El-Sayed, On two definitions of fractional calculus Slovak Academy of Sciences Institute of experimental Phys. UEF-03-96 ISBN 80-7099-252-2, 1996; Podlubny, I. Fractional Differential Equations; Acad. Press: San Diego – New York, London etc. 1999; Samko, S.G.; Kilbas, A.A.; Marichev, O. Integral and derivatives of the fractional orders and some of their applications. Nauka i Teknika Minisk 1983). In earlier work, we have studied the fractional calculus for mean square continuous stochastic processes. In this work, we shall study the mean square (m.s.) fractional calculus for stochastic processes which are m.s. Riemann-integrable and prove some its properties.     

从Stewart的《Calculus》看高等数学教学

1加强数学软件在数学教育中的应用数学软件为高等数学教学理论联系实际创造了有利条件.象Maple这样的数学软件在美国的中学数学教育中就已经开始使用了.最近,高等教育出版社推出二部国外原版教材,一部是Finey,Weir等编的《Thomas Calculus》[1],一部是Stewart的《Calculus》[2]     

杰出人物论微积分

摘编14位杰出人物对微积分的精辟论述。     

一类分形插值函数的分数阶微积分

介绍了分形插值函数和迭代函数系统以及v阶黎曼-刘维尔分数阶积分、微分的概念和相关定理.由于分形插值函数满足应用分数阶微积分处理问题的条件,所以利用这些概念及分步积分的方法讨论了折线段分形插值函数的分数阶积分的连续性,可微性及哪些点是不可微的,进一步说明了该插值函数分数阶微分的连续性并指出其不连续点,用黎曼-刘维尔分数阶微积分与分形插值函数结合起来研究,目的是想设法跟经典微积分一样,能找出函数上在该点的微积分的具体的实际应用意义.这些理论为研究分形插值函数的分数阶微积分的实际应用意义提供了一些理论基础.     

高等数学竞赛的相关策划

针对全国每年的大学生数学竞赛以及江苏省每两年一次的高等数学竞赛，为了提高竞赛成绩，对教材及教学方法进行了改革，策划了八项措施，并付之于实践中，取得了优异成绩。在近五届的数学竞赛中，一等奖的获奖率65％，远高于全省平均获奖率10％。     

闭区间[0,1]上的分形插值函数的分数阶积分

介绍了分形插值函数和迭代函数系统以及v阶黎曼-刘准尔分数阶积分的概念及相关定理.利用这些概念及定理讨论了分形插值函数的分数阶积分在[0,1]上连续性及判定[0,1]上的分形插值函数的分数阶积分也是[0,1]上的分形插值函数,并给予了证明.