...士学位论文 第二章描述逻辑 第二章描述逻辑 本体可以被实现成不同类型的语言【28】：既可以是严格形式化的（rigorously formal）， 也可以是半形式化（semi．formal）或半非形式化的（semi-informal），甚至是高度非形式化 （highly informal）的语言。
基于22个网页-相关网页
Despite formal guidelines for the use of epinephrine in neonatal resuscitation, the evidence for these recommendations has not yet been rigorously scrutinised.
尽管正式指南推荐肾上腺素用于新生儿复苏，然而这些推荐的证据未经严格检验。
Formal methods for protocol analysis ware put forward based on changing the security problem into a mathematical problem, which we can rigorously prove it instead of judging by intuition.
安全协议形式化分析技术的提出，将协议的安全性问题转化为数学问题，采用数学证明的手段来代替直觉的判定，近年来已逐步被公认为解决安全问题的合理方案。
应用推荐