基于类成员后向切片的面向对象程序回归测试

程序切片是一种重要的程序分析方法,类成员级粒度的切片技术目前仅仅有Tip提出的类层次切片技术.Tip提出的类层次切片技术其分析基础是Rossie-Friedman的类层次框架,但主要用于面向对象程序的优化,并不适用于回归测试.本文基于Rossie-Friedman的类层次框架提出类成员后向切片方法,并提出一个覆盖类的方法一级的回归测试策略.     

新指挥控制原理

指挥控制系统是兵力放大器,信息时代的挑战是要突破这种传统理念的束缚。传统的指挥控制赋予兵力系统以自动机功能,而新指挥控制原理则赋予兵力系统具有生命系统特征的进化能力,具有进化特征的兵力系统将更加灵活和更具适应性,采用自组织、自学习、自修复的运作方式,以满足系统与系统对抗、体系与体系对抗的需求为构建目标。文中在分析了指挥控制的基本问题的基础上,从指挥控制的性质的角度,归纳和提出了新指挥控制原理,并尝试解释原理的含义、本质、特点和可能应用。文中的观点对分析设计指挥控制体系、系统、方法具有理论和实践意义。     

大子直积与其系数环

设 为无限正则基数,F为集合I的滤子,通过模的 积和F-积给出了其系数环R相关结构的特征刻画。作为应用,一些已有的结果得到了推广。     

OFDM抗多径机理分析与系统仿真

抗多径衰落是正交频分复用(OFDM)系统的显著特点之一。具体分析了OFDM抗多径的机理,说明了两种不同情况下多径对信号频谱的影响,并提出了相应的减轻多径影响的方法。通过仿真分析验证了HiperLANType2标准规定的OFDM系统的抗多径性能,并提出了一些改善系统性能的方法。     

多层弹道导弹防御体系火力分配优化研究

对多层弹道导弹防御体系火力分配问题进行了研究。首先对多层弹道导弹防御体系火力分配问题进行了描述,在此基础上建立了基于最大化资源剩余价值目标函数的多层弹道导弹防御体系火力分配模型,分析了求解该模型的难点,提出了基于文化基因的多层弹道导弹防御体系火力分配问题文化基因求解算法,最后应用实例验证了模型的有效性,并对算法进行了对比分析。试验结果证明,合理制定多层弹道导弹防御体系火力分配方案,对于提升防御效能具有重要意义。     

ISAR成像方位向定标方法研究

提出了一种适合工程应用的ISAR方位向定标方法,通过对相位数据的平滑、分段、拟合,完成了对转速的快捷准确的估算,同时分析了散射点分布对定标精度的影响,结合仿真和试验数据验证了方法的有效性,并根据工程实践的经验,提出了一些提高定标精度的准则。     

各向异性介质体目标电磁散射分析的快速算法

利用体积分方程矩量法(MoM)及其多层快速多级子算法(MLFMA)研究了各向异性的电介质体或/和磁介质体目标的电磁散射问题,将多层快速多级子算法的计算结果与解析方法(Mie)或矩量法结果进行了对比分析.不但验证了MLFMA算法的高效性和精确性,同时该算法还适合于分析模拟任意复杂介质体(如各向异性磁化等离子体)目标的电磁散射问题,为进一步实现电大尺寸的任意复杂各向异性介质体/金属组合目标电磁散射分析的精确高效算法奠定了基础.     

末段多层反导作战的任务分解

任务分解是末段多层反导任务规划的基础和前提。为有效提高任务的执行效率,界定了作战任务分解的基本概念,改进了任务分解的方法,提出了任务分解的基本原则,建立了作战任务属性数据表,明确了子任务的结构关系、优先顺序和资源需求。任务分解进一步明晰和细化了反导作战任务,可降低决策的复杂性,提高作战资源的利用效率。     

基于DoDAF的舰载雷达抗干扰能力研究

近距干扰作战是反舰导弹突防体系的重要组成部分,也是舰艇编队防空作战的重大威胁.主要通过对DoDAF中的视图描述,结合在火力分配环的概念,对编队防空的雷达搜索过程进行了建模.给出了作战体系结构UML视图产品,描述了雷达搜索的信息资源流向.根据雷达探测距离公式,分析了分布式有源干扰的影响,仿真表明,多干扰机近距离干扰将极大地降低雷达的探测性能.     

总师谈某型潜艇首次自主中修及改换装工程

在解放军海军六十多年的发展历程中,相继从苏联、欧美、俄罗斯引进装备和技术,但学习、引进的目的是为了最终的"不引进"。千里之行始于足下,筚路褴褛、披荆斩棘的艰辛虽不足以为外人道,但成果总是令人欢欣鼓舞。今年的"国家科技进步二等奖"项目中就有某型潜艇的中修及改换装。中修是最高等级的计划修理,而改换装等于是赋予了潜艇新一轮生命。《现代舰船》对主持该项目的总师、技术少将朱石坚进行了采访,请他介绍该项目的创新之处,并解答潜艇中修的相关理论和实践问题。