- 双语例句 更多例句
1、
At last, the application of Property patterns of LTL formulas was given in SPIN tool.
最后介绍了线性时态逻辑特性模式在SPIN中的应用.
互联网摘选
2、
It is divided into two ways of string arrow lead SAL and lateral triangulation lead ( LTL ).
精密导线法分为边角导线法和弦矢导线法,是监测水库拱坝水平位移的重要方法.
互联网摘选
3、
4、
本文简要地阐述了柔性照明装置的特点以及在工程中的应用情况.
互联网摘选
- 今日热词
- 热门搜索
- you belong with me 你是我的；你属于我；你应该和我在一起
- alpha n.阿尔法;希腊字母的第一个字母;
- diary n.日记，日志;日记簿;
- local adj.本地的，地方的;局部的;n.本地人;（常去的）邻近小酒馆;（工会）地方分会;（沿线每站都停的）公共汽车，火车;
- damnify vt.损伤，损失，损害;
- Bibi abbr.byebye 再见;n.【女名】女子名
- couple n.两个;夫妻;一对儿;几个;v.加上;结合;
- handkerchief n.手帕;方巾，围巾;
- chemist n.药店;药剂师;化学家;
- reference n. 参考;参考书;提及，涉及;证明人，介绍人;v. 引用;参照;
- risk n.风险，危险;隐患;v.冒风险;冒险做;
- give it to me 把它给我;宝拉;多顺;舞蹈教学;完整版;
