提高近场精度的海洋声学快速场改进模型

为了提高海洋声学快速场模型在近场区域的计算精度,分析了影响经典快速场模型精度的因素,主要包括Bessel函数近似、忽略内行波项以及在水平距离最远处波数采样率过低,这些因素导致快速场模型近场误差较大、远场水平距离最远处结果不正确(计算结束后需要去除水平距离后段的声场)。提出能够提高经典快速场模型近场计算精度的改进模型,改进部分主要是采用保留内行波项的近似Bessel函数,再将近场上下两个基于声源点与对称轴的三角形区域用波数积分解(使用精确Bessel函数)覆盖。算例测试结果表明:与经典快速场模型相比,改进模型可在绝对时间增加较少的情况下,显著提高近场计算精度,综合性能更优;与波数积分法相比,改进模型在误差为同量级的情况下,积分时间大幅降低,实际应用价值更高。     

基于熵权-主客观赋权法的装备保障单元效能评估研究

针对效能评估指标具有随机性和模糊性;影响效能评估结果的问题;提出了某型装备机动能力效能评估方法。利用主客观赋权法、熵权法和云模型相关理论对某型装备机动效能进行综合评估。建立了某型装备机动效能评估模型,论述了机动效能评估的基本步骤。得到了装备机动效能评估结果隶属云。该方法评估了某型装备的机动效能;评估结果较为直观。实例结果表明:该方法可对某型装备机动效能进行评估;可服务于装备机动决策。     

INTERNATIONAL REGIME OF FRESH FUEL SUPPLY AND SPENT FUEL DISPOSAL

Recent events in Iran and elsewhere demand a reevaluation of the need for increasing nuclear fuel supplies and assuring reliable flow of fuel to nuclear power user states vis-à-vis the need for strengthened security for all countries against the use of weapons of mass destruction (WMD). The right of countries to a guaranteed supply of nuclear energy for peaceful uses must be balanced with the global community's desire to limit flows of nuclear material and sensitive nuclear facilities that could create opportunities for nuclear proliferation. This article proposes elements of an international regime of fresh fuel supply and spent fuel disposal that will guarantee fresh fuel supplies to countries honoring their obligations under the Treaty for the Non-Proliferation of Nuclear Weapons (NPT), while reducing concerns about diversion of spent fuel for weapons purposes. A specific application to countries with small pre-commercial uranium enrichment plants is also proposed.     

武器雷达装备RCM推广应用中存在的问题及对策

分析了目前RCM推广应用中存在的问题,提出了加大宣传力度,统一思想认识等5项对策,对于在武器雷达装备上进一步推广应用RCM,具有重要的借鉴作用。     

武器雷达装备RCM分析决策系统

详细介绍了武器雷达装备RCM分析决策系统的体系结构、功能模块划分和数据库设计方法,并给出了系统的实现方案以及后续开发的设想。     

现代巡航导弹防御的特点分析

现代巡航导弹具有超低空、机动飞行、精确制导和隐身性能的特点,它突防能力极强, 是现代战争的重要威胁之一。拦截巡航导弹已成为正在发展的防空导弹重要任 务之一。针对巡航导弹防御的必要性和可行性及存在的主要问题进行了评估, 介绍了美国巡 航导弹防御领域的试验进展情况     

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

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

基于最少谓词思想的可达路径选择

对于结构测试中的不可达路径问题,仅仅使用传统的不可达路径排除方法存在很大的限制性,应用效果一般.积极选择可达路径的思想可有效减少不可达路径的产生.目前,基于最少谓词思想的路径生成方法得到广泛的认可.了解可达路径选择思想后,主要介绍一种基于数据流信息的,具体应用基本程序切片技术来生成可达路径的方法,该方法可生成几乎有最少谓词的路径,有较好效果.     

EHW实现过程中VHDL程序自动生成研究

论述了在基于FPGA的EHW内进化实验中特定格式的染色体编码表示和相应的VHDL程序自动生成的基本概念,制定了具体规则和方法,奠定了硬件进化及评估过程实现全自动运行的基础,并对自动生成的结果予以实际验证。该方法能在使用不同的FPGA芯片作为演化载体时,避免对不同的数据流进行格式分析,以便在通用的EDA环境中,直接实现以二进制数串表示的染色体自动处理和相关配置文件的形成。按此方式可在很大程度上摆脱对某些固定类型FPGA芯片的依赖,有助于建立方便、实用的EHW环境。     

基于遗传算法反舰导弹航路规划研究

航路规划作为提高反舰导弹作战能力的重要措施,目前正逐渐被反舰导弹所应用。结合反舰导弹自控飞行特点,系统分析航路规划过程中各个航路点的约束条件,并运用遗传算法进行数学建模和计算机编程,顺利实施了导弹航路的最优求解和航路的自动标绘,为指挥员实施导弹攻击提供辅助决策。