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

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

命题逻辑的理想形式系统

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

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

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

拉格朗日中值定理的证明

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

常微分方程的不动点迭代格式

在常微分方程的数值解法中,Euler的隐式格式稳定性较好,但由于它为隐式,因而给计算带来了极大地不方便。为了解决此问题,本文给出了一种数值解法———常微分方程的不动点迭代格式。     

一种基于孙子定理的等级系统密钥管理方法

等级系统是管理系统的常见形式,等级系统的密钥管理是实现等级管理及其访问控制的重要方法。本文首先总结分析了等级系统的密钥管理方法,然后基于对称加密技术和孙子定理提出了一个新的等级系统的密钥管理方法。该方法能适应系统的调整与变化,用户改变密钥也很简单。     

关于Reich的公开问题

设E是具有一致G -可微范数的实Banach空间 ,D是E的非空闭凸子集 ,T :D→D是非扩张映象 ,F(T)非空。设 {αn} ,{ βn}是 [0 ,1]中满足一定条件的两个序列 ,定义压缩映象St:D→D为 :St(z) =(1-t)x tTz , x ,z∈D , n≥ 1,t∈ (0 ,1) .设zt 是St 的唯一不动点 ,若当t→ 1-时 ,{zt}强收敛于某点z∈F(T) .那么 ,Reich序列 {xn}强收敛于某点z∈F(T) .     

谈应用正弦定理讨论三角形解的个数

<正> 我们知道利用正弦定理可以解决两类三角形的问题。对于已知三角形的两边和其中一边的对角,求另一边的对角,迸而求其它的边和角的这一类型问题,则需要讨论解的个数。过去对于这一问题的教学,学生只是模模糊糊地听懂了,应付完了作业。由于学生只记忆结果,不注重过程分析,时间一久,结果记不清了,过程更不知道怎么回事。为了克服这种现象,在教学中重过程分析,引导学生发现、抓     

基于对称迭代的反向混合单调算子方程组解的存在惟一性

运用锥与半序理论和对称迭代方法,讨论半序Banach空间一类反向混合单调算子方程组解的存在惟一性,并给出了迭代序列收敛于解的误差估计,同时讨论了非反向混合单调算子方程组解的存在惟一性.所得结果改进和推广了混合单调算子方程某些已知相应结果.