1) Mobile Safe Ambients calculus
Mobile Safe Ambients演算
3) ANSYS FE-SAFE
ANSYSFE-SAFE
4) DL-safe rule
DL-safe规则
1.
In the paper, an approach for extracting new DL-safe rules is proposed.
Motik提出了一种可判定的方法,将SHIQ(D)描述逻辑与规则结合,所结合的规则限定在一种叫做DL-safe规则的范围内。
2.
An algorithm is proposed for checking the consistency of UML-Statechart,which can use the DL-Safe rule to reason the knowledge base.
为了对UML状态图进行形式化验证,将状态图中的语义分为静态语义和动态语义两部分,用描述逻辑知识库表示静态语义,用DL-Safe规则表示动态语义。
5) SAFE software
SAFE软件
6) "safe" and "secure"
safe和secure
1.
This is a corpus-based research on the differences between the adjectives "safe" and "secure" by comparison and analysis of the data and examples from the different corpus bases.
基于语料库中的相关数据,对形容词safe和secure的语义差异进行对比和分析。
补充资料：safe low power critical experiment reactor
分子式：
CAS号：
性质：由加拿大原子能有限公司在20世纪70年代初期研制成功，主要用于中子活化分析和教学的反应堆。所用核燃料初期为浓度高达90％的235U，现已降低。最大功率为20kW，最高中子注量率为1×1012cm-2/s。该堆的特点是临界质量小，裂变功率与热中子通量之比值低，燃耗低，安全可靠，使用方便，可安放在市中心、大学校园、医院和工业设施内。
CAS号：
性质：由加拿大原子能有限公司在20世纪70年代初期研制成功，主要用于中子活化分析和教学的反应堆。所用核燃料初期为浓度高达90％的235U，现已降低。最大功率为20kW，最高中子注量率为1×1012cm-2/s。该堆的特点是临界质量小，裂变功率与热中子通量之比值低，燃耗低，安全可靠，使用方便，可安放在市中心、大学校园、医院和工业设施内。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条