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

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

参与式“汽车人机工程学”课程教学方法研究

汽车人机工程学是大连理工大学车辆工程本科专业的必修课程,该课程在结合学校实施精英教育、培养精英人才的研究型精英人才培养理念及车辆工程学科特点的基础上,在教学实践中探索以学生为中心的参与式教学模式,重点研究基于WIKI交互平台及虚拟仿真实验技术等现代网络及计算机技术的高效的师生互动、生生互动参与式教学方式,建立汽车人机工程学WIKI教学平台、搭建汽车人机交互虚拟仿真实验课件开发平台。该研究提高了学生学习的主观能动性,培养了学生的创新思维,使他们对汽车人机工程学有了更深刻的认识。     

“彊村词人群体”考辨

以朱彊村为领袖的词人群体(简称彊村词人群体)是清末至民国时一个重要的词学群体,然而目前学者们对于它的界定尚莫衷一是。其实,彊村词人群体与彊村(词)派概念最为接近,但群体这个相对宽泛的概念比词派更适合概括当时词坛的实际情况。彊村词人群体在词学活动、师法对象、传播媒介、成员构成等方面都具有鲜明的时代特色。     

眼动数据与FAHP相结合的产品感性认知测量方法

为了更准确地定量评价产品形态美学风格,提出了一种结合生理测量数据与FAHP的产品美学风格评价方法.用准确性更高的生理测量数据替换比较矩阵,进行准则层的优先级分析,完成造型元素对美学偏好的优先级权重计算,进一步结合模糊算法建立一个基于生理测量的更加精确的适用于评价产品美学偏好的评价体系.最后以轨道车辆头部造型为例分析该方法的科学合理性,并与常规研究方法进行对比,结果表明该方法对于产品造型美学风格评价具有较好的适用性.     

大涝坝地区苏维依组滨浅湖砂坝沉积精细刻画

滨浅湖砂坝沉积是一种重要的陆相油气储集体,其空间展布多与湖岸线平行或低角度相交.大涝坝地区苏维依组沉积地层,具有明显的滨浅湖砂坝沉积特点,但其空间展布特征却与众不同.通过岩心观察、岩矿鉴定、岩相分析、测井相分析等,辅以波阻抗反演及地震相刻画,详细分析了滨浅湖砂坝的沉积特征,建立了理想沉积模式.研究表明:大涝坝地区苏维依...     

含统一潮流控制器的电力系统潮流分析研究

首先通过对统一潮流控制器工作机理的分析，进提出了一种实用的潮流计算方法，该方法能够系统的潮流计算与ＵＰＦＣ的控制得到充分的协调，并能用于计算具有多个ＵＰＦＣ的系统潮流。ＩＥＥＥ５节点系统ＩＥＥＥ３０节点系统的仿真验证了其有效性。     

业务协同驱动的高校数据质量管理模型及应用

从高校业务协同场景出发,结合高校业务数据特点,提出一种数据质量管理框架和评价模型;建立协同业务数据质量的评价指标体系,包括数据源质量、数据关联质量、数据效用质量三个维度7项一级指标;采用比较标度的改进层次分析法设计评估权重,简化构造矩阵的一致性校验的问题。实际应用表明,提出的评价模型可以有效量化评价业务协同场景下各系统和数据集数据质量,发现问题原因,具备可操作性和实用性,为提高数据质量提供参考。     

基于状态空间的轮系分析统一数字模型

提出了轮系分析的状态空间方法,建立了基于状态空间的轮系分析统一数字模型.首先定义了轮系基本单元的概念,建立了轮系基本单元状态变换方程,利用状态变换方程表达了轮系基本单元变换规律以及单元之间的邻接关系;然后由轮系状态特征对偶矢量构成轮系状态空间,建立了以状态空间为基础的轮系输入、输出对偶矢量,状态变换矩阵,轮系单元之间的...     

实践科学发展观创新思想政治工作

思想政治工作的生命力在于创新。在深入学习实践科学发展观活动中．思想政治工作面临着许多新的复杂问题。在继承和发扬我党思想政治工作优良传统的同时．只有改进和创新思想政治工作，才能开创思想政治工作的新局面，提高思想政治工作的效益。     

南阳邓州元庄乡汉代水利巨石的发现及考释

南阳作为汉代的名邑，为我们今天留下了大量的文字石刻。2003年南阳邓州汉代水利巨石的发现丰富了南阳汉代石刻文字的研究。本文通过对这批石刻文字的考释、研究，旨在让人们更多的了解南阳汉代的文化，从而全面的认识南阳。