English translation for "形式方法"

formal approach

Related Translations:

表层形式:  surface form

正规形式:  hessenberg-form hessenberg form hessenberg

交际形式:  forms of communication

扩展形式:  extend typestretched form

形式矢量:  symbolic vector

意大利形式:  italianare

形式电荷:  formal charge

典范形式:  canonical formcanonical transformation

形式标号:  form label

物化形式:  objective form

Example Sentences:

	1.	Are we saying that it is not worth using formal methods in anti - virus technologies 那么，在反病毒技术中使用形式方法毫无意义吗？
	2.	The fundamental basis of our o ervation is that : the formal methods designed for optimizing compilers a ume that the compiler and the programmer are allies 我们观察问题的基本角度是：为最优化编译器设计的形式方法它假定编译器和程序设计者是盟友。
	3.	The fundamental basis of our observation is that : the formal methods designed for optimizing compilers assume that the compiler and the programmer are allies 我们观察问题的基本角度是：为最优化编译器设计的形式方法它假定编译器和程序设计者是盟友。
	4.	No parts of this inventory may be reproduced , stored in a retrieval system or transmitted in any form or by any means , without the written permission of the copyright holders 未得版权持有人书面同意，不能翻印于检索系统中储存或以任何形式方法传送有关资料。
	5.	No parts of this inventory may be reproduced , stored in a retrieval system or transmitted in any form or by any means , without the written permission of the copyright holders 未得版权持有人书面同意，不能翻印、于检索系统中储存或以任何形式方法传送有关资料。
	6.	Just as signature - based heuristics ( however limited ) have offered effective defences by raising the bar for the virus writer , so will the use of formal methods 正如基于签名的启发式（然而是有限的）曾经通过给病毒作者设置标杆而提供有效防卫，形式方法的使用也将如此。
	7.	Bi - ics provides a formalism based in the need for differing information constraints beyond industry - level standards , and the ability to declare conformance of information based in a variety of formats Bi - ics提供了需要在行业级标准之上区分信息约束的形式方法，以及声明基于不同格式的信息的一致性的能力。
	8.	The thesis is organized as follows : ( 1 ) looks back the progress achieved by the formal design of software or hardware , and covers the foundations for formal design , presents a new two - level formal design method 在此基础上，分析了几个用形式方法设计的硬件系统。 ( 2 )提出了以agent组成的硬件设计的形式计算模型fcmhd ( formalcomputationalmodelforhardwaredesign ) 。
	9.	Let the electricity price approved by national authorities ofevery power plant be regarded as “ 1 ” and each power plant only reports its price percentage during price competition . the electricity net dispatching departments arrange the percentages in order and purchase the lower among them in turn . this paper also analyzes why adopting it and its advantages and some attentive questions 依据全数字摄影测量的原理,提出了区域网加密和航测成图的精度估算公式,并与检测数据进行了分析比较,提出了一些在执行现有规范的前提下,对一些难于量取的情况,采取适当予以补救的多种形式方法,以供同行参考

Similar Words：

"形式发票" English translation, "形式发票, 估价单" English translation, "形式发票, 估价发票, 试算发票, 备考货单" English translation, "形式发票来源" English translation, "形式反馈" English translation, "形式分类" English translation, "形式分析" English translation, "形式分析算法" English translation, "形式服从情感" English translation, "形式覆盖" English translation