布尔运算

In this paper, the structure and behavior of a Petri net are symbolically modeled by using Boolean algebra.

用布尔代数对Petri网的结构和行为进行描述，用BDD实现布尔代数运算。

An operation that follows the rules of boolean algebra; each operand and the result take one of two values.

遵循布尔代数规则的一种运算；操作数和结果只能取两个值中某一个的运算。

In part one (chapter 2-3), two new methods and systems of optical parallel logic operation are studied. Triple-in Double-out shadow-casting logic operation system is proposed and realized for the first time. Based on this, optical full adder and 3-bit decoder array logic have been obtained. It is the first time to use coding pattern and different reading-writing model to realize BSO-PROM optical parallel logic operation where the time-order operation is avoided, so that the computing speed of optical parallel logic gate which uses this kind of spatial light modulator is increased, and it is successfully used in optical symbolic substitution .

在第一部分，对两种新的并行光学布尔逻辑运算方法及系统进行了研究：首次提出并实现了三输入、双输出铸影光学逻辑运算系统及其由此得到的光学全加器，并提出一种以此为基础的3-比特译码器阵列逻辑，首次利用图形编码和不同的读写模式实现了无时序操作的BSO-PROM光并行逻辑运算，大大提高了这种空间光调制器用作光并行逻辑门的运算速度，使之成功地用于光学符号代换之中。

Bull-calculation was used in combined spherical unit and other kind of unit applied in this study, to create a partially ablated model.

构图中多次调用了球面单元，和其他的单元进行布尔运算，加合得到不完全切透的模型。

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数据拆分法的有限元网格划分，提高了单元质量。

Finally this paper achieves a new method about Modeling and simulation of the liquid cargo tank. 3 The calculation of tank capacity based on UG/CAD modeling is studied in this paper . The calculation datum point is gotten by interposition of ship hull at first. Then many datum plane that go through different sounding and heel is created . The cad modeling of oil is created by the bool of the datum plane and the cad modeling of tank.

在使用UG建立准确的计量舱满舱CAD模型的基础上，采用插值得到计量舱计量基准，根据不同测深和不同纵倾值，建立一系列计量液位面，计量舱满舱CAD模型和计量液位面布尔运算后得到实际油液的CAD模型，通过计算油液CAD模型的体积，实现对计量舱容积的计量。

According to the requirement of die designing, the die parting face and the gutter is designed. By Boolean calculation, the blocker, finisher , cut-off die and stripper are generated.

根据锻模设计要求，设计了分模面、毛边槽，通过布尔运算，生成了预锻模、终锻模、切边模实体和卸料板。

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软件中进行布尔运算，区分出釉质、牙本质及髓腔系统，并分别进行了网格划分。

George Boole develops a system of mathematics called Boolean algebra, which uses binary operations.

乔治。布尔开发采用二进位制运算的数学体系，称为布尔代数学。

The modeling of the rolling forging dies is different from that of the other numerical simulation. It belongs to the typically free form face modeling.lt easy give birth to unparameters in modeling, which makes boole operation fail. So we model the rolling forging dies with power-function UG and bring forward the ideal modeling methods.

前轴辊锻模的建模不同与其它数值模拟建模，它属于典型复杂曲面建模，在建模过程中常常出现非参数化的情况，导致布尔运算失败，针对这种问题采用功能强大的UG进行参数化建模，提出了理想的建模手段。

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。