具有变号非线性项的三点边值问题的正解

首先证明双锥上的一个不动点定理,并通过该定理研究一类具有变号非线性项的二阶三点边值问题两个正解的存在性。同时,给出了该三点边值问题相关的Green函数。     

毙命侵华日军将领

伟大的思想家马克思曾在《法兰西内战》一书中痛斥屠杀人民的凶手,他说：“刽子手们已经被历史永远钉在耻辱柱上,不认他们的教士们怎样祷告也不能把他们解脱。”在纪念抗战胜利60周年之际,我们从张子申、薛春德所著《历史的耻辱柱》选出了18名毙命于华北的侵华日军将领,这些痛杀中国人民的恶魔已被永远钉在了历史的耻辱柱上,无论怎样“参拜”、“招魂”也不能使他们解脱。我们要居安思危．不断增强爱国主义思想和国防意识。一旦有侵略者入侵．就要像当年先辈们那样。振奋国威、军威、民威．“让魔鬼回到魔鬼的地方去”。     

命题逻辑的理想形式系统

以双否律、交换律、结合律、分配律和吸真律为公理,仅用等值置换作推理规则,建立了命题逻辑形式系统E。给出了内定理证明的普遍能行方法和十个基本定理的形式证明。提出理想形式不仅仅公理应具有一致性、独立性、完备性,而且推理规则应具有保真性、可信性、能行性。论证了E是理想形式系统。     

导弹打击三角形目标毁伤面积的一种解析计算方法

导弹火力运用研究中常常需要进行导弹打击面目标的毁伤面积计算,而三角形目标的毁伤面积计算是火力运用中诸多毁伤问题研究的基础,快速准确地完成其运算是前提.以斯特瓦尔特定理为基础,推导了圆与三角形相交部分面积的计算方法,通过点乘和叉乘有效回避了复杂计算,以圆心为三角形一个顶点时的三角形与圆相交部分面积计算为研究对象,分析了两者相交面积计算的各种情况,并给出具体计算步骤.算例表明,该算法运算量小,计算结果准确可靠.     

拉格朗日中值定理的证明

微分中值定理是微分学的基本定理,它的证明一直是大家关注的研究对象。通过三个不同的角度给出了中值定理三种不同的证明方法,拓宽了中值定理证明的思路。