OVL

  • OVL
  • n.

    覆盖文件的扩展名;

纠错 数据更新时间:2024-12-23 00:06:08
1、

Improving on OVL assertions and CTL properties, three kinds of properties are defined and verified, and the experimental results demonstrate the scheme improves the verification efficiency and scale.

通过对OVL语言和CTL描述进行改进,针对模拟验证、CDFG图匹配、模型检测3种方法设计相应的性质,实验结果表明这种分治验证策略有助于提高系统验证的效率和规模。

互联网摘选

2、

The final step to get everything playing together is to leverage a bit of JavaScript to invoke the two Groovlets and accordingly update the Google Map residing on the page.

获得成功的最后一步是利用一些JavaScript来调用两个Groovlets并相应地更新页面中的Google地图。

互联网摘选

3、

Application of nonlinear dynamic inverse control law in lateral control for ASTOVL lift-fan aircraft control.

非线性动态逆控制律在ASTOVL升力风扇飞机侧向控制中的应用.

互联网摘选

  • 今日热词
  • 热门搜索

简答网英语词典(dict.jiandongshicai.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈