它是基于代理的防病毒技术。
那么，在反病毒技术中使用形式方法毫无意义吗？
Are we saying that it is not worth using formal methods in anti-virus technologies?
这测量了当前的反病毒技术能多好的阻止这恶意程序的传播。
This is a measure of how well current antivirus technology can keep this threat from spreading.
好消息是，病毒作者和反病毒技术一样也遇到相同的理论限制。
The good news is that a virus writer is confronted with the same theoretical limit as are anti-virus technologies.
病毒检测是计算机安全领域的重要技术之一，是反病毒技术的核心。
Virus detection is one of the most significant technologies in computer security field as well as the core technology in anti-virus software.
为了在反病毒技术中使用这些形式分析方法，我们可能必须重新考虑整个过程。
In order to use these formal analysis methods in anti-virus technologies, we may have to rethink the whole process.
因此除了反病毒技术需要不断提高外，还需广大计算机用户充分认识病毒，提高防范意识。
Therefore enhances unceasingly besides the counter-virus technical requirement, but also needs the general computer user to know the virus fully, raises the guard consciousness.
然后使用重组杆状病毒技术使这些S1亚单位在昆虫细胞和昆虫幼虫中实现了高水平表达。
The modified S1 subunits were abundantly expressed by recombinant autographa californica nuclear polyhedrosis viruses in insect cells and larva.
复杂变形病毒的出现在使得许多杀软被病毒破坏的同时，并没有促成更先进的反病毒技术的产生。
The advent of complex polymorphic viruses actually killed off some scanners that were unable to move to more advanced detection techniques.
如果说我们能从多态病毒和变形病毒那里学到什么，那就是病毒作者享受打败反病毒技术这种挑战。
If there is one thing we can learn from polymorphic and metamorphic viruses it is that virus writers enjoy the challenge of beating the anti-virus technologies.
当今最新最先进的讨算机反病毒技术，有实时扫描技术、启发式代码扫描技术、虚拟机技术和主动内核技术等。
Nowadays there are some new and advanced anti-virus techniques, such as real-time scanning, heuristic code scanning, virtual machine and active kernel technique etc.
这个假定，虽然对编译器最优化使用的各种静态分析来说是安全的，但是由于增加了时间和空间的代价，会致反病毒技术于不利处境。
This assumption, though safe for various static analyses for compiler optimizations, could spell doom for an anti-virus technology by increasing the time and space costs of the analyses.
分子生物学的新技术使最近的工作成为可能，这种新技术能在环境中检测到低浓度的病毒DNA。
The recent work has been made possible by new techniques of molecular biology that allow viral DNA to be detected at low concentrations in the environment.
能带弯曲是一种有效杀死病毒的方法，因为这种技术使得电子由紫外线中解脱出来，向前来游荡与水反应产生羟基自由基。
Band bending is an effective way to kill viruses because the technique allows electrons, which were freed by the UV, to travel forward and create hydroxyl radicals by reacting with water.
这项技术需要用到植入新基因病毒载体和多种调控蛋白。
The technique involves gene insertion by a virus vector and exposure to numerous regulatory proteins.
拉沙热通过发现拉沙抗原、抗拉沙抗体或病毒分离技术进行诊断。
Lassa fever is diagnosed by detection of Lassa antigen, anti-Lassa antibodies, or virus isolation techniques.
会议还将确定防备H5N1型病毒所需的技术和财政要求并对它们加以排序。
The meeting will also identify and prioritize the technical and financial requirements for combating the H5N1 virus.
这些技术包括辨认甘薯根内病毒的新方法以及扩大经改良无病毒作物品种的更好方法。
The techniques included new methods to identify viruses in sweet potato roots, and better systems for multiplying improved virus-free plant varieties.
赖斯大学的研究人员和两名他们的研究生已经开发出一种新技术，提高三倍以上的杀灭病毒材料的性能。
Rice University researchers and their graduate students have developed a new technique that increases the performance of a virus-killing material by more than three times.
运用在他的实验室里刚刚发明的基因-编辑技术，他可以制出工业微生物，农作物，甚至对所有病毒具有耐药性的人类。
Using a genome-editing technique recently developed in his lab, he proposes to make industrial microorganisms, crops, and perhaps even humans resistant to all viruses.
这种技术使科学家不需要使用病毒，而可以将所需基因通过细胞孔导入细胞内。
This allowed the scientists to do away with viruses and ferry genes into the cells through pores.
首先，它们参考了卡巴斯基安全公司网站上发布的清除指南，“但是病毒又回来了”，一个对感染技术很熟悉的知情人称。
At first, they followed removal instructions posted on the website of the Kaspersky security firm. "But the virus kept coming back," a source familiar with the infection says.
但是，普遍存在的电脑病毒向人们明示了，当技术传播开来时将会发生什么事情。
The ubiquity of computer viruses shows what can happen when technology gets distributed.
私人分享选项就是专门为此设计的。”他还透露说网站技术人员正在开发新界面，显示上传进度的进度条，病毒扫描功能，以及其它功能。
He noted that site developers are also working on a better user interface, a progress bar for uploads, and a virus scan, among other features.
在Cirac博士和Romero -Isart，博士看来，病毒是一种特殊的大分子，因此现有技术应该能够应用于这个实验。
In the view of Dr Cirac and Dr Romero-Isart, a virus is just a particularly large molecule, so existing techniques should work on it.
病毒的威胁促使微软与其他技术行业合作，本周悬赏25万美元来追踪Conflicker制造者。
The threat from the virus prompted Microsoft in collaboration with other technology industry names to this week announce a $250, 000 reward for information to track down those behind Conficker.
病毒的威胁促使微软与其他技术行业合作，本周悬赏25万美元来追踪Conflicker制造者。
The threat from the virus prompted Microsoft in collaboration with other technology industry names to this week announce a $250, 000 reward for information to track down those behind Conficker.
应用推荐