他进行了许多化验，结果证明我感染了支原体病毒。
He ran a lot of tests and it turned out I had an infection called mycoplasma.
被拍摄脑部影像的婴儿，有17名的母亲在怀孕期间被确认感染兹卡病毒，另有28名缺乏化验证明，但具备感染兹卡病毒的所有症状。
The images studied came from 17 babies whose mothers had a confirmed Zika infection during pregnancy and from 28 without laboratory proof but with all indications of Zika.
没有法医化验的确证就很难证明嫌疑犯有罪。
Without corroboration from forensic tests it will be difficult to prove that the suspect is guilty.
文章从两个角度介绍安全协议形式化验证的方法：证明与证伪。
This paper introduces tools of verification and falsification and then compare and analyses their characteristic.
这矿石化验证明含有高成分的铀。
应该简要描述化验方法并证明其是合适的。
The test methods used should be briefly described and be shown to be suitable.
机器定理证明在数学定理证明、协议验证、软件和硬件的形式化验证等方面发挥出越来越重要的作用。
It has become more and more important that the application of theorem proving on mathematic theorem proving, protocol verification, hardware verification and software verification.
形式化验证方法运用数学方法表达系统的规范或系统的性质，并且根据数学理论来证明设计的系统满足设计的规范或具有所期望的性质。
With these approaches, the behaviors and requirements of the system are described mathematically, and formal proof is used to verify that the behaviors behaves according to the requirements.
骸骨残存的右眼眼球有助于化验DNA从而证明它是否属于人类。
The remains of an eyeball in the right socket will help determine its genetic DNA - and clear up the controversy if it is human or not.
骸骨残存的右眼眼球有助于化验DNA从而证明它是否属于人类。
The remains of an eyeball in the right socket will help determine its genetic DNA - and clear up the controversy if it is human or not.
应用推荐