查询词典 logical operations

In this paper,within the complete lattice framework, employed fuzzy logical operations and adjunction, fuzzy morphological operations have been proposed. The properties of these operations are discussed deeply.

本文在完备格的框架下，利用模糊逻辑运算及其伴随，给出模糊数学形态学运算的定义，并深入讨论了这些运算的性质。

At the machine level, the processing involves performing arithmetic and logical operations on data value.

在机器程度中，过程牵涉执行算数和逻辑的运算。

The arithmetic logic unit or ALU performs most arithmetic and logical operations, such as adding or ADDing values.

算术逻辑单元执行大部分的算术逻辑运算，如加法、逻辑与等运算。

Arithmetic and logic unit which performs arithmetic, logical, and shift operations to produce results.

算术逻辑单元，执行算术运算，逻辑运算和移位操作并生成结果； 3。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

The logical operations require the operators of set algebra: equal to, greater than, and less than, and combinations thereof

逻辑运算需要代数运算者：相同的比较，和比较少的比较，和组合关於

They showed that given a carefully chosen chaotic logic element, different logical operations can be performed simply by varying the threshold value.

他们指出，给予一个仔细选择的混沌逻辑元，不同的逻辑操作（如"AND"，"OR"等等）通过改变域值可以简单地完成运算。

Along the research line opened by David Bohm, this article reveals that thought is the adjustment of mind by nature and society, whose operations take the logical form opposite of metaphysics, and the underlying free mind aims at to seek satisfaction according to the principle of pleasure, whoseoperations take metaphysical, imaginational and non-logical form.

洪定国 本文遵循戴维·玻姆所开拓的研究路线，揭示思想是心灵被自然与社会的调制，采取形下的逻辑运作形式；深层的自由心灵按愉悦原则以追求满足与和谐为目的，采取形上的、想象的非逻辑运作形式。

The proof of logical propositions consists in the following process: we produce them out of other logical propositions by successively applying certain operations that always generate further tautologies out of the initial ones.

而且，事实上从一个重言式只能得出重言式来。

PixTwix is an image processing ActiveX control featuring: advanced selection routines including irregular and non-contiguous selection regions, local and global magic wand selection, unlimited file based undo capabilities, both loss-less and lossy rotation routines, color channel manipulation functions such as mixing, adding, and multiplying, red eye effect removal by color clamping, unlimited number of user defined 3x3 convolution filters, image encryption and decryption, file checksum calculator, color count and histogram functions, blurring, sharpening, softening, edge enhancement, drop shadow, border and frame effects, range of low pass and high pass filters, logical operations on pixels, clipboard support, masking, skewing, range of color replacement functions, reversing, flipping and reflecting, blending, colorizing, tinting, grayscale conversion with user defined channel weights, texture filling, adjustment of brightness, contrast, saturation, dithered black and white images with user defined bias, embossing in different directions, antialiasing, zooming, tile, spray, mosaic and many other special effects and filters.

pixtwix是一个图像处理ActiveX控制项主题：高级遴选例程，包括非正规和非连续选择地区，当地和全球的魔术棒选择，无限的文件为基础的复原能力，无论是亏损少耗和旋转例程，颜色频道操控功能，如混合，加入，再乘以，红眼效应去除颜色夹紧，无限数量的用户定义的3x3卷积过滤器，图像加密和解密，文件的校验和计算器，彩色计数和直方图功能，模糊，锐化，软化，边缘增强，下拉阴影，边界和框架的影响，一系列的低通和高通滤波器，逻辑运算对像素，剪贴板支持，掩蔽，拉动了，各种颜色的更换功能，扭转，翻转和反映，共混， colorizing ，调色，灰阶转换与用户定义的频道权重，纹理填充，调整亮度，对比度，饱和度，抖动黑白影像与用户定义的偏见，压花，在不同的方向，抗锯齿，缩放，瓷砖，喷雾，马赛克和其他许多特殊效果和过滤器。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。