基本运算

It includes the definition of two basic operations, logical functions expansion and matrix formulation in OR-Coincidence algebra system, and the introduction of map expression--dj map, the complete research of the relations among CRM expansion^ maxteim expansion and RM expansion, iiamely tie relations among dj map, K-map and bj map, also includes the minimization of CRM expansion in fixed and mixed polarities-Meanwhile this dissertation points out the form and properties of basic symmetric function, simple symmetric function and basic CRM symmetric function in OR-Coincidence algebra system, discusses the relations and transform methods among the coefficients of the three kinds of symmetric functions.

包括连和与加合两种基本运算的定义，逻辑函数在或、符合代数系统里的展开式及矩阵表示式，展开式图形表示--d_i图的引入，对CRM展开式和最大项展开式、RM展开式，d_i图和K图、b_i图之间的关系及转换方法进行了较为全面的研究，以及CRM展开式在固定极性和混合极性下的最小化问题。

Moreover, this article has also realized some fundamental operations in RSA signature algorithm, provided the module and the connection for the RSA signature algorithm realization.

另外，本文还实现了RSA签名算法中的一些基本运算，为RSA签名算法的实现提供了模块与接口。

It introduces the basic knowledge and ideas of mathematical logic and classic set theory, including proposition logic and predicate logic, reasoning calculus and theorem proving methods, basic operations and properties of sets and relations, functions of any sets and their properties, the cardinals of infinite sets, and the applications of knowledge and ideas above in computer sciences.

本课程系统介绍数理逻辑与朴素集合论的基础知识，包括：命题逻辑和谓词逻辑、定理的推理演算和机器证明方法，集合和二元关系的基本运算和性质、任意集合中的函数及其性质，无穷集合的基数，以及上述知识在计算机科学中的应用。

MATLAB,"Matrix lab," It was based on the matrix of the basic computing unit.

MATLAB，即"矩阵实验室"，它是以矩阵为基本运算单元。

MATLAB,"Matrix lab," It was bassed on the matrix of the basic computing unit.

MATLAB，即"矩阵实验室"，它是以矩阵为基本运算单元。

The symmetric difference of the sets is one of the basic operation of the sets, and it plaies an important role in measure theory and its applications.

集合的对称差是集合的基本运算之一，它在测度论及其应用中扮演着一个重要的角色。

Therefore, numerical analysis has been duly noted and come up with a variety of numerical integration, numerical differentiation, as well as the numerical solution of differential equations, the calculation of the volume comes down to basic computing, which laid the foundation of modern computer based on the numerical algorithm.

于是，数值分析受到了重视，研究出各种数值积分，数值微分，以及微分方程数值解法，把计算过程归结为巨量的基本运算，从而奠定了现代计算机的数值算法基础。

Own calculator, it functions passably divided into three parts : an input data type conversion; 2, the conventional ...

自己做的计算器，功能还算过得去吧，分为三大部分：1、输入数据类型转换；2、常规基本运算；3、进制转换。

Own calculator, it functions passably divided into three parts : an input data type conversion; 2, the conventional basic arithmetic; 3, the base for the conversion.

自己做的计算器，功能还算过得去吧，分为三大部分：1、输入数据类型转换；2、常规基本运算；3、进制转换。

In this paper,pose representation by quaternions are researched.With the basic quaternion algebra,the "quaternion based rotations combination theorem" is introduced and proved theoretically.On the basis of this theorem,a method for compute of pose nonliear state transfer function and its linearization is purposed.Then,the computing of the measurement function and the linearization is studied.With the Extended Kalman Filter,the pose is tracked and estimated.

研究用四元数表示物体的姿态，在四元数基本运算法则基础上提出并证明了"基于四元数的多个旋转运动合成规则"，然后将此规则为依据，推导出一种用来计算姿态非线性状态方程系数的方法，对非线性状态转移函数进行线性化，并且研究了测量方程函数的确定及线性化，借助扩展Kalman滤波实现了对姿态的跟踪。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。