ID 原文 译文
45366 实验结果表明，GComIdx 算法能够有效降低图数据计算的初始化时间和图数据存储的磁盘空间占用，且查询时间小于通用数据库和其他 Key-Value 存储方案。 The experimental results show that GComidx algorithm can effectively reduce the initialization time of the graph data calculation and the disk space occupancy of the graph data storing, meanwhile, the query time is less than common graph databases and other Key-Value storage solutions.
45367 通过结合领域专用语言（DSL），提出一种面向代理重加密的程序设计语言（PLPRE），PLPRE 支持代理重加密算法结构明确、类似数学语言的描述， The programming language for proxy re-encryption(PLPRE) based on domain specific language(DSL) was proposed, which was similar to the mathical description and was adopt to describe the proxy re-encryption directly.
45368 算法设计人员通过 PLPRE 能够实现重加密算法快捷、方便的描述，并通过解析工具最终产生与之对应的计算机编程语言代码。 The algorithm designer could describe the algorithm conveniently and quickly by PLPRE, and obtain the programming code for computer.
45369 首先介绍了 PLPRE 的语法规范，给出了关键字、程序逻辑的定义，并以 ACC-PRE 算法为基础，给出了 PLPRE 的描述示例， Firstly, the grammar of PLPRE was presented, including the definitions of the keyword and programming logic,then the ACC-PRE algorithm was described by PLPRE as an example.
45370 其次描述了基于 ANTLR 工具的 PLPRE的解析与实现流程， Secondly, the PLPRE parser was realized by ANTLR.
45371 最后通过与相关工作的对比，阐述了 PLPRE 的优势。 Finally, the comparisons between the PLPRE and the related work were made.
45372 PLPRE 的描述不需要关注数据结构、内存管理等问题， By using the PLPRE, user does not need to pay attentions to data structure or memory allocation.
45373 适用于不熟悉计算机编程的密码学家的描述算法， It is suitable for the cryptography experts who is not familiar with the programming.
45374 从而降低代理重加密算法研究中的设计与实现偏差。 Thus, PLPRE will decrease the deviation between the design and implement for PRE.
45375 程序分析是主要的程序属性分析方法，在变量依赖关系、路径覆盖率、测试用例约简等方面有广泛的应用，并取得了大量研究成果。 Program analysis is the prime method to program property analysis, which is widely used in the domain of parameter dependent relation, path coverage and test case generation, and a lot of progress has been made.