The protocol proves strong by using the factual system and being verified by the BZL logic.
通过在电子交易系统的实际应用和BZL逻辑的形式化验证,证明了提出的数字现金协议是一个强壮的协议。
互联网摘选
运用BWD结构在Web平台上开发了中文打字CAI课件系统。
互联网摘选
BRV was detected by RT-LAMP using the primers, and the reaction conditions were optimized.
用此引物对提取好的病毒RNA进行RT-LAMP反应,并对试验反应条件进行优化。
互联网摘选
By using the calcium precipitation technique, 293 cells were infected by the BK virus ( BKV) DNA.
BK病毒(BKV)DNA籍钙沉淀技术感染293细胞。
互联网摘选
国际比对确认所建冲击电压标准装置不确定度≯%可以开展对冲击电压测量系统的认证.
互联网摘选
对于堵式模拟,我们建立了相应的突水阻滞模型,使用BFL进行边界的处理。
互联网摘选
以BDK细胞传1代的14-2株病毒作生产毒种,收毒前冻溶1次等工艺法制备五批疫苗,全面检定结果均符合《乙脑活疫苗规程》的质量标准。
互联网摘选
The adhesion of the diamond film to the inserts was evaluated using RH indentation method.
用洛氏硬度压痕法估计了膜与基底的结合力.
互联网摘选
设计被重新定义为一种体系,设计将作为主要的资源来解答创新的商业方案。
互联网摘选
This paper introduces the defect and using problem of heating furnace door.
论述了加热炉炉门使用中存在的缺陷及问题.
互联网摘选
Design, construction and using of a gas heating furnace for hammer forging have been introduced.
介绍了一台锻锤用煤气加热炉的设计 、 施工及使用情况.
互联网摘选
A solid state high frequency induction heating power supply using power MOSFETs is studied.
本文研究了使用功率MOSFET的 固态高频感应加热电源.
互联网摘选
Using automobiles would cause harmful gas contamination of different degrees in the carriage.
汽车在使用过程中会在车厢内产生不同程度的有害气体污染.
互联网摘选
AQC柱前衍生化RP-HPLC法测定大蒜中蒜氨酸含量高效液相色谱-柱后衍生法检测水中呋喃丹残留量的方法研究
互联网摘选
