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

软件学报 2019年第5期30卷 1532-1546页

作者：唐爽王亚沙赵俊峰王江涛夏丁高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院北京100871 软件工程国家工程中心(北京大学) 北京100871 北京大学(天津滨海)新一代信息技术研究院天津300450

基于数据分析的智能决策对提升企业竞争力具有重要意义.根据待分析的问题,从内部信息系统的数据库中查询并获取与问题密切相关且信息完整的数据,是企业数据分析过程中的关键环节.基于本体的可视化数据查询系统为不掌握计算机专业技能的... 详细信息

基于数据分析的智能决策对提升企业竞争力具有重要意义.根据待分析的问题,从内部信息系统的数据库中查询并获取与问题密切相关且信息完整的数据,是企业数据分析过程中的关键环节.基于本体的可视化数据查询系统为不掌握计算机专业技能的终端用户提供了高效获取数据的手段,近年来成为研究热点.然而现有工作仅采用简单的映射规则,将数据库中的表、字段、外键关系等元素直接映射为本体中的概念、属性和关系,向终端用户暴露了过多数据库设计的技术细节,增加了用户理解的难度,降低了系统的可用性.而通过人工编写映射规则来屏蔽数据库细节,既低效又缺乏通用性.针对这一问题,提出了一种基于推理的终端用户本体查询构造方法.该方法利用本体模型的语义表达能力和推理能力,在原有基于数据库简单映射所生成的本体模型基础上注入领域知识,从而优化查询构造流程,使终端用户得以从其更为熟悉的业务知识的视角,而非数据库设计的视角来看待和操纵数据,提高系统可用性;同时,增加了对分组统计的支持,扩展了方法的适用范围.最后,通过对"餐饮前台信息管理"领域真实案例的分析,验证了该方法相对于已有方法,其可用性提高了53.44%,表达能力提高了20.43%.

关键词：终端用户数据访问基于本体的数据访问可视化查询构造可视化查询系统

来源：评论

学校读者我要写书评

暂无评论

软件开发方法发展回顾与展望

引用

软件学报 2019年第1期30卷 3-21页

作者：马晓星刘譞哲谢冰余萍张天卜磊李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

软件是信息化社会的基础设施,而构造并运用软件的能力成为一种核心竞争力.软件开发方法凝结了系统化的软件构造过程和技术.简要回顾了50年来软件开发方法发展历程中具有重要影响的里程碑,包括基于结构化程序设计和模块化开发的基本方法... 详细信息

软件是信息化社会的基础设施,而构造并运用软件的能力成为一种核心竞争力.软件开发方法凝结了系统化的软件构造过程和技术.简要回顾了50年来软件开发方法发展历程中具有重要影响的里程碑,包括基于结构化程序设计和模块化开发的基本方法、面向对象方法、软件复用与构件化方法、面向方面的方法、模型驱动的方法,以及服务化的方法.而后针对Internet的发展普及以及人机物融合应用对软件开发方法提出的挑战,介绍了网构软件的研究和探索,并展望未来人机物融合的软件方法和技术.

关键词：软件开发方法回顾展望

来源：评论

学校读者我要写书评

暂无评论

面向多源数据的可扩展主题建模分析框架

引用

计算机科学与探索 2019年第5期13卷 742-752页

作者：唐爽张灵箫赵俊峰谢冰邹艳珍北京大学信息科学技术学院北京100871 高可信软件技术教育部重点实验室北京100871 北京大学(天津滨海)新一代信息技术研究院天津300450

随着信息技术的不断发展和应用,大量信息系统积累了海量多源异构数据,这些数据中有很大一部分都是结构化数据,具有高维度、低质量、无标注等特点,难以进行特征提取与进一步的知识提炼。主题建模是文本处理和数据挖掘中的一个非常重要的... 详细信息

随着信息技术的不断发展和应用,大量信息系统积累了海量多源异构数据,这些数据中有很大一部分都是结构化数据,具有高维度、低质量、无标注等特点,难以进行特征提取与进一步的知识提炼。主题建模是文本处理和数据挖掘中的一个非常重要的方法,它是一种无监督学习算法,最初用于对无结构的自然语言文本进行建模,可以有效地从文本语义中提取主题信息,以进行特征提取和降维分析,然而主题建模技术尚不能很好应用在关系复杂的多源数据,尤其是结构化数据的处理中。提出了一个基于可扩展主题建模技术的针对结构化与非结构化多源数据分析框架,通过数据导入、数据分析、数据可视化三个步骤对多源数据进行基于主题建模技术的数据分析,并在此基础上实现了一个多源数据分析工具,最后通过两个数据集的实验证明了所提的多源数据分析框架的有效性。

关键词：主题建模技术潜在狄利克雷分布(LDA) 结构化数据分析可视化

来源：评论

学校读者我要写书评

暂无评论

基于智能手机感知数据的心理压力评估方法

引用

计算机研究与发展 2019年第3期56卷 611-622页

作者：王丰王亚沙王江涛熊昊一赵俊峰张大庆高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院北京100871 计算机网络和信息集成教育部重点实验室南京210018 北京大学软件工程国家工程研究中心北京100871 密苏里科技大学计算机科学系美国密苏里州罗拉65409

较大的心理压力对大学生的心理和生理均会产生危害.心理压力往往在前期容易被人忽视,从而导致严重的问题.因此,如果能较早发现心理压力,并进行合理干预,有益于人的身心健康.传统心理压力检测方法以问卷调查和借助专业设备的评估为主,但... 详细信息

较大的心理压力对大学生的心理和生理均会产生危害.心理压力往往在前期容易被人忽视,从而导致严重的问题.因此,如果能较早发现心理压力,并进行合理干预,有益于人的身心健康.传统心理压力检测方法以问卷调查和借助专业设备的评估为主,但都存在成本较高,且对被评估对象侵扰较大等不足.另一方面,随着智能手机的快速普及,通过手机中内置的位置、声音、加速度等多种传感器感知用户的行为习惯,并基于感知数据评估用户心理压力成为一种低成本、低侵扰的心理压力评估手段.在此背景下,针对基于智能手机感知数据分析,对评估大学生心理压力的方法展开了研究,从感知数据中提取合理的特征,提出了一种更高效的心理压力评估方法.首先,讨论了如何从原始的手机感知数据提取出合理的特征;其次,介绍将心理压力评估转化为分类问题,并使用半监督学习方法构造分类模型;最后,在开放数据集StudentLife上对上述模型进行实验验证.实现结果表明:该方法在心理压力检测精确度和召回率等方面均优于基线方法.

关键词：心理压力情境感知特征工程自动评估机器学习

来源：评论

学校读者我要写书评

暂无评论

基于模型的自适应方法综述

引用

软件学报 2018年第1期29卷 23-41页

作者：赵天琪赵海燕张伟金芝高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871

自适应为管理现代软件系统的复杂性提供了有效的解决方案,被设计为自适应系统的软件能够持续地演化以应对环境中的不确定性.在现有的研究工作中,基于模型的自适应方法是一类广泛使用的方法,它将模型驱动工程技术的应用从设计时扩展到运... 详细信息

自适应为管理现代软件系统的复杂性提供了有效的解决方案,被设计为自适应系统的软件能够持续地演化以应对环境中的不确定性.在现有的研究工作中,基于模型的自适应方法是一类广泛使用的方法,它将模型驱动工程技术的应用从设计时扩展到运行时,以支持自适应能力的实现.通过利用软件模型对运行时丰富和不确定的信息进行管理,这类方法避免了将自适应逻辑与程序语言交织带来的复杂性,从而简化了自适应系统的开发.对近些年来国内外学者在该研究领域取得的成果进行了系统总结.首先给出了6个研究问题,包括相关工作常用的需求模型、结构模型、行为模型、环境模型、模型与模型或模型与系统间的同步方式、自适应规划算法等;然后,依次总结了相关工作在这6个研究问题上的已有研究成果;最后,对未来研究可能面临的挑战进行了展望.

关键词：自适应软件模型驱动的软件工程基于模型的自适应自适应规划方法.

来源：评论

学校读者我要写书评

暂无评论

基于领域偏好的可变时间窗口时序数据主题模式识别算法

引用

计算机科学 2019年第11期46卷 251-259页

作者：王一博彭广举何远舵王亚沙赵俊峰王江涛高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院北京100871 北京大学软件工程国家工程研究中心北京100871

随着传感器的普及,智慧城市、普适计算等领域应用不断涌现,对时序数据处理的需求也在不断增长。时序数据中反复出现的高度相似的模式被称为主题模式。时序数据的主题模式蕴含有了大量的信息,对主题模式的识别是时序数据处理的重要分支... 详细信息

随着传感器的普及,智慧城市、普适计算等领域应用不断涌现,对时序数据处理的需求也在不断增长。时序数据中反复出现的高度相似的模式被称为主题模式。时序数据的主题模式蕴含有了大量的信息,对主题模式的识别是时序数据处理的重要分支领域。现有主题模式识别算法无法根据特定应用或领域的知识来指定主题模式识别的偏好,从而难以发现对分析领域问题最具价值的模式。针对这一问题,文中给出了一种可以根据领域偏好定义子序列相似性的机制,并设计了一种针对上述相似性度量机制的可变时间窗口主题模式识别加速剪枝算法。实验证明,所提方法在多个公开数据集上,能高效且准确地发现具有领域偏好的主题模式。

关键词：时序数据主题模式领域偏好可变时间窗口主题模式实例

来源：评论

学校读者我要写书评

暂无评论

面向环境与需求不确定性的系统自适应决策

引用

计算机研究与发展 2018年第5期55卷 1014-1033页

作者：杨卓群金芝中国科学院数学与系统科学研究院数学研究所北京100190 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871

软件系统在运行时会与其他软硬件系统、设备和用户发生密切交互.软件运行环境呈现出不稳定的特点,同时软件需求也可能会发生变化.由于难以准确预测和描述软件运行时的环境及需求,两者的变化具有不确定性.为提供持续服务,软件需要通过自... 详细信息

软件系统在运行时会与其他软硬件系统、设备和用户发生密切交互.软件运行环境呈现出不稳定的特点,同时软件需求也可能会发生变化.由于难以准确预测和描述软件运行时的环境及需求,两者的变化具有不确定性.为提供持续服务,软件需要通过自适应能力,根据环境和自身的变化来调节其行为.不确定性给软件的自适应过程带来很大挑战.现有相关工作主要关注环境变化给需求带来的影响,以及环境变化时如何调节软件行为来满足固定的需求.这些方法难以处理需求不确定时自适应过程中的变化性和复杂性.针对该问题,提出一种基于模糊控制的自适应决策方法,以应对运行时环境与需求的不确定性.首先通过模糊逻辑建模与规约环境和软件中的变化要素,并构建要素间的推理规则;其次基于前馈-反馈控制结构和模糊控制器设计自适应机制;最后通过模糊推理和遗传算法实现决策求解.不同环境和约束下的自适应结果表明:软件能够通过自适应机制和算法求得优化决策.为验证方法的可行性和有效性,通过一个移动端比特币采矿机案例进行了评估.

关键词：自适应软件系统不确定性需求工程前馈-反馈控制模糊逻辑优化决策

来源：评论

学校读者我要写书评

暂无评论

对三个多服务器环境下匿名认证协议的分析

引用

软件学报 2018年第7期29卷 1937-1952页

作者：汪定李文婷王平北京大学信息科学技术学院北京100871 北京大学软件与微电子学院北京100260 软件工程国家工程研究中心北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

设计安全、高效的多服务器环境下匿名身份认证协议是当前安全协议领域的研究热点.基于广泛接受的攻击者模型,对多服务器环境下的3个代表性匿名认证协议进行了安全性分析.指出:(1)Wan等人的协议无法实现所声称的离线口令猜测攻击,且未实... 详细信息

设计安全、高效的多服务器环境下匿名身份认证协议是当前安全协议领域的研究热点.基于广泛接受的攻击者模型,对多服务器环境下的3个代表性匿名认证协议进行了安全性分析.指出:(1)Wan等人的协议无法实现所声称的离线口令猜测攻击,且未实现用户匿名性和前向安全性;(2)Amin等人的协议同样不能抵抗离线口令猜测攻击,且不能提供匿名性,对两种破坏前向安全性的攻击是脆弱的;(3)Reedy等人的协议不能抵抗所声称的用户仿冒攻击和离线口令猜测攻击,且无法实现用户不可追踪性.突出强调这些协议失败的根本原因在于,违反协议设计的3个基本原则:公钥原则、用户匿名性原则和前向安全性原则.明确协议的具体失误之处,并提出相应修正方法.王平(1961-),男,博士,教授,博士生导师,CCF专业会员,主要研究领域为信息安全,系统软件,物联网.

关键词：多服务器环境认证协议匿名性离线口令猜测攻击前向安全性

来源：评论

学校读者我要写书评

暂无评论

形式化方法在云计算中的应用现状

引用

广州大学学报（自然科学版） 2019年第4期18卷 69-74页

作者：王捍贫张磊广州大学计算机科学与网络工程学院广东广州510006 北京大学信息科学技术学院软件研究所/高可信软件技术教育部重点实验室北京100871

在当今信息时代,随着互联网技术的飞速发展,人们需要能够便捷存储和处理大量信息的技术,因而云计算技术得到了广泛的应用.云计算技术有着快速灵活、资源共享、网络连接、按需服务等特点,但由于云计算系统非常复杂,以致难以管理和测试.... 详细信息

在当今信息时代,随着互联网技术的飞速发展,人们需要能够便捷存储和处理大量信息的技术,因而云计算技术得到了广泛的应用.云计算技术有着快速灵活、资源共享、网络连接、按需服务等特点,但由于云计算系统非常复杂,以致难以管理和测试.为了向用户保证云计算系统中存储的可靠性、程序的鲁棒性、数据的安全性等等,必须使用形式化方法对云计算系统的有关性质进行验证.本文主要调研了近年来使用形式化方法对云计算系统进行研究的工作,对云计算系统资源管理、云计算系统安全性等方面的工作分别进行了介绍.

关键词：形式化方法云计算模型检查

来源：评论

学校读者我要写书评

暂无评论

分离逻辑的技术基础与研究现状

引用

广州大学学报（自然科学版） 2019年第2期18卷 1-9页

作者：王捍贫张博闻广州大学计算机科学与网络工程学院广东广州510006 北京大学信息科学技术学院软件研究所北京100871 北京大学高可信软件技术教育部重点实验室北京100871

随着计算机系统复杂性的日渐增加,可靠性正成为计算机软件理论中新的研究热点.运用数理逻辑中的推理方法,研究人员可以严格分析和验证计算机程序的正确性.分离逻辑作为一种分析共享可操作存储程序的新方法,近年来逐渐发展成为针对可扩... 详细信息

随着计算机系统复杂性的日渐增加,可靠性正成为计算机软件理论中新的研究热点.运用数理逻辑中的推理方法,研究人员可以严格分析和验证计算机程序的正确性.分离逻辑作为一种分析共享可操作存储程序的新方法,近年来逐渐发展成为针对可扩展程序的主流验证技术之一.文章阐述分离逻辑的研究背景、理论基础以及验证原理,详细介绍其对存储空间抽象描述的思想,通过实例说明分离逻辑的推导策略.特别地,介绍了双向诱导推理对循环链表程序片段的验证过程,展现了在未知系统当前状态的情况下,分离逻辑验证未完成代码,甚至代码片段正确性的可行性.文章还综述了诸多基于分离逻辑的各种拓展,以增加对分离逻辑研究状况的了解.

关键词：分离逻辑形式化方法双向诱导推理程序验证

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：