本文提出了一种新的简单的迹语义,用于刻画协议部分安全性质,即只针对协议规约的单个主体,此技术支持协议设计者对安全性质进行形式化规约。
互联网摘选
为了追溯它们的演化过程,研究人员对大象和其他哺乳动物(包括猛犸象和乳齿象等虽然已经灭绝,但DNA在化石中得到保存的现代象的“亲戚们”)的基因组进行了大规模的比对。
互联网摘选
Direct spectrophotometric determination of Trace Au in au& fe sample by TMK in aqueous phase
用TMK水相分光光度法直接测定含铁试样中痕量金
互联网摘选
SEM Analysis of Microstructure of the Copper Wire Melted Bead and Trace in the Fire Disaster
火灾中铜导线及其熔珠显微结构的SEM分析
互联网摘选
To draw up ICAR upon serious quality problems, and trace its implementation.
根据问题严重程度开具ICAR,并跟踪执行情况;
互联网摘选
P3 is a project management software that can dynamically trace& control whole project progress.
工程管理软件P3可对工程进度的全过程进行动态跟踪和控制。
互联网摘选
虎眼万年青和其他3种抗癌中草药的微量元素含量及其溶出特性
互联网摘选
Changes of Trace Elements in the Aqueous Humor of Rabbits Three Months after PRK
PRK后房水中微量元素的变化
互联网摘选
The mobility of the trace metal elements was different in HTA and CFBCA.
不同燃烧方式产生的煤灰中,微量重金属元素的浸取率不同.
互联网摘选
The results showed that there were rich trace elements and macro elements in Nao Sai Tong.
结果表明,脑塞通中含有丰富的微量、量元素.
互联网摘选
基于稀硫酸介质中溴离子催化过氧化氢氧化甲基橙,建立了测定痕量溴离子的新催化光度法.
互联网摘选
文章论述了总热量摄入、糖类、蛋白质、脂肪和类脂质、无机盐、微量元素、维生素、膳食核酸等与衰老的关联。
互联网摘选
乙醇脱氢制乙酸乙酯反应尾气中微量有机组份的气相色谱分析
互联网摘选
- 今日热词
- 热门搜索
