ID 原文 译文
45376 目前，程序分析主要以符号执行工具为核心，但是普遍存在路径条件逻辑表达式难以准确生成和约束求解器性能不够高的问题，从而影响程序分析的效果。 Current program analysis is based on the method of symbolic execution, but symbolic execution is usually tackled with the problems of logic expression generation of path condition and low efficiency of constrain solver, which will affect the results of pro-gram analysis.
45377 以提高路径分析精度为目标，首先分析不同执行路径对应的路径条件，并提取公共的符号表达式以提高符号关联分析的精度，然后逆向生成依赖条件逻辑表达式集合，使用依赖关联分析算法以提高路径分析的精度。 Aiming at enhancing the path analysis efficiency, the path conditions of different paths were collected, the common symbolic expression was extracted and the efficiency of symbolic analysis was enhanced, then the logic expression set was generated, the dependent relation algorithm was used to enhance the efficiency of symbolic analysis.
45378 实验结果表明，所提方法相对于传统的路径分析方法，有更准确的时间复杂度和更高的路径分析精度。 Experimental results demonstrate that the proposed method has the advantages of accurate time complexity and better analysis efficiency compare to traditional program analysis method.
45379 随着全球卫星通信需求的日益增长，卫星通信网的实体认证和访问控制问题亟待解决。 With the increasing global demand for satellite communications, the problem of entity authentication and access control of the satellite communication network needs to be solved urgently.
45380 为解决该问题，提出了一种多中心实体认证与跨域访问控制方案。 To solve this problem, a new multiple center-based entity authentication and cross-domain access control scheme was proposed.
45381 该方案采用两级认证中心实现分层认证，此外，采用权限映射实现跨域访问控制。 The scheme divided the multiple centers into two layers for entity authentication, and maped the authorization of the multiple domains to achieve access control.
45382 仿真实验表明，所提方案能够支持上亿实体的身份认证， Simulation experiments show that the proposed scheme support the entity authentication for 100 million users.
45383 并支持百万实体的并发访问。 Furthermore, it also allows 1 million users to access in parallel.
45384 针对稀疏码多址接入(SCMA)系统中译码算法复杂度高问题，提出一种基于迭代剔除的多用户检测算法(RM-MPA)。 A multi-user detection scheme based on iteration removal (RM-MPA) was proposed to solve the problem of high complexity of decoding algorithm for sparse code multiple access (SCMA) systems.
45385 首先基于串行消息传播机制提出了一种简单直观的方法用于比较用户间的译码优势， Firstly, a simple and novel method to compare the decoding advantages between users was proposed.