- 双语例句 更多例句
1、
通过对OVL语言和CTL描述进行改进，针对模拟验证、CDFG图匹配、模型检测3种方法设计相应的性质，实验结果表明这种分治验证策略有助于提高系统验证的效率和规模。
互联网摘选
2、
获得成功的最后一步是利用一些JavaScript来调用两个Groovlets并相应地更新页面中的Google地图。
互联网摘选
3、
非线性动态逆控制律在ASTOVL升力风扇飞机侧向控制中的应用.
互联网摘选
- 今日热词
- 热门搜索
- participate v.参与，参加;
- polite adj.有礼貌的;应酬的;上流的;儒雅的;客套的;礼节性的;
- mountainous adj.多山的;巨大的;山一般的;
- reet adj.美满的；美好的（right的方言形式）瑞特；比利时；迈出一步
- Song n.歌曲;歌唱（艺术）;诗歌，韵文;鸟叫声，鸟语;
- Love Actually [英国影片]真爱至上;
- so-so adj.一般的；普通的；中等的；不好也不差的;
- so that 以便;因此;
- company n. 公司，商号;作伴，伴侣，客人;连队，中队;（社交）集会，聚会;v. 陪伴;交往，结交
- hust n.华中科技大学(Huazhong University of Science and Technology)；华中科大(HUAZHONG UNIV SCI TECHNOL)；武汉华中科技大学
- betray v.出卖，辜负;背叛;流露出;
- mat n.席子，垫子;（体育运动用的）厚垫子;衬边;团，簇;
