ID 原文 译文
2703 基于特征基函数法的子块划分个数通过周期边界条件进行压缩，降低了矩阵方程求解维度，提高了优化设计速度。 The number of sub-blocks parted by the characteristic basis function method is compressed by the periodical boundary conditions, and the dimension of the inverse of impedance matrix is alsoreduced to accelerate the optimization.
2704 通过遗传算法优化，得到一组非均匀单元设计参数，并进行加工和实测。 A prototype is fabricated and measured with the optimized parameters given by genet-ic algorithm.
2705 仿真和实测结果表明，所设计的非均匀单元方案改善了柱面共形对吸波超材吸波性能的影响，在 2.8 ～ 8.0GHz 频段内实现了良好的雷达散射截面积减缩特性。 The simulated and measured results show the proposed conformal absorbing material improves the influence of the cylindrical conformal and reduces the radar cross section in 2. 8 ～ 8. 0GHz for different polarized incidence.
2706 符号执行在路径分析、调试和验证等软件分析过程中发挥着重要的作用。 Symbolic execution is of vital importance for software engineering activities, such as path exploration, de-bugging and verification.
2707 但是随着程序规模的增大，有效的执行路径数量程指数级增长，符号执行技术往往难以有较好的分析效果。 However, symbolic execution techniques do not scale well for complicated realistic programs, be-cause the number of feasible executions paths increases exponentially.
2708 符号执行分析中的两个瓶颈问题是路径条件表达式的提取和约束求解。 Path condition expression extracting and constraint sol-ving are the bottlenecks of symbolic execution.
2709 状态合并是目前解决状态爆炸的常用分析方法，但是这种抽象的分析方法往往会导致错误的路径信息。依据符号执行引擎采用的搜索策略，符号执行工具在符号变量状态合并中可能会产生不可解的路径条件。 State merging is a common method to tackle the problem of state explosion, but this abstract procedure would be prone to incorrect path information.
2710 提出基于依赖条件重构的程序符号值分析方法，通过综合分析各路径的路径条件逻辑表达式，提取共享的变量符号值从而提高变量状态合并的效率， According to different searching strategy of symbol-ic engine, symbolic execution tools could generate unsolved path conditions during the process of symbolic variable statecombination. A symbol value analysis based on dependent condition reconstruction method is proposed, which analysize the logic path conditions and extracts the common variable symbols to enhance the combination efficiency.
2711 同时采用逆向关联分析方法产生依赖条件集合从而提高路径分析的精度。 Meanwhile, the back-ward analysis method is used to generate dependent condition set to improve the accuracy of path analysis.
2712 实验结果表明该方法相对于传统的状态合并分析方法有更高的执行效率及分析精度。 The experimental results demonstrate that it has better execution efficiency and accuracy compare to the tradition state combination methods.