苏彦兵
- 作品数：4 被引量：4H指数：2
- 供职机构：中国人民解放军海军装备研究院更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信理学机械工程更多>>
- 基于支配边界逆转的多变量Φ函数摆放算法
- 2011年
- 基于Cytron和Cooper等人的研究成果,提出了一个新的概念——支配边界逆转(dominatorfrontier inverse,DFI)来同时为多个变量摆放Φ函数.如果结点y以结点x为支配边界,则结点x就是结点y支配边界逆转.支配边界逆转存在一个很重要的属性,DFI(x)中的结点在支配树上的高度一定不小于x的高度.对DFI(x)中任何结点y,如果存在对于变量v的定义,则结点x上就需要插入变量v的Φ函数.由于采用PHI(x)表示在结点x上需要插入Φ函数的变量集合,实现过程中并不需要实际计算DFI结点集合.算法首先按照结点在支配树上的高度自底向上进行遍历,并逐层计算高度相同的交结点上摆放函数的变量集合PHI的不动点.算法的主要优点是可以直接工作于支配树上,不需要额外的数据结构.C Specint 2000的测试结果表明该算法比Cytron原始的Φ函数摆放算法要快,并且与采用Cooper计算支配边界的算法相比,该算法对测试集中大部分程序也是有效的.
- 马红途胡世安苏彦兵李迅赵荣彩
- 关键词：DJ图
- 激光布里渊散射水下目标探测原理及实验研究
- 2010年
- 介绍了激光布里渊散射探测水下目标的原理,采用基于新型ICCD的布里渊散射激光雷达系统,进行了水下目标探测的相关实验。实验结果表明,激光布里渊散射探测水下目标在探测深度上具有很大优势,同时具有探测隐身目标的能力。
- 苏彦兵甄玉张宁陈旭东刘大禾
- 关键词：水下目标
- 二进制线性分组码盲识别问题研究被引量：2
- 2012年
- (n,k)线性分组码作为信道编码技术的重要组成部分在深空通信、卫星通信、无线通信等实际数字通信领域得到广泛应用,与此同时,对于(n,k)线性分组码的盲识别问题也正在日益凸显。通过(n,k)对线性分组码的主要原理、关键性质的分析,建立盲识别数学模型,估值判断分组码长、生成矩阵、校验矩阵等具体参数,总结分析线性分组码盲识别的研究现状,归纳提炼出现行各种盲识别算法的优点和局限性,并提出进一步解决线性分组码盲识别问题的主要研究方向。
- 底强苏彦兵
- 关键词：线性分组码信道编码盲识别生成矩阵
- 控制流图上支配关系计算方法的分析与实现被引量：2
- 2009年
- 支配关系在数据流分析和静态单赋值等程序分析和优化中应用很广泛。采用位向量表示支配结点集合,描述了采用迭代法计算控制流图上支配结点集合的算法,在支配结点集合的基础上讨论了对直接支配结点、支配边界结点的计算方法,并在NPB和SPEC2000测试集上进行了测试。测试结果表明:控制流图的构建占用了过程内支配关系计算的几乎一半时间;对于不包含goto语句的结构化程序,迭代算法一般只需迭代2次。
- 马红途赵荣彩苏彦兵
- 关键词：控制流图迭代算法位向量支配关系
