元逻辑的

During the development of tools, it is evident that data flow diagram"tool is very necessary for rapidly carding the complex outer and inner data flow of function area, and for solving the problem of researching and analyzing the complex information flow toward the whole enterprise in deed, and for offering important basis and reference for building the information system"s logic model of entir enterprise.The paper especially designed and realized the visual tool of data flow based on Information Resource Planning system.In face visual tool is a strategic data-analysis tool and an important organic part of Information Resource Planning tools.It emphasizes wholly conformity with planning repository and brachylogy and practicality.

结合工具开发，认识到要迅速理清数据在企业各个职能领域之间和内部的复杂流动，要真正解决面向企业整体的复杂信息流调研和分析的问题，必须有数据流工具的支撑，为科学建立整个企业信息系统的逻辑层模型提供重要依据和参考，论文着重进行了基于信息资源规划体系的数据流可视工具的设计与实现，实质上是高层的数据分析工具和信息资源规划工具的有机组成，并且工具与规划元库充分整合，统一标准和规范，强调简明和实用。

The soundness and completeness theorem of this method were proved at last. 5. The a-automated reasoning method based on the a-resolution principle of LP was discussed, the author given a method to describe the set of simple generalized clauses (veriables and non-subregular 1 - IBSFs are only contained) by using a matrix, and translated the a-resolution of two clauses to column operations of this matrix.

最后，证明了该方法的可靠性和完备性； 5、对格值命题逻辑系统LP中基于α-归结原理的α-自动推理方法进行了研究，给出了用符号矩阵表示一类简单的广义子句集合(只含命题变元和非正则1-IESF广义文字)的方法，把α-归结原理转换成矩阵的列变换。

By analyzing transplant and reuse of data mining platform,an opening development platform for data mining was designed and set up,which was based on CWM and used PMML to describe data mining Model.

在对现有数据挖掘平台移植和复用等方面的需求分析的基础上，提出并建立了以公共数据元模型为基础，用预言模型标记语言描述挖掘模型的数据挖掘开放式开发平台，详细论述了该平台逻辑框架、组成模块的功能接口以及平台的执行过程等。

In the article, the dynamic logical diagram formulation and its mathematics description for the ESD framework are produced. In order to enhance its function of modeling and connection with the system structure, this paper proposes a strategy of hierarchical modeling, and unifies a new algorithm of ESD, which develop a sort of software of dynamic system visualization modeling and analysis based on the ESD.

文中对ESD的定义进行了完善，给出了ESD框架的动态逻辑图元表示形式及其数学描述，为提高其建模功能以及与系统结构关联的能力提出了层次化建模策略，并结合新的ESD算法开发了基于ESD的动态系统可视化建模与分析软件。

In logic and linguistics, a metalanguage is a language used to make statements about statements in another language which is called the object language.

在逻辑和语言学的元语言是一种语言，用来作陈述发言的另一语言被称为对象的语言。

In this dissertation, we mainly use character matrix to research cryptology characteristic of Boolean function and m-ary logic function.Firstly, by using properties of character matrix's row and column we get an equivalence condition of bent function. Then we have an entirely construct method of 4 variable bent function.

本文利用特征矩阵研究了密码学中逻辑函数的相关问题，主要做的工作有：首先，根据Bent函数的自相关特征，利用特征矩阵给出了Bent函数的一个新的等价判别条件，并由此得到了4元Bent函数的一个完全构造方法。

A multidirectional morphological filtering algorithm is proposed by use of the characteristics of morphology's multisolution analysis and fastly-computing.

充分利用形态学的不同结构元多方向形态滤波的多分辨率特性，以及形态学运算固有的能将大量的复杂图像处理运算转换为基本的逻辑与移位运算的组合来完成的特点，提出了一种多方向的形态滤波算法。

Logical variables are not limited to single-letter identifier, which can be arbitrarily long alphanumeric string.

逻辑变元的标识符不限于单字母，而可以是任意长的字母数字串。

For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether

年美国个人破产法的一个改动使得破产登记急速下降，而后引起了信用卡大规模的亏损。

Eph. 4:23 And that you be renewed in the spirit of your mind

弗四23 而在你们心思的灵里得以更新