ID 原文 译文
45006 结果表明，借助现有的大数据处理框架，显著提高了个体影响力计算方法在海量数据集中的计算效率，同时也给该类算法的研究和优化提供了实证依据。 The results demonstrate that the computational efficiency of the personal influence algorithm can be improved significantly in massive data sets by virtue of existing big data processing framework, and provide an empirical reference for the future research and optimization of the algorithm as well.
45007 分析 IOS 平台上的安全协议 Swift 语言实施安全性，对保障 IOS 应用安全具有重要意义。 Analysis of security protocol Swift implementations in IOS platform is important to protect the security of IOS applications.
45008 首先对已有安全协议 Swift 语言实施进行分析，确定 Swift 语言子集 SubSwift，并给出其 BNF； Firstly, according to the security protocol Swift implementations, the SubSwift language, which was a sub-set of Swift language, was widely used in IOS system, and its BNF were specified.
45009 其次基于操作语义，建立 SubSwift语言到 Blanchet 演算的映射模型，主要包含 SubSwift 语言的语句、类型到 Blanchet 演算的语句及类型的映射关系与规则； Secondly, the mapping model from SubSwift language to Blanchet calculus based on the operational semantic was presented which consisted of mapping rules, relationship from the statements and types in SubSwift language to Blanchet calculus.
45010 再次根据 SubSwift 语言到 Blanchet 演算的映射模型，提出从安全协议 SubSwift 语言实施生成安全协议Blanchet 演算实施方法； And then, a method of generating security protocol Blanchet calculus implementations from SubSwift language implementations was developed.
45011 最后应用 Antrl4 工具和 Java 语言开发安全协议 Blanchet 演算实施生成工具 SubSwift2CV， Finally, security protocol Blanchet calculus implementation generation tool SubSwift2CV was developed with Antrl4 and Java language.
45012 分析 OpenID Connect 协议、Oauth2.0 协议和 TLS 协议的 SubSwift 语言实施安全性。 At the same time, OpenID Connect, Oauth 2.0 and TLS security protocol SubSwift language implementations were analyzed with SubSwift2CV and CryptoVerif.
45013 针对有限字长效应导致滤波器零极点的位置偏移问题，基于状态空间实现结构研究 FIR 数字滤波器零极点对系数误差的灵敏性。 Aiming at the deviation of pole and zero in filters which caused by the finite word length (FWL) effects, the sensitivity of pole and zero for FIR digital filters to coefficient errors was studied based on the state-space model.
45014 不同于 IIR 滤波器，FIR 滤波器状态空间模型中的系统矩阵具有亏损性。 Unlike the IIR filter, the system matrix in state-space model of the FIR filter was defective.
45015 引入亏损矩阵广义特征向量分析极点的灵敏性，导出灵敏度表达式，并依据相似变换理论找寻最佳变换矩阵，提出 FIR 滤波器零极点灵敏度的优化实现。 A set of generalized eigenvectors of defective matrix was introduced to analyze the pole sensitivity and derive the measure expression, and optimal realizations with respect to pole-zero sensitivity for FIR filters were proposed by finding optimal transformation matrices ac-cording to the similarity transformation theory.