A sequential equivalence checking algorithm based on state transfer graph is presented.
提出一种基于状态转换图的时序电路等价验证算法。
REST (REpresentational State Transfer) is gaining recognition with the introduction of Web 2.0.
随着Web 2.0的推出，代表性状态传输(REpresentational State Transfer,REST)得到了认可。
Representational state transfer "REST" utilizes the interaction capabilities classically offered by HTTP protocol.
具像状态传输(Representational state transfer,REST)利用HTTP协议提供的经典交互功能。
To reduce the state copy time in state transfer and memory to store state, every state element can be encoded.
为了减少状态转移中拷贝状态所占用的时间以及状态本身所占用的空间，对状态元素进行编码。
The KPI history stored on the server is accessible using a Monitor Representational State Transfer (REST) service.
存储在服务器上的KPI历史记录可以使用Monitor代表性状态传输(Representational State Transfer,REST)服务进行访问。
By using the supplemental variable method and the state transfer analysis the queue generating function is obtained.
由补充变量法和状态转移方程的分析得到了稳态队长分布的广义概率母函数表达式。
If the state transfer graphs are isomorphism, all the states in different graphs can be matched as equal state pairs.
若两状态转换图同构，则两图中的状态均可一一配对为待验证状态对，即所有的代验证状态对均为等价状态对。
The key of this method is to apply the state transfer matrix between the initial state and the end state for iteration.
这种方法的关键是利用初始状态到终极状态的状态转移矩阵进行迭代。
Use an external representational state transfer (REST) service, such as Google Suggestions, Yahoo spell-checking, and so on.
使用一个外部的代表性状态转移(REST)服务，例如Google建议，Yahoo拼写检查等等。
The approach effectively solves these problems such as code adding, state transfer, time performance of on-line update.
该方法通过一定的简化，有效地解决了在线升级的代码添加、状态处理、时间性能问题。
It provides methods for making Ajax calls to normal web pages as well as Representational State Transfer (REST) services.
它为一般web页面提供Ajax调用方法，以及Representational State Transfer (REST)服务。
The Representational State Transfer (REST) architectural style offers a low-barrier entry point for consuming Web services.
代表性状态 (REST)体系结构样式提供了壁垒较低的使用 Web 服务门槛。
The fuzzy dynamic process in the machinery system was described by using fuzzy state, fuzzy state transfer, and fuzzy events.
采用模糊状态、模糊状态转移以及模糊事件描述了机械系统状态的模糊动态过程。
Representational State Transfer (REST; the name was coined by Roy Fielding) isn't a protocol or technology: It's an architectural style.
Representational State Transfer（简称REST，中文翻译“具象状态传输”。 REST 这个名称是由RoyFielding 首创的）并不是一个协议或技术；它是一种体系结构风格。
When using the method, state transfer matrix is applied to produce the constraints, which can reduce the error from numerical method.
在应用这种方法时，利用状态转移矩阵来产生无推力段的约束，减少了数值方法的误差。
One use of this class is to support services implemented in accordance with the Representational State Transfer (REST) architecture.
此类的一个作用是对根据“具象状态传输”(REST)体系结构实现的服务提供支持。
As the name of the REST API implies, the Twitter API attempts to conform to the design principles of Representational State Transfer.
RESTAPI的名称表明，Twitter API试着符合具象状态传输的设计原理。
The optical systems of ray optics and light polarization state transfer are simulated by personal computer with matrix optical method.
介绍了用计算机和矩阵光学方法，虚拟可视的光线光学和偏振态变换光学系统。
Representational State Transfer (REST) is a style of software architecture for building a distributed system, which the Web itself embodies.
具象状态传输(Representational State Transfer,REST)是一种用于构建分布式系统的软件架构样式，它的表现形式是Web本身。
These interfaces use Ajax, RSS feeds, and Representational State Transfer (REST) APIs to provide a reasonably lightweight Web UI experience.
这些界面使用Ajax、RSSFeed和代表性状态传输（Representational State Transfer，REST）API来提供合理的轻量级WebUI 体验。
Newer methods such as Representational State Transfer (ReST) provide managed file access using URLs to specify the location, object, and method.
一些较新的方法，如具象状态传输(ReST)，使用URL指定位置、对象和方法，提供受控制的文件访问。
Representational State Transfer (REST) is a software architecture pattern and invocation style for accessing and updating resources on a network.
具象状态传输(Representational State Transfer,REST)是用于访问和更新网络资源的软件架构模式和调用样式。
With the representational state transfer (REST) style architecture, requests and responses are built around the transfer of representations of resources.
通过REST风格体系架构，请求和响应都是基于资源表示的传输来构建的。
Patent services creates Representational State Transfer (REST) -based services for ESPACE and Delphion to extract patent information by screen scraping.
专利服务针对ESPACE和Delphion创建基于代表性状态传输(Representational State Transfer,REST)的服务，以通过屏幕抓取来提取专利信息。
In the next article, I'll introduce you to the idea of using Grails to create Web services based on Representational State Transfer (REST) of your data.
在下一篇文章中，我将介绍使用Grails创建基于数据具象状态传输(Representational State Transfer,REST)的Web服务的思想。
Understand the history of SOAP, as well as its relation to Web services, Service-Oriented Architecture (SOA), and Representational State Transfer (REST).
了解SOAP的历史，以及它与Web服务、面向服务架构(SOA)和具象状态传输(Representational State Transfer, REST)之间的关系。
However, the existing environment was already using a light-weight message exchange state transfer (MEST) approach that is leveraged to allow for further innovation.
然而，现有环境已经使用了轻量级的消息交换状态传输(message exchange state transfer——MEST)的方式，这给以后的进一步革新留出了空间。
JsonRestStore, located in the Dojo extensions library DojoX, lets you quickly wire your applications to back-end Representational State Transfer (REST) services.
位于Dojo扩展库dojox之中，允许您将您的应用程序快速连接到后端具象状态传输(Representational State Transfer,REST)服务。
The XML data can come from many data resources, such as a file system, a database, or a URI, which presents a Representational State Transfer (REST) Web service.
XML数据可以来自多个数据源，如文件系统、数据库或者表示Representational State Transfer (REST)Web服务的URI。
Representational State Transfer (REST) is a style of software architecture for distributed network systems that takes advantage of the technologies employed by the Web.
Representational State Transfer (REST)是分布式网络系统软件结构的一种形式，它利用了网络所采用技术所带来的优势。
应用推荐