排序方式： 共有113条查询结果，搜索用时 156 毫秒
101.
研究了两斑块中一个斑块受到污染的一类种群系统,通过运用Gaines和M awh in重合度延拓定理,得到了系统周期解存在的一个充分条件。 相似文献
102.
103.
尹宗谋 《空军电讯工程学院学报》1998,(1):29-34
网络分析可归结为求网络行列式值的问题。笔者发现符号网络行列式展开式中的非零项与网络图中满足一定条件的两个树有着一一对应的关系,并将这种关系概括为一个定理,从而提出了网络拓扑分析的一种新方法。 相似文献
104.
105.
杨冠平 《武警工程学院学报》2005,21(4):5-9
以双否律、交换律、结合律、分配律和吸真律为公理,仅用等值置换作推理规则,建立了命题逻辑形式系统E。给出了内定理证明的普遍能行方法和十个基本定理的形式证明。提出理想形式不仅仅公理应具有一致性、独立性、完备性,而且推理规则应具有保真性、可信性、能行性。论证了E是理想形式系统。 相似文献
106.
董士杰 《军械工程学院学报》2004,16(2):73-78
首先证明双锥上的一个不动点定理,并通过该定理研究一类具有变号非线性项的二阶三点边值问题两个正解的存在性。同时,给出了该三点边值问题相关的Green函数。 相似文献
107.
等级系统是管理系统的常见形式,等级系统的密钥管理是实现等级管理及其访问控制的重要方法。本文首先总结分析了等级系统的密钥管理方法,然后基于对称加密技术和孙子定理提出了一个新的等级系统的密钥管理方法。该方法能适应系统的调整与变化,用户改变密钥也很简单。 相似文献
108.
运用锥与半序理论和对称迭代方法,讨论半序Banach空间一类反向混合单调算子方程组解的存在惟一性,并给出了迭代序列收敛于解的误差估计,同时讨论了非反向混合单调算子方程组解的存在惟一性.所得结果改进和推广了混合单调算子方程某些已知相应结果. 相似文献
109.
针对雷达波束篱笆空间碎片探测模式,提出了一种估计碎片数量置信区间的方法.对于给定的轨道高度范围,将轨道倾角和雷达散射截面足够大的碎片是否真正穿越波束篱笆这一事件用(0-1)分布来建模,根据所获取的轨道高度数据,得到该轨道高度范围内碎片穿越波束篱笆的平均概率,进而采用中心极限定理估计出该范围内碎片总数量的置信区间.仿真实验验证了方法的有效性. 相似文献
110.
刘洪运 《海军工程大学学报》2008,20(4)
通过定义适当的锥,运用锥映射的不动点定理,结合上下解方法,给出了二阶多点边值问题多个正解存在性的判定方法.作为特例,获得了三点边值问题多个正解存在性的判定依据,从而推广了相关文献中关于二阶三点边值问题正解存在性的结果. 相似文献