1) halting problem of flowchart schema
框图模式停机问题
2) equivalence problem of flowchart schema
框图模式的等价问题
3) halting problem of Turing machine
图灵机停机问题
4) halting problem
停机问题
1.
Turing applied it to prove the famous"halting problem"in the computation theo- ry.
伯特纳德·罗素用它提出了著名的"理发师悖论",对整个数学的逻辑基础提出了质疑;康托应用它建立了集合的势的理论,其中最著名的一个结论是:不存在最大势的集合;图灵应用它证明了计算理论中著名的"停机问题"。
2.
The paper introduces several important notions such as uncountability and halting problem firstly,the fact is proved by contradiction that halting problem is impossible problem,and the same to other relative issues in computer is proved by reduction.
本文先介绍了不可数性和停机问题等重要概念,用反证法证明了停机问题是不可解的,并使用归约法对计算机中的相关问题的不可解性进行了证明。
5) problem schema
问题图式
1.
This paper studies the role about "Scheme organizer","Scheme thinking navigation","Scheme scaffolding" of "Mind map",and the application about Inquiry Learning of "solving the physics problem" is an useful Learning of "problem schema".
主要针对"思维导图"具有"图式组织者"、"图式思维导航"、"图式脚手架"等作用,应用在基于"解决物理问题"探究学习中,对建构"问题图式"是一种有效的学习方式。
2.
About the mechanism of problem schema acquisition,researchers put forward Structure Mapping Theory and Pragmatic Schema Theory.
问题图式是能在问题解决过程中起核心作用的大的知识单元,它使我们对问题解决表征机制的认识更为深刻。
3.
Based on the theory of Cognitive Psychology and Information Processing Theory, a learning strategy named "promoting problem schema forming" is brought forward, whose aim is to promote problem schema forming.
本文以现代认知心理学和信息加工理论为指导，提出了化学教学中“促进问题图式形成”的学习策略，进行了为期3个月的教学实践活动。
6) flowchart schema
框图模式
补充资料：植物命名的模式和模式标本
科或科级以下的分类群的名称，都是由命名模式来决定的。但更高等级（科级以上）分类群的名称，只有当其名称是基于属名的也是 由命名模式来决定的。种或种级以下的分类群的命名必须有模式标本根据。模式标本必须要永久保存，不能是活植物。模式标本有下列几种：
（1）主模式标本（全模式标本、正模式标本）（holotype）是由命名人指定的模式标本，即著者发表新分类群时据以命名、描述和绘图的那一份标本。
（2）等模式标本（同号模式标本、复模式标本）（isotype）系与主模式标本同为一采集者在同一地点与时间所采集的同号复份标本。
（3）合模式标本（等值模式标本）（syntype）著者在发表一分类群时未曾指定主模式而引证了2个以上的标本或被著者指定为模式的标本，其数目在2个以上时，此等标本中的任何1份，均可称为合模式标本。
（4）后选模式标本（选定模式标本）（lectotype）当发表新分类群时，著作未曾指定主模式标本或主模式已遗失或损坏时，是后来的作者根据原始资料，在等模式或依次从合模式、副模式、新模式和原产地模式标本中，选定1份作为命名模式的标本，即为后选模式标本。
（5）副模式标本（同举模式标本）（paratype）对于某一分类群，著者在原描述中除主模式、等模式或合模式标本以外同时引证的标本，称为副模式标本。
（6）新模式标本（neotype）当主模式、等模式、合模式、副模式标本均有错误、损坏或遗失时，根据原始资料从其他标本中重新选定出来充当命名模式的标本。
（7）原产地模式标本（topotype）当不能获得某种植物的模式标本时，便从该植物的模式标本产地采到同种植物的标本，与原始资料核对，完全符合者以代替模式标本，称为原产地模式标本。
（1）主模式标本（全模式标本、正模式标本）（holotype）是由命名人指定的模式标本，即著者发表新分类群时据以命名、描述和绘图的那一份标本。
（2）等模式标本（同号模式标本、复模式标本）（isotype）系与主模式标本同为一采集者在同一地点与时间所采集的同号复份标本。
（3）合模式标本（等值模式标本）（syntype）著者在发表一分类群时未曾指定主模式而引证了2个以上的标本或被著者指定为模式的标本，其数目在2个以上时，此等标本中的任何1份，均可称为合模式标本。
（4）后选模式标本（选定模式标本）（lectotype）当发表新分类群时，著作未曾指定主模式标本或主模式已遗失或损坏时，是后来的作者根据原始资料，在等模式或依次从合模式、副模式、新模式和原产地模式标本中，选定1份作为命名模式的标本，即为后选模式标本。
（5）副模式标本（同举模式标本）（paratype）对于某一分类群，著者在原描述中除主模式、等模式或合模式标本以外同时引证的标本，称为副模式标本。
（6）新模式标本（neotype）当主模式、等模式、合模式、副模式标本均有错误、损坏或遗失时，根据原始资料从其他标本中重新选定出来充当命名模式的标本。
（7）原产地模式标本（topotype）当不能获得某种植物的模式标本时，便从该植物的模式标本产地采到同种植物的标本，与原始资料核对，完全符合者以代替模式标本，称为原产地模式标本。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条