查询词典 proposed

The security of PKI system itself is especially emphasized during the system design and implementation process, which is in accordance with the pervasive characteristic of PKI. Second, the concept of a Trusted Key Management Center is introduced for the first time. This technology greatly strengthens key management practices and allows for smooth transition from PKI to Key Management Infrastructure. Third, certificate status mechanisms are investigated in depth, and a certificate revocation performance simulation system is devised. All these work will provide guides to practice and employment of PKI applications. Based on time constraints, a new taxonomy for authenticated dictionaries is proposed. Fourth, formal analysis ofOCSP protocol is carried out; then an efficient and scalable OCSP system is developed. Fifth, the special requirements caused by the working environments of Wireless PKI are analyzed. Based on communicative hashing and dynamic Merkle hash tree, an efficient certificate status validation method suitable for WPKI is presented. Sixth, one important kind of fair exchange protocols is studied, and a new CEMBS based on RSA cryptosystem is proposed. Afterwards, a novel fair exchange protocol totally based on RSA signature scheme is devised.

在系统设计和实现的过程中，考虑到PKI作为普适性安全基础平台的特点，特别强调PKI系统自身的安全性；第二，首次在PKI系统的设计中提出了"可信密钥管理中心"的概念，这一独特设计大大地强化了密钥管理功能的实施，为PKI向密钥管理基础设施的平滑过渡提供了良好的技术准备；第三，对证书状态验证机制进行了深入研究，设计了证书状态模拟系统，以指导PKI系统和应用的部署和实施；在此基础上，基于时间约束首次给出了认证字典的一种新的分类方法；第四，对OCSP协议进行了形式化分析，设计和实现了一种高效、可扩展的OCSP系统；第五，分析了WPKI工作环境对设计安全基础平台提出的特殊要求，结合无线移动设备的具体特点，基于可交换杂凑函数和动态Merkle杂凑树设计出了一种适用于WPKI环境的高效证书状态查询机制；第六，对一类公平交换协议进行了深入的研究，从设计公平交换协议的密码基础结构出发，提出了一种新型的基于RSA密码体制的高效CEMBS；在此工作的基础上，设计了一种基于RSA密码体制的最优化公平交换协议。

The security of PKI system itself is especially emphasized during the system design and implementation process, which is in accordance with the pervasive characteristic of PKI. Second, the concept of a Trusted Key Management Center is introduced for the first time. This technology greatly strengthens key management practices and allows for smooth transition from PKI to Key Management Infrastructure . Third, certificate status mechanisms are investigated in depth, and a certificate revocation performance simulation system is devised. All these work will provide guides to practice and employment of PKI applications. Based on time constraints, a new taxonomy for authenticated dictionaries is proposed. Fourth, formal analysis of OCSP protocol is carried out; then an efficient and scalable OCSP system is developed. Fifth, the special requirements caused by the working environments of Wireless PKI are analyzed. Based on communicative hashing and dynamic Merkle hash tree, an efficient certificate status validation method suitable for WPKI is presented. Sixth, one important kind of fair exchange protocols is studied, and a new CEMBS based on RSA cryptosystem is proposed. Afterwards, a novel fair exchange protocol totally based on RSA signature scheme is devised.

在系统设计和实现的过程中，考虑到PKI作为普适性安全基础平台的特点，特别强调PKI系统自身的安全性；第二，首次在PKI系统的设计中提出了"可信密钥管理中心"的概念，这一独特设计大大地强化了密钥管理功能的实施，为PKI向密钥管理基础设施的平滑过渡提供了良好的技术准备；第三，对证书状态验证机制进行了深入研究，设计了证书状态模拟系统，以指导PKI系统和应用的部署和实施；在此基础上，基于时间约束首次给出了认证字典的一种新的分类方法；第四，对OCSP协议进行了形式化分析，设计和实现了一种高效、可扩展的OCSP系统；第五，分析了WPKI工作环境对设计安全基础平台提出的特殊要求，结合无线移动设备的具体特点，基于可交换杂凑函数和动态Merkle杂凑树设计出了一种适用于WPKI环境的高效证书状态查询机制；第六，对一类公平交换协议进行了深入的研究，从设计公平交换协议的密码基础结构出发，提出了一种新型的基于RSA密码体制的高效CEMBS；在此工作的基础上，设计了一种基于RSA密码体制的最优化公平交换协议。

A real time heterogeneous system communication scheme, which maintains the coherency between design and verification, is proposed. A method for solving metastability in heterogeneous system with high efficiency is also proposed.

提出了一种异步系统的实时通信机制，该通信机制具有设计和验证一致的特点，并对异步系统通信中必然存在的亚稳态问题进行了分析，提出了高效的解决办法。

Finally, in order to validate the effectiveness of proposed method, the comparison experiments between the classic methods and the proposed method were carried out.

最后将提出的语音增强方法与目前典型方法进行了对比实验，验证算法的有效性。

For the purpose of solving the shortest path problem between any two nodes on urban traffic networks, We present a mixed connected graph representing the urban transportation networks, and choice set of main line is proposed in our disertation, according to urban road layout and rule of vehicle rout, we supposed a multi-phase labeling algothrim base on classical Dijskra labeling algorithm, a list of examples for all possible relation between two nodes are provided, all the examples is calculated by the proposed computer program, which indicates that this algorithm is feasible and effective.

为了研究城市路网上任意两顶点间的最短路问题，结合城市交通特点提出了最小干线选择集的概念，在著名的Dijkstra算法基础上，根据城市路网布局和配送车辆行车规则，给出一种多阶段定向搜索标号算法。

Two new concepts, named morphism attribute and morphism event were proposed. The problem of consistency maintenance when multi-resolution models were parallel implemented was researched and a new algorithm was proposed. Then the problem of interaction conflict in MRM was researched. To solve this problem, three methods were given, including mutex locking, conflict detecting and model-oriented method. The affection of morphism interaction to simulation result was analyzed and some basic principles to deal with this problem were given.

提出了同态属性和同态交互的概念；研究了多分辨率模型并发运行时的一致性维护问题，给出了多分辨率模型的一致性维护算法；研究了并发交互冲突的解决方法，包括：加锁方法、冲突检测法和面向模型的方法等；分析了同态交互对仿真结果的影响，给出了处理同态交互的基本原则。

Simulation results show that the proposed model is correct. The proposed model offers reference for the design of DC brushless motor/generator, and can be used as technical reference for both Boost circuit and the control of digital signal processor of DC-AC conversion process.

仿真结果表明所建立的仿真模型是正确的，该模型可为直流无刷电机/发电机的设计提供参考依据，在此基础上并为Boost电路和DC-AC转换过程的数字信号处理器控制提供技术上的指导。

The proposed method first uses common subtractive clustering locating method to acquire video object position and moving object number of each frame. Then, the proposed algorithm uses fuzzy C-means clustering algorithm to further cluster the moving object foreground pixel samples. Finally, matrix analysis theory for calculating eigenvalues and eigenvectors of covariance matrix is applied to compute the object scale and orientation parameters.

该算法在减法聚类算法预定位目标位置及获得目标个数的基础上，进一步采用模糊C均值聚类对目标前景样本进行归类，最后通过对目标前景样本协方差矩阵特征值和特征向量的分析获得目标的尺度及方向参数，从而实现对视频运动目标的定位。

Simulation shows that the proposed algorithm can achieve similar performance to that of the ITS using natural binary bit mapping and has about 1dB gap with the ITS using Gray bit mapping. In the high SNR region, the complexity of the proposed bit-level ITS is about 6％~40％ of the symbol-level ITS.

仿真结果表明：在误码率性能上，该算法略次于使用自然二进制映射的基于符号的ITS算法，与使用格雷映射的基于符号的ITS算法只有1dB左右的差距；而该算法的计算量在高信噪比时只相当于基于符号的ITS算法的6％~40％。

To solve the second problem, an approach of irregular QC LDFC codes is proposed. The proposed approach is to replace some sub-matrices by zero matrices and identity matrices at special positions in the given sparse parity-check matrix so as to get a nonsingular square matrix for the construction of the generator matrix.

为解决第二个问题，提出一种不规则准循环LDPC码的设计方法，该方法将校验矩阵中的特定位置的子矩阵用零矩阵和循环矩阵置换，获得一非奇异方阵，用于构造生成矩阵。

Vishnu entered a dark fourth dimensional dream that did not support his field or continued life.

毗瑟挐进入了一个第四密度的黑暗梦想，那里并不支持他的能量场或继续生命。

Leaders and decision-making persons use it to collect the data, including the information of unit work, handing in fee, oweing fee, prepaying fee,changing and afterpaying and account transfering of joining-insurance employee, and account paying of all kinds of insurances from hospitalization insurance institutions.The collected data is picked up, organized, switched and showed to user.

该子系统主要面向各级领导、决策分析人员；从各个医疗保险经办机构和定点医疗机构采集数据，包括在各个医疗保险经办机构处理的单位办公信息，单位缴费、欠费、预缴费信息，参保职工变更信息，参保职工增减变动信息，参保职工补缴信息，参保职工帐户划拨信息：包括各定点医疗机构处理的各险种帐户支出信息，各险种的统筹金支付信息等；将采集的数据提取，组织和转换，然后展示给用户。