- los alamos
- sandia
下载手机词典可随时随地查词查翻译
实验室研制的英文
例句与用法
- 更多例句： 上一页
- Elegant microfluidics , also developed at lincoln , direct the sample and nutrient media through the channel , where a charge - coupled device ( ccd ) like those found in camcorders detects even a single b cell firing
先进的微流体芯片? ?同样由林肯实验室研制? ?指引样本和营养介质通过通道，通道中即使只有一个b细胞发光，与便携摄像机里的装置类似的电荷耦合器也会探测到。 - The wireless communication network solution for wearable computer is presented according to the netdaily - laboratory experiment system . 3 . according to the intrinsic characteristics of wearable computer , mobile ad hoc network is introduced to the wireless communication network of wearable computer
（ 2 ）在上面所做出的分析和总结基础之上，结合实验室研制的可穿戴计算机netdaily - iii的特殊应用环境，提出了一种适用于可穿戴计算机的无线通信网络的解决方案。 - In this thesis , we ’ ve first introduced some conceptions of model checkingand knowledge reasoning . then we ’ ve mainly introduced my tutor ’ s methodof model checking temporal logic of knowledge . lastly , we ’ ve applied thismethod to two specific areas with our tool mctk : one problem is to verifythe winning strategies in the zero - sum games , which is to automatically findout whether there exists a way ensuring the necessarily win of players ; theother problem is to verify the knowledge based security protocols , whosesecure properties rely on the knowledge reasoning of the anticipants in theprotocol
本文首先介绍了模型检测和知识推理的基本概念,然后着重介绍了我导师所提出的模型检测时态知识逻辑的方法,最后使用本实验室研制的相关工具mctk来对两个特定领域的问题进行了自动验证:一方面的问题是验证对弈中的必胜策略,即验证对弈中的行棋双方是否存在着必然获胜的走法;另一方面的问题是验证基于知识的安全协议,而这类协议的安全特性依赖于协议参与者的知识推理。 - In order to meet the requirements of nda measurement , the laboratory of technical research for nuclear safeguards of china institute of atomic energy ( ciae ) , is being in charge of developing four sets of nda standards : one set of segmented gamma - ray scanner ( sgs ) uranium standard , one set of sgs plutonhim standard , one set of plutonium isotopic standard , and one set of active well coincidence counter ( awcc ) standard . in this dissertation some pivotal techniques on quality control in developing of nda nuclear standards above were emphatically studied
中国原子能科学研究院核保障技术重点实验室研制分段y扫描装置( sgs ： segmentedgamma - rayscanner )铀工作标准样品、 sgs钚工作标准样品、钚同位素标准样品和有源中子井型符合计数装置( awcc ： activewellcoincidencecounter )铀工作标准样品来满足核材料nda测量的要求。本论文重点对上述nda核标准样品研制过程中质量控制的一些关键技术进行了研究。