公共文化服务平台

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

合作作者

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

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

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

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

结构地震响应预测大语言模型: 2025年; 建筑结构的地震响应预测是基于性能的地震工程中建筑评估的重要组成部分。聚焦于地震响应预测中的少样本场景,提出了一种融合了大语言模型(large language model,LLM)和提示学习的震动响应预测方法LLM-PaP。该方法将LLM对时序数据的通用分析能力迁移到地震响应预测中,以克服一般模型在小样本条件下的性能缺陷。在模型中引入“PaP(prompt-as-prefix)”思想,为时间序列增加自然语言任务指令和地震输入序列数据的统计信息,以增强模型对输入序列的理解能力并引导推理预测过程。在两个数据算例的实验中验证了所提方法的有效性。结果表明:LLM-PaP在数据集上的预测性能显著优于基于MLP、频域和Transformer等先进预测方法。进一步的泛化性实验结果揭示了LLM-PaP在跨数据集适应上的卓越性能。LLM-PaP为地震响应预测任务提供了一种创新性的解决方案,为未来大模型与震动响应预测领域的交叉性研究提供了新的思路和方法。; 郭茂祖张欣欣赵玲玲张庆宇; 关键词：时间序列

基于模态不变性建模的无监督行人重识别方法及系统: 本发明公开了基于模态不变性建模的无监督行人重识别方法及系统，属于行人重识别技术领域。通过利用模态间风格迁移模型对图像风格进行处理；利用模态对比损失提升在线编码器对模态差异的鲁棒性；计算原始图像与最相似的k个图像之间的特征...; 王春宇庞志奇赵玲玲

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

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

浅析面向学生自主学习的C语言程序设计实践教学支撑环境被引量：3: 2017年; 如何为学生提供支持其自主学习的实践教学支撑环境，并对学生学习的过程进行有效的监督和指导，真实、客观、公平、公正地评价学生的自主学习效果，成为当前计算机教育领域的研究热点。为解决这些问题，笔者建设了全方位、多元化的面向学生自主学习的C语言程序设计实践教学支撑环境，包括面向学生自主学习的作业在线评测系统、C语言编程题自动评分系统与C语言题库和试卷管理系统。重点介绍了面向学生自主学习的作业在线评测系统，介绍了它是如何支持C程序设计课程实践教学和学生自主学习的，以及在监督指导学生的学习过程和培养学生的自主学习能力、考核学生的自主学习效果等方面所起的作用，最后介绍了笔者在C语言程序设计课程中所采取的基于以上系统的课程考核方法。; 苏小红王甜甜赵玲玲; 关键词：自主学习过程自主学习效果

C语言程序设计课程实验教学中的计算思维培养: 为了在C语言程序设计课程中逐渐培养学生的计算思维能力,本文着重研究如何在实验教学中融入计算思维能力的训练,提出了强化计算思维能力培养的实验教学体系的构建方法,以知识-能力-思维的多层次目标为导向,从实验问题的形式、实验内...; 赵玲玲苏小红王甜甜; 关键词：计算思维 C程序设计; 文献传递

赵玲玲

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

赵玲玲

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈