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

北京大学学报（自然科学版） 2006年第5期42卷 646-657页

作者：刘鹏胡建斌陈钟北京大学信息科学技术学院计算机科学技术系信息安全实验室北京100871

提出了一种用于分布式计算环境的语言安全策略语言SSPL。SSPL通过OWLDL描述,支持各种安全策略的基本类型,包括肯定和否定授权,肯定和否定义务,权限委托和撤销以及策略冲突消除等。SSPL还支持基于规则的安全策略,使得该语言具有更强的表... 详细信息

提出了一种用于分布式计算环境的语言安全策略语言SSPL。SSPL通过OWLDL描述,支持各种安全策略的基本类型,包括肯定和否定授权,肯定和否定义务,权限委托和撤销以及策略冲突消除等。SSPL还支持基于规则的安全策略,使得该语言具有更强的表达能力。为了分析SSPL策略的形式化语义和推理的可判定性,引入DL-safe规则和courteous logic program的概念,并定义了一组从SSPL策略到courteous DL-safe program的转换规则,介绍了对转换得到的逻辑程序的推理过程。

关键词：安全策略分布式计算环境 OWL Datalog DL-safe

来源：评论

学校读者我要写书评

暂无评论

一种用户故事需求质量提升方法

引用

计算机研究与发展 2021年第4期58卷 731-748页

作者：王春晖金芝赵海燕崔牧原高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院计算机科学技术系北京100871 内蒙古师范大学计算机科学技术学院呼和浩特010022

敏捷开发采用用户故事表达用户需求.一般采用格式受限的自然语言编写,但在用户故事编写过程中经常出现一些表述上的缺陷.典型的缺陷包括缺失必要信息、意思表达含糊不清、故事间有重复或存在冲突等.这很大程度上影响了需求的质量,影响... 详细信息

敏捷开发采用用户故事表达用户需求.一般采用格式受限的自然语言编写,但在用户故事编写过程中经常出现一些表述上的缺陷.典型的缺陷包括缺失必要信息、意思表达含糊不清、故事间有重复或存在冲突等.这很大程度上影响了需求的质量,影响软件开发项目的进行.提出一种用户故事需求质量提升方法.从故事缺陷定位的角度出发,该方法构建了用户故事概念模型,并根据实际案例总结并提出11条用户故事应遵循的质量准则.从而提出故事结构分析、句法模式分析以及语法分析等技术,用于自动构建带场景用户故事的实例层模型,并根据准则进行故事缺陷检测,进而提升用户故事质量.在包含36个用户故事84个场景的实际项目中进行实验,自动检测出173个缺陷,缺陷检测的准确率和召回率分别达到88.79%和95.06%.

关键词：用户故事需求缺陷需求质量提升用户故事质量模型需求缺陷检测

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

NDN名字查找算法的性能测试平台的设计和实现

引用

清华大学学报（自然科学版） 2018年第1期58卷 1-7页

作者：张庭汪漪杨仝卢建元刘斌清华大学计算机科学与技术系北京100084 华为未来网络理论实验室香港999072 北京大学信息科学技术学院北京100871

在内容标记网络（NDN）中，越来越多的名字查找算法被提出。这些算法的性能包括速度、可扩展性以及更新性能等亟需评估。但是，NDN目前还处在研究阶段，没有大规模NDN网络部署，缺少真实的大规模名字查找表以及相应的流量。该文设计并... 详细信息

在内容标记网络（NDN）中，越来越多的名字查找算法被提出。这些算法的性能包括速度、可扩展性以及更新性能等亟需评估。但是，NDN目前还处在研究阶段，没有大规模NDN网络部署，缺少真实的大规模名字查找表以及相应的流量。该文设计并实现了一个用于评测名字查找算法性能的软件测试平台——NDNBench。NDNBench包含4个部分：种子表分析器、名字表产生器、名字流量产生器以及更新流量产生器。实验发现名字表和流量的特征会在很大程度上影响NDN名字查找的性能。NDNBench平台将这些特征进行提取，形成可以量化的参数并提供给用户。用户通过调整NDNBench的不同参数，可以得到具有不同结构特征以及表项数目的名字查找表和相应测试流量，从而对名字查找算法性能进行测试评估。该文还对现有的一些名字查找算法进行评估。NDNBench已经在最近的一些工作中得到应用。

关键词：内容标记网络(NDN) 名字查找性能评测

来源：评论

学校读者我要写书评

暂无评论

NB-MAFIA:基于N-List的最长频繁项集挖掘算法

引用

北京大学学报（自然科学版） 2016年第2期52卷 199-209页

作者：沈戈晖刘沛东邓志鸿北京大学信息科学技术学院计算机科学技术系北京100871 北京大学信息科学技术学院智能科学系北京100871 北京大学机器感知与智能教育部重点实验室北京100871

本文在深度优先搜索的框架上,引入基于项集前缀树节点链表的项集表示方法 N-List,提出一个高效的最长频繁项集挖掘算法NB-MAFIA。N-List的高压缩率和高效的求交集方法可以实现项集支持度的快速计算,同时采用对搜索空间的剪枝策略和超集... 详细信息

本文在深度优先搜索的框架上,引入基于项集前缀树节点链表的项集表示方法 N-List,提出一个高效的最长频繁项集挖掘算法NB-MAFIA。N-List的高压缩率和高效的求交集方法可以实现项集支持度的快速计算,同时采用对搜索空间的剪枝策略和超集检测策略来提高算法效率。在多个真实和仿真数据集上,通过实验评估了NB-MAFIA和两个经典算法。实验结果表明NB-MAFIA在多数情况下优于其他算法,尤其在真实和稠密数据集上优势更为明显。

关键词：数据挖掘频繁项集挖掘最长项集 N-List 算法

来源：评论

学校读者我要写书评

暂无评论

消除纹理接缝的2D-3D纹理映射

引用

北京大学学报（自然科学版） 2006年第5期42卷 674-680页

作者：李笑岚查红彬浙江工商大学计算机与信息工程学院计算机科学与技术系北京大学信息科学技术学院智能科学视觉与听觉信息处理国家重点实验室系北京100871

通过小波分解技术将原始图像集合分为2类:边缘图和平滑图,然后根据人眼视觉机制,对此两类图像选择相应的拼接技术。边缘图像采用图像缝合法进行拼接,提出了在部分纹理图表面搜索最优缝合路径的方法。对平滑图像采用多尺度融合法拼接,其... 详细信息

通过小波分解技术将原始图像集合分为2类:边缘图和平滑图,然后根据人眼视觉机制,对此两类图像选择相应的拼接技术。边缘图像采用图像缝合法进行拼接,提出了在部分纹理图表面搜索最优缝合路径的方法。对平滑图像采用多尺度融合法拼接,其中的多尺度融合权函数能较好地体现三维模型的几何特征。实验结果说明了本算法的有效性。

关键词：小波块人类视觉系统多尺度融合融合权值图像缝合

来源：评论

学校读者我要写书评

暂无评论

输入输出均为时变函数的过程神经网络及应用

引用

软件学报 2003年第4期14卷 764-769页

作者：何新贵许少华北京大学信息科学技术学院视觉与听觉信息处理国家重点实验室北京100871 北京航空航天大学计算机科学与工程系北京100083

为了解决实际系统中输入、输出经常是时变连续函数的问题,提出了一类基于基函数展开的过程神经元网络模型.该模型利用过程神经元网络所具有的对时间变量的非线性映射能力,实现系统的输入、输出之间的连续映射关系.另外,还给出了一种学... 详细信息

为了解决实际系统中输入、输出经常是时变连续函数的问题,提出了一类基于基函数展开的过程神经元网络模型.该模型利用过程神经元网络所具有的对时间变量的非线性映射能力,实现系统的输入、输出之间的连续映射关系.另外,还给出了一种学习算法.为了简化计算,选择正交函数作为基函数,并以油藏开发仿真为例,验证了模型和算法的有效性.

关键词：时变函数过程神经网络应用人工神经网络函数逼近正交基函数学习算法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：