赵玲玲
- 作品数：89 被引量：332H指数：9
- 供职机构：哈尔滨工业大学更多>>
- 发文基金：国家自然科学基金黑龙江省高等教育教学改革工程项目教育部大学计算机课程改革项目更多>>
- 相关领域：自动化与计算机技术文化科学金属学及工艺航空宇航科学技术更多>>
- 面向程序验证的并行程序状态空间态约简技术综述
- 2015年
- 程序验证是保证程序安全性的重要手段。随着采用多核技术的硬件环境日渐普及,越来越多的软件正通过转向基于共享内存的并行程序模型来充分利用现有的计算资源。各线程在并行执行时通过共享内存的访问互相干扰执行状态,导致可能执行路径数成几何级数增长,进而产生可达状态空间爆炸问题。由于验证并行程序安全性主要通过分析程序可达状态来实现,因此,对并行程序可达状态空间的约简是决定并行程序验证效率的关键因素。首先对面向并行程序验证的并行程序可达状态空间约简方法进行了分类,然后对各类可达状态空间约简方法分别进行了分析和总结,最后指出了当前存在的问题和未来解决这些问题的研究方向。
- 逄龙苏小红马培军赵玲玲
- 基于过采样和卫星图像多特征融合的街区品质评估
- 2022年
- 城市街区的品质评估是城市规划中的重要步骤之一。针对已有街区品质评估模型中使用的街景图像采集位置和角度不统一造成的图像内容偏差问题,本文提出使用视角统一且易获取的卫星图像代替街景图像。同时考虑多种街区品质测度指标,将非图像型数据与图像型数据进行特征融合,从多角度进行城市街区品质表达,然后针对小样本和数据不平衡场景,结合机器学习中的随机过采样和随机森林(Random Forest, RF),基于融合数据进行城市街区的品质评估。实验结果表明,本研究方法可以有效进行全面的城市街区品质表达,并有效降低过拟合,对比未使用过采样和多特征融合的方法,正确率提高约8个百分点。
- 郭茂祖王偲佳王鹏跃李阳赵玲玲
- 关键词：卫星图像
- 浅析面向学生自主学习的C语言程序设计实践教学支撑环境被引量：3
- 2017年
- 如何为学生提供支持其自主学习的实践教学支撑环境，并对学生学习的过程进行有效的监督和指导，真实、客观、公平、公正地评价学生的自主学习效果，成为当前计算机教育领域的研究热点。为解决这些问题，笔者建设了全方位、多元化的面向学生自主学习的C语言程序设计实践教学支撑环境，包括面向学生自主学习的作业在线评测系统、C语言编程题自动评分系统与C语言题库和试卷管理系统。重点介绍了面向学生自主学习的作业在线评测系统，介绍了它是如何支持C程序设计课程实践教学和学生自主学习的，以及在监督指导学生的学习过程和培养学生的自主学习能力、考核学生的自主学习效果等方面所起的作用，最后介绍了笔者在C语言程序设计课程中所采取的基于以上系统的课程考核方法。
- 苏小红王甜甜赵玲玲
- 关键词：自主学习过程自主学习效果
- C语言程序设计课程实验教学中的计算思维培养
- 为了在C语言程序设计课程中逐渐培养学生的计算思维能力,本文着重研究如何在实验教学中融入计算思维能力的训练,提出了强化计算思维能力培养的实验教学体系的构建方法,以知识-能力-思维的多层次目标为导向,从实验问题的形式、实验内...
- 赵玲玲苏小红王甜甜
- 关键词：计算思维C程序设计
- 文献传递
- 融合遗传算法与XGBoost的玉米百粒重相关基因挖掘被引量：5
- 2022年
- 基于RNA-Seq的转录组测序数据特征维度较高,使用传统生信方法寻找表型相关基因需要大量计算资源,且差异分析所得候选基因范围较大,进一步筛选依赖已有的先验知识。针对这一问题,本文提出了融合遗传算法和XGBoost的转录组分析方法-GA-XGBoost,通过融入机器学习算法缩小了后续分析的候选基因范围。在一组高质量玉米数据集上对基因-百粒重性状的关联进行了对比实验和后续分析,结果显示,相比于分别使用全体基因和差异表达基因直接训练XGBoost模型,所提方法得到的候选基因训练的XGBoost模型在玉米百粒重的预测结果上具有最小的MSE;相比于差异表达分析结果的1542个差异表达基因,GA-XGBoost方法最终将候选基因范围减小至48个,范围缩小了31倍,表明所提方法能够有效提升对转录组数据的分析能力和效率。
- 杨帅郭茂祖赵玲玲李阳
- 关键词：遗传算法玉米百粒重基因本体
- 精确测量系统的聚类准蒙特卡罗粒子滤波算法被引量：3
- 2014年
- 针对粒子滤波在精确测量系统中由于似然分布过于尖锐引起的失效问题,提出一种基于确定性准蒙特卡罗采样和聚类方法的粒子滤波算法,当判定重要性样本缺失时,利用聚类方法提取提议分布中的关键样本,在由关键样本构成的新的支撑集基础上,确定采样空间和繁殖样本个数,并采用准蒙特卡罗方法生成新的确定性样本序列,以获取有效样本,避免失效现象的发生。仿真实验表明,该算法在测量噪声较小的情况下,与一般粒子滤波算法相比,可以获得更为精确和稳定的状态估计。
- 赵玲玲马培军苏小红
- 关键词：粒子滤波聚类
- 一种使用收缩执行依赖图识别库函数的方法
- 一种使用收缩执行依赖图识别库函数的方法，属于软件逆向工程领域。所述方法为：1）对目标函数和库函数建立执行依赖图(EDG)；2）对EDG的局部EDG序列化，得到特征值序列和有序邻接矩阵；3）参照库函数EDG将目标函数和库函...
- 邱景苏小红马培军赵玲玲王甜甜
- 文献传递
- 基于切片属性图表示学习的函数级代码漏洞检测方法
- 本发明公开了一种基于切片属性图表示学习的函数级代码漏洞检测方法，首先引入新的切片准则，并提出切片属性图的概念，基于切片准则和程序切片技术生成代码的切片属性图，提取与漏洞候选关键点有依赖关系的图结构信息、节点属性信息和代码...
- 苏小红郑伟宁蒋远魏宏巍王甜甜赵玲玲
- 文献传递
- 一种基于软件事务内存的并发缺陷规避系统及方法
- 本发明公开了一种基于软件事务内存的并发缺陷规避系统及方法，所述系统由事务自动划分模块、可回滚内存模块、可回滚I/O模块、条件变量处理模块和加锁解锁处理模块5个模块构成，所述方法为：一、实现对目标程序的自动事务划分；二、实...
- 禹振苏小红王甜甜赵玲玲
- 文献传递
- 一种基于热图像分析的城市开放空间室外人体热舒适预测方法
- 本发明是一种基于热图像分析的城市开放空间室外人体热舒适预测方法。本发明涉及城市设计与建筑环境技术领域；本发明对城市开放空间进行网格化处理，得到多个区域；收集主观人体热感觉评价数据；基于采集到的城市开放空间的热图像，提取热...
- 孙澄韩昀松许敏赵玲玲尹逊之周志波董琪齐轩宁张洪瑞
- 文献传递
