Proposition 1. is well-formed , with PS containing only monotonic policies. In addition, every state is definable.

Even Macintosh operating systems need some user definable automation.

即使Macintosh系统也需要一些用户定义的自动操作.

We define value as a ratio between what the customer gets and what he gives.

我们把价值定义为一个顾客得到的和他付出的之比.

Define Design Development Timing, Component Development Timing including Process Development, Organize the validation.

确定设计开发时间, 零部件开发时间,包括流程开发, 组织验证.

That's not enough to define a platform that allows really smart people to groundbreaking ideas.

这些并不足以定义一个平台是否能让一些聪明的使用者提出更创新的点子.

XForms Uses XML To Define Form Data.

XForms使用XML定义窗口数据.

T " Rituals and ceremonies help define a culture. "

典礼和仪式有助于给一种文化下定义.

Use this page to view and define general settings for a property.

使用此页面可查看和定义属性的常规设置.

Analysis, define & design software functions and system requirements.

分析 、 定义 并 设计软件系统功能和需求.

Define and discuss the four principal network topologies.

定义并讨论四个主要的网络拓扑.

And this Psalm is helping us define happiness.

这篇诗帮助我们了解什么是快乐.

Please listen while I define your duties.

在我规定你的职责时,请仔细听好.

A characteristic trait or peculiarity, especially one serving to define or describe its possessor.

特性,属性特性或不同之处, 尤指用来定义或描写其占有者的特性.

So Quality Functions are presented to define wrinkle, flat area, fracture and springback tendency etc.

为此,本文提出了质量函数的概念,并对起皱 、 平台区 、 破裂及回弹等常见缺陷进行了定义.

It's hard to define exactly what has changed.

很难解释清楚到底发生了什么变化.

For more information, see How to: Define a Model with Horizontal Partition in Storage Model.

有关更多信息, 请参见如何: 使用存储模型中的水平分区定义模型.

Any dictionary will define the suburbs as those areas that lie outside cities and towns.

所有的字典都将“郊区”定义为在城市和城镇以外的地区.

Macro and Micro are two concepts that define Strategy gaming.

宏观与微观是定义策略游戏的两个概念.

Offer two time options: Parents can define a specific time period or an accumulated time amount.

提供了两种时间选择: 家长可以界定一个特定时期内或累积时间的金额.

A common way to make headers safe uses the preprocessor to define a header guard.

使得头文件安全的通用做法,是使用预处理器定义头文件保护符.

Entity types can define a set of conditions for each table to which they are mapped.

实体类型可以为其映射到的每个表定义一组条件.