星空体育·(StarSky Sports)官方网站

122025-05

学术报告：基于用户交互行为模拟的项目冷启动推荐方法

报告题目：基于用户交互行为模拟的项目冷启动推荐方法报告人：王森章报告时间：5月14日10:30-11:30报告地点：计算机学院A501摘要: 推荐系统的项目冷启动问题一直以来都是推荐系统的难点。相较于可依赖用户历史行为的热物品，冷物品只能依赖内容特征，导致推荐效果受限，进而影响用户体验和平台收益。现有方法通常通过内容特征生成的方法合成冷启动项目表征，但未能真正解决核心问题——缺乏历史行为数据。报告从“为冷启动...

092025-05

学术报告：基于大模型的代码生成方法初探

报告题目：基于大模型的代码生成方法初探报告人：胡伟报告时间：5月14日9:30-10:30报告地点：计算机学院A501摘要: 近年来，大模型在代码生成任务上发展迅速，智能化软件开发迎来了前所未有的变革机遇，成为软件工程领域的一个重要研究方向。本报告将介绍我们在知识图谱增强的大模型微调、检索增强生成，以及大模型Agent技术等方面的初步探索与实践成果。通过引入领域知识和外部信息，我们显著提升了模型在特定场景下的代码...

282025-04

学术报告：从Solidity智能合约字节码中恢复变量和类型

报告题目：从Solidity智能合约字节码中恢复变量和类型报告人：宋巍报告时间：5月9日11:00-12:00报告地点：计算机学院A501摘要: 从Solidity字节码中恢复变量及其类型是智能合约分析和审计中的一项关键但极具挑战性的任务。最先进的智能合约反编译器在变量识别和类型恢复方面存在显著不足。为此，我们提出了VarLifter，致力于精确恢复变量及其类型。VarLifter将数据区域的每个读取或写入字段解释为至少一个潜在变量，在丢弃错误...

282025-04

学术报告：面向深度学习模型的回归缺陷研究

报告题目：面向深度学习模型的回归缺陷研究报告人：王赞报告时间：5月9日10:00-11:00报告地点：计算机学院A501摘要:在大模型时代，深度学习系统仍然在多个领域得到了广泛应用，其质量问题受到人工智能和软件工程两个社区的共同关注。与传统软件类似，随着深度学习系统的不断演进，它们也可能会遇到回归缺陷的问题。为了有效地识别这些错误，我们做了广泛调研并开发了一种名为DRFuzz的回归模糊测试技术。DRFuzz基于多样性测...

272024-12

学术报告：基于遥感大数据的太阳能监测与预报

报告题目：基于遥感大数据的太阳能监测与预报报告人：汪冬冬报告时间：2025年1月2日 14:00-15:00报告地点：计算机楼A501报告摘要：太阳能是一类重要的可再生能源，其分布的显著时空差异性为高效利用带来巨大挑战。遥感大数据提供了一种监测地表太阳能资源分布与动态变化的有效手段。本讲座将介绍从遥感数据中估算监测地表太阳辐射的最新进展，同时将讨论太阳能预报的方法和挑战。报告人简介：汪冬冬，北京大学遥感与地理信...

022024-12

学术报告：小样本三维点云语义分割

报告题目：小样本三维点云语义分割报告人：刘云报告时间：2024年12月3日下午3：00-4：00报告地点：计算机楼A501报告摘要：本次报告将围绕小样本三维点云语义分割（Few-shot 3D Point Cloud Semantic Segmentation, FS-PCS）展开，探讨当前问题设置中存在的两个主要问题：前景泄漏和稀疏点分布。这些问题严重影响了当前模型的性能评估，揭示了引入一个标准化的FS-PCS设置的重要性。此外，还将介绍一种新颖的FS-PCS模型。与以往...

272024-11

访问学者研学报告-大模型智能体RAG技术演进

访问学者研学报告报告题目：大模型智能体RAG技术演进报告人：杨文嘉报告时间：2024年11月28日 18:20-19:20报告地点：计算机学院A501摘要: 报告深入探讨了RAG（Retrieval-Augmented Generation，检索增强生成）技术在大模型智能体中的应用及技术演进。RAG技术是一种结合了“检索器”和“生成器”两大功能组件的人工智能技术。它使大语言模型在生成回答或文本时，能够动态地从外部知识库中检索相关信息，从而提高生成内容的准确...

012024-11

1、基于程序综合的Java虚拟机测试/2、How AI is Changing the World of Software Engineering

报告一报告题目：基于程序综合的Java虚拟机测试报告人：陈俊洁报告时间：2024年11月6日 14:30-15:30报告地点：计算机学院A501报告摘要: Java虚拟机是重要的基础软件，其测试输入为相应程序语言下编写的程序。本研究提出基于程序综合的Java虚拟机测试技术，利用历史缺陷数据、代码表征技术，以及数据流分析方法，实现测试程序的有效构建，提升揭错效果。成果已为开源Java虚拟机HotSpot和OpenJ9检测到数十个真实缺陷...

292024-10

1、面向6G的相机光通感一体化研究/2、基于多频激励的无源蓝牙传输系统

报告一：面向6G的相机光通感一体化研究报告题目：面向6G的相机光通感一体化研究报告人：杨彦兵报告时间：2024年10月30日下午3：00-4：00报告地点：计算机楼A501报告摘要：相机光通信具有安全性高和普适性强等优点，因此受到了业界的广泛关注。然而，在相机光通信系统中，光通信数据会严重影响摄像头原有的图像采集和识别功能；另一方面，背景物体也会影响相机光通信性能。为此，我们提出了基于特征分离和像素分解两种技术...

142024-10

如何灵动地科研？如何Enjoy科研？

如何灵动地科研？如何Enjoy科研？报告题目：如何灵动地科研？如何Enjoy科研？报告人：许倩倩中国科学院计算所研究员报告时间：2024年10月16日下午3：00-4：30报告地点：计算机楼A501 报告摘要：本报告将从读博还是读硕、团队如何管理、如何进行科研选题、如何快速上手、Idea如何诞生、实验不顺利怎么办、Paper怎么写、好的科研习惯有哪些、怎样储备科研基础知识、科研状态如何调节等方面展开介绍。报告人简介：许倩倩，2007...