一种基于UML/OCL的软件测试方法

根据UML/OCL和建模环境提供的软件模型信息,以一个武器装备管理信息系统的装备入库顺序图为例,在分析UML/OCL顺序图的语法和对象间的交互信息的基础上产生测试场景,提供了一种基于UML/OCL的面向对象的软件测试方法,并提出测试自动化的设想,对软件测试有一定的借鉴作用。     

冷战时期鲜为人知的潜艇战

1968年5月的一天,美国“天蝎号”核动力攻击潜艇在大西洋突然神秘失踪,关于其失踪原因30多年来一直争论不休。在即将进入二十一世纪之时,美国《知情者》报曝出内幕,揭开了这艘“巨无霸”神秘遇难之谜。“天蝎号”核潜艇的最后之旅是在1968年5月17日。当天夜半时分,“天蝎号”狭小的无线电发报室里,电传打字机急速打出一份加急绝密电报,内容是大西洋潜艇部队司令阿诺德·斯科德少将给“天蝎号”艇长和秘密情报小组下达的命令:在距离非洲东海岸2400公里外的加那利群岛附近发现一支神秘舰队,要求“天蝎号”立即改变航向,以最快速度赶赴该地域对…     

舰载无人机“海空神雕”

茫茫的大海上,一支庞大的、拥有众多舰艇护卫的海上编队正耕波犁浪,款款而行。编队司令在旗舰舰桥内透过明亮的窗口不时地向外张望,报来的情报数据和庞杂醒目的仪表所显示的信息也都令人欣慰。他伸了伸懒腰,刚准备坐到舒适的皮椅上稍事休息一会儿。忽然,在舰的前后左右响起几声不详的爆炸声。他像被针扎了一样,猛地跳起,急速下达口令迅速查明情况!没过多久,又传来一阵巨响,舰体也有些微微颤动。这回很多舰员都看清了,     

层次聚类算法和基于图的分割算法相融合的图像分割算法

基于图的分割算法（Graph-Based Segmentation,GBS）算法）是由Felzenszwalb和Huttenlocher提出的经典的图像分割算法之一,但其分割结果中存在明显的欠分割现象。为此,在GBS算法的基础上引入层次聚类（Hierarchical Clustering,HC）算法,构造出一种解决GBS算法欠分割的方法,同时采用多线程并行处理数据的方式,有效改善了传统层次聚类算法的处理速度。该方法在RGB彩色空间中使用GBS算法得到图像中每个像素点的初始分割结果,并提取出每一类区域中的像素值,对其进行层次聚类,得到每一类区域中像素值的类别标签,根据层次聚类所得到的类别标签和预设的类别范围,修改每个像素点的初始分割结果。最后根据区域合并准则,生成一个新的分割图。经实验表明,该方法与Kmeans-SLIC(simple linear iterative clustering)算法和GBS算法等相比,很好地解决了欠分割现象,并产生了分割精度较高的语义分割图。     

借船出海：印度租借“阿库拉”Ⅱ攻击核潜艇

2004年10月。印俄两国达成协议：俄将把现役的两艘“阿库拉”Ⅱ（Akula）级多用途攻击型核潜艇租赁给印度海军使用10年。而印度则向俄方支付包括提供两艘潜艇、帮助改建岸上设施和培训船员等在内的总共约20亿美元的费用。另据报道。2005年11月初,俄罗斯海军核技术军官国际训练中心迎来一批新学员——印度海军的一个军官小组。他们正是为2006年从俄租借“阿库拉”Ⅱ核潜艇接受训练和实习的。印度海军“借船出海”的举动将大大提高其“远洋歼敌”的能力,     

未来电子防空作战研究

空袭作战的高度信息化,迫使防空作战提升歼击机、地空导弹和高炮等防空火力的信息化水平,采取新的防空手段。其中,运用综合电子战手段,对空袭方信息化作战体系实施电子攻击,从整体观念上削弱和肢解其信息化空袭体系,遏制和破坏其远程精确打击,便是有效手段。随着作战双方一体化程度的不断提高,综合电子战将由点对点的单机对抗,发展到系统对抗和体系对抗,由战术电子战支援上升到战略战役电子攻击,由点目标电子防护拓展到全纵深大区域电子防护,电子战部队将成为歼击机、地空导弹和高炮部队并列的重要防空力量。未来防空作战,防空电子战将首当…     

国防要闻

雷声公司为A-10A飞机提供多功能彩显系统雷声公司的子公司雷声技术服务公司(RTSC)获得先进技术支持项目III下的一项价值1600万美元的合同,研制和有限生产85套多功能彩色显示器(MFCD)系统,这些系统将升级美国空军预备役和空中国民警卫队的A-10A飞机。作为目前电视监控器的原位替代产品,MFCD为飞行员提供更强的态势感知能力,提高对A-10A飞机瞄准吊舱的控制,同时改善吊舱的图像品质。MFCD具有战场联网功能,使飞行员能更容易识别友军位置,减少误伤事件发生的可能性。MFCD通过显示传感器识别最大范围内的图像,使飞机能在较安全的距离…     

多径条件下米波OFDM-MIMO雷达波束性能及特性分析

针对米波正交频分多路复用-多输入多输出(Orthogonal Frequency Division Multiplexing-Multiple Input Multiple Output, OFDM-MIMO)雷达波束形成问题,建立了米波条件下频分复用MIMO雷达阵列信号模型,理论导出了该体制下多径特性定量分析的理论框架、直达波和多径回波模型及其联合发射-接收双程方向图增益闭合表达式。提出了利用米波OFDM-MIMO雷达阵列双程方向图具有距离-角度二维分辨能力抑制多径算法。所提方法能够有效抑制阵列法线方向多径回波,同时有效抑制输出信干噪比周期性损失,且随频偏带宽的增大抑制能力进一步提升。