横观各向同性板的弹性理论和弹性改进理论及一种新的厚板理论

本文从横观各向同性体弹性力学位移形式的基本方程出发,考虑板面承受横向荷载,建立了横观各向同性板弯曲的弹性理论.并由此建立了一个在板的每边能满足三个边界条件的弹性改进理论和一种新的厚板理论.文中求得了周边简支多边形板的弹性改进理论解,数值结果与三维弹性理论精确解的结果非常接近.新的厚板理论和以往的中厚板理论的系统比较表明,我们提出的厚板理论最靠近弹性理论的结果.     

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

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

ECSA理论及其应用

CSA理论是最近提出的一种适用于二值逻辑电路分析与综合的新开关理论。本文将这种理论进行扩展,提出扩展的CSA理论——ECSA理论。ECSA理论可用于三值电路及三中取二值电路的分析与综合,并可作为三值电路及三中取二值电路开关级模拟程序的理论基础。文中给出了ECSA理论的主要内容,并用实例说明这种理论在三值电路的分析与综合及三中取二值电路的分析与综合中的应用。在ECSA理论中若将1/2信号看作U信号,则它就与CSA理论一致。因此ECSA理论亦适用于二值电路的分析与综合。     

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

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

《数学控制论基础》

正《数学控制论基础》先对控制理论的基本概念和控制理论技术的发展历史作了简单阐述,并对控制理论所涉及的数学理论给出了简要说明.然后阐述了线性控制系统的基本理论。线性控制系统的基本理论主要包括系统的可控性、系统的可观测性、系统的稳定性、系统的状态反馈控制和系统的输出反馈控制。鉴于有界控制系统的实际意义很强而数学理论缺乏     

格上度量理论

通过对格上两种度量理论,即M．A．Erceg意义下的度量理论与史福贵意义下的度量理论的介绍与评述,展现出格上拓扑学中有关度量理论发展的概况,从这里可以看到,这一般拓扑学听度量理论比较,格上度量理论的研究有基本思想和研究方法上都有其独到之处。     

粗糙集理论介绍和研究综述

介绍粗糙集理论的基本原理,粗糙集理论中的知识表示以及目前粗糙集理论的研究状况。     

单纯形上Bernstein多项式的迭代根限

本文评述了近年来有关冠心病中医理论研究的６个方面的问题，即阳气虚阴寒盛理论、血瘀理论、痛则不通理论、心胃病理论、诱发因素理论。结合传统中医理论和现代药理及临床实验研究进行了分析评价。     

第三次数学危机的前因后果

17世纪牛顿、莱布尼兹创立了微积分以后，在近一二百年的时间里，微积分一直缺乏一个严格的逻辑基础，它的一些基本概念的的表述，还有某些混乱和自相矛盾之处．从19世纪开始，柯西、维尔斯特拉斯等人进行了微积分理论的严格化工作，他们首先建立了极限理论，并把极限理论的基础归结为实数理论．后来又有代德金、康托尔、德涅等人的共同努力，完善了实数理论，那么实数理论的基础又该是什么呢？于是，康托尔提出了集合理论，他试图用集合理论来作为实数理论，乃至整个微积分理论体系的基础．     

平面Poiseuille流中弱非线性理论和二次失稳理论的关系*

文献[1]提出了平面Poiseuille流的二次失稳理论,本文则用弱非线性理论研究了同一问题.所得结果和二次失稳理论的结果是一致的,说明在平面Poiseuille流中弱非线性理论和二次失稳理论有内在联系.     

级数、数列及压缩映象原理

<正> 级数理论建立在数列理论的基础上,级数理论又丰富了数列理论的解决方法,而后者内容在高等数学中很少介绍,本文将对级数理论在数列问题上的一种应用进行讨论并介绍一元函数方程的压缩映象原理。     

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

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

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

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

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

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

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

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

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

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

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

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

非线性规划的(H,Ω)对偶理论

对偶理论是非线性规划理论的一个重要组成部分,目前较成熟和完善的仅是凸规划的对偶理论.对于非凸规划对偶问题的研究仅有少量的工作完成,其结果也不令人满意.文献[1]就凸共轭函数进行了推广,建立了(H,(?))共轭函数理论,这一理论为凸对偶向非凸对偶迈进提供了基础.本文应用这一(H,(?))共轭函数理论,提出并建立了非线性规划的(H,(?))对偶理论.应用表明,在特殊簇 H 及(?)下,迄今为止几乎所有非线性规划的对偶理论都是这一对偶框架下的特殊形式,因此可以说,它是对偶理论的一个突破.     

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

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

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

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