混凝土结构耐久性影响因素

阐述了混凝土耐久性的概念,结合实践经验,从混凝土的抗渗性、抗冻性和抗腐蚀性三方面探讨了影响混凝土耐久性的因素,旨在合理设计和精心施工的前提下确保混凝土结构耐久性。     

建筑外墙外保温方法

分析了外墙外保温技术的特点,介绍了外墙外保温技术在工程中的实际应用,并详细阐述了工程材料、施工工艺、质量验收等具体内容,旨在促进人们对这项节能新技术的了解,以期加快新技术的推广应用。     

面向验证的软件可信证据与可信评估

随着软件可信性问题的凸显,近年来人们开始从不同的角度、不同的出发点研究与软件可信有关的问题。从认识和理解软件的角度,基于对软件的思考以及认识越深入软件越可信这样一个观点,在对传统的软件可信证据收集与分类方法进行分析的基础上,提出了基于验证的可信证据模型。该证据模型的提出在一定程度上弥补了传统的可信证据收集与分类方法的不足,便于多维性评估,有利于可信演化,符合人的认识习惯。最后,基于该可信证据模型,为探索解决可信评估问题提出了一种可行的方法。     

编译原理课程考法改革探讨

针对"编译原理"课程内容复杂、理论性强、抽象度高,同时学生学习负担重、学习效果差的教学实际,在分析本课程现有教学内容与教学方法、实验内容与实验方法的利弊的基础上,着重探讨了课程在考法上以考促学的改革措施:依据课程内容重心调整实施分段考核,为学员减负,突出能力考核;合理安排实践,采用实验报告+答辩的方式组织实验考核,突出讨论交流,提高考核的真实度。经教学实践,改革后教学效果明显提升。