它是基于代理的防病毒技术。

It is based on antivirus proxy technology.

youdao

那么，在反病毒技术中使用形式方法毫无意义吗？

Are we saying that it is not worth using formal methods in anti-virus technologies?

youdao

这测量了当前的反病毒技术能多好的阻止这恶意程序的传播。

This is a measure of how well current antivirus technology can keep this threat from spreading.

youdao

We talked about attenuating in the laboratory, using cell culture techniques and what we know about mutating viruses.

我们讲过实验室中,利用细胞培养技术培养减毒疫苗,以及我们所了解的减毒病毒

耶鲁公开课 - 生物医学工程探索课程节选

You could use cell culture, so you don't have to grow the virus naturally in animals.

你可以利用细胞培养技术,那你就不必在动物身上培养病毒

耶鲁公开课 - 生物医学工程探索课程节选

We have techniques of recombinant DNA, and those can be used to produce either modified viruses, we'll talk about that.

我们拥有重组DNA技术,它可以用来生产任一种减毒病毒,这个以后会再讲

耶鲁公开课 - 生物医学工程探索课程节选