1) natural extending
自然推广
2) natural deduction
自然推理
1.
Automated reasoning for natural deduction system NR of relevance propositional logic
相干命题逻辑自然推理系统NR的自动证明
2.
The rule of supposed premise elimination in the system of natural deduction is for eliminating the supposed premises by structuring a implication expression in the course of introducing the supposed premises to infer the conclusion.
自然推理系统中假设前提销去规则是指在引入假设前提推导出结论的过程中,运用蕴涵引入规则构造一个蕴涵式,从而销去假设前提。
3) naive extrapolation
自然推论
1.
The results of the experiment showed that the prediction of the room occupancy rate made by neural network is superior to the two methods of regression and naive extrapolation which are often used.
实验结果说明,用神经网络预测出的客房出租率优于多回归法和自然推论法。
4) natural gas penetration
天然气推广
5) natural deduction system
自然推演式
6) extended automata
推广自动机
1.
Based on the characters of the hybrid system and the automata modeling theory, an extended automata model for the hybrid system was developed.
通过分析混杂系统的特点,以混杂系统自动机建模理论为基础,结合一种特殊的并行投影结构(Projection Construct),提出了针对混杂系统的推广自动机模型。
补充资料：国际自然与自然资源保护联盟
由有志于自然保护的各国家成员、其他合作机构和有关的科学工作者组成。建于1948年。多年来，它与世界野生生物基金会、联合国各机构、各区域性组织和其他重要团体密切合作,开展全球性自然资源保护活动,属下有包括116个国家的537个会员组织。联盟大会、理事会和各专业委员会是其管理机构。执行机构为秘书处，总部设在瑞士的格兰德。下设由150多名专家组成的6个专业委员会，即：生态委员会，教育委员会，环境规划委员会，环境政策、法律、行政管理委员会，国家公园及保护区委员会；另外还有各种特设小组或由著名专家为审议重大问题而组成的顾问小组。联盟在非洲、中南美洲、北美洲与加勒比海、东亚、西亚、澳大利亚及大西洋、东欧、西欧等 8个地区还设区域顾问。联盟秘书处负责指导、督促各委员会及各区顾问的工作；推动各项计划的实施；支持各种项目的实施；组织制订保护法规等。全体会员代表大会每3年召开一次,选举新的主席和执行主席，研讨各种有关自然保护的技术问题。1979年，中国以国务院环境保护办公室的名义参加这个国际组织。1984年10月 5日联盟理事会第15次会议，通过决议接纳中国野生动物保护协会为联盟非政符团体会员。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条