NSA在证明一类积分方程解存在性上的应用

本文应用NSA方法研究Voltter积分方程解的存在性问题,给出解的延拓定理.     

回忆援越抗美反空袭作战中的"集火近战"

发生在20世纪60年代中期的越南战争和人民解放军援越抗美作战,转眼之间过去近40年.40年光阴不算短,但援越抗美作战的经验,尤其是防空作战经验,弥足珍贵.     

基于活动轮廓和水平集的多帧运动检测

研究了活性轮廓/水平集优化的分割序列的处理方法,建立一种时空模型,把视频分割问题简化为运动参数估计和分割曲面估计交叉的问题,将所得到的对象分割处理模型公式化,再用快速步进法将公式离散化。并对两帧和多帧的处理方法进行了研究,运用实例对两种方法进行了比较,结果表明多帧方法具有较高的有效性。     

一种基于双向IS-粗集的实时调度策略

在S-粗集理论的基础上,提出双向IS-粗集的概念,给出双向IS-粗集的数学结构.在动态加工环境下,建立了基于双向IS-粗集的实时调度模型,并举例说明了该方法在应用中具有一定的智能性和灵活性.     

基于集对分析的航材保障效能评估

航材保障是航空兵部队技术保障的物资基础,其效能直接影响空军武器装备的作战效能.应用集对分析方法在确定随机系统中的某一特性上具有同异反定量刻画的特点,通过建立各系统航材保障效能评估指标的集对,据此对航材保障效能进行评估,最后得出一组合理的评估结果.     

数据库中关联规则的并行/分布式采掘技术

高效的并行/分布式采掘方法是数据库中关联规则发现技术的重要的研究方向,首先给出了关联规则的并行/分布式采掘的相关描述,针对关联规则并行/分布式采掘的基本思想,分析算法中可以改进效能的环节,提出生成更少候选集、局部剪枝、减少通讯量和优化扫描等提高性能和降低复杂度的方法。     

用于三维点云表示的扩展点特征直方图算法

局部特征提取在点云相关应用中具有十分重要的作用,因此提出一种用于点云局部特征表示的扩展点特征直方图描述子。针对邻域点的两两点对提出一系列不变量;在特征点上构建一个局部参考坐标框架以获得特征描述子对旋转和平移的不变性;将关键点局部邻域划分成多个子空间,并依据每个子空间中的点对不变量构建一个直方图;将所有直方图串联起来得到扩展点特征直方图特征描述子。采用Bologna公共数据集对扩展点特征直方图特征描述子的性能进行测试,并与多个现有算法进行对比。结果表明,扩展点特征直方图特征描述子获得了良好的性能,其结果优于多个现有的特征描述子。     

基于Vague集模糊值线性序法的雷达抗干扰效能评估

针对已有评估方法存在的不足,提出了一种基于Vague集模糊值线性序法的雷达抗干扰效能评估方法。分析了影响雷达抗干扰效能的指标因素,给出了各评价指标的模糊值表示,建立了基于Vague集模糊值线性序法的雷达抗干扰效能综合评价模型,得到了评价其效能的排序方法。最后通过实例分析验证,该方法评估结果准确,具有一定参考价值。     

基于Vague集的防空武器系统机动能力评估技术

针对已有评估方法存在的不足,提出一种基于Vague集的防空武器系统机动能力评估新方法。分析了影响防空武器系统机动能力评估的指标因素,给出了各评价指标的模糊值表示及指标权重的计算方法,该方法能有效避免传统的专家打分法造成的主观偏差。在此基础上,建立了基于Vague集的防空武器系统机动能力综合评价模型,给出了评价其优劣的排序方法。最后通过实例分析验证,该方法评估结果准确,对指挥员科学决策具有一定的参考价值。