1) verification mode
校核方式
2) checking method
校核方法
1.
In this paper,the different kinds of checking method are compared andanalysed with regard to bottom trawl currently used in China.
在分析比较目前中国各地曾使用过的各种底拖网配纲校核方法的基础上，提出了“网翼上、下边缘配纲之差与网盖缩结长度之比”（简称翼纲差比）的新配纲校核方法。
3) scheme check
方案校核
4) formal verification
形式化校核
1.
At last, it is indicated that formal verification method is in favor of improving the creditability, reliability and consistency.
概述了形式化校核方法在软件工程的应用情况,分析了国内外关于HLA联邦VV&A方法研究的现状,讨论了形式化方法HLA联邦校核与验证中主要解决的问题,提出了一种基于时态逻辑的HLA联邦形式化校核方法,该方法可以用来校核联邦及其成员的交互设计和逻辑行为运行的正确性和逻辑性。
5) testing method
考核方式
1.
In view of the problem in the course "The Principle of Microcomputer and Its Interface",this paper discusses how to conduct teaching reform from the aspects of theory teaching methods,experiment teaching methods and testing methods based on teaching practice.
针对目前"微机原理与接口技术"课程学习中存在的学习内容枯燥、学生基础薄弱等问题,结合作者的教学实践,从理论教学、实验教学和考核方式3个方面对如何改进教学方法进行了探讨。
6) examination methods
考核方式
1.
Based on the present situation of our university,some opinions on the reform of teaching modes and examination methods are put forward.
“计算机文化基础”课程改革,是各高校面临的重大课题,本文结合我校的实际情况,在教学模式和考核方式改革方面谈一些自己的看法。
2.
This paper probes into the methods of improving the teaching quality of exercise physiology by means of teaching methods and examination methods.
从教学方法及考核方式等方面探讨了提高运动生理学教学质量的途径和方
补充资料：地下采矿方法设计的计算机方法
地下采矿方法设计的计算机方法
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)价值工程法价值工程中，事物的价值用其功能与成本的比值来衡量。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条