查询词典 Boolean operation

Chapter 7 discusses a orientational classification principle of curve and surface. With this principle, we have accomplished the frame automate generation and a boolean operation between surfaces.

第七章描述了一个曲线、曲面的有向性分类原则，在ZD_ADM曲面造型系统中，运用此有向性分类原则，实现了二维轮廓线的自动生成和曲面间的布尔运算。

At the same time , we discuss the determinism and nondeterminism of formula-clock automata and the closure propertied under Boolean operation of the language which is accepted by formula-clock automata. We also prove the expressive equivalence between the deterministic formula-clock automata and the nondeterministic formula-clock automata. This means that every nondeterministic formula-clock automata can be transformed to a deterministic formula-clock automata which exactly accept the timed language identified by the fomer.We also extend timed words to infiniteness and define the formula-clock Buchi automata and the formula-clock Muller automata. At last, we show its application in formal verification and modeling of real-time system.

然后讨论了公式时钟自动机的确定性和非确定性，公式时钟自动机识别的语言类在并、交、补运算下的封闭性；并证明了确定的公式时钟自动机和非确定的公式时钟自动机表达能力的等价性，这意味这每一个非确定的公式时钟自动机都能转换为一个与之识别相同时间语言的确定的公式时钟自动机；我们将时间字扩展为无穷的，从而定义了公式时钟Buchi自动机与公式时钟Muller自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

A logical expression of the form a1︿a2︿…︿an where︿is the AND operation. A particular conjunction of interest is the conjunctive normal form of a Boolean expression involvingn variables x1, x2,…,xn.

一种逻辑表达式a1︿a2︿…︿an，其中︿是AND运算，一个特别重要的合取运算是涉及n个变量x1，x2，…，xn的布尔表达式的"合取范式"。

In chapter 6 and 7, having discussed the description method of the shape of bube-bent part and it's CSG data structure, a 3-D shape description method of using boolean operation by cyclinder and torus primitives is proposed.

第六章和第七章分别探讨了管材弯曲件三维描述方法及其CSG数据结构，提出了采用圆柱体素与圆环体素，通过适当布尔运算来描述其三维形状，并实施区间CSG扫描线和光线跟踪算法，在微机上实现了管材弯曲件三维浓淡图形的生成。

A logical operation combining the values of two bits (0, 1) or two Boolean values that returns anchored or remains stationary.

与 联系两数据位的值(0，1)或两个 Boolean 值的逻辑操作符。

Based on the entity intersection sorting algorithm, the function of semiautomatically generatingthe die assembly graphics parts graphics is realized; And the rectangular and circularwindows clipping and overlaying, the Boolean operation of 2D closed graphics and localenlarging tools is developed, producing an initial appraticable die CAD system.

按照工厂要求，开发的冲裁模CAD系统应当具备以下功能：具有良好的用户界面，实现在层SOLID上线型为CONTINOUS的IJNE，ARC，CIRCDe，toLYLINE组合图形实体中自动追踪出链式图形，求出包络矩形参数，进而实现模具系列零件参数化图形生成和自动尺寸标注，最后通过覆盖剪裁装配消隐生成模具装配图。

Complicated geological structure ; TIN technology ; Digital terrain model; Wire frame model ; Boolean operation

复杂地质构造； TIN技术；数字表面模型；线框模型；布尔运算

The solid modeling based on STL dare mesh instead of the one based on surface is created to increase morphological comparability. Topological relationship among polygons is reconstructed to modify and Boolean operation. Periodontal ligament, supporting bone and glass fibers are reasonably predigested and constructed in CAD system to reduce the amount of mesh. FEA meshes are generated through splitting method to improve quality of mesh.

本文以基于STL数据的网格实体建模代替传统的曲面实体建模，提高了模型的几何相似性；重建三角面片间的拓扑关系，便于了模型的更改及布尔运算；牙周组织与纤维的正向设计及其合理简化，降低了工作量，减少了网格数量；基于STL数据拆分法的有限元网格划分，提高了单元质量。

At last, in Ansys 9.0 software, by Boolean operation, different parts of the crown （ enamel, dentin and pulp cavity） were separated, and the 3D meshes were created respectively.

再将模型导入Geomagic7软件中进行精修和细化，形成有限元分析软件可识别的实体三维模型，最后，将牙体组织的三维实体模型在Ansys9.0软件中进行布尔运算，区分出釉质、牙本质及髓腔系统，并分别进行了网格划分。

A logical expression of the form a1︿a2︿…︿an where︿is the AND operation. A particular conjunction of interest is the conjunctive normal form of a Boolean expression involvingn variables x1, x2,…,xn.

一种逻辑表达式a1︿a2︿…︿an，其中︿是AND运算，一个特别重要的合取运算是涉及n个变量x1，x2，…，xn的布尔表达式的&合取范式&。

Although translator has turned from being a crystal ball by which the original culture can unrestrainedly penetrate to another crystal ball by which the target culture can freely traverse, the translator's personal embodiment, in the process of cognitive act, are still absent in translation studies. Translators are still subjects without body or simply disembodied subjects.

译者虽然由原语文化可以自由穿透的玻璃球变成了译语文化可以自由穿越的玻璃球，但译者认知过程中的个体体验在翻译研究中依然缺席，译者依然仅仅是一个没有躯体体验的主体。

Chillingly, he claimed our technology is 'not nearly as sophisticated' as theirs and "had they been hostile", he warned 'we would be been gone by now'.

令人毛骨悚然的，他声称我们的技术是'并不那么复杂，像他们一样，和"如果他们敌意"，他警告说，'我们将现在已经过去了。