关于泛函微分方程 x''(t)=A(t)f(x(t)，x(x(t)))

本文研究方程:x'(t)=A(t)f(x(t),x(x(t)))强解的渐近性态,对Eder,Wang (王克) 等的结果作了部分推广。     

带费用的校对问题的最优停止

本文用逼近的方法给出了校对问题中Poisson模型与二项模型的最优停止规则,并得出了二项模型中参数π具有先验分布β(a,b),a>0,b>0时报酬序列的结构。     

由新比旧好元件组成的指数寿命系统的特性研究

文中研究了由独立的新比旧好元件组成的指数寿命系统,证明了:(i)对单调系统,它本质上是由指数寿命的元件串联而成;(ii)对系统的寿命是元件寿命的情形,除了一个元件是指数的外,其余元件的寿命分布均在零处退化。     

Context 的非单调推理

基于文［１］定义的ｃｏｎｔｅｘｔ逻辑ＣＬ,本文分别引入限制理论和缺省理论到ｃｏｎ－ｔｅｘｔ推理中,给出有关的定义和定理。     

中立型泛函微分方程的周期解

综合利用D算子的性质及Horn不动点定理[8],研究了有限时滞中立型泛函微分方程的周期解的存在性问题,证明了解的一致最终有界性蕴含周期解的存在性,从而推广了著名的Yoshizawa周期解定理[3],同时推广了[1]和[2]的主要结果.     

基于改进Hough变换的红外图像直线检测

红外图像像素分辨率低、对比度差等特点使得红外图像的直线检测较为困难.Hough变换具有较强的抗干扰性和鲁棒性,是计算机视觉领域中非常有效的直线检测方法.本文提出一种基于改进Hough变换的红外图像直线检测方法,经过实验验证,在红外图像像素分辨率低、边缘模糊等情况下,该方法能够很好地检测出边缘直线,同时确定边缘直线的端点...     

实Hilbert空间中一类K-正定算子方程的可解性及其迭代构造

证明了Petryshyn关于K -正定算子方程可解性的一个定理在实Hilbert空间仍然成立 ,并给出解的迭代构造法     

目标识别中决策级语言和数值信息融合方法研究

自动目标识别信息融合是现代C~3I系统和综合电子战的重要内容之一。本文讨论了在决策层目标识别语言和数值信息融合的新思路,引入基于LOWA的融合算子ω_Q~(LOWA),举例说明该方法的可行性和深入研究价值。     

红外脉冲强光辐射产生技术研究

定向红外脉冲强光辐射技术是定向红外对抗中的关键技术,主要用来破坏敌方精确制导武器或C4I系统的红外传感器。本文进行了三种产生技术的研究,即爆炸激励惰性气体,多丝电爆激励惰性气体和多点同步爆燃药物。在同步爆燃产生技术的研究中,当有效载荷弹药为0.2kg时,在距离源50m处得到三个波段(1～3、3～5、8～12μm)的辐射强度为(2.00～3.55)×l05W／Sr,脉冲半高宽为约20ms的强红外辐射脉冲。