基于软件历史仓库和抽象语法树的相似缺陷识别方法

软件开发过程中,软件开发人员常常通过搜索软件历史仓库(historical software repository, HSR),再经复制/粘贴以实现软件复用。HSR中会保存被复用的代码的缺陷及修复信息,辅助处理相似缺陷。基于此,提出一种基于HSR挖掘的相似缺陷识别方法。首先,基于变更日志的分析,从HSR中提取出已知缺陷的模块,建立bug模块库。然后,采用基于抽象语法树(abstract syntax tree, AST)的相似代码检测方法,识别待测试软件与bug模块库中相似的代码,并借助HSR中保存的相应缺陷及修复信息,完成待测试软件中可能包含潜在缺陷的模块的识别。同时,为提高相似代码的识别精度,优化基于AST的代码特征度量。在18个C程序、164对克隆代码上进行实验,结果表明所提方法能够识别出全部相似代码且性能优于已有工具。在人工构建的bug模块库上验证了代码相似性对相似缺陷识别的作用。最后,在8个真实的大型C项目上进行验证,平均缺陷召回率达到94%,表明挖掘HSR可以有效地为跨项目传播的相似代码提供缺陷理解支持。     

基于实物增强的交互式下颌运动可视化

利用计算机图形学技术实现交互式下颌运动仿真与可视化具有重要意义.针对传统交互界面的缺点,基于视觉跟踪技术利用牙齿实物模型和标记卡片实现了一种实物增强的三维交互界面,将多种交互任务与交互技术无缝融合在一起,物理空间和数字空间实现同步一致性.实验评估表明,这种交互方式能够让用户更有效地利用已有技能,以自然、直观的方式与虚拟对象进行交互.     

Capacity analysis of high-rank line-of-sight MIMO channels

Matrix perturbation theory is utilized to investigate high-rank line of sight multiple input multiple output channels in a microwave relay system. The upper and lower bounds of channel capacity are derived based on space time block codes technique and singular values decomposition. A useful constraint for designing LOS MIMO channels is developed by the use of the condition number of the MIMO channel matrix. The theoretical analysis of channel capacity is confirmed by the simulation. The results show that the proposed method is able to give a physical explanation of the high-rank LOS MIMO channel matrix characteristics.     

基于MPI的并行分布式高斯消元算法设计和评估

为了满足电磁仿真数值计算日益增高的速度和精度的需求,针对单机内存需求和计算负荷需求都比较大的矛盾,提出基于分布式并行机群环境的并行计算划分和并行存储划分的算法设计思想,并且给出了基于行列循环数据划分的并行计算算法描述.在此基础上进行了实验验证,用MPI+FORTRAN和MPI+C编程实现了对大矩阵求逆的分布式高斯消元,并进行了性能评估和实验验证,在国内外超级计算中心平台上的实验结果表明所完成的工作对于系统的电磁仿真计算具有应用价值,该算法和代码实现可应用于电磁仿真计算的矩量法MOM(Method of Mom)中.     

一种有效的自适应边信息帧内插算法

分布式视频编码是一种新的编码结构,它主要是在解码端利用信源的统计特性获得有效的压缩.在分布式视频编码中,边信息质量对整个系统编码效率的提高起着至关重要的作用.在研究了现有边信息构造方法基础上,提出了一种有效的自适应边信息帧内插方法.利用相邻关键帧与当前帧的时间相关性,按一定的准则计算相应的帧间和块同的时间相关系数,然后根据时间相关性不同采用不同加权系数的运动补偿帧内插算法提高边信息的质量.实验结果表明在几乎不增加编码器负担的情况下重建边信息的质量平均提高了2.47dB.     

直升机/发动机综合控制的发展及技术特点

对直升机/发动机（简称直/发）综合控制技术的研究需求、发展及现状进行了归纳和分析,讨论了直/发综合抗扰控制与优化控制的方案选择、 技术特点和研究动向,其中着重分析了基于扭矩前馈控制、自适应燃油控制、自抗扰控制、预测控制等手段的综合抗扰控制,以及包含最小油耗、最大功率、最低涡轮温度优化模式的综合优化控制的研究和应用情况. 最后,在总结全文的基础上,提出今后在直/发综合控制研究工作中值得关注的一些问题.     

基于QHSME的装备危险耦合传导GERT分析

针对装备活动中危险耦合传导关系描述不清楚、分析不具体的问题,构建考虑任意分布的危险耦合传导图形评审技术（graph evaluation and review technique,GERT）改进模型。提出了系统危险度、危险耦元重要度、危险路径隶属度等扩展分析参数,进一步刻画装备活动中的微观危险信息;采用系统耦合理论和极大熵方法（maximum entropy,ME）配置GERT模型变量,并设计量子和声算法（quantum harmony search algorithm,QHS）求解危险度概率密度极大熵模型。最后,以飞机大表速低空俯冲科目为例进行分析。结果表明,与传统GERT模型比较,该改进模型能充分反映危险耦元对装备活动随机过程的交互影响关系,以及其他相关微观信息,且具有较好的求解精度与适用性。     

LDPC码偏移修正加权比特翻转译码算法

大量仿真表明,基于幅度和的改进型加权比特翻转(modified sum of the magnitude based weighted bit flipping, MSMWBF)译码算法对于行重/列重较小的低密度奇偶校验(low density parity check, LDPC)码而言,展现出巨大的性能优势,但对于行重/列重较大的基于有限域几何(finite geometry, FG)的LDPC码,性能损失严重。首先对此现象进行理论分析。其次,引入附加的偏移项对MSMWBF算法的校验方程可靠度信息进行修正,提高了算法对行重/列重较大的LDPC码的译码性能。仿真结果表明,在加性高斯白噪声信道下,误比特率为10E-5时,相比于MSMWBF算法,在适度增加实现复杂度的条件下,所提算法可获得约0.63 dB的增益。     

Optimized LDPC differential-encoded 16QAM scheme for high-speed transmission systems

The 16-ary quadrature amplitude modulation （16QAM） is a high spectral efficient scheme for high-speed transmission systems. To remove the phase ambiguity in the coherent detection system, differential-encoded 16QAM （DE-16QAM） is usually used, however, it will cause performance degradation about 3 dB as compared to the conventional 16QAM. To overcome the performance loss, a serial concatenated system with outer low density parity check （LDPC） codes and inner DE-16QAM is proposed. At the receiver, joint iterative differential demodulation and decoding （ID） is carried out to approach the maximum likelihood performance. Moreover, a genetic evolution algorithm based on the extrinsic information transfer chart is proposed to optimize the degree distribution of the outer LDPC codes. Both theoretical analyses and simulation results indicate that this algorithm not only compensates the performance loss, but also obtains a significant performance gain, which is up to 1 dB as compared to the conventional non-DE-16QAM.     

（1-uv）-CONSTACYCLIC CODES OVER Fp＋uFp＋vFp＋uvFp

Constacyclic codes are an important class of linear codes in coding theory.Many optimal linear codes are directly derived from constacyclic codes.In this paper,（1 — uv）-constacyclic codes over the local ring Fp ＋ uFp ＋ vFp ＋ uvFp are studied.It is proved that the image of a（1 — uv）-constacyclic code of length n over Fp ＋ uFp ＋ vFp ＋ uvFp under a Gray map is a distance invariant quasi-cyclic code of index p2 and length p3n over Fp.Several examples of optimal linear codes over Fp from（1 — uv）-constacyclic codes over Fp ＋ uFp ＋ vFp ＋ uvFp are given.