查询词典 sets

Come along 4 Every day he sets aside some time to be with his family and enjoy life.

每天他都留出点时间跟家里人在一起，享受生活。

Positive and Negative Entailment Tests: These test whether proper entailments are or are not drawn from sets of specified RDF statements.

肯定的和否定的蕴涵测试：他们测试是否能够从指定的RDF陈述集合中得到正确的或不正确的结论。

But the NIST group was able to entangle the mechanical motion of two sets of vibrating ions.

但是， NIST的集团能够缠绕的机械运动的两套振动离子。

The goal integration is a process and a system formed by this process, in which based on the requirements of circumstances and current level of SACE, the enterprise sets the goals of various types and hierarchies according to the principle of entireness and consistency.

目标集成是指企业根据环境的要求和自适应能力的现有水平，按照一致性和整体性原则对企业各种类型和各个层次的目标进行设置的过程以及形成的体系。

The education for all-round development is to aim at student's entireness, facing to the student body, the farsighted benefits sets out from the student, the overall exaltation student's character, diligent development student's potential, makes teach to teach at virtuous, a kind of ideal education mode of the purpose of the aspect overall development foundation education of etc. of body"."

素质教育是针对学生全体的，面向全体学生的，从学生长远利益出发，全面提高学生素质，努力开发学生潜能，使受教育者在德、智、体等方面全面发展基础教育目的的一种理想的教育模式"。"

In defense, darkness likewise sets in motion a comparable birthing of subdeities and arranges for the entombment of the light particles in a created world.

在国防，黑暗同样套在议案可比分娩的subdeities并安排为entombment的轻粒子在一个创造了世界。

Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

其所包含的主题：程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数：关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。

In view of the above features, this paper sets up an EOQ model of Multi-varieties service parts under the condition of capital competence and has the repair rate restraint.

针对以上特点，在给定修复率、资金有限的约束条件下，建立了多品种服务备件的EOQ模型。

Every eparch should sets up its office in the capital Chang'an, which has the same function as the provincial office in Beijing now. These offices were called "Di"s.

各郡在首都长安都设有办事机构，相当于现在的各省驻京办事处，这个办事处称为"邸"。

Awarded as "Provincial Green Campus", the kindergarten occupies an area of 16,800 m2. Inside it are complete educational facilities, including a dispensary, computer labs, dance room, mini theater, music rooms, science lab, Montessori lab, libraries, children's cafeteria, clay room, block-building room, etc. Other amenities include air-conditioners, epidiascope, big-screen color TV sets, computers, VCD players, rock climbing wall, swimming pool, sand-pool, plastic running tracks, green maze, slides, see-saw, etc.

我校是广东省绿色学校，幼儿园占地面积为16，800平方米，生活与教学设施十分完备：每班均配备空调、实物投影仪、背投彩色电视机、电脑、影碟机等最先进的教学器材；室外有攀石墙、嬉水池、大沙池、塑胶地垫、绿色迷宫、滑梯、跷跷板、秋千等设施；还有医务室、电脑房、舞蹈室、小歌剧院、音乐室、科学室、蒙台所利室、阅览室、幼儿专用餐厅、泥工室、建构室等功能室。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。