1) partition induction
划分归纳方法
1.
By using the automatic partition technique in partition test,this paper presents a partition algorithm and constructs a partition induction based on the results that the algorithm generates.
本文利用划分测试中的自动分割替代技术,针对循环程序的输入域,提出了一种划分算法,并在此算法的结果上建立一种划分归纳方法,它能简化循环程序的形式化验证过程。
2) induction analysis method
归纳分析方法
3) induction method
归纳方法
1.
On the basis of the fatigue cumulation damage equivalent theory,and through reliability tests,a new kind of aircraft vibration environment data induction method is proposed.
运用疲劳累积损伤等效理论,提出一种新的基于可靠性试验的飞机振动环境数据归纳方法,较好地满足了基于可靠性试验的飞机振动数据归纳要求,经某型飞机实测振动数据检验,此归纳方法具有可操作性和工程实用价值。
5) method of scientific induction
科学归纳方法
1.
The integration and interaction of Mathematical Reason,Logical Reason and Experimental Reason rooted in Greek culture gave birth at the beginning of modern era to such methods as method of experiment mathematics,method of scientific induction and method of intuition deduction,which are the underpinning of modern scientific methods.
希腊文化的数学理性、逻辑理性和实验理性在近代初期的结合与相互渗透,导致作为近代科学方法论支柱的实验-数学方法、科学归纳方法和直观-演绎方法的产生。
6) Induction Deduction method
归纳演绎方法
1.
Based on historical data the floods are divided into some types, which can be predicted by using Induction Deduction method.
本文将历史洪水分成若干类型，采用归纳演绎方法对未来洪水进行分类预测，针对不同类型洪水以不同调度规则进行实时调度。
补充资料：地下采矿方法设计的计算机方法
地下采矿方法设计的计算机方法
computerized design of under-ground mining method
d一x!0 eo一kuong fongfo shejl deJ一suanjl fongfa地下采矿方法设计的计算机方法(c omPuter-ized design of underground mining method)用计算机和优化技术完成地下采矿方法设计的一种手段。由于地下采矿方法设计时，要考虑的因素很多，判断决策时又十分灵活，没有固定的程式和准则，计算机处理时难度较大，因此，世界各国在20世纪80年代才开始将计算机和现代数学方法应用于地下采矿方法的设计。地下采矿法设计的计算机方法包含采矿方法优选和采场结构参数的优化两方面的内容。其目的是达到安全、经济、有效地采出矿石。 采矿方法的优选主要方法有模糊数学法、专家系统法、多目标决策法和价值工程法等。 (l)模糊数学法选择采矿方法的主要依据是众多的地质技术条件。但是，并没有定义明确的选择准则可以遵循，所以，采用模糊数学法处理。首先，初选一些采矿方法作为候选者，已知这些采矿方法所要求的地质技术条件。然后列出拟选择采矿方法的矿山的地质技术条件，计算并确定它们与候选采矿方法所要求的地质技术条件之间的模糊相似程度，选择条件最相近的那个采矿方法。 模糊数学还可用来预测采矿方法将取得的技术经济指标。首先，列出本矿山的地质技术条件，再收集一些采用同样采矿方法的其他矿山的地质技术条件，对它们进行模糊聚类。聚类时，与本矿山近似程度最高的矿山取得高权值，其余矿山按聚类近似程度排序依次取较低的权值;然后将各矿山用这种采矿方法取得的技术经济指标加权平均，得到本矿山采用这种采矿方法可能取得的技术经济指标。 (2)专家系统法采矿专家选择采矿方法时，通常先根据矿岩稳固性选择空场法、崩落法或充填法等采矿方法的大类别;然后根据矿体倾角及其他条件选择运输方式和长壁法、分段崩落法等采矿方法小类别;再根据矿体厚度或分段高度选择浅孔、中深孔或深孔等不同的落矿方式。这个过程是一个明显的逻辑推理过程。把这种逻辑因果关系总结成规则，存放在计算机系统中，就建立了采矿方法选择的专家系统(见采矿专家系统)。使用时，输人所设计的矿山的地质技术条件.系统就会自动推理，选择出适用的采矿方法。 (3)多目标决策法选择采矿方法时，考虑采矿成本、采准切割量、矿石贫化率、矿石损失率、采场生产能力等多个因素。这些因素从不同侧面反映采矿方法的优劣，具有各自的计量单位。采用多目标决策法，将这些因素综合起来，从整体上评价几种采矿方法的可行方案，从中择优。 (4)价值工程法价值工程中，事物的价值用其功能与成本的比值来衡量。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条