测绘工程本科专业实践教学体系现状与改革思路分析

构建科学、完整、系统的实践教学体系对于应用型人才的培养尤为重要.笔者通过对测绘工程本科专业实践教学体系现状的深入研究,分析了在应用型测绘工程本科专业人才培养中,实践教学环节存在的一系列导致人才培养目标难以得到充分实现的问题,并提出初步的改革思路.     

新稻田的田间规划与整地技术

新稻田的田间规划与整地技术应根据灌溉面积进行,重点进行格田建设,做到灌溉系统与排水系统相适宜,以及对新建开发的稻田进行相应的农业措施工程措施,以提高水、肥的利用率.     

锚固底梁桥施工技术

锚固底梁桥具有排架桥承受中心、偏心、受压、受拉、受推、抗冻等特点,较排架桥施工简便、造价低、基础坚固,是值得推广的一项新技术。     

座椅的热舒适性及其评价方法的探讨

文章分析了座椅温湿度条件对人体舒适性的影响,阐述了座椅材料的导热性、透湿性和透气性等热舒适性能及国内外相关研究进展,概述了座椅热舒适性的几种评价方法,提出了座椅热舒适性研究方面存在的问题和展望。     

基于有界模型检测的C/C 程序内存泄漏检测

C/C 语言中的动态内存管理机制自由且灵活,但动态内存的使用容易引入内存泄漏,导致系统性能降低甚至系统崩溃。为了更加有效的检测内存泄漏,提出了一个基于有界模型检测技术的C/C 程序内存泄漏检测方案MLD-CBMC。该方案以C/C 程序文件为输入,利用有界模型检测技术,对程序进行展开处理,加入内存泄漏性质,并利用可满足性模理论(SMT)对程序约束和性质组成的验证条件编码,使用SMT求解器对验证条件求解,将检测内存泄漏问题转换为求解可满足性问题,实现C/C 程序内存泄漏的检测。通过实验验证了方案的有效性,并与其他有界模型检测工具进行对比实验,实验证明方案对内存泄漏的检测能力更强。