具有左R-模结构的类型及其范畴逻辑模型

以范畴逻辑与类型论为基础,引入类型中的交换群理论、环理论以及左R-模理论.证明了类型中的交换群理论在满足分配律的范畴中的模型是交换群对象,环理论的模型是环对象,左R-模理论的模型是左R-模对象,并给出左R-模理论在集合范畴和层范畴等几个具体范畴中的模型.     

关于波莱尔的积分思想研究

波莱尔在测度理论方面的工作奠定了现代测度理论和积分理论发展的基础,对勒贝格的积分工作有重要影响.他利用零测集理论和构造性方法给出了与勒贝格不同的积分理论,这一点目前很少有相关文章和著作进行介绍.本文基于原始文献,利用历史分析和比较的方法对波莱尔的积分理论进行探讨,对理解积分理论的历史发展有重要意义.     

从Riemann积分的定义看推广变量收敛理论的必要性

指出了R iem ann积分定义中积分和的极限已超出了数学分析中变量极限理论的范围,由此看出推广变量极限理论是必要的;简要地介绍了更一般的收敛理论,即网的Moore-Sm ith收敛理论,并通过这种收敛理论给出了定积分的严格定义.     

横观各向同性体滑移线场理论

本文系统推演了横观各向同性体滑移线场理论.为解决地球动力学与岩土力学问题,考虑到成层地质体横观各向同性与非均匀温度场作用,本文选择了Gol'denblat-Kopnov破坏准则.并使物性参数随温度变化,建立了复杂介质的强度准则.通过关联流动法则,导出了塑性流动基本方程.应用特征线理论,导出了滑移线斜率公式、应力沿滑移线微分公式和速度沿滑移线微分公式.应用本文理论计算了基础承压问题.本文理论将许多着名的经典理论如Mises理论,Hill理论、Coulomb理论概括为特例.这一综合理论可应用于岩土工程、地质构造、石油、采矿等许多领域.     

扭转映射的Aubry－Mather理论及其应用

本文介绍Ａｕｂｒｙ－Ｍａｔｈｅｒ理论近年来的发展情况，文章讨论了该理论与ＫＡＭ理论、保面积映射不动点理论的联系，并简单地介绍了它的一些推广。作为该理论的应用，对平面Ｈａｍｉｌ－ｔｏｎ系统Ｍａｔｈｅｒ集的存在性给出了一些结果．     

变异理论下解题思维模式的探究及应用

变异理论作为一种重要的教育理论,在国内外数学教学中应用广泛.本文尝试用变异理论指导函数构造解题,探究该理论下解题的思维模式并选取一道典型的高考题进行应用.1变异理论变异理论(Variation Theory)是由瑞典哥德堡大学马飞龙教授所创立的一种学习理论.其基本观点是:学习是培养学生对事物看法的一种方式,对事物本质特征的鉴别区分以及对这些特征的同时关注,是建立这种方式的基础,而对本质特征的辨别依靠这个特征在某一维度上的变化.变异理论是对传统迁移理论的超越,该理论强调对于学习内容的共同性和差异性的研究,确定关键属性,通过“审辨”和“变异”促进学生学习.     

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

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

微极连续统的耦合场理论的再研究(Ⅱ)──微极热压电弹性理论和电磁热弹性理论

W.Nowacki曾建立起系统的微极热压电弹性理论和电磁热弹性理论。戴天民对W.Nowacki建立的微极热压电弹性理论和电磁热弹性理论进行了再研究,对这些理论局限于线性情形的原因和它们的不完整处进行了分析。针对这些理论中所存在的问题,建立起微极热压电弹性理论和电磁热弹性理论的更普遍的能量守恒原理和局部能量方程以及Hamilton原理。从戴天民所建立的更普遍能量守恒原理和Hamilton原理很自然地推导出局部和非局部微极热压电和电磁热弹性理论的完整的运动方程和边界条件以及能率均衡方程。通过引入两个新泛函和全变分还可另外得到位移、微转动、电势和温度边界条件。     

浅海声传播的波束位移射线简正波理论 *

适用于一般分层浅海的波束位移射线简正波 (BDRM)理论 ,该理论的特点是将边界对声场的影响通过等效边界反射系数来表示 ,因而容易推广到具有切变弹性的海底 .对浅海声场的理论计算表明 ,BDRM理论具有计算精度较高、计算速度较快等优点 .利用BDRM理论计算了浅海中脉冲波形传播 ,理论与实验数据符合比较好 .     

模糊逻辑系统Luk和L^＊中理论相容度的计算公式（Ⅲ）

解决了模糊逻辑系统L^＊与Luk中理论相容度的计算问题。首先给出了L^＊中理论相容度的计算公式；然后，引入了逻辑公式的核，理论的核的新概念，从而，得到了模糊逻辑系统Luk中理论相容度的计算公式；最后，给出了理论不相容的两个新的充要条件。     

犹豫模糊集在决策理论上的研究综述

文章介绍了犹豫模糊集的含义及起源,分别对犹豫模糊集的测度理论、属性权重分配理论、信息融合理论以及决策方法进行了概述,展望了犹豫模糊集决策理论未来的研究方向.     

模糊逻辑系统Luk和L*中理论相容度的计算公式(III)

解决了模糊逻辑系统L*与Luk中理论相容度的计算问题.首先给出了L*中理论相容度的计算公式;然后,引入了逻辑公式的核,理论的核的新概念,从而,得到了模糊逻辑系统Luk中理论相容度的计算公式;最后,给出了理论不相容的两个新的充要条件.     

可拓营销理论研究

利用物元理论、事元理论和可拓集合理论 ,对需要、产品、市场、资源、企业等进行可拓分析 ,提出可拓营销的基本理论——产品开拓规律、可拓市场、可拓资源、健全企业等     

L*n系统中理论的相对发散度和相对相容度

利用公式的Σr-真度(文中称为相对真度)理论,在模糊命题逻辑系统(L*n)中提出了任意理论Γ相对于特定理论Γ0的相对发散度和ηΓ0-相容度概念.对于有限理论,给出了其相对于特定理论Γ0的δΓ0-相容度概念,并对两种相容度的性质作了初步探究,揭示了二者之间的内在联系.同时给出任意理论Γ相对于特定理论Γ0的相容、不相容及完全相容的定义及其等价刻画.     

粗糙集研究中的模糊集方法

通过粗糙隶属度函数 ,将粗集理论与模糊理论联系起来 ,建立一种粗集理论与模糊理论的关系。利用这种关系 ,引入置信水平 ,将经典粗糙集模型进行了推广 ,并讨论等价关系变化前后集合上下近似之间的关系。     

斐波那契数列通项公式的求法

分别运用常用求数列通项的方法．子空间理论,矩阵理论,函数方程理论．均可求出斐波那契数列的通项公式．     

信息技术与大学数学课程整合的方式与理论探讨

信息技术与大学数学课程整合正成为当前我国信息技术教育乃至整个教育信息化进程中的一个热点问题,探讨其整合的方式及理论基础是非常必要的.本文首先结合大学数学案例探讨了整合的三种方式:动态的课堂演示型、单机的数学实验型和全交互的网络教学型,其次探讨了整合所依据的四种理论:传播理论、建构主义理论、教学设计理论和系统理论,最后提出了自己对信息技术与大学数学课程整合的一些思考.     

相对论热力学向量理论

指出了Planck-Einstein相对论热力学(P-E理论)中存在的缺点,提出了相对论热力学向量理论(向量理论)。该理论在定义内能为四维向量和假定熵和粒子数为不变量的基础上得到了所有的热力学量的变换关系;并写出了体系的Lagrange量和热力学定律的四维形式。为了检验新理论的正确性,还给出了几个具有经典极限的精确解。该向量理论克服了P-E理论的缺点。     

多值命题逻辑中逻辑理论的拓扑刻画

基于多值Lukasiewicz命题逻辑系统Ln中的计量逻辑学理论。研究了逻辑理论在逻辑意义下的性质与其在拓扑意义下的性质之间的联系，并给出了闭逻辑理论的拓扑性质描述及多值命题逻辑中逻辑理论的发散性的拓扑刻画。     

命题模糊逻辑系统П和God中理论的相容度与下真度的计算公式（Ⅱ）

讨论命题模糊逻辑系统П和God中理论相容度与下真度的计算问题。引入逻辑公式的核、零核及理论的核的新概念，得到命题模糊逻辑系统Ⅱ和God中理论相容度与下真度的计算公式，给出理论不相容的新的充要条件。