abstract formal model

 
       
  • [计] 抽象形式模型

abstract formal model的用法和样例:

例句

  1. Syntactics is a subject to study abstract formal connexion among the signs.
    符号学是研究符号之间的抽象形式联系的学科。
  2. Finally, the author proposes a formal model of discourse construal from a generative holistic perspective.
    最后,文章提出了一个语篇整体性识解的形式模型。
  3. The definitions of 3A (Any time, Any place and Any device) utilization mode are presented and a formal model of user and service grid system (USG) is built using ASM.
    给出了用户3A (Anytime, Anyplace and on Anydevice)使用模式的定义,利用抽象状态机(ASM)理论对用户和服务网格系统进行形式化建模,并证明了服务网格3A使用模式定理。
  4. ESTELLE LOTOS SDL UML and MSC are introduced. After analyzed SDL system structure communication mechanism and data type, we use SDL toolkit Telelogic Tau to develop our formal model.
    然后本文采用SDL规范,利用Telelogic Tau软件对传输协议进行形式化开发,包括协议形式化描述、仿真、和验证。

abstract formal model的相关资料:

临近单词

目录
应用 附录 查词历史
    今日热词