- 双语例句 更多例句
1、
2、
本文提出了一种新的简单的迹语义，用于刻画协议部分安全性质，即只针对协议规约的单个主体，此技术支持协议设计者对安全性质进行形式化规约。
互联网摘选
3、
- 相关词组
- return trace回描，归迹，回程;回迹;
- Without a Trace[电影]神不知鬼不觉;
- trace back回忆;溯;
- mixture of trace metals微量金属合剂
- trace out勾画出轮廓;提出;寻踪觅迹;
- trace function迹函数;
- ground trace地面轨迹
- hardware trace mode硬件追踪方式
- trace source跟踪源
- blurred trace模糊痕迹
- trace back to追溯到…;
- master trace主跟踪程序
- horizon trace像地平线
- anodal trace离节迹
- meandering trace蛇曲形遗迹
- graphoglyptid trace雕画迹
- generative semantics生成语义学
- dynamic semantics[计]动态语义学;
- trace to找出…的所在， 追踪到…;
- trace constituent痕量构分;
- 今日热词
- 热门搜索
- aurora n.晨曦;朝霞;北极光;极光;曙光;曙光女神;女子名
- opening n.开幕，开始;空缺的职位;[商]开盘，交易开始时间;（职位的）空缺;adj.首次的，开始的;
- guidance n.指导;导航;
- netflix n.网飞;网飞公司;奈飞;全球十大视频网站中唯一收费站点;
- merely adv.只不过;仅仅;
- begin v.开始，以…开头;启动，创办;起初是;开始说;
- across prep.穿过;横穿，横过;与…交叉;在…对面;adv.横过，越过;在对面;交叉;斜对面;
- gram n.绿豆;鹰嘴豆;绿豆种子;克;
- ordinary adj.普通的;平庸的;一般的;平凡的;平常的;平淡无奇的n.法官;普通股;宗教法官;普通事
- unconditional adj.无条件的，绝对的;无限制的;无保留的;
- windows to go 带着走
- building n.建筑物;楼房;房屋;建筑（艺术或行业）;v.build的现在分词;
