尽管缺少自动化,高效地使用定理证明器能处理比模型检查器更大的设计并且要求更小的内存。
Although less automatic, efficient usage of a theorem prover can handle much larger designs than model checkers and requires less memory.
因为死锁的类装入器的标识已知,所以可以检查这些类装入器使用的委托模型。
Because the identities of the deadlocked class loaders are known, it is possible to examine the delegation model that these class loaders are using.
DOM资源管理器(DOMExplorer)使得开发者可以检查并操作HTML页面中的文档对象模型(Document Object Model)。
The DOM Explorer allows developers to examine and manipulate the Document Object Model of an HTML page.
检查器是将对象适配为XPath信息模型。
An inspector is an object that ADAPTS objects to the XPath information model.
宇航员已经被邀请进入太空舱的实物模型,检查他们是否在座椅上舒适、是否可以够到控制器。
Already astronauts have been invited into mock-ups of the crew capsule to see whether they can fit comfortably in the seats and reach the controls.
与管理代理一样,可能最适合通过检查V6.1的运行时模型来描述管理器是如何工作的,如图8所示。
As with the admin agent, it might be best to describe how the job manager functions by quickly reviewing the run time model for V6.1, which is shown in Figure 8.
建立客户端和服务器之间的连接以后,Jazz将检查两端是否具有相同版本的存储模型。
When a connection between client and server is established, Jazz checks that both sides have the same version of a storage model.
用默认的编辑器打开这个模型(参见图3),再打开Properties视图,然后检查模型树中每一个节点的属性。
Open the model with the default editor (see Figure 3) and open the properties view, then examine the properties of each node in the model tree.
在这个代码生成步骤中,将对监视器模型(actual. mm文件)进行检查,并产生用于支持模型的具体实现的代码。
In this code generation step, the monitor model (the actual.mm file) is examined and the code to support an actual implementation of the model is produced.
如果您修改messageconsumptionbatchsize,还要检查每个监视器模型的De -serializationworkManager的workrequestqueuesize的值。
If you modify the message consumption batch size, also review the value of the work request queue size for the De-serialization work Manager for each monitor model.
实现了电动执行器三维虚拟设计、装配,并对装配模型作干涉检查。
The virtual design and assembly of modular electronic actuator is realized based on it, and assembly parts is detected by interference.
实现了电动执行器三维虚拟设计、装配,并对装配模型作干涉检查。
The virtual design and assembly of modular electronic actuator is realized based on it, and assembly parts is detected by interference.
应用推荐