英汉例句

• And, the expanded RBAC model-ERBAC model and the formal description are given.

  给出了扩展的RBAC模型—ERBAC模型，并给出了其形式化描述。

• With the formal description of the adaptor generating process, we can automatically generate the adaptor.

  通过适配器生成过程的形式化描述可以自动生成该适配器。

• This paper gives the formal description of the two-party protocol, and discusses the security, authenticability and verifiability for two-praty protocols.

  论文首先给出协议的形式化描述，然后讨论了协议的安全性、可鑒别性和可验证性。

• At last, the author USES an example to show that using the formal description of UML state machine semantics can justify the important properties of those systems described by UML.

  最后，作者通过一个实例说明UML状态机语义的形式化描述可以证明那些用uml描述的系统的一些重要属性是正确的。

• By setting up a hierarchical mechanism motion model for conceptual design through the formal description of function symbol we provide a solid support to the computer aided conceptual motion design.

  通过功能符号形式化描述建立分层次的机构概念运动模型，实现对计算机辅助概念运动设计的支持。

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