这些是逻辑特性。
最后介绍了线性时态逻辑特性模式在SPIN中的应用。
At last, the application of Property patterns of LTL formulas was given in SPIN tool.
在上一节中，我们已经看到，方法系统的三个要素所得出的三个逻辑特性，在逻辑起点上是统一的。
We have perceived from the section above that three logical particularities drawn from three elements of the methodical system have the same logical starting point.
稍微多加或减少一点噪音开关的特性就改变了，这会使其变成完全不同的一类逻辑门。
Add slightly more or less noise and the characteristics of the switch change, turning it into a different kind of logic gate.
新特性遵循相似的逻辑。
用户组让您使用多种特性来表达您系统上的各种类型的用户，在逻辑顺序下分组测试。
User groups let you group tests in a logical order by using various characteristics representing various types of users on your system.
此外，虽然使用早期处理器兼容模式的逻辑分区能够运行在POWER 7服务器上，但是POWER 7处理器不能够模拟POWER 6或POWER 5处理器的所有特性。
Also, although logical partitions that use the earlier processor compatibility modes can run on POWER7 servers, a POWER7 processor does not emulate all features of a POWER6 or a POWER5 processor.
虚拟化具有一个重要的特性，在对逻辑分区进行动态配置和重新配置时，无需重新启动整个物理计算机，也不会影响到其他分区。
An important feature of virtualization is the dynamic configuration and reconfiguration of the logical partitions without need for rebooting the entire physical machine or disturbing other partitions.
从而可以有效地将集成逻辑应用于消息，这是ESB的核心特性之一。
This effectively lets you apply integration logic to the message, which is one of the core features of the ESB.
在本文中，我们提供了循序渐进的方法来开发构件，这些构件是使用用于CICS的soap特性从工作流过程中调用遗留cics业务逻辑所需要的。
In this article, we showed step-by-step methods for developing the artifacts needed to invoke legacy CICS business logic from a workflow process using the SOAP for CICS feature.
这种特性使得测试DAO逻辑变得非常简单，并且不会对数据库中的数据造成影响。
This feature makes testing your DAO logic easy and does not affect the data in your database.
触发器是DB2数据库的一个非常强大的特性，您可以使用它将业务逻辑分化到关系数据库这边。
Triggers are a powerful DB2 database feature that can be used to polarize business logic to the relational database.
AIX 6.1的这个新特性有助于减少支持逻辑环境所需的物理设备数量。
This new feature of AIX 6.1 has the effect of reducing the amount of physical devices necessary to support your logical environments.
使用Drools的特性和能力，您应该能够以声明方式实现应用程序的复杂业务逻辑。
Using Drools' features and capabilities, you should be able to implement the complex business logic of your application in a declarative manner.
下面将讨论Lotus Connections特性的逻辑架构和操作架构。
Let's look at both the logical architecture and the operation architecture of features.
现在的特性可以被划分为三个逻辑分组。
I'd say that the features today can be broken down into three logical groupings.
Dominohosting特性，允许多个组织透明地使用一台逻辑Domino服务器。
Domino hosting features that allow multiple organizations to be transparently hosted by a single logical Domino server.
该特性允许使用ontape和on - Bar实用程序执行逻辑日志备份的连续恢复。
This feature allows performing continuous restore of logical log backups using the ontape and ON-Bar utilities.
SE 和BC 基本一样，只多出一个特性：SE还包含内部服务（例如，Radiology Department应用程序）的业务逻辑。
SEs are just like BCs with one additional feature: An SE also contains the business logic of the internal service (for example, of the Radiology Department application).
以太网绑定是一个有用的Linux特性，它提供多种将多个网络接口合并为一个逻辑接口的方法。
Ethernet bonding is a useful feature in Linux that provides a variety of methods for aggregating multiple network interfaces into a single logical interface.
LinuxLVM实现了一种称为快照(Snapshot)的特性，它的作用就像是“拍摄”逻辑卷在某一时刻的照片。
Linux LVM implements a feature called Snapshots that does exactly what the name says: It's like taking a picture of a logical volume at a given moment in time.
正如前面提到的，绑定(bonding)是Linux中的一个特性，它提供多种将多个网络接口合并为一个逻辑接口的方法。
Bonding is a feature included with Linux that, as stated earlier, provides a variety of methods for aggregating multiple network interfaces into a single logical interface.
评论者格里梅尔曼认为这种单独特性毫无意义：“法院只是区分出他们不同意的证据，没有决定性的政策逻辑。”
"There's no underlying policy logic, " Grimmelmann tells Ars. "It's just courts distinguishing precedents they don't want to agree with."
Soctt介绍了活动过滤器（action filters），它们都以特性（attributes）的形式为控制器活动添加预处理和后处理逻辑。
Scott introduces action filters, which are attributes that add pre and post processing logic to controller actions.
这是一种很强大的特性，它使您能够通过名字模式、布尔逻辑和文件属性来选择所要操作的文件。
This is a powerful feature allowing you to use naming patterns, Boolean logic, and file attributes to select what files to operate on.
中间这一层包含大量逻辑，这些逻辑提供了NMS各种特性。
The middle tier contains much of the logic that provides the feature set of the NMS.
我们也希望能扩展生成类的功能，包括业务逻辑、授权逻辑和其他特性。
We also wanted to extend the functionality of the generated classes to include business rules, authorization rules and other features.
OV - 3强调架构中交换的信息的逻辑和运作特性。
The OV-3 emphasizes the logical and operational characteristics of the information exchanged within the architecture.
这个部分定义了逻辑卷管理器(Logical Volume Manager,LVM)，并介绍了它的一些特性。
This section defines the Logical Volume Manager (LVM) and introduces some of its features.
在保证业务逻辑功能正确性的基础上，软件效率作为软件质量的一个重要特性，开始受到更多的关注。
Based on the accuracy of business logic function, the software efficiency is taken more notice as an important feature of software quality.
应用推荐