...士学位论文 第二章描述逻辑 第二章描述逻辑 本体可以被实现成不同类型的语言【28】：既可以是严格形式化的（rigorously formal）， 也可以是半形式化（semi．formal）或半非形式化的（semi-informal），甚至是高度非形式化 （highly informal）的语言。
基于22个网页-相关网页
正如我所说，在古典芭蕾中，情感是通过一套严格形式化的动作来传递的。
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.
应用推荐