Theory and formal methods的意思|示意

The formal description techniques for intelligent network (IN) service and the theory and methods in IN's service verification are the key technologies in IN's realization.

智能网业务的形式化描述技术和业务验证的理论与方法是目前智能网（IN）业务实现过程中的关键技术。

Based on the ITU-T Intelligent Network CS Recommendation, the paper studies the formal description techniques (FDT) for in service and the theory and methods in in's service verification.

本文依据国际电信联合委员会(itu - T)的智能网能力集建议，对智能网业务的形式化描述技术(FDT)、智能网业务逻辑验证的理论与方法等进行了研究。

In the last, based on the meaning and value of MG theory, and based on the further understand about the ideas and methods, we can make some useful thoughts about Chinese formal problems.

最后基于MG理论的意义和价值，以及对它思想和方法的进一步了解和认识，结合汉语自身的特点和汉语的研究所取得的成果，为汉语形式化问题做出一些有益的思考。

In addition, we propose theory of knowledge reduction based on consistent decision formal context and give the judgement theorems and discernibility matrices, from which methods of attribute …

进一步给出了属性约简的判定定理和相应的可辩识属性矩阵，从而为概念格中协调决策形式背景属性约简提供了一种具体的方法。