逻辑化

This thesis explores ethics of school administration from the structure features and logical changes of school administration methods.

本文正是从分析学校管理方式的结构特征和逻辑变革入手，探讨学校管理方式伦理化的问题。

First, binary texture matrixes of horizontal and vertical direction were constructed in the template and target image, and then the prime matching result of the two directions was calculated according to the Alogical XOR logical operation in bytes and the final target correlation credibility was obtained by proportion sum at last.

在模板与目标图像中分别提取水平、垂直方向上的二值化纹理特征矩阵，然后根据字节同或逻辑运算分别计算两个方向上的最佳匹配值，最后，通过加权求和得到最终的目标相关置信度。

And apologue,thay said the best edition is Andersen's Fairy Tales,the prince and the princess Living a happy life henceforth.

是预言还是选择，我的逻辑没有那么数学化，介入你的视线，不介入你的选择。

That is, in terms of lexicon, lots of archaism, words of French and Latin origins, various technical terms and official words are used in the English legislative language; while in terms of syntax, the legislative provisions have to follow fixed logic order and lots of complex prepositional phrases, nominalization, binomial and multinomial expressions cluster in the legislative sentence.

那就是，在词汇方面，大量的古体词，具有法语和拉丁语渊源的词，术语以及正式词语大量出现在英语立法语言中；在句法方面，为了强调并保证法律的严明以及公正，立法条文都必须遵从一定的逻辑顺序行文，并且，大量的复杂介词结构，名词化形式，双名词以及多名词表现形式大量聚集在立法条文中。

As a mathematician, Russell is critical of arithmetization of mathematics theory underlying the basic of mathematics.

认为罗素形成数学逻辑主义思想的历史背景在于他对数学基础建立在数学理论的"算术化"的不满。

We present a complete axiomatization of ADL and discuss its application to knowledge representation in multicriteria decision analysis and social network analysis.

我们提出一种矢决策逻辑的公设化系统，证明其完备性，并展现其在多准则决策分析与社交网路分析上的应用。

An interesting application of set cover is Boolean logic minimization.

一个有趣的应用是建立覆盖布尔逻辑最小化。

From a contemporary logic point of view, Aristotelian assertorical syllogism can be reduced to first figure of categorical syllogism.

在现代逻辑看来，亚里士多德实然三段论都可以化归为第一格AAA式。

A systematic method using the Karnaugh map to simplify multi-output combinational logic functions is introduced.

针对多输出逻辑函数，建立了一种规范化的共卡诺图化简法。

By comparing these two methods, a feasible, integrated and modularized solution to ICS/IBS computative problems is presented, and both the funtion of its modules and their logical relationship are programed and designed minutely.

通过对这两种计算路线的比较，给出了可行的模块化智能土木结构智能计算方案，并对方案中各模块的功能及相互间的逻辑关系进行了详细规划和设计。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。