RTDMiner: 基于数据挖掘的引用计数更新缺陷检测方法

在Linux内核等大型底层系统中广泛采用引用计数来管理共享资源.引用计数需要与引用资源的对象个数保持一致,否则可能导致不恰当引用计数更新缺陷,使得资源永远无法释放或者被提前释放.为检测不恰当引用计数更新缺陷,现有静态检测方法通常需要知道哪些函数增加引用计数,哪些函数减少引用计数.而手动获取这些关于引用计数的先验知识过于费时且可能有遗漏.基于挖掘的缺陷检测方法虽然可以减少对先验知识的依赖,但难以有效检测像不恰当引用计数更新缺陷这类路径敏感的缺陷.为此,提出一个将数据挖掘技术和静态分析技术深度融合的不恰当引用计数更新缺陷检测方法 RTDMiner.首先,根据引用计数的通用规律,利用数据挖掘技术从大规模代码中自动识别增加或减少引用计数的函数.然后,采用路径敏感的静态分析方法检测增加了引用计数但没有减少引用计数的缺陷路径.为了降低误报,在检测阶段再次利用数据挖掘技术来识别例外模式.在Linux内核上的实验结果表明,所提方法能够以将近90%的准确率自动识别增加或减少引用计数的函数.而且RTDMiner检测到的排行靠前的50个疑似缺陷中已经有24个被内核维护人员确认为真实缺陷.     

交叉山脉地形下的山谷平均风速特性研究

复杂的地形山脉会影响山区的平均风场特性。根据真实地形建立交叉山脉的参数化简化模型,并定义其地形参数,采用数值仿真技术模拟不同风向角下该地形的平均风场,重点分析不同地形参数对交叉山脉山谷线区域总风速比的影响,在此基础上提出了山谷线区域总风速比的简化经验公式。研究结果表明,提出的简化地形能近似反映真实交叉山脉的山谷风场特征;来流沿着子山脉的风向为山谷线区域的不利风向;山谷线区域的总风速比沿海拔高度大致呈线性变化;子山脉坡度和山谷夹角增大均会减小山谷山脚处总风速比,增大山谷山顶处总风速比;数值仿真验证了提出的总风速比经验公式具有一定的合理性,可为实际工程设计提供参考。     

太阳能驱动的氢-冷-热-电综合能源系统性能分析

基于可再生能源的综合能源系统具有清洁低碳与安全高效的特点。提出一种以抛物面槽式太阳能集热器驱动的综合能源系统,该系统包括质子交换膜电解池、有机朗肯循环和吸收式制冷子系统。根据能量梯级利用原理和热力学分析理论,建立综合能源系统的稳态数学模型,分析热力参数变化对系统性能的影响规律。结果表明,在设计条件下,质子交换膜电解槽制氢效率、有机朗肯循环发电效率和吸收式制冷效率分别为58.65%、12.20%、36.93%,制氢功冷联供总效率为55.58%。系统总效率随着涡轮机入口温度升高先增加后减少;随着发生器出口温度升高而增加。另外,增加工作压力和膜厚度会导致电解槽电压升高和电解槽效率下降。研究结果可为以抛物面槽式太阳能集热器驱动的多联供系统的建立和评价提供参考。     

双向特征融合的快速精确任意形状文本检测

现有的基于分割的场景文本检测方法仍较难区分相邻文本区域,同时网络得到分割图后后处理阶段步骤复杂导致模型检测效率较低.为了解决此问题,该文提出一种新颖的基于全卷积网络的场景文本检测模型.首先,该文构造特征提取器对输入图像提取多尺度特征图.其次,使用双向特征融合模块融合两个平行分支特征的语义信息并促进两个分支共同优化.之后,该文通过并行地预测缩小的文本区域图和完整的文本区域图来有效地区分相邻文本.其中前者可以保证不同的文本实例之间具有区分性,而后者能有效地指导网络优化.最后,为了提升文本检测的速度,该文提出一个快速且有效的后处理算法来生成文本边界框.实验结果表明:在相关数据集上,该文所提出的方法均实现了最好的效果,且比目前最好的方法在F-measure指标上最多提升了1.0％,并且可以实现将近实时的速度,充分证明了该方法的有效性和高效性.     

多样与统一的多形态标志设计研究

目的探究多形态标志的特征及设计策略。方法以视觉心理学、视知觉构成、平面美学等相关知识为理论基础,结合当前最新案例,从多个角度对当下多形态标志设计的新方法进行归纳分析。结论统一与多样并存的多形态标志是现代平面设计领域中的典范,既相互独立又相互联系,分别适用于不同的场合和对象,具有较强的特指性、针对性和系列性,能够给受众带来趣味感。     

直升机尾减速器机匣疲劳试验方法研究

根据减速器机匣疲劳损伤应力循环的动、静应力包罗线方法确定了疲劳试验加载方案;根据设计载荷谱或飞行实测,确定各载荷作用点的状态载荷并编制了疲劳试验谱;根据减速器机匣的受力形式,完成减速器机匣疲劳试验装置的设计。结果表明,该试验装置既可以考虑高频动载荷的影响,又能简化疲劳试验的加载程序,明显缩短了疲劳试验的周期。     

三维编织复合材料紧固件剪切强度预报

建立了三维缎纹编织复合材料代表性体积单元(RVE)和紧固件剪切试件模型,引入周期性边界条件,建立了材料的宏观力学性能预报方法,并采用跨尺度计算方法对不同受载角度下的紧固件剪切破坏过程进行了有限元模拟。进行了三维缎纹编织复合材料紧固件的剪切试验,有限元计算结果与试验结果吻合较好,验证了本方法的可行性。分析了不同受载角度对剪切破坏模式及强度的影响,结果表明,该编织复合材料剪切强度随受载角度增大而降低,且具有不同的损伤起始位置和扩展过程。     

接口技术在遥感相机控制系统中的应用

为了实现遥感相机的可靠稳定运行,结合时间延迟积分(TDI)的CCD相机系统的接口电路设计,介绍了接口技术在相机控制系统中的应用要点。对系统通讯接口、调焦控制接口、驱动控制接口等方面给出了实际应用中的设计方案。为今后相机系统的接口电路设计积累了经验。     

基于多面体的分布式WiMAX Mesh网络带宽调度算法

在轮询带宽调度和随机带宽调度两种经典算法的基础上,提出一种基于多面体优先列表的带宽资源调度算法来分析和优化WiMAX网络Mesh模式的带宽请求和调度过程.该算法通过为各个用户站构建不同的静态优先请求次序,避免或者减少了"带宽资源分配不均"现象,使带宽资源能够在网络局部得到优化调度,并扩展到整个无线网络.分析和仿真结果表明,本算法能够极大地改善整个网络的运行性能.     

高校计算机教育改革探讨

社会的发展和进步需要创新性人才,高校作为人才培育的摇篮,担负着提高学生综合素质、培养学生创新能力的重担。计算机专业作为一个应用性专业,更应改革传统的教学模式和考核方式,着力培养学生的动手能力和创新能力,提高学生的综合素质,以适应社会发展的需要。