1) class separability
组的可分性
2) The capability of PFCM to be split and combined
性味可拆分性、可组合性
3) separability of a word
词的可分性
4) compositional reachability analysis
组合可达性分析
1.
The compositional reachability analysis (CRA) is hotspot of research in behavior analysis of concurrent systems.
组合可达性分析是对并发系统模型分析验证的基础和关键,但是难于解决验证中的所谓的状态爆炸问题。
5) Hamming code
汉明码(可纠正单个错误的线性分组码)
6) human reliability analysis
人的可靠性分析
1.
The first and second generation of human reliability analysis(HRA) are also discussed.
首先对综合安全评估的基本概念及应用范围进行了阐述,然后介绍了第一代、第二代人的可靠性分析方法的基本原理及其中有代表性的几种分析方法,最后,应用综合安全评估的原理对海事领域人的可靠性分析方法进行了研究,并提出了该领域人的可靠性分析存在的问题。
2.
The purpose of qualitative evaluation in human reliability analysis (HRA) is to conduct screening and analysis upon the tremendous human factor data, to limit the introduction of human factor events into HRA model and to make the pertinent HRA quantitative analysis feasible.
核电厂人的可靠性分析(HRA:Human Reliability Analysis)定性评价的目的是在定性分析的基础上,确定HRA边界条件和引入HRA模型的人因事件的数量,使得HRA的量化分析得以实施。
3.
The applications of techniques for human reliability analysis, which are commonly used in nuclear industry, into ship collision avoidance are studied.
探讨了人的可靠性分析技术在船舶避碰中的应用,提出了利用船舶碰撞事故报告以及事故统计数据并结合专家意见评估避碰过程中的人的可靠性的实用技术;给出了人为失误引发碰撞的概率以及失误迫使条件的量值。
补充资料：性味
性味
中药四气五味的统称。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条