一类污染环境下扩散种群周期解的存在性

研究了两斑块中一个斑块受到污染的一类种群系统,通过运用Gaines和M awh in重合度延拓定理,得到了系统周期解存在的一个充分条件。     

双树定理——符号网络行列式展开的一个拓扑公式

网络分析可归结为求网络行列式值的问题。笔者发现符号网络行列式展开式中的非零项与网络图中满足一定条件的两个树有着一一对应的关系,并将这种关系概括为一个定理,从而提出了网络拓扑分析的一种新方法。     

戴维南等效电路的广义求解

根据重构类网络定理在相量模型电路中应用的时域充要条件,本文提出了一种戴维南等效电路的广义求解方法。     

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

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

命题逻辑的理想形式系统

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

基于改进噪声检测的迭代中值滤波算法

提出了一种基于改进噪声检测的迭代中值滤波算法。该算法首先检测出噪声点,然后利用信号点对噪声点滤波。其中噪声检测方法改进了IMFLED方法,进一步降低了误检率和漏检率。经过仿真实验并与其他滤波算法进行比较表明,该算法可以有效地去除图像中的脉冲噪声并且保留原图像的细节。     

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

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

基于SOPC的视频采集处理系统设计

针对某型导弹指令检测系统的需求,设计了基于SOPC (system on a programmable chip)的视频采集处理系统.本系统通过装备预留的视频采集口进行视频采集,然后对采集到的视频进行弹标的提取,并进行视频压缩存储以便实现视频的回放.重点介绍了基于SOPC的视频采集系统设计方案和图像预处理算法的FPGA实现.经过仿真分析,设计的系统可以实现视频采集功能,并能够实时地提取弹标.     

一种新的脉冲噪声滤波算法

针对传统中值滤波法在去除脉冲噪声时存在的不足,提出了一种由噪声检测、噪声滤波和误检像素校正三个阶段组成的图像噪声滤波方法.通过对不同类型和不同强度噪声图像的实验结果表明,该方法在去除噪声的同时较好地保持了边缘,在噪声率为80%时,该方法比中值滤波法的峰值信噪比提高了16 dB.