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

计算机学报 2012年第11期35卷 2306-2316页

作者：孟必平王腾蛟李红燕杨冬青高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院北京100871 机器感知与智能教育部重点实验室(北京大学) 北京100871

云计算技术的快速发展为海量数据的存储和管理提供了可能.然而,由于存储模型的根本改变,传统关系数据库管理系统中成熟的索引技术既不能直接应用于海量数据的处理,也无法被简单地迁移到云计算环境中.通过分析对比辅助索引在云环境中的... 详细信息

云计算技术的快速发展为海量数据的存储和管理提供了可能.然而,由于存储模型的根本改变,传统关系数据库管理系统中成熟的索引技术既不能直接应用于海量数据的处理,也无法被简单地迁移到云计算环境中.通过分析对比辅助索引在云环境中的两种截然不同的基本逻辑结构,即集中式方案与分布式方案,在吸收两者的优势并规避其弱点的基础上,提出了具有良好可扩展性的分片位图索引机制,从而对云环境中海量数据的检索任务提供高效的支持.通过充分利用云环境中的并行计算资源,使单条查询的响应速度得到提升;与此同时,局部节点根据其所掌握的全局信息规避了不必要的检索开销从而使大量请求并发到达时的查询吞吐量得以保证.在真实数据上进行实验的结果表明,分片位图索引的查询性能大大优于其它方法.

关键词：云计算环境辅助索引集中式方案分布式方案分片位图索引

来源：评论

学校读者我要写书评

暂无评论

一种基于时间序列的RFID供应链数据分析方法

引用

电子学报 2010年第B02期38卷 26-32页

作者：高昕赵文叶蔚张世琨王立福北京大学信息科学技术学院北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京大学软件工程国家工程研究中心

通过挖掘海量RFID（Radio Frequency Identification）数据来优化供应链已经成为一个研究热点.本文针对供应链流通中出现的若干周转异常并且难以发现的问题，提出了一种基于时间序列的RFID供应链数据分析方法.将供应链的RFID数据统一成... 详细信息

通过挖掘海量RFID（Radio Frequency Identification）数据来优化供应链已经成为一个研究热点.本文针对供应链流通中出现的若干周转异常并且难以发现的问题，提出了一种基于时间序列的RFID供应链数据分析方法.将供应链的RFID数据统一成反映各环节周转状况的时间序列格式，然后通过分段趋势分解方法分解提取的时间序列数据，并根据分解后的随机项建立阈值来判断数据是否异常，从而建立相应的时间序列分析模型；最后基于模型检测数据异常.通过多样本和多数据集的实验检测，结果表明这种方法有效并具有较高的效率.

关键词：无线射频识别(RFID) RFID数据集供应链时间序列

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

实视图选择研究

引用

软件学报 2009年第2期20卷 193-213页

作者：林子雨杨冬青王腾蛟宋国杰高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院北京100871 机器感知与智能教育部重点实验室(北京大学) 北京100871

定义了数据仓库领域的视图选择问题,并讨论了与该问题相关的代价模型、收益函数、代价计算、约束条件和视图索引等内容;介绍了3大类视图选择方法,即静态方法、动态方法和混合方法,以及各类方法的代表性研究成果;最后展望未来的研究方向.

关键词：实视图视图选择数据仓库

来源：评论

学校读者我要写书评

暂无评论

面向高维数据的低冗余top-k异常点发现方法

引用

计算机研究与发展 2010年第5期47卷 788-795页

作者：陈冠华马秀莉杨冬青唐世渭帅猛谢昆青北京大学信息科学技术学院北京100871 机器感知与智能教育部重点实验室(北京大学) 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

异常发现是数据挖掘领域的一类重要任务.针对高维对象的异常度量问题和异常点集合的冗余问题,提出了一种新的面向高维数据的异常点发现方法.该方法通过采用高维数据的二部图表示,以高维对象的压缩能力作为其异常程度的度量,能够有效支... 详细信息

异常发现是数据挖掘领域的一类重要任务.针对高维对象的异常度量问题和异常点集合的冗余问题,提出了一种新的面向高维数据的异常点发现方法.该方法通过采用高维数据的二部图表示,以高维对象的压缩能力作为其异常程度的度量,能够有效支持包含不同类型属性的高维数据.为了解决top-k异常点集合中的冗余问题,提出了低冗余top-k异常点的概念.由于精确计算低冗余的top-k异常点是NP-hard问题,设计了计算近似低冗余的top-k异常点的启发式方法k-AnomaliesHD算法.从在真实和人工数据集上的实验结果可以看出,该方法具有较好的扩展性;而且与不考虑冗余的异常点发现方法相比较,能够更有效地概括数据中的异常模式.

关键词：数据挖掘异常检测高维数据低冗余异常度量

来源：评论

学校读者我要写书评

暂无评论

基于实体识别的在线主题检测方法

引用

北京大学学报（自然科学版） 2009年第2期45卷 227-232页

作者：付艳杨冬青唐世渭伍伟王腾蛟高军高可信软件技术教育部重点实验室北京大学信息科学技术学院北京100871

为提高在线主题的检测效率,作者提出了一种基于实体识别技术的在线主题检测方法,利用新闻报道中的命名实体快速判断新到达报道与历史主题的关系,从而减少对报道间文本相似度的计算。实验结果显示,本文提出的方法能够在不牺牲检测准确率... 详细信息

为提高在线主题的检测效率,作者提出了一种基于实体识别技术的在线主题检测方法,利用新闻报道中的命名实体快速判断新到达报道与历史主题的关系,从而减少对报道间文本相似度的计算。实验结果显示,本文提出的方法能够在不牺牲检测准确率的基础上,显著提高在线主题检测的效率。

关键词：在线主题检测命名实体实体识别增量聚类后缀树聚类

来源：评论

学校读者我要写书评

暂无评论

DNA计算机原理、进展及难点(V):DNA分子的固定技术

引用

计算机学报 2009年第12期32卷 2283-2299页

作者：许进李菲北京大学信息科学技术学院高可信软件技术教育部重点实验室北京100871 空军装备研究院北京100085

在DNA计算机的研制中,DNA分子的固定是首先需要处理的一个最为基本的技术问题.事实上,DNA分子的固定技术不仅是生物计算的一个基本技术,而且是整个基因工程、生物芯片、甚至某些疾病诊疗的基础.基于此,文中将对DNA分子的固定技术给予较... 详细信息

在DNA计算机的研制中,DNA分子的固定是首先需要处理的一个最为基本的技术问题.事实上,DNA分子的固定技术不仅是生物计算的一个基本技术,而且是整个基因工程、生物芯片、甚至某些疾病诊疗的基础.基于此,文中将对DNA分子的固定技术给予较为系统的研讨,包括基本原理、具体方法等.文中引入了"DNA分子固定系统"的结构体系,并对该结构体系中载体子系统、固定剂子系统、标记子系统这3个主要子系统进行了详细的论述.

关键词： DNA计算机 DNA固定技术固定系统固定剂载体分子标记磁珠分离技术 AcrditeTM技术

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：