演算

And the grammar study calculus at the same time, there are mathematical logic in the form of the semantic language study.

与演算的语法研究的同时，还有数理逻辑的形式语言的语义研究。

Calculus of the mathematical logic of the grammar part.

演算的研究组成了数理逻辑的语法部分。

In the calculus of proof the concept of forming a more in-depth study of mathematical logic of an independent branch.

在演算中证明的概念的更深入研究形成了数理逻辑的一个独立分支。

Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.

谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。

The patent-based design process developed in this research can be divided into four major stages:(1) patent analysis;(2) design matrix representation;(3) design around algorithm and (4) TRIZ.

本研究提出之创新设计方法论可分为四个阶段，分别为(1)专利分析、(2)以设计矩阵方式表达专利资讯、(3)专利回避设计演算法与(4)创新问题解决理论。

From the starting value selection method in the Fuzzy ISODATA algorithm, used the method of maximal matrix element to ascertain the number of classification, the theoretical analysis of repeated test, and finally, the improved fuzzy ISODATA algorithm is obtained. The algorithm reduced sensitivity to the starting value. The algorithm can highly effective clustering analyze and obtains a stable result, so it presents an efficient way of improving the contribution value of custom service.

研究中先对模糊ISODATA聚类演算法中，初始划分矩阵和分类数的确定，并使用最大矩阵元素法，求得最佳化演算法中其他参数值，最后在CRM系统实际验证和分析中，采用本研究改良之模糊ISODATA聚类演算法，对汽车销售公司实施客户模组分类，经实验证明所得到的聚类结果，可有效解决一般聚类方法受限於参数设定敏感度的困扰，并使聚类精确度提高，有效排除杂讯敏感的影响，使聚类效果大幅提升，可帮助行销人员做出预测，制订出针对客户差异化的行销策略，提高客户服务的贡献价值。

In the modern period, independent discoveries relating to calculus were being made in early 17th century Japan , by mathematicians such as Seki Kowa , who expanded upon the method of exhaustion .

在现代时期，独立发现有关演算正在作出在17世纪初的日本，由数学家如关兴，谁扩大的方法用尽。

The procedure is based on the concept that the critical load of a frame without sidesway is the same as the smallest value among these critical loads of the compression members of the frame with partially restrained ends, and the critical load of every compression member may be determined by the method of successive approximation.

将组成刚架的各桿件视为两端受不同约束的桿件，用静力学的方法求出此等桿件相应的临界荷重，其中最小值即为刚架的临界荷重，举有实例以示演算程序。

As for RESC, the congruence CG as a primitive spatial relation is added and two new functions acting on region, Region Extension and Region Shrinking are introduced, consequently a formalized metrization method that takes region as a basic unit is put forward.

RESC增加了一个全等CG的原始空间关系，引入了两个新颖的对区域的演算函数，即区域延伸和区域收缩，从而给出了一种以区域为单位的形式化的度量方法。

With the quick development of the power network construction.more and higher utility demand for Power Dispatching Automation System has been brought forward At the same time,with the development of the integrated production technology of computer processor,the calculation ability and hardware configuring of minicom and microcomputer is increasing,while the price of minicom is decreasing continually and microcomputer transcends minicom on image processing technology.

以力量网络construction.more的快的发展和对力量的更高的公共需求派遣自动化系统同时带来了，以计算机处理器联合生产技术的发展，演算能力和硬件配置minicom和微型计算机增加，而minicom的价格连续地是越来越少的，并且微型计算机在图象处理的技术超越minicom。

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.

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