BZL

  • BZL
  • 释义

    [医][=benzol]苯;

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

Finally , cyclo (-Ab 7-Aib-Phe ( 2-Me )-D-Pro-) is successfully prepared by using liquid phase peptide synthesis with Boc protection.

Boc -Ab7-Aib-Phe( 2-Me)-D-Pro-OBzl脱除两端保护得到线性肽链经过环化得到目标产物cyclo ( -Ab7-Aib-Phe ( 2-Me ) -D-Pro- ),收率0.8%.

互联网摘选

2、

In order to formalize and verify the protocol, BZL logic model is built, which based on first-order logic and introduces many-sorted, dynamic and non-monotony logic.

为了形式化验证数字现金的安全性,本文在经典一阶逻辑的基础上,吸取了多类逻辑、动态逻辑和非单调逻辑的思想,提出了BZL逻辑模型。

互联网摘选

3、

The protocol proves strong by using the factual system and being verified by the BZL logic.

通过在电子交易系统的实际应用和BZL逻辑的形式化验证,证明了提出的数字现金协议是一个强壮的协议。

互联网摘选

  • 今日热词
  • 热门搜索

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

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