检索结果-内蒙古大学图书馆

软件学报 2010年第7期21卷 1550-1560页

作者：赵加奎杨冬青陈立军高可信软件技术教育部重点实验室北京大学信息科学技术学院北京100871 中国电力科学研究院北京100085

Skyband查询是决策支持领域一类非常重要的查询.为了使数据库系统有效支持Skyband查询,必须解决Skyband基数估计的问题,即估计Skyband查询结果中包含的Skyband元素数,因为Skyband基数估计对于扩展数据库系统查询优化器的代价模型以便能... 详细信息

Skyband查询是决策支持领域一类非常重要的查询.为了使数据库系统有效支持Skyband查询,必须解决Skyband基数估计的问题,即估计Skyband查询结果中包含的Skyband元素数,因为Skyband基数估计对于扩展数据库系统查询优化器的代价模型以便能够对Skyband查询进行优化非常重要.基于容斥原理的推广形式对Skyband基数进行理论分析并给出了时间和空间代价很小的对Skyband基数进行估计的算法.实验结果表明,该方法能够准确地对Skyband基数进行估计.

关键词：基数 Skyband查询 Skyline查询数据库系统查询优化

来源：评论

学校读者我要写书评

暂无评论

面向代码注释生成任务的注释质量评价研究

引用

软件学报 2024年

作者：赵衔麟潘兴禄邹艳珍刘陈晓谢冰高可信软件技术教育部重点实验室(北京大学) 北京大学计算机学院

代码注释生成是软件工程领域的重要研究任务.当前主流的注释生成方法训练深度学习模型以生成注释,依靠在开放的代码注释数据集上采用BLEU等指标来进行注释质量评价,主要反映生成注释与数据集中人工参考注释的相似性.但由于开放注释数据... 详细信息

代码注释生成是软件工程领域的重要研究任务.当前主流的注释生成方法训练深度学习模型以生成注释,依靠在开放的代码注释数据集上采用BLEU等指标来进行注释质量评价,主要反映生成注释与数据集中人工参考注释的相似性.但由于开放注释数据集中人工参考注释的质量难以保障,其有效性受到越来越多质疑.因此,面向代码注释生成任务,亟需一种直观有效的代码注释质量评价方法,一方面改进开放注释数据集的质量,另一方面提升生成注释的评价效果.针对该问题,对现有量化的注释质量评价方法进行调研和分析,并将一套多维度注释质量评价指标用于对主流开放数据集、典型注释生成方法以及ChatGPT生成代码注释的质量评价,由此给出一些具有参考价值的研究发现:1)现有主流开放数据集中的代码注释质量俱有待提高,均存在不同程度的不准确、可读性差、过于简短、缺乏有用信息等问题; 2)现有方法生成的注释普遍在词汇和语义上与代码更接近,缺乏代码高层意图等对开发者更有用的信息; 3)生成注释的BLEU值较低,一个重要原因是数据集中大量的参考注释本身质量不佳,譬如与代码缺乏关联、自然性较差等,应过滤或改进此种参考注释; 4)大语言模型ChatGPT生成的代码注释内容丰富但较为冗长,其质量评价需要根据开发者意图与具体场景进行针对性改进.基于这些发现,也对未来代码注释生成任务及注释质量评价研究给出若干建议.

关键词：代码注释注释质量注释评价注释数据集注释生成

来源：评论

学校读者我要写书评

暂无评论

基于模拟器的嵌入式操作系统能耗估算与分析

引用

电子学报 2008年第2期36卷 209-215页

作者：赵霞郭耀雷志勇陈向群北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京100871 北京工商大学计算机学院北京100037

随着嵌入式系统低能耗技术研究的深入,软件对系统能耗的影响越来越受到人们的关注,并向着定量分析方向发展.本文提出一种嵌入式操作系统能耗量化分析方法,通过模拟运行嵌入式操作系统和应用软件,利用微体系结构能耗模型估算单时钟周期... 详细信息

随着嵌入式系统低能耗技术研究的深入,软件对系统能耗的影响越来越受到人们的关注,并向着定量分析方向发展.本文提出一种嵌入式操作系统能耗量化分析方法,通过模拟运行嵌入式操作系统和应用软件,利用微体系结构能耗模型估算单时钟周期指令能耗.提出基于软件功能结构的操作系统内核能耗估算模型并估算分析内核执行路径、服务、例程、原子函数的能耗,发现操作系统内核中显著影响系统能耗的关键软件模块及其特征.实验结果表明,本方法可以从很大程度上提高嵌入式操作系统能耗估算和分析的准确性,估算结果有助于嵌入式操作系统能耗的量化分析和操作系统及应用程序的能耗优化设计.

关键词：嵌入式操作系统能耗估算与分析量化方法

来源：评论

学校读者我要写书评

暂无评论

面向软件工程的情感分析技术研究

引用

软件学报 2023年第5期34卷 2218-2230页

作者：陈震鹏姚惠涵曹雁彬刘譞哲梅宏高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院计算机科学与技术系北京100871

情感分析在软件工程领域具有广泛的应用场景,例如,从代码提交信息中检测开发者的情绪、从程序员问答论坛中识别开发者的观点等.但是,现有的“开箱即用”的情感分析工具无法在软件工程相关的任务中取得可靠的结果.已有研究表明,导致不可... 详细信息

情感分析在软件工程领域具有广泛的应用场景,例如,从代码提交信息中检测开发者的情绪、从程序员问答论坛中识别开发者的观点等.但是,现有的“开箱即用”的情感分析工具无法在软件工程相关的任务中取得可靠的结果.已有研究表明,导致不可靠结果的最主要原因是,这些工具无法理解一些单词和短语在软件工程领域中的特定含义.此后,研究者们开始为软件工程领域定制监督学习和远程监督学习方法.为了验证这些方法的效果,研究者们使用软件工程相关的标注数据集来对它们进行数据集内验证,即,将同一数据集划分为训练集和测试集,分别用于方法的训练和测试.但是,对软件工程领域的某些情感分析任务来说,尚无标注数据集,且人工标注数据集耗时耗力.在此情况下,一种可选的方法就是使用为了相似任务从同一目标平台上提取的数据集或者使用从其他软件工程平台上提取的数据集.为了验证这两种做法的可行性,需要进一步以平台内设置和跨平台设置来验证现有情感分析方法.平台内设置指的是使用提取自同一平台的不同数据集作为训练集和测试集;跨平台设置指的是使用提取自不同平台的数据集作为训练集和测试集.目标旨在数据集内设置、平台内设置、跨平台设置这3种设置下,综合验证现有的为软件工程定制的情感分析方法.最终,实验结果为相关的研究者和从业者提供了具有现实指导意义的启示.

关键词：情感分析软件工程数据集内设置平台内设置跨平台设置

来源：评论

学校读者我要写书评

暂无评论

机器学习赋能的软件自适应性综述

引用

软件学报 2020年第8期31卷 2404-2431页

作者：张明悦金芝赵海燕罗懿行北京大学信息科学技术学院计算机科学与技术系北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

软件系统自适应提供了应对动态变化的环境和不确定的需求的技术方案.在已有的软件系统自适应性的相关研究中,有一类工作将软件系统自适应性转换为回归、分类、聚类、决策等问题,并利用强化学习、神经网络/深度学习、贝叶斯决策理论和概... 详细信息

软件系统自适应提供了应对动态变化的环境和不确定的需求的技术方案.在已有的软件系统自适应性的相关研究中,有一类工作将软件系统自适应性转换为回归、分类、聚类、决策等问题,并利用强化学习、神经网络/深度学习、贝叶斯决策理论和概率图模型、规则学习等机器学习算法进行问题建模与求解,并以此构造软件系统自适应机制.将其称为机器学习赋能的软件自适应性.通过系统化的文献调研,综述了该研究方向的前沿工作:首先介绍基本概念,然后分别从机器学习、软件自适应的视角对当前工作进行分类;按机器学习算法、软件对外交互、软件对内控制、自适应过程、自适应任务和学习能力的对应关系等方面进行分析;最后对未来的研究进行展望.

关键词：自适应软件系统软件自适应性机器学习需求不确定性环境动态性

来源：评论

学校读者我要写书评

暂无评论

一种基于分层适应逻辑的自适应系统实现框架

引用

软件学报 2021年第7期32卷 1957-1977页

作者：李念语陈正胤刘坤焦文品北京大学信息科学技术学院计算机科学与技术系北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

自适应系统由于其能够自主地适应具有非确定性的部署环境,并持续地保持用户的满意度,受到了广泛的关注.然而,目前仍然存在未解决的挑战,例如如何在新的部署环境下,或者在开放且复杂的环境下,使得系统仍然能满足自适应性.因此,为自适应... 详细信息

自适应系统由于其能够自主地适应具有非确定性的部署环境,并持续地保持用户的满意度,受到了广泛的关注.然而,目前仍然存在未解决的挑战,例如如何在新的部署环境下,或者在开放且复杂的环境下,使得系统仍然能满足自适应性.因此,为自适应系统的设计引入了一个新的概念模型,受归因理论启发,该模型被设计成内归因和外归因两层结构.内归因层决定了内因如何影响自适应行为,这一层与部署环境解耦,可以独立设计且可以复用在不同的部署环境中.外归因层映射了外因与内因的关系,这一层在不同的部署环境中可以被替换.基于两层结构的实现框架,具有设计且实现自适应系统的适用性,以及内因层适应逻辑的可复用性,通过两个案例,一个是被广泛使用的电子商务网络应用,一个是需要躲避障碍物且避免滑倒和翻转的机器人系统,来进行评估.

关键词：自适应软件系统归因理论可复用性环境非确定性

来源：评论

学校读者我要写书评

暂无评论

网构软件技术体系：一种以体系结构为中心的途径

引用

中国科学（E辑） 2008年第6期38卷 818-828页

作者：杨芙清吕建梅宏北京大学高可信软件技术教育部重点实验室南京大学计算机软件新技术国家重点实验室

作为Internet环境下的一种新型的软件形态,网构软件对传统的软件开发理论、方法与技术提出了一系列的挑战.我国学者在国家"973"计划支持下,经过5年的研究与实践,形成了一套以体系结构为中心的网构软件技术体系.在网构软件模... 详细信息

作为Internet环境下的一种新型的软件形态,网构软件对传统的软件开发理论、方法与技术提出了一系列的挑战.我国学者在国家"973"计划支持下,经过5年的研究与实践,形成了一套以体系结构为中心的网构软件技术体系.在网构软件模型方面,通过开放协同模型、情境驱动模型和智能可信模型实现了网构软件基本实体的构件化、主体化、服务化以及实体间开放的结构化的按需协同;在网构软件中间件方面,以构件化的中间件平台体系为基础,实现了支持网构软件基本实体运行的容器、支持按需协同的运行时体系结构、以及基于反射的网构软件自治管理;在网构软件开发方法方面,以全生命周期软件体系结构为核心,通过模型驱动的方式支持网构软件基本实体和结构化协同的高效开发、以及遗产系统向网构软件的半自动转换,并通过领域建模实现了网构软件无序资源的有序组织.

关键词：网构软件构件软件体系结构 Agent 软件中间件

来源：评论

学校读者我要写书评

暂无评论

操作系统电源管理研究进展

引用

计算机研究与发展 2008年第5期45卷 817-824页

作者：赵霞陈向群郭耀杨芙清北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室

系统级动态电源管理技术的关键问题是在系统性能与能耗之间进行权衡.在硬件提供支持的基础上,操作系统电源管理的优势在于操作系统作为系统资源管理者,根据工作负载和硬件资源电源状态的特征,在满足系统性能约束条件下作出电源管理决策... 详细信息

系统级动态电源管理技术的关键问题是在系统性能与能耗之间进行权衡.在硬件提供支持的基础上,操作系统电源管理的优势在于操作系统作为系统资源管理者,根据工作负载和硬件资源电源状态的特征,在满足系统性能约束条件下作出电源管理决策和控制,降低系统能耗.从优化控制策略和操作系统资源管理的角度,综述操作系统电源管理研究现状及其关键技术.对两类动态电源管理策略进行详细分析,讨论了从资源管理角度进行操作系统电源管理的研究思路和问题,对当前面临的主要问题和发展趋势进行了总结和展望.

关键词：操作系统电源管理动态功耗管理动态频率调节低能耗

来源：评论

学校读者我要写书评

暂无评论

基于DWT-DCT和Zernike矩的灰度级鲁棒性水印算法

引用

计算机研究与发展 2009年第S1期46卷 93-99页

作者：陈宇曲芳胡建斌陈钟北京大学信息科学技术学院高可信软件技术教育部重点实验室北京100871

鲁棒性是数字水印极为重要的指标.目前大多数文献中的鲁棒性水印方案对常规信号处理攻击均具有良好的鲁棒性,但抗几何攻击的鲁棒性相对较弱.提出了一种新的灰度级鲁棒性水印算法,对常规信号处理攻击和几何攻击均具有良好的鲁棒性.水印... 详细信息

鲁棒性是数字水印极为重要的指标.目前大多数文献中的鲁棒性水印方案对常规信号处理攻击均具有良好的鲁棒性,但抗几何攻击的鲁棒性相对较弱.提出了一种新的灰度级鲁棒性水印算法,对常规信号处理攻击和几何攻击均具有良好的鲁棒性.水印算法的鲁棒性由以下3方面获得:1)选择载体图像的内切圆盘作为Zernike矩的计算域,选择内切圆盘的内接正方形作为水印的嵌入区域.2)在载体图像嵌入区域的层叠DWT-DCT域嵌入水印,获得对常规信号处理攻击的强鲁棒性.3)保存原始含水印图像的2个Zernike矩作为校正几何攻击的参数,获得抗几何攻击能力.实验结果表明,该水印算法嵌入容量大,不仅对大角度旋转和大尺度缩放等几何攻击具有很好的鲁棒性,而且可以有效地抵抗有损压缩和常规信号处理攻击.

关键词： Zernike矩 DWT-DCT 灰度级数字水印

来源：评论

学校读者我要写书评

暂无评论

基于动态分析的软件不变量综合技术

引用

软件学报 2020年第6期31卷 1681-1702页

作者：王博卢思睿姜佳君熊英飞北京大学信息科学技术学院计算机科学技术系软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

软件不变量是软件的重要属性,在软件验证、软件调试和软件测试等领域有重要作用.自20世纪末以来,基于动态分析的不变量综合技术成为相关领域的一个研究热点,并且取得了一定的进展.收集了90篇相关论文对该领域进行系统总结.基于动态分析... 详细信息

软件不变量是软件的重要属性,在软件验证、软件调试和软件测试等领域有重要作用.自20世纪末以来,基于动态分析的不变量综合技术成为相关领域的一个研究热点,并且取得了一定的进展.收集了90篇相关论文对该领域进行系统总结.基于动态分析的不变量综合技术是该领域的核心问题,提出了“学习者-预言”框架统一描述相关方法,并且在此框架内根据学习者的归纳方法将综合技术大致分为4类,分别是基于模板穷举的方法、基于数值计算的方法、基于统计学习的方法以及基于符号执行的方法.其次,讨论了基于动态分析综合的不变量在软件验证和软件工程等领域的重要应用.随后,总结不变量生成技术中常用的实验对象程序和开源的不变量综合工具.最后,总结该领域并展望未来的研究方向.

关键词：不变量动态分析软件规约软件验证软件测试

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：