排序方式: 共有3条查询结果,搜索用时 156 毫秒
1
1.
对角化原理在整个计算科学特别是数学逻辑基础论证中起着至关重要的作用。伯特纳德·罗素用它提出了著名的"理发师悖论",对整个数学的逻辑基础提出了质疑;康托应用它建立了集合的势的理论,其中最著名的一个结论是:不存在最大势的集合;图灵应用它证明了计算理论中著名的"停机问题"。分析了对角化原理的逻辑形式,在比较理发师悖论、Cantor 集合理论和停机问题的思维模式的基础上,研究了其对基础数学学科理论以及计算理论的深刻影响。 相似文献
2.
一、注意长时间停用前的停机问题 机动弥雾喷粉机在每次作业结束后,如较长时间停用,应关闭油箱开关,低速运转几分钟,使化油器残留的燃油燃烧干净后自动停车.同时,将油箱内燃油放净,这样可避免因混合油中机油氧化变质产生粘结或阻滞而堵塞油路.不然,最明显的症状是打开油箱开关,按下加浓按钮时,化油器内无油溢出,此时清洗化油器,故障即可排除. 相似文献
3.
唐黎标 《农业机械化与电气化》2002,(4):21-21
1 注意长时间停用前的停机问题 机动弥雾喷粉机在该次作业结束后,如较长时间停用,停机操作方法是:关闭油箱开关,低速运转几分钟,待化油器内残留的燃油燃烧干净后自动停车。同时,将油箱内燃油放净,以避免因混合油中机油氧化变质产生粘结或阻滞而堵塞油路。否则,如果停机不当,会出现打开油箱开关,按下加浓按钮,化油器 相似文献
1