关于机器证明

本文简介机器证明的理论与实践．并附一篇关于用模型论方法证明无限地图的四色定理．     

专业选修课实践教学的改革与实践

论述了专业选修课在教学过程中实施实践教学的理念与环节，以达到强化教学效果的目的，包括讲课内容既贴近现实生活又反映学科前沿，课堂报告与讨论成为课程教学主导方法，学术报告会作为课程教学重要补充，参观考察获得课程教学感性认识，课程教学推动学生科研活动，课程教学培育毕业论文，课程考核注重实践教学环节等。     

太阳能住宅

随着舒适性、功能化等越来越高的要求一一得以满足,我们住房的能源消耗也在与日俱增。这些消耗的90％来自矿物能源,它一方面加速了这些不可再生能源的枯竭进程,另一方面,消耗过程中产生的二氧化碳还     

生物技术另开丝绸路

历史上日本的生丝产量曾位居世界第一,但是,近年来面对合成纤维和廉价进口纺织品的冲击,传统的服装业对蚕丝的需求越来越少了。为了扶植传统产业,农林专家利用生物工程技术一改蚕丝的天然属性,给养蚕业带来了新的春天。     

新课程理念下的数学课堂教学

新课程理念下中学数学课堂教学应遵守以下方法：在刨设教学情境时，应该注意数学知识严密的逻辑性和高度的抽象性;在教学活动中教师不能刻意地去追求新课程中提到的教学方法，要根据地域的区别和当时的实际条件。选择更为有效的方法；一节课的教学内容完成之后，教师应引导学生小结，最好是让学生自己说说本节课的学习内容及其在解决这些内容时研学到的方法和基本技巧。     

探讨高层建筑施工中的造价控制问题及对策

建筑工程的造价控制一直都是建筑企业经济活动的一个重要组成部分,特别是高层建筑。不管是哪一家企业,其最终的目的是获得利益,而建筑施工中的造价问题,如果能利用科学的方法对其进行管理,那么将会大大降低施工工程的造价,从而提高建筑企业的经济效益。本文对高层建筑施工中的造价控制问题进行分析,并提出了一些解决措施。     

高等专科院校康复护理学教学改革与效果分析

目的:为了提高大专护生《康复护理学》教学质量。方法:专职教师通过修订大纲、编写教材和习题集并且在教学中采用多种形式的教学方法等措施。结果:学生及格率和满意度明显提高。结论:根据学生特点进行相应教学改革对教学质量提高明显有效。     

高速重轨矫正圈用9Cr2MoRE钢的开发研究

通过添加不同含量的稀土元素,对比研究稀土含量对9Cr2Mo钢奥氏体晶粒度、相变点、抗拉强度及耐磨性的影响.研究结果表明,稀土元素可以有效细化9Cr2Mo钢的奥氏体晶粒,当稀土加入量为0.10%时,晶粒长大速率降低最明显.添加质量分数为0.1%的稀土后,9Cr2Mo钢的抗拉强度明显提高,塑性和延展性也有所改善.加入稀土元素后,9Cr2Mo钢在磨损过程中可以避免出现大块疲劳剥落现象,提高了耐磨性.     

智能超声波热能表在供暖中的应用

本文介绍智能超声波热能表的工作原理、基本组成和主要结构特点,以及选型、安装及故障处理问题,智能超声波热能表与远程抄表和远程控制系统的连接。     

神奇的碳纳米管

读者朋友一定还记得中学化学课上学到的碳这一奇妙的物质,它的两种同素异形体,性质完全相反:金刚石堪称自然界的“第一硬”,而石墨又是各种矿物中软得不能再软的一种。近年来纳米技术的兴起又为它带来了另一大新奇,这就是碳的另一种同素异形体——碳纳米管(脚注)。