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

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

新指挥控制原理

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

大子直积与其系数环

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

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

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

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

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

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

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

TNT生物代谢的可能途径

因具有毒性和三致作用,污染环境介质中TNT去除倍受关注。为了能更有效地去除TNT,在总结大量文献的基础上,主要从TNT反应性质方面探讨其生物代谢途径。TNT的结构决定了TNT难于生物氧化、易于生物还原。TNT还原以硝基基团的序批式还原为主,一些中间代谢产物还会相互作用生成聚合物,产物TAT需在严格厌氧条件下生成;TNT的芳烃环也可实现加氢脱硝还原,以利于下一步反应的进行;此外,TNT可同时发生硝基还原和芳烃环还原,两条途径的中间产物还会相互作用生成一些聚合物。TNT的氧化以间接氧化为主,直接氧化很少。由于TNT本身结构的复杂性、反应条件或介质的不同、中间产物的多样性,使得TNT代谢途径还具有很大的不确定性,故仍需进行深入研究。     

突发扩频信号码相位精确估计的卡尔曼滤波方法

文章首先分析了延迟锁定环在突发模式下码相位测量精度低的问题,然后建立了用于扩频信号伪码相位估计的卡尔曼滤波模型,并分析了该卡尔曼滤波器最优运行和提高测量精度的条件,提出用宽带延迟锁定环引导卡尔曼滤波的方法对突发扩频信号的码相位进行精确估计。通过仿真对比了在突发扩频信号下该方法与单独使用延迟锁定环的性能情况。     

红星闪耀

201 2年是重大机遇年,我们必须做到既要稳、更要快,快中求优、快中求效。解决自身的难题,离不开快速发展。只有发展才能有利于更多地赢得支持、夯实基础,有利于更有效地提高政策的针对性和灵活性,推进创新调整、产业升级,实现经济向更高层次升级、城镇向更深层次转型。——农五师党委书记、政委李应良     

理想带限条件下码跟踪环路的精度分析

伪码跟踪是卫星导航接收机中的关键环节。码环的跟踪精度直接决定了接收机的定位性能,因此对码环跟踪精度的分析一直以来都是研究的热点,并且已经取得了很多重要成果。目前已有的结论大都从频域的角度表示带限信道的影响,但是频域表达式存在计算复杂,难以应用于实际情况的缺点。本文针对目前存在的不足,从时域相关函数的角度提出了码跟踪精度的解析表达式。该表达式简单直观,可以方便地应用于码环性能的分析,对导航信号接收机的设计具有重要的指导作用。