赵玲玲
- 作品数：89 被引量：332H指数：9
- 供职机构：哈尔滨工业大学更多>>
- 发文基金：国家自然科学基金黑龙江省高等教育教学改革工程项目教育部大学计算机课程改革项目更多>>
- 相关领域：自动化与计算机技术文化科学金属学及工艺航空宇航科学技术更多>>
- 面向程序验证的并行程序状态空间态约简技术综述
- 2015年
- 程序验证是保证程序安全性的重要手段。随着采用多核技术的硬件环境日渐普及,越来越多的软件正通过转向基于共享内存的并行程序模型来充分利用现有的计算资源。各线程在并行执行时通过共享内存的访问互相干扰执行状态,导致可能执行路径数成几何级数增长,进而产生可达状态空间爆炸问题。由于验证并行程序安全性主要通过分析程序可达状态来实现,因此,对并行程序可达状态空间的约简是决定并行程序验证效率的关键因素。首先对面向并行程序验证的并行程序可达状态空间约简方法进行了分类,然后对各类可达状态空间约简方法分别进行了分析和总结,最后指出了当前存在的问题和未来解决这些问题的研究方向。
- 逄龙苏小红马培军赵玲玲
- 基于过采样和卫星图像多特征融合的街区品质评估
- 2022年
- 城市街区的品质评估是城市规划中的重要步骤之一。针对已有街区品质评估模型中使用的街景图像采集位置和角度不统一造成的图像内容偏差问题,本文提出使用视角统一且易获取的卫星图像代替街景图像。同时考虑多种街区品质测度指标,将非图像型数据与图像型数据进行特征融合,从多角度进行城市街区品质表达,然后针对小样本和数据不平衡场景,结合机器学习中的随机过采样和随机森林(Random Forest, RF),基于融合数据进行城市街区的品质评估。实验结果表明,本研究方法可以有效进行全面的城市街区品质表达,并有效降低过拟合,对比未使用过采样和多特征融合的方法,正确率提高约8个百分点。
- 郭茂祖王偲佳王鹏跃李阳赵玲玲
- 关键词：卫星图像
- 一种无监督跨模态行人重识别方法
- 一种无监督跨模态行人重识别方法，解决了现有跨模态行人重识别方法依赖于标注数据的问题，属于行人重识别技术领域。本发明包括：将三个单通道的行人可见光数据集分别与红外数据集中对应行人图像组合；利用动量编码器M对组合后的进行特征...
- 王春宇庞志奇赵玲玲
- 基于深度学习的出行模式识别方法被引量：8
- 2019年
- 居民出行信息可体现居民活动规律、反映城市交通问题,是制定交通规划与管理的重要依据.利用GPS获取的轨迹数据虽具有大量时空信息但不能直接表达出行模式,需要数据处理和挖掘算法提取隐藏知识来识别出行模式.由于居民出行模式具有高度的非线性和复杂性,识别具有很大挑战.本文利用深度学习方法的特征学习表征优势,解决特征提取的繁琐计算或漏提特征等弊端,通过对轨迹进行去野和划分等预处理后,计算轨迹片段的运动学特征构成输入数据,提出基于卷积神经网络与门控循环单元相结合的识别出行模式方法,利用卷积神经网络的深层特征表征优势和门控循环单元的时序特性挖掘能力,提高对非线性分类问题的学习能力和识别出行模式的准确性.为验证所提出方法的有效性,还设计单独的卷积神经网络和门控循环单元等模型,在Geolife数据集上进行测试和对比.实验结果表明,本文方法虽仅计算4个特征量仍具有较好的识别效果,并且优于单独采用卷积神经网络等分类方法的识别性能.
- 郭茂祖王鹏跃赵玲玲
- 关键词：卷积神经网络语义挖掘
- 基于模态不变性建模的无监督行人重识别方法及系统
- 本发明公开了基于模态不变性建模的无监督行人重识别方法及系统，属于行人重识别技术领域。通过利用模态间风格迁移模型对图像风格进行处理；利用模态对比损失提升在线编码器对模态差异的鲁棒性；计算原始图像与最相似的k个图像之间的特征...
- 王春宇庞志奇赵玲玲
- 一种基于层次图建模的蛋白质相互作用调节剂预测方法
- 一种基于层次图建模的蛋白质相互作用调节剂预测方法，它属于计算机与药物筛选的交叉技术领域。本发明解决了传统PPIM预测方法的准确率、效率低，以及复杂度高的问题。本发明利用图注意力网络在原子和官能团水平上学习给定化学结构的特...
- 王春宇张梓童王俊杰赵玲玲
- 大磨粒金刚石砂轮精密修整方法
- 大磨粒金刚石砂轮精密修整方法，它涉及一种金刚石砂轮加工方法。该方法解决现有的传统精密加工硬脆材料存在的效率低、成本高的问题。所述方法包括以下步骤：步骤一、将方形Cr12钢块放置在纵向磁性工作台上，通过数控程序控制大磨粒金...
- 朱红赵清亮赵玲玲郭兵姜涛曹国友孙国燕韩帅
- 浅析面向学生自主学习的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倍,表明所提方法能够有效提升对转录组数据的分析能力和效率。
- 杨帅郭茂祖赵玲玲李阳
- 关键词：遗传算法玉米百粒重基因本体
