说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 协议验证方法
1)  protocol verification method
协议验证方法
1.
we explain a synthesis protocol verification method which is a new mix technology of the two technology, and give a specification at last.
通过对模型检测和逻辑分析验证方法的研究,结合两者的特点,设计了一种结合模型检测和逻辑分析方法的综合协议验证方法,并给出了实例。
2)  protocol verification
协议验证
1.
Analysis and comparation on the protocol verification of computer network;
基于不同形式化模型的网络通信协议验证技术的分析与比较
2.
The purpose and method of protocol verification are expounded,and the protocol verification and its characteristics and strongpoint based on FMS, CCS model and Petri nets are introduced.
讨论协议形式描述与验证技术的目的与方法,重点介绍了基于FMS、通信演算系统以及Petri网协议验证技术的特点及其优点。
3.
The basic concepts of protocol specification and verification are presented briefly, and the basic ideas are given by means of examples with respect to the construction of specifications for implementation and protocol verification.
简要说明了协议描述和验证的基本概念,示例性地介绍构造实现描述和协议验证的基本思想,最后以Petri网形式给出了AB协议一例。
3)  protocol validation
协议验证
1.
Combining CPEBSDL, Petri nets reachable marking graph, and Petri net process, this paper proposes an approach named PMA_CPEBSDL that can automatically construct a Petri nets model for communication protocol, presents some methods of protocol validation and test.
结合一个实例,给出LAPD协议完整的建模过程及协议验证和测试的方法。
4)  Authentication Header (AH)
验证头协议
5)  NSPK Protocol Verification
NSPK协议验证
6)  protocol verification and analysis
协议验证与分析
补充资料:地下采矿方法设计的计算机方法


地下采矿方法设计的计算机方法
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)价值工程法价值工程中,事物的价值用其功能与成本的比值来衡量。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条