This paper uses the Objective Caml language, and automatically translates the description of process algebra for Security protocols into relative logic programs.

  • 本文基于Objective Caml语言,实现了安全协议进程代数描述到安全协议逻辑程序的自动转化。
  • 来源:互联网摘选更新时间:2025-01-20 17:22:10

  • 重点词汇
  • translatesv.翻译;被翻译;译;被译成;(使)转变,变为;解释;转化;
  • descriptionn.描述,说明;种类,性质;
  • securityn.保护措施;保卫部门;担保;安全;防卫;抵押品;证券;
  • objectiveadj.客观的;基于事实的;宾格的;
  • forconj.因为,由于;
  • programsn.程序( program的名词复数 );编码指令;[生物学](作为生物的一部分的)密码指令序列;节目单;
  • papern.纸;报纸;材料;壁纸;论文;试卷;文件;
  • andconj. 和,与;而且;于是,然后;因此;
  • CAML[医]钙离子信号调节亲环素配体;
  • languagen.语言(表达);术语;粗话;语言风格;交流方式;
  • automaticallyadv.自动地;机械地;无意识地;
  • 相关例句
2、

This paper proposed a CAMR heuristic for the collection-aware scheduling problem. It lowered the whole responding time through transmitting input data and receiving result alternately.

本文提出了一个基于多次通信策略的算法,称为CAMR算法,它通过交替地传输输入数据和接收处理结果,更好地重叠计算和通信而降低整个应用的响应时间。

互联网摘选

3、

Based on the CAMR model, two kinds of method are used in grid computation with different purposes, by time decomposition and by space decomposition.

根据临界加速地震矩释放模型的基本原理,根据研究目的的不同,采取两种不同的方式进行基于网格的并行处理,即按时间分解和按空间分解。

互联网摘选

4、

And the time decomposition method would be taken to test the CAMR model based on the selected seismicity in certain time interval.

如果要根据某地区历史上特定时间段的地震活动情况来检验地震加速破裂模型,则可以采用时间分解的方式。

互联网摘选

5、

The CAM templates are compiled using the CAM Studio Editor before you use them with the application run-time CAMV engine.

先使用CAM Studio编辑器编译CAM模板,然后是使用应用程序运行时CAMV引擎。

互联网摘选

6、

Diagnosis and Genetic Analysis of Resistance to Cauliflower Mosaic Virus in Brassica Crops Which Was Transformed with CaMV Gene VI

转化CaMV基因Ⅵ芸薹属蔬菜植株抗病性鉴定及其遗传分析

互联网摘选

7、

Expression of CaMV 35S Promoter in Transgenic Cotton

花椰菜花叶病毒(CaMV)35S启动子在转基因棉花中的表达

互联网摘选

8、

The use of open source greatly facilitated collaboration on developing the solution and integrating the CAMV engine into the deployment environment.

开源的使用极大促进了开发解决方案与将CAMV引擎集成到部署环境的融合。

互联网摘选

9、

The Genetic Transformation and Genetically Engineered Cross Protection of CaMV Gene ⅵ in Arabidopsis Thaliana

CaMV基因Ⅵ在拟南芥上的遗传转化及交叉保护

互联网摘选

10、

CAMV supports creating validations rules for providing Warning messages in addition to Errors.

CAMV支持创建错误和警告消息的验证规则。

互联网摘选

11、

New features in the latest CAMV release

最新CAMV发行版的新特性

互联网摘选

12、

Ultrasonic vibration cutting is a new type of composite processing for which a key requirement in the cutting process lies in whether a definite amplitude canm be maintained under the loaded condition of cutting.

超声波振动切削是一种新型的复合加工方法,其关键之一是在切削的有载状态下能否保持一定的振幅值。

互联网摘选

13、

She works in a very smart new office overlooking the river canm.

她在一间可以俯瞰剑河的非常漂亮的新办公室里工作。

provided by jukuu

14、

Computer Aided Optical Design ( CAOD) With IBM-PC

如何在IBM Pc微机上进行计算机辅助光学设计

互联网摘选

15、

Finally, the short-term plan and the Long-term considerations on CAOD are proposed.

最后,对今后CAOD的发展提出了近期计划和远期设想。

互联网摘选

16、

A Computer Aided Optical Design ( CAOD) Softwane System

计算机辅助光学设计CAOD软件系统

互联网摘选

17、

CAOD& A Software System for Computer Aided Optical Design

CAOD图形人机会话式光学设计软件系统

互联网摘选

18、

I noticed for the first time that Shrek should be a super-villain as "Shrek 3" and "Spider-Man 3" did battle in movie theaters.

我第一次注意到,《史莱克3》和《蜘蛛人3》在电影院的斗争中,史莱克应该是个超级大反派。

互联网摘选

19、

Yes, The Amazing Spider-Man 2 is exciting and visually delicious, thanks to the fights and special effects.

而《超凡蜘蛛侠2》的确是一场充满动作场面与炫目特效的视觉盛宴。

互联网摘选

20、

To mark the event actors Andrew Garfield, Jamie Foxx, Emma Stone and a cast of other celebrities from The Amazing Spider-Man 2 movie were in town.

为了庆祝这一活动,电影《超凡蜘蛛侠2》(The Amazing Spider-Man2)中的演员安德鲁•加菲尔德(Andrew Garfield)、吉米•福克斯(Jamie Foxx)和艾玛•斯通(Emma Stone)及其他影星也来到活动现场。

互联网摘选

  • 今日热词
  • 热门搜索

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

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