公共文化服务平台

赵玲玲: 作品数：88 被引量：300H指数：9; 供职机构：哈尔滨工业大学更多>>; 发文基金：国家自然科学基金黑龙江省高等教育教学改革工程项目教育部大学计算机课程改革项目更多>>; 相关领域：自动化与计算机技术文化科学金属学及工艺航空宇航科学技术更多>>

合作作者

面向程序验证的并行程序状态空间态约简技术综述: 2015年; 程序验证是保证程序安全性的重要手段。随着采用多核技术的硬件环境日渐普及,越来越多的软件正通过转向基于共享内存的并行程序模型来充分利用现有的计算资源。各线程在并行执行时通过共享内存的访问互相干扰执行状态,导致可能执行路径数成几何级数增长,进而产生可达状态空间爆炸问题。由于验证并行程序安全性主要通过分析程序可达状态来实现,因此,对并行程序可达状态空间的约简是决定并行程序验证效率的关键因素。首先对面向并行程序验证的并行程序可达状态空间约简方法进行了分类,然后对各类可达状态空间约简方法分别进行了分析和总结,最后指出了当前存在的问题和未来解决这些问题的研究方向。; 逄龙苏小红马培军赵玲玲

基于过采样和卫星图像多特征融合的街区品质评估: 2022年; 城市街区的品质评估是城市规划中的重要步骤之一。针对已有街区品质评估模型中使用的街景图像采集位置和角度不统一造成的图像内容偏差问题,本文提出使用视角统一且易获取的卫星图像代替街景图像。同时考虑多种街区品质测度指标,将非图像型数据与图像型数据进行特征融合,从多角度进行城市街区品质表达,然后针对小样本和数据不平衡场景,结合机器学习中的随机过采样和随机森林(Random Forest, RF),基于融合数据进行城市街区的品质评估。实验结果表明,本研究方法可以有效进行全面的城市街区品质表达,并有效降低过拟合,对比未使用过采样和多特征融合的方法,正确率提高约8个百分点。; 郭茂祖王偲佳王鹏跃李阳赵玲玲; 关键词：卫星图像

一种无监督跨模态行人重识别方法: 一种无监督跨模态行人重识别方法，解决了现有跨模态行人重识别方法依赖于标注数据的问题，属于行人重识别技术领域。本发明包括：将三个单通道的行人可见光数据集分别与红外数据集中对应行人图像组合；利用动量编码器M对组合后的进行特征...; 王春宇庞志奇赵玲玲

基于深度学习的出行模式识别方法被引量：8: 2019年; 居民出行信息可体现居民活动规律、反映城市交通问题,是制定交通规划与管理的重要依据.利用GPS获取的轨迹数据虽具有大量时空信息但不能直接表达出行模式,需要数据处理和挖掘算法提取隐藏知识来识别出行模式.由于居民出行模式具有高度的非线性和复杂性,识别具有很大挑战.本文利用深度学习方法的特征学习表征优势,解决特征提取的繁琐计算或漏提特征等弊端,通过对轨迹进行去野和划分等预处理后,计算轨迹片段的运动学特征构成输入数据,提出基于卷积神经网络与门控循环单元相结合的识别出行模式方法,利用卷积神经网络的深层特征表征优势和门控循环单元的时序特性挖掘能力,提高对非线性分类问题的学习能力和识别出行模式的准确性.为验证所提出方法的有效性,还设计单独的卷积神经网络和门控循环单元等模型,在Geolife数据集上进行测试和对比.实验结果表明,本文方法虽仅计算4个特征量仍具有较好的识别效果,并且优于单独采用卷积神经网络等分类方法的识别性能.; 郭茂祖王鹏跃赵玲玲; 关键词：卷积神经网络语义挖掘

一种基于层次图建模的蛋白质相互作用调节剂预测方法: 一种基于层次图建模的蛋白质相互作用调节剂预测方法，它属于计算机与药物筛选的交叉技术领域。本发明解决了传统PPIM预测方法的准确率、效率低，以及复杂度高的问题。本发明利用图注意力网络在原子和官能团水平上学习给定化学结构的特...; 王春宇张梓童王俊杰赵玲玲

大磨粒金刚石砂轮精密修整方法: 大磨粒金刚石砂轮精密修整方法，它涉及一种金刚石砂轮加工方法。该方法解决现有的传统精密加工硬脆材料存在的效率低、成本高的问题。所述方法包括以下步骤：步骤一、将方形Cr12钢块放置在纵向磁性工作台上，通过数控程序控制大磨粒金...; 朱红赵清亮赵玲玲郭兵姜涛曹国友孙国燕韩帅; 文献传递

一种基于热图像分析的城市开放空间室外人体热舒适预测方法: 本发明是一种基于热图像分析的城市开放空间室外人体热舒适预测方法。本发明涉及城市设计与建筑环境技术领域；本发明对城市开放空间进行网格化处理，得到多个区域；收集主观人体热感觉评价数据；基于采集到的城市开放空间的热图像，提取热...; 孙澄韩昀松许敏赵玲玲尹逊之周志波董琪齐轩宁张洪瑞; 文献传递

基于大班翻转课堂的混合教学模式探索与实践被引量：92: 2017年; 各种MOOC平台的风起云涌,在改变学生学习方式的同时,也给教师的教学方式带来了新的挑战。将在线开放课程建设和应用纳入提高教学质量、提升人才培养水平的系统工程之中,探索MOOC应用新模式,已成为大势所趋。本文以哈工大"C语言程序设计"课程为例,介绍了如何基于MOOC/SPOC和大班翻转课堂进行混合式教学的探索,以及实践中的经验体会,最后介绍了学生对翻转课堂教学效果的反馈。; 苏小红王甜甜张羽张彦航赵玲玲; 关键词：程序设计课程

C语言公共基础课教学内容与教学方法的改革与实践被引量：3: 2014年; 本文首先提出"以程序设计方法为主线,以语法和结构为核心,以培养能力和提高兴趣为目标,变应试为应用"的教学理念,在此教学理念指导下,主要介绍在C语言程序设计公共基础课教学中的教学内容与教学方法改革中所采取的具体措施和办法,最后介绍了这些教学内容与教学方法改革的实践效果。; 苏小红赵玲玲王甜甜傅忠传; 关键词：教学改革

阴影集的模糊支持向量机样本选择方法被引量：4: 2012年; 样本选择可以提高模糊支持向量机训练速度并在一定程度上提高其抗噪能力,但存在有效样本选择困难和选样率高的问题,利用阴影集对模糊集的分析能力,提出一种新的基于阴影集的模糊支持向量机样本选择方法,将模糊集合划分为可信任、不可信任及不确定3个子集,仅在可信任和不确定子集中选样,并分别采用子空间样本选择和边界向量提取的方法选样.实验结果表明,该方法在保持分类器泛化能力的前提下可以有效降低选样率和训练时间.因该方法去除了样本中的不可信任数据,所以当训练样本中含有噪声时,还可以有效提高分类器的分类性能.; 苏小红赵玲玲谢琳马培军; 关键词：模糊支持向量机