正如我所说，在古典芭蕾中，情感是通过一套严格形式化的动作来传递的。
As I said, in classical ballet, emotions are conveyed through a set of strictly formalized movements.
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
Strand Space Model (SSM) is a practical, intuitive and strict formal method for security protocol analysis.
事实证明，串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
In facts SSM is a practical, intuitive and strict formal method for security protocol analysis.
严格建模是嵌入式实时系统设计的核心技术，通过UML方法与形式化方法结合可以给严格建模提供很好的工具支持。
Rigorous Modeling is a core technology in embedded realtime system design and the combination of UML and formal methods would provide a better tool support to it.
而形式化逻辑分析方法可以在协议实施之前就用严格可靠的方法对其进行分析验证，是一个最有前途的研究方法。
But the formal logic analysis system can validate it in a credible and strict way before protocol was applied, it is one of the most promising way for protocol checking.
此外，这些模型还存在一个共同的缺点，缺乏严格的形式化定义，很难支持对学习过程的正确性的分析与验证。
In addition, these models still exist a common weakness, that these models lack strict formal definitions. So it is difficult to support the analysis and validity on correctness of process.
利用形式化规格说明语言——B语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能。
The paper models software requirement in the form of formalized specification language b, develops software based on a precise mathematical framework in order to achieve better software performance.
在形式化方法下，经典逻辑通过严格概念推演表达正确推理形式的直观概念。
Under the formal method, the notion of deduction in the classical logics captures the intuitively correct forms of reasoning.
串空间模型吸收了前人的研究成果，是分析安全协议的一种实用、直观和严格的形式化方法。
Having fully absorbed the former researching results, strand space model become a practical, intuitive and strict method for security protocols analysis.
协议工程用形式化的方法描述在协议严格的设计和维护中的各个活动。
Protocol engineering uses a formal method to describe all the activities during strict protocol design and maintenance.
从程序性保障规则的违反是否对自白的排除有绝对效力看，形式化查证又有严格查证与一般查证之分。
Protection rules from the procedural violation is the exclusion of the confession of the absolute effect of view, there are strict verification and formal verification.
从程序性保障规则的违反是否对自白的排除有绝对效力看，形式化查证又有严格查证与一般查证之分。
Protection rules from the procedural violation is the exclusion of the confession of the absolute effect of view, there are strict verification and formal verification.
应用推荐