• 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)业务实现过程中的关键技术

    youdao

  • 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)、智能网业务逻辑验证理论方法等进行了研究

    youdao

  • 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理论意义价值以及对它思想方法进一步了解和认识,结合汉语自身的特点和汉语的研究所取得的成果,为汉语形式化问题做出一些有益的思考

    youdao

  • 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

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

    youdao

  • 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

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

    youdao

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定