量子符号执行的优化

量子符号执行是一种为量子程序生成测试用例的技术.目前,量子符号执行只机械地根据被调试程序中的每一个条件语句来连续划分测试用例空间,没有考虑整个表达式以及条件语句的嵌套,导致量子线路比较复杂.为了解决该问题,提出对量子符号执行的优化.首先,通过对关系表达式进行化简,直接减少量子模块个数,或者通过值的替换间接减少量子模块个数.其次,对逻辑与和逻辑或2类逻辑表达式分别提出简化线路的方法.最后,提出将嵌套条件语句看作外层与内层的逻辑与来简化线路,优化对量子符号执行中测试用例空间的划分.实验表明,该优化方法降低了实现量子符号执行线路的成本,包括量子门和量子比特个数.

圆CFRP-钢管约束混凝土轴压力作用下的本构关系

目的进行圆CFRP-钢管混凝土轴压短柱的受力全过程分析以及圆CFRP-钢管混凝土构件的承载力简化计算,研究圆CFRP-钢复合管约束混凝土在轴压力作用下的本构关系.方法以试验研究为依据,对已有的圆钢管约束混凝土在轴压力作用下的本构关系进行修正,给出回归表达式以及简化式.结果得到了圆CFRP-钢复合管约束混凝土在轴压力作用下的本构关系表达式以及简化式.结论圆CFRP-钢复合管约束混凝土在轴压力作用下的本构关系可以划分为三阶段:弹性阶段,弹塑性阶段和下降段.

基于序列比对检测的优化SRE多态蠕虫防御方法

针对简化正则表达式(SRE)的多态蠕虫防御方法不足以处理蠕虫的不变部分和距离限制等问题,提出一种利用序列比对检测的优化SRE。比对一个序列在另一个序列上编写字符的过程包括3个步骤,即初始化步骤、矩阵填充和回溯步骤。初始化矩阵用于比较两个序列间字符的得分;填充矩阵选择最大数,保持指针指向导出参数的先前得分位置;回溯的每个分支代表一个最优的比对。考虑到上述步骤最大化了匹配总数量,而非匹配连续子串,采用逐对序列比对检测,对最长公共子串(LCS)的字符串进行匹配。评价结果表明,优化SRE方法能够成功获得连续序列,保留了多态蠕虫的所有通配符,相比于Autograph、Polygraph和SRE方法,其生成的特征码更加精确和高效。