1) safe-type rule
安全类型规则
1.
A formal definition of type system is given, safe-types and safe-type systems are instroduced, and sub-type rules and safe-type rules of safe-type systems are pointed out.
本文提出了一种新的用安全类型系统增强编译程序安全性的方法;给出了类型系统的形式化定义,引入了安全类型和安全类型系统的概念,并给出了安全类型系统的子类型规则和安全类型规则;最后讨论了安全类型系统在编译技术中的应用。
2) safety rules
安全规则
1.
The safety rules that should be followed by the fire fighters in forest fire fighting are given briefly.
本文简要介绍了在林火扑救中扑火队员应遵守的安全规
2.
This paper analyzes exception representation in C++ program and gives the classification of exception holes,in terms of which exception safety rules are constructed,and presents an approach of interprocedural bottom-up communicating of info and intraprocedural synt.
文章通过分析异常在C++程序中的各种表现形式,对异常安全漏洞进行了分类,在此基础上构建异常安全规则,采用过程间自下而上收集传递信息和过程内语法制导翻译相结合的方法,实现了C++异常安全的静态检查。
4) rule types
规则类型
1.
The results revealed that(1) children performed better in across-rule-based reasoning if the across rule was used first;(2) there was an effect of rule types,and straight-rule-based reasoning was easier than across-rule-based reasoning;and(3) children s rule-based reasoning developed rapidly at the age of 3.
本研究采用Frye和Zelazo等(1996)所设计的“二进二出”装置,设置了规则顺序、规则类型的规则推理任务,采用个别实验法,研究了90名3~4岁儿童规则推理能力的发展。
5) type rule
类型规则
1.
Finally,we extract the type rule to analyse and complete the parsing tree.
利用标点符号的分割作用,将长句分成一个个小的句子的序列,并对每个小的句子单元进行句法和结构分析,再根据已经抽取出来的类型规则进行二次句法分析,从而得到一个完整的句法分析树。
补充资料：《中华人民共和国非机动船舶海上安全航行暂行规则》
1957年12月23日中国全国人民代表大会常务委员会第88次会议决定接受《1948年国际海上避碰规则》，但作了如下保留：属于中华人民共和国的非机动船不受海上避碰规则的约束。为了保障中国非机动船舶在海上航行的安全，制定了《中华人民共和国非机动船舶海上安全航行暂行规则》,于1958年8月16日由中国交通部和水产部联合颁布。1975年和1980年中国先后接受《1960年海上避碰规则》和《1972年国际海上避碰规则》，但仍作上述保留,继续执行本暂行规则。暂行规则共10条,主要内容为：在两帆船相遇时顺风船应避让逆风掉樯的船，船尾受风的船应避让其他船舷受风的船；在航的非机动船仅显示白光环照灯一盏；非机动船在海上遇难时应将衣服张开挂上桅顶以示求救等。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条