查询词典 constraints

However, none of these works has considered the Lineflow constraints, which are so important for any practical imple- mentation of ELD.

然而，这些工程已考虑lineflow 制约因素，这是如此重要，任何实际的实施心理状态的ELD情况。

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密码体制的最优化公平交换协议。

The experiment results prove that the way with regularization technology is better than the way without regularization technology. In order to overcome the limitation of the regularization method, chapter 6 builds an irregular MRF model suitable for the motion estimation of feature point based on MAP-MRF frame. The energy function, which can reflect the joint probability distribution of motion parameters and the constraints relation of local 3D motion parameters, is established in irregular MRF.

为了解决正则化方法只能分析非刚体局部三维运动的缺点，第6章在基于MAP-MRF的分析框架中建立了与特征点运动估计相对应的非规则MRF模型，构造了非规则MRF模型中反映非刚体局部三维运动参数之间约束关系和运动参数联合概率分布的能量函数，通过能量函数最小化估计运动参数。

In this chapter the model of minimal perturbation constraints nonlinear programming is established, and the concept of the minimal perturbation efficient solution is introduced.

在研究模型中的较多约束集的结构表示的基础上，给出了较多约束最优解要满足的Fritz John条件和Kuhn-Tucker条件。

This paper introduces the concept of minimal perturbation efficient solution in minimal perturbation constraints programming.

文中引进了极小扰动约束规划的极小扰动有效解概念。

In the fourth sub-problem mixture property constraints concerning the miscibility of the solvents among themselves in the mixture e.g.

在第四次混合财产的限制问题，有关它们之间的混合溶剂混溶例如2（该溶剂的相容性，如果一个二进制mixt

Today's missive is about supply constraints.

今天很大篇幅会讲到供应方面。

The context exerts constraints on meaning, negligence of which may lead to misunderstanding and mistranslation.

近几十年来，由于语言学、尤其是语用学的出现和发展，语境的研究已渗透到语言学的各个领域。

In some mixture design problems, it may not be necessary to consider processing issues and hence we would not have the process model constraints and the problem becomes a simple mixing problem, which would already have been addressed

在一些混合料设计上的问题，它可能没有必要考虑处理的问题，因此我们不会有流程模型的限制，问题就一个简单的混合问题，这已经得到解决在分4相容性问题的准则。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。