查询词典 boolean algebra

Based on the proposed data structure for merging, the Boolean operation for modeling in our system is studied deeply with four kinds of operation-union, difference, intersection and glueing given.

根据提出的形体合成的数据结构，本文对造型中的集合运算进行了深入的研究，给出了与新数据结构相结合的并、差、交及粘合四种运算。

The gunports were made with boolean substraction operation.

炮眼的制作应用了布尔运算。

The characteristics of several algorithms of automatic support generation and an algorithm of automatic support generation of FDM based on polygon Boolean operation have been presented.

简述了几种FDM支撑自动生成算法的特点，提出了一种基于多边形布尔运算的FDM支撑生成算法，并构建了一种密集与疏松相复合的支撑路径规划方法。

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曲面造型系统中，运用此有向性分类原则，实现了二维轮廓线的自动生成和曲面间的布尔运算。

This technique transforms the minimum leakage pattern generation problem into a pseudo Boolean optimization problem.

本文提出最小漏电流向量产生器以及可测试性技术设计，用来降低在移位模式下的静态测试功率。

In chapter 4, an optimization Boolean operator of triangular mesh and the algorithm of adding point-swapping edge locally are put forward. With boundary traced by adding midpoint, the triangulation of 2D arbitrary domain is realized. The fast searching method which combines the index rectangle with compass based normal vector is designed to speed the triangulation algorithm.

第四章提出了一种优化的三角网格布尔运算和逐点加入—局部换边法，用中点加点法恢复边界，实现了二维任意域Delaunay三角化算法，用索引矩形和基于法矢的指南针法相结合的快速查询法有效地提高了三角化算法的速度，给出了二维任意域三角网格剖分的实例。

A default theory is equivalent to a set of Boolean ring equations.

一个缺省理论等价于一个布尔环方程组。

This paper studies default logic using Boolean ring rewriting system.

利用重写系统研究缺省逻辑姜云飞（吉林大学计算机科学系长春130023）摘要本文在布尔环重写系统中研究了缺省逻辑。

Firstly, The paper introduce two filtering model --Boolean model and Vector Space model.

本文在略述了信息过滤技术的产生背景后，介绍了两种比较常用的信息过滤模型--布尔逻辑模型和向量空间模型。

The three classic models in information retrieval are called Boolean, vector, and probabilistic.

信息检索的三个经典模型分别是：布尔模型、向量模型和概率模型。

The statistical analysis of this large set of mutations has led us to propose a diagnostic strategy that should help with the molecular work-up of optic neuropathies.

这一大系列基因突变的统计学分析引导我们提出一个诊断策略，可以帮助我们对视神经病变进行分子学的诊断检查。

The results show that the pipe grouting changes the mechanical parameters of surrounding rocks to achieve the security of engineering objectives by reinforcing surrounding rocks and bolcking the water.

研究表明：小导管注浆一方面改变了围岩的力学参数，另一方面利用浆液的固结特性可以实现堵水和加固围岩的工程目标，使隧道在开挖过程中的安全得到保障。