2) tableau
[英]['tæbləʊ] [美]['tæblo]
表推演
1.
Tableau Reasoning Method with an Improved γ Formulae;
改进γ公式的表推演推理方法研究
2.
n this paper we discuss the theory of automated reasoning on the regularmodal logic S_4 and present the tableau system TS_4 of the regular system S4 and show itssoundness and completeness.
讨论正规模态逻辑Ｓ４的自动定理证明理论，给出了一个关于正规模态逻辑Ｓ４的表推演（Ｔａｂｌｅａｕ）系统ＴＳ４，证明了该系统的可靠性与完备性。
3.
Based on tableau method, we present a feasible algorithm to check the consistency of KB, to extend, subtract, and change KB.
使用表推演方法，检查知识库协调性，对知识库进行扩展、约减和修正，给出可行方
3) deduction plan
推演方案
4) deductive method
推演法
1.
Seeking the main disjunctive normal form mainly includes the following four methods,the truth table method,the deductive method,the main disjunctive normal form using the truth table method to seek the G,and the main conjunctive normal form using the deductive method to seek the G.
求主析取范式包括真值表法、推演法以及用真值表法求G的主析取范式、用推演法求G的主合取范式等四种方法。
2.
Seeking the main disjunctive normal form mainly includes the following four methods,the truth table method,the deductive method, the main disjunctive normal form using the truth table method to seek the G,the main conjuctive normal form using the dedutive method to seek the G.
求主析取范式包括真值表法、推演法以及用真值表法求 G的主析取范式、用推演法求 G的主合取范式等四种方法。
5) performance teaching method
表演法
1.
In this article,the author detailed the branch of the communicative-performance teaching method in three aspects: its effect in English learning; its implementing in English teaching,its teachin.
能活跃英语课堂气氛,激发学生的英语学习兴趣的表演法在教学中的地位也不断地攀升。
6) performance therapy
表演疗法
1.
On the contrary,the performance therapy which is based on staff’s lifestyle can result in a better treating effect.
基于员工生活方式的表演疗法能取得理想的治疗效果。
补充资料：地下采矿方法设计的计算机方法
地下采矿方法设计的计算机方法
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)价值工程法价值工程中，事物的价值用其功能与成本的比值来衡量。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条