ID 原文 译文
2263 缓存侧信道攻击的基础是程序针对不同敏感信息将访问不同的缓存地址。 The root cause of cache-based side-channel attacks is that the application will access different cache memo-ry depending on different values of sensitive information.
2264 本文提出基于符号执行的缓存侧信道脆弱性检测技术，通过符号化敏感信息的数据传播过程定位潜在的脆弱点， This paper proposes a symbolic-execution-based vulnerability de-tection technology to identify the code in an application that can be exploited in cache attacks.
2265 并通过比较其可能的不同缓存访问地址，判断上述代码在缓存攻击中的可利用性。 It analyzes program's datapropagation of symbolized sensitive information to locate candidate vulnerabilities, and determines the exploitability through comparison of different possible accessed cache addresses.
2266 本文开发了原型系统 CSCVulDiscover，并针对 RSA 等 3 种密码算法的 12 类实现代码进行测试，总共发现了 125 个脆弱点。 A prototype system called CSCVulDiscover is developed and test-ed against 12 kinds of implementation of 3 popular cryptographic algorithms including RSA, and the result shows that 125 vulnerabilities are detected.
2267 多尺度量子谐振子算法(MQHOA)的能级稳定过程是算法的核心部分，对于避免算法陷入局部最优、提高算法求解精度具有重要作用。 The energy level stabilization process of the multi-scale quantum harmonic oscillator algorithm (MQHOA)is the core part of the algorithm, which plays an important role in avoiding the algorithm falling into local optimum and im-proving the accuracy of the algorithm.
2268 对算法能级稳定过程进行研究，发现不同的能级稳定判据，会造成算法在同一能级下不同的表现。 In the studying of the energy level stabilization process of the algorithm, it is foundthat different energy level stabilization criteria will result in different performance of the algorithm at the same energy level.
2269 相对宽松的判据使算法在能级稳定过程中迭代不充分，容易陷入早熟。 The relatively loose criterion makes the iteration of the algorithm inadequate in the process of energy level stabilization andeasy to fall into premature.
2270 而更严格的判据能使波函数在同一能级下达到稳定状态，提高算法的全局搜索能力，但会增加算法的计算代价。 The more stringent criterion can make the wave function reach a stable state at the same energylevel, improve the global search ability of the algorithm, but meanwhile the computing cost will also rise.
2271 通过实验证明，相对宽松的能级稳定判据对单峰简单函数具有良好的求解效果，严格的能级稳定判据适用于算法对多峰复杂函数的求解。 Experiments show that loose energy level stability criterion of the algorithm has good effect on solving unimodal simple functions, and strict en-ergy level stability criterion of it is suitable for solving multimodal complex functions.
2272 算法在资源优化、自适应控制及能耗优化管理等方面已取得有效应用。 The algorithm has been effectively ap-plied in resource optimization, adaptive control and energy consumption optimization management.