透明性：前置和后置条件代码不与业务逻辑混合。
Transparency: The pre - and post-condition code isn't mixed with business logic.
在本例中，只要是我指定了OVal约束条件的地方，在OVal代码中定义的逻辑就会编入我的代码，进而充当起前置条件和后置条件。
In this case, everywhere I specify an OVal constraint, the logic defined in OVal code will be weaved into my code, thus acting like preconditions and postconditions.
基于模糊逻辑理论，本文提出了一种水下航行器模糊前置点线导导引律。
Based on fuzzy logic, a fuzzy intercept wire-guided guidance law of the underwater vehicle is proposed in this paper.
应用推荐