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

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

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

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

基于双程方向图的FDA干扰性能分析

针对文献中基于FDA双程图的干扰抑制研究较少的现状,在文献中采用MVDR波束形成器计算最优权矢量方法的基础上展开了进一步的分析.现有文献中关于FDA阵列的研究主要包括基于子阵结构划分的分析;基于非线性频偏增量的分析;基于FDA-MIMO结构的分析以及基于波束形成算法的分析.从4个方面对基于FDA阵列双程图的干扰抑制特性展开分析.仿真验证了在有效修正失配导向矢量的同时,在干扰与目标位置接近的情况下,能够实现对目标位置处增益的保持和干扰位置处的有效置零.     

栅格图矢量化技术中的细线追踪算法研究

细线追踪算法是栅格图矢量化技术中的重要环节,该算法实现了栅格图到矢量图的转变.矢量化过程主要包括彩图分层、曲线细化、细线追踪、后期编辑等若干步骤.介绍了矢量化前后的数据准备和数据处理过程,阐述了细线追踪算法的原理与实现方法,分析了追踪结果的优化问题.该算法在栅格地形图等高线矢量化的实际应用中效果良好.     

用分子子图法计算烷烃热力学函数

在一种新的烷烃分子子图编码方法基础上 ,对烷烃的系列热力学函数进行了拟合和预测 ,取得了满意结果。对吉布斯自由能ΔGf,原子生成热ΔHatm,热容 Cp,蒸发热ΔHV,液态生成热ΔHf( l) 和熵 S的拟合方程的回归系数分别为 0 .9559,1 .0 0 0 0 ,0 .990 5,0 .9969,0 .9973和 0 .992 2。     

一种新的非参数谱估计方法

提出了一种新的非参数谱密度估计方法,它是传统加窗周期谱估计方法的一种修正,并证明了此估计具有渐近无偏性、相合性、渐近正态性.     

战略决策训练模拟中的图上作业的实现

本文主要介绍如何充分利用VB5 .0的面向对象的图形开发功能与相应的控件特点 ,建立战略决策训练模拟中的图上作业系统。     

摇臂钻床的PC控制

本文阐述运用可编程序控制器来控制摇臂钻床的机理,给出输入和输出接口分配图,设计了继电器梯形图。     

弹上引信天线的研究

弹上引信天线的研究,主要根据弹上引信天线的特点来从事理论研究。由于常用的弹上引信天线均安装在弹体的头部即圆锥部分或弹体的圆柱体上,所以研究其理论时,应以重点研究圆柱体上为边界条件下天线理论,尽量给出其公式的一般数学表达式,具体推导过程十分繁杂,这里仅从IIz,Fz为出发点,推导出圆柱体上电磁场的普遍数学表达式;给出了应用举例及特例计算。另一方面,对弹上引信天线设计方法进行了研究,根据弹上引信天线设计的特点,亦可应用编好的设计使用程序软盘,以供使用时参考。     

基于状态变换的同步时序电路测试生成

详细分析了固定故障所反映出的状态变换特征,提出状态变换故障模型以及相对应的测试生成压缩方法;基于无复位时序电路,深入研究了有复位状态的同步状态机测试生成方法的扩展问题;最后讨论了故障精简以及启发知识在测试生成中的应用问题。