While testing is still currently the most widely used validation technique in the software industry, formal methods are regarded a new promising approach.
测试仍然是目前工业界广泛采用的确认软件是否正确可靠的主要手段,而形式化方法被认为是非常有希望的新途径。
Orthogonal frequency division multiplexing (OFDM) as the representative of the multi-carrier modulation technique proved to be one of the most promising.
以正交频分复用(OFDM)为代表的多载波调制技术被证明是最有前途的方案之一。
Mammalian cloning is the most remarkable high technique in the end of 20th century in life science field. It is very promising in agriculture, biology and pharmacology.
哺乳动物体细胞克隆是20世纪末生命科学领域最引人注目的高新技术,该技术在农业、生物学和医药等方面具有广泛的应用前景。
应用推荐