常系数线性微分方程RMI解题机

本文介绍的常系数线性微分方程解题机是利用数学方法论的研究成果，摸拟人的数学思维过程，采用关系映射反演（ＲＭＩ）方法，通过符号推理给出微分方程解析解的数学软件．文中介绍了研制该解题机的基本思想和实现技术，并给出了用解题机求解微分方程和微分方程组的几个实例．     

级数求和RMI解题机

本文从RMI原则出发对各种级数求和的方法进行分析,将许多幂级数归结为是由几种基本幂级数演变而来的,总结出若干适用面较广的映射算子,介绍了在此基础上实现的能对相当大一部分幂级数及数项级数求和的RiMI解题机.     

经典公理集合论系统与中介公理集合论系统之间的包含关系

本文首先在中介公理集合论系统ＭＳ中构造出Ｐｅａｎｏ自然数系统，以此为基础重新定义了ＭＳ中的良集概念，证明了新定义的良集满足经典公理集合论系统ＺＦＣ^－（ＺＦＣ中去掉正则公理的集合论系统）的全部公理，从而说明经典公理集合论系统ＺＦＣ^－为中介公理集合论系统ＭＳ的子系统．     

MP*与各种命题联结词含量完全的三值逻辑在语言表达能力上的等效性研究

本文基于中介命题逻辑的扩张系统 MP*之命题联结词含量的完全性结果 ,进一步证明了 Lukasiwicz三值逻辑系统 L*3 、Post三值逻辑系统 P*3 、Slupecki三值逻辑系统 S*3 和 Woodruff三值逻辑系统 W*3 等的命题联结词的含量也是完全的 .从而着眼于形式系统 ,可知 MP*、L*3 、P*3 、S*3 、W*3 的语言表达的能力也都是等效的 .又若这些三值系统都是可靠的完备的 ,则可进一步证明这些三值系统立足于形式推理也都是互相等价的 .     

答《中介数学没有包括经典数学》一文及其它

(一)关于经典逻辑演算之推演规划是中介逻辑演算之导出规则的证明。 朱水林同志在文中简括而确切地指出:“我们可以把上面关于中介数学和经典数学之关系的引文简括成一个结论和两个论据:     

空间Λ(X)中的加权插值不等式

Milman在文献[1]中讨论了空间(X)和M(X)的K泛函之间的关系。本文把他的主要结果推广到更普遍的情形,并应用这一结果得到空间(X)的加权插值不等式。 引进一些术语和记号,其中一些记号和假设直接来自文献[1]。 设m为Lebesguo测度,f(x)为[0,∞)上L-可测函数,X为(0,∞)上可测函数f(x)组成的Banach空间。且为r·i空间,x(0,t)是(0,t)上的特征函数,φ_x(t)=‖x(0,t)‖_x是     

微带电极上同时受扩散、化学反应、电极反应速率控制的伏安方程

运用积分变换的方法推导了超微带电极上同时受扩散、化学反应、电化学反应动力学控制的伏安关系，得到了前行化学反应、平行化学反应和后行化学反应的准可逆伏安方程，并列出了计算所得的典型伏安曲线．