状态

In his book, Newton explains the three natural laws of motion.

书中的三大力学理论：第一定律：物体在没有外力作用的情况下会保持原有的状态，静止状态或匀速直线运动状态。

Because of the nonuniqueness in the positional solution, it's not easy to test the performance of the coordinated control system. So the model of NN was built to convert the vector of the length of 6 jars into the vector of the position of the motion deck. It's fast and accurate for the lengthwise direction. The state space system model of the six degree freedom motion simulator was built by the equations of electrodraulic servo mechanism and the multi-body dynamics equation of the six degree freedom motion simulator,the vector of the length of 6 jars was the control variable.

本文结合六自由度运动模拟器的多体动力学方程和电液伺服驱动机构的特性，经简化得出了具有实际意义的六自由度运动模拟器整体系统的状态空间方程式，通过分析该系统的稳定条件和能控性，采用状态反馈对系统的状态方程式进行合理配置，从而建立了以运动模拟器杆长向量为控制变量的运动模拟器整体控制系统，并将该控制系统输出的杆长向量转换为位置向量。

In the process of issuing a card, UCard receives commands from the terminal and finishes some inner operations. At the same time, the states of the master processor system and the coprocessor system change continuously.

在发卡过程中，优卡接收来自终端的命令并完成相关的内部操作，相应地，主处理器系统和协处理器系统的状态发生相应的改变，据此建立了二者的状态机模型，给出了状态转换图。

In the process of issuing a card, UCard receives commands from the terminal and finishes some inner operations. At the same time, the states of the master processor system and the coprocessor system change continuously. So we get FSM models for the two subsystems and the state transition diagrams are made. The process of using goes through three steps.

在发卡过程中，优卡接收来自终端的命令并完成相关的内部操作，相应地，主处理器系统和协处理器系统的状态发生相应的改变，据此建立了二者的状态机模型，给出了状态转换图。

The state machine can be divided into Moore and Mealy. The designing rule should include factor of safe, area, speed and maintenance.

状态机分为摩尔型状态及和米莉型状态机，其设计标准要考虑安全、面积和速度及维护等要素。

In Chapter 2, a class of fuzzy finite automata corresponding to the Mealy type of ordinary automata is formulated and two types of statewise equivalence relations are introduced.

在第二章中，对应于经典Mealy型有限状态自动机的一类模糊有限状态自动机-新Mealy型模糊有限状态自动机被建立。

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 playback method includes a first step of outputting stereo audio signals using the monaural audio signal if the necessary stereo process information is not supplied; a second step of starting updating stereo variables within filters, and outputting the stereo audio signals using the monaural audio signal until all the state variables are updated, if the necessary stereo process information is supplied; and a third step of performing the stereo process based on stereo process information acquired by the necessary stereo process information, on the monaural audio signal to generate and output stereo audio signals, if all the state variables within the filters are updated.

该再生方法包括：第一步骤，如果没有提供立体声处理必需信息，则输出使用了非立体声音频信号的立体声音频信号；第二步骤，如果提供了立体声处理必需信息，则开始更新滤波器内的状态变量，并输出使用了非立体声音频信号的立体声音频信号，直到更新完所有的状态变量；以及第三步骤，如果更新完滤波器内的所述状态变量，则对非立体声音频信号执行基于通过立体声处理必需信息获取的立体声处理信息的立体声处理，并生成并输出立体声音频信号。

When either NAND gate pulls low, the SLO state overrides the WHI state from the resistor and the net state is resolved to be logic low.

当与非门的任何一个输入电平为低时，SLO状态通过电阻R1克服WHI状态，使得最后的状态为逻辑低电平。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。