查询词典 infinite

A widely used method for checking real-time systems is,according to the real-time property to be checked,to use a proper bi-simulation equivalence relation to convert the infinite-timed state space to a finite equivalence class space.

一个被广泛用于验证实时系统的方法是根据被验证的实时性质，使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间。

We find an equivalence relation which divides the infinite timed state space into a finite number of equivalence classes.

在此基础上，论文使用适当的等价关系将无限多个整数格局划分为有限多个等价类。

A equivalent layer stiffness matrix which represents the information of the whole infinite domain is derived.

特别是对电磁开域问题和波导传输问题提出了一些新的有限元处理方法。

This is equivalent to using a point light source at an infinite distance.

它们发出的是平行光，这意味着由方向光生成的灯光以同一个方向照向场景。

The second serious equivocation is in the terms "Absolute","Infinite","Unconditioned".

第二个严重的是在含糊的条款，"绝对"，"无限"，"无条件"。

The type of essential singularity belonging to one of three classes of isolated singularities, is only regarded as a type of infinite-order polar points.

剖析了数学奇点和物理奇点这两个概念及其它们在本质上的差异：数学上的本性奇点只不过是无穷级极点。

With FreeBSD 5.2.1, Mac OS X 10.3, and Solaris 9, the limit is essentially infinite, bounded by the amount of memory on the system, the size of an integer, and any hard and soft limits configured by the system administrator.

在FreeBSD 5.2.1，Mac OS X10.3和Solaris 9中这个限制基本上是无限的，而是由系统内存总额，整型大小，和系统管理员对软件和硬件的限制配置所定。

This white elf, it is so ethereal, so beautiful, brings infinite reveries and wonderful people.

这个白色的小精灵，它是那么轻灵，那么美丽，带给人们无限的遐思与美妙。

Real Number System, Euclidean Space and Metric Spaces, Sequences in R and R^n, Differentiability on R and Rn, Integration on R and Rn, Infinite Series of Functions, Fourier Series, Fundamental Theorems of Vector Calculus, Inverse Function Theorem, Implicit Function Theorem and its Applications.

课程内容：实数系，Euclidean空间与距离空间，函数数列，函数级数，连续函数，可微分函数，可积分函数，反函数，隐函数定理及其应用，向量微积分基本定理，富氏级数。

Although it is based on reality, the school of art has a broad choice of subjects, a great freedom in composition, and a combined use of symbolism, euphonium and humor in the expression of ideas. As for skills, it gives an emphasis on the realism of details and the romanticism of the whole and in effect provides the audience with an infinite space for imaginations.

程亚杰从他维也纳老师胡特那里承继过来的"想现实主义"严格地讲，更倾向于浪漫主义的创作方法，它虽然有现实的意义根据，但创作主体有更大的物象选择和组合的自由，画面背后的意图更多的是通过象征、隐喻和幽默的营构来反映；在表现手法上则是重视细节刻画的写实和整体构成的变实，这种写实和变实的交错使用给幻想留下了超时空自由组合的广阔空间。

And discuss some key point of integrated management system design, include hazard identification and risk assessment and risk control in the occupational health and safety management, the measure of satisfaction target of customer, the flawlessness of law system, the integration of the integrated management system and enterprise standardization system, unify lead institution and work orgnization, integreted internal audit and integrated management review.

同时，论述了一体化管理体系构建中的几个主要问题，包括职业健康安全管理中的危险源辨识、风险评价和风险控制、顾客满意度的科学监测、法律、法规体系的完善、一体化管理体系与企业标准化体系的有机结合、统一的领导机构和工作机构、一体化的内部审核和管理评审。

Deepwater Taranaki is investigated for its petroleum potential, using all available seismic data tied to shallow-water wells.

运用与浅水井相关的现有全部震波探测数据考察了深海区塔拉纳基盆地的油藏前景。