Schauder不动点定理与Nash平衡点的存在性

本文用Schauder不动点定理直接证明Nash平衡点的存在性定理。     

互逆主义逻辑中的逻辑命题

互逆主义逻辑对命题进行了严格分类,认为命题可分成不同级别、不同阶次.同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能.互逆主义逻辑还提供多种方法帮助证明命题的真伪,周氏图就是其中经常使用的方法之一.     

互逆主义数学哲学与计算

指出数学不是建立在集合论之上,而是建立在人类计数实践之上。经典数理逻辑是有量词的,而互逆主义数理逻辑没有量词,绝大多数逻辑在计算机的应用系统中也都是没有量词的。为说明互逆主义数理逻辑在计算中的能行性,给出了其在人工智能计算中的应用：二层单准Prolog的操作语义和指称语义。     

建构主义学习理论与自主学习能力的培养

外语学习是一种自主的习得过程．成功的外语学习离不开习得的自主学习、西方教育心理学的学习理论建构主义强调以学习为中心的元认知策略．着重探讨建构主义学习理论指导下高校第二语言教学中学生自主学习能力培养的问题．     

Krull交定理的一个初等证明

Krull交定理是交换代数中的一个重要定理,有着广泛的应用.针对交换代数书上的证明比较深奥,学生难以理解,本文应用Hilbert基定理,给出一个能够揭示其本质的简单证明,同时给出一个推论.     

基于S-R和分解定理的无网格Galerkin法求解几何非线性问题

针对几何非线性问题,基于S-R和分解定理与更新拖带坐标描述法,从运动变换的角度出发,由虚功率原理建立全局弱式积分方程.采用无网格Galerkin法(EFG)求得该问题的数值解.对于非线性问题的数值计算,通常采用增量和迭代法.S-R和分解定理给出了一种新的应变张量,该应变张量能合理地反映大位移大转动情况下物体的应变状态及转动情况,而且有利于求解几何非线性问题.数值算例验证了该方法的合理性和有效性.     

一类非线性分数阶微分方程边值问题的正解

利用上下解的方法,通过Leray—Schauder不动点定理,给出非线性分数阶微分方程边值问题 正解存在的唯一性,其中3〈a≤4为实数,f：[0,1]×[0,＋∞）→[0,∞）是连续的,Da0＋是一个标准的RAeman—Liouvile微分．     

超混沌Lü系统的反同步研究

针对超混沌Lü系统,解析地设计了非线性控制器,基于线性系统稳定性定理,实现了超混沌Lü系统的反同步和异结构反同步,给出了理论分析和数值模拟结果。结果表明所设计的非线性控制器能够有效地使两系统达到反同步。     

谈谈低熵生活

介绍了热力学熵概念的内涵及熵增加原理,倡导"低熵生活"的生活理念,进而提出一些实施‘低熵生活"的具体措施.     

二阶脉冲微分方程m-点边值问题正解的存在性

讨论了一类非线性项与x＇（t）有关的二阶脉冲微分方程的m-点边值问题,在对非线性项不作连续性要求,且f是一个Quasi-Carathéodory函数的条件下,利用锥拉伸与锥压缩不动点定理获得该问题正解的存在性定理.作为应用,给出了实例.