一种多敏感空指针引用错误的静态检测方法

空指针引用错误是一种常见的、难以发现和避免的程序错误。针对该错误,结合传统静态分析方法和符号执行方法,提出一种过程内流敏感、路径敏感和过程间上下文敏感的多敏感静态分析方法。对全局指针、局部指针以及函数的指针类参数进行建模,对指针指向地址进行简化分类。在函数间传递指针的指向状态,在函数内遍历路径,使用约束求解的方式判定路径可达性,当函数分析结束后,在退出点进行指针状态信息合并,以减少漏报和误报。在此基础上,使用人工标注错误触发条件的方式进一步提高分析效率,减少漏报和误报。实验证明,该方法能够高效地检测出各类空指针引用错误。     

应用型土木工程专业实验教学体系的探索与构建

应用型人才培养是高等教育发展的必然,实验教学是高等教育应用型人才培养的重要环节。该文论述了应用型土木工程专业实验教学的重要性及目前教学中存在的主要问题。对照《专业规范》,通过对兄弟院校的调研分析,提出了应用型土木工程专业实验教学体系的基本框架。     

传承老子“以道蒞天下”促进干部的理论学习

针对多年来很多公务人员不熟悉马克思主义,不重视理论学习,提出公务人员应传承和恪守老子“以道蒞天下”的管理哲学思想.老子的“道”是指客观规律,就是指理论包括管理哲学.老子的“以道蒞天下”,就是认为要用“道”（客观规律）来指导国家社会的管理,并普及之.重新阐述老子经典著作《道德经》关于“道”与马克思主义哲学的关系,“以道蒞天下”与学理论用理论的价值,特别是学习和运用中国特色社会主义理论体系对于管理的价值.     

论我国民事诉讼中的举证责任分配

举证责任的分配问题在实践中却是复杂而又混乱的,我国民事诉讼法中仅规定了“谁主张,谁举讧”的规则,因此造成了对于很多案件法官并不知道如何分配举证责任的情形出现。针对这种现象,应该通过案例来分析我国现状以及目前存在的问题,从立法上、司法解释上以及一些体制上进行举证责任分配的完善。     

土木工程专业力学课程教学体系的研究

以东莞理工学院土木工程专业为例,在分析力学课程教学的现状和探讨力学课程教学改革的趋势的基础上,从教学次序的优化调整、教学方法的改革、实践教学平台的建立以及培养计划的修订等四个方面,深入研究了三大力学课程(理论力学、材料力学、结构力学)教学体系改革的措施。实践表明:提出的措施将力学课程与后续专业课程的教学有机地联系在一起,具有一定的创新性和实用性。     

土建类工程人才培养模式建设实践

中国已经成为华盛顿协议组织成员,为我国的高等工程教育提出了更高的要求。文中结合大连海洋大学工程人才培养模式改革试点专业的建设实践,分析了华盛顿协议影响下我国高等工程教育存在的问题,提出了土建类工程人才培养模式创新改革的思路,构建了与之相适应的课程体系和基于工程实践的创新教学体系,并在专业建设基础上提出了土建类工程人才培养模式改革创新的措施。     

人防工程在主体施工阶段容易出现的质量通病及预防措施

人防工程在主体施工中,由于施工人员审图不清,对施工技术规范不熟悉,从而导致出现质量问题。以晋中万科朗润园·文苑项目为工程实例,就人防工程在主体施工阶段容易出现的质量通病及预防措施进行了阐述,为今后类似工程提供依据和借鉴。     

西藏民事习惯研究述评

为推进对西藏民事习惯的甄别和研究,形成国家法与西藏民事习惯的良好互动,推动国家法的统一适用,文章从历史法制研究、基础理论研究、专题研究三个维度归纳分析了西藏民事习惯的研究现状,从中反思,认为存在基础概念模糊、重历史轻现实、突出整体性忽略特殊性三大问题,明确指出民事习惯法是国家通过一定方式赋予了民事习惯以国家强制力的国家法。以西藏目前仍然存在的民事习惯作为调查研究的新起点,且以各因素类似的小区域为单元进行民事制度整体调查,以此弥补当前西藏民事习惯调查研究的不足。     

论地铁土建设施病害治理及其在地铁安全运营方面的联动性

结合北京地铁过火桥梁修复、隧道局部沉降治理和桥梁病害支座更换三次重大的土建设施修复案例,说明了地铁土建设施的特殊性以及土建设施病害治理对保障土建设施安全运营方面的重要性.同时阐述了地铁土建设施的严格使用控制要求,以及各系统联动保障要求和社会影响等内容.本文提到的应急保障机制和联调联动机制可以为各级行政主管部门和各地地铁运营公司制定相关机制提供参考依据.     

城市人防工程信息系统中防空隐蔽方法的实现

城市人防工程信息系统是基于ArcView软件平台上开发的GIS应用系统,本文在该系统研制的基础上,利用网络分析模块对人员如何经城市街道尽快进入地下人防工程进行了初步的探讨。通过一些相关的假设,给出了一种实现防空隐蔽的方法,基本可以解决不太复杂的人员隐蔽问题。