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

计算机科学与探索 2021年第1期15卷 60-72页

作者：牛凯张扶桑吴丹张大庆北京大学信息科学技术学院高可信软件技术教育部重点实验室北京100871 北京大学(天津滨海)新一代信息技术研究院天津300450 中国科学院软件研究所计算机科学国家重点实验室北京100190

基于WiFi的非接触感知系统利用环境中广泛存在的WiFi信号在自然情况下对用户活动进行感知,具有十分广阔的应用前景。从细粒度活动到粗粒度活动,现有工作进行了大量的探索,但尚未理解和解决感知系统稳定性不足的问题。当感知对象、收发... 详细信息

基于WiFi的非接触感知系统利用环境中广泛存在的WiFi信号在自然情况下对用户活动进行感知,具有十分广阔的应用前景。从细粒度活动到粗粒度活动,现有工作进行了大量的探索,但尚未理解和解决感知系统稳定性不足的问题。当感知对象、收发设备位置、测试环境等发生变化时,系统性能会受到严重影响。实际上,人体活动对应的接收信号模式因位置和朝向的变化而带来的不一致性导致了系统不能稳定工作。为了理解这种现象的本质,利用团队提出的基于无线感知的菲涅尔区衍射和反射模型,精确定量刻画了目标物体相对于收发设备的位置、运动轨迹和无线信号波形模式之间的关系。通过两个应用实例,即细粒度的手指动作识别和粗粒度的健身活动识别,在模型的指导下,分别解释了系统不能稳定工作的原因,说明了如何得到一致的感知波形,以及如何构造可区分的感知波形,并给出了提升感知系统性能的方法。

关键词：菲涅尔区模型系统稳定性 WiFi 无接触感知

来源：评论

学校读者我要写书评

暂无评论

问题框架方法的可靠性关注点及系统可靠性增强模式

引用

计算机学报 2013年第1期36卷 74-87页

作者：尹斌金芝李智中国科学院数学与系统科学研究院北京100190 中国科学院研究生院北京100049 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871 广西师范大学计算机科学与信息技术学院广西桂林541002

软件系统可靠性是软件工程领域的一个热点研究问题.文中以系统可靠性指标为依据,针对问题框架方法,提出了5种与问题相关的可靠性关注点,并设计了相应的系统可靠性增强模式.这些可靠性增强模式将系统可靠性需求显式地引入问题的分析过程... 详细信息

软件系统可靠性是软件工程领域的一个热点研究问题.文中以系统可靠性指标为依据,针对问题框架方法,提出了5种与问题相关的可靠性关注点,并设计了相应的系统可靠性增强模式.这些可靠性增强模式将系统可靠性需求显式地引入问题的分析过程中,通过扩展问题的边界和精化机器的规格说明,为增强系统的可靠性提供支持.文中还展示了作者开发的一个支持系统可靠性分析的支撑工具,用于帮助需求分析者识别问题的可靠性需求,并正确地使用可靠性增强模式.最后,文章结合一个银行账户管理问题的案例展示了文中工作的可行性.

关键词：系统可靠性问题框架方法可靠性关注点可靠性增强模式

来源：评论

学校读者我要写书评

暂无评论

基于IR-UWB雷达的多视角融合动态目标追踪

引用

软件学报 2023年第12期34卷 5457-5476页

作者：陈蔚燕张扶桑刘俊杰包鹏张大庆北京大学信息科学技术学院北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院软件研究所软件工程技术研发中心北京100190 北京邮电大学计算机学院北京100876 北京大学前沿交叉学科研究院大数据科学研究中心北京100871

近年来,对运动目标的定位和追踪被广泛地应用于室内导航、智能家居、安防监控和智慧医疗等场景.基于无线射频信号的非接触式定位追踪受到了研究人员的广泛关注,其中基于商用IR-UWB的技术能够以较低的成本和功耗实现目标定位和追踪的功能... 详细信息

近年来,对运动目标的定位和追踪被广泛地应用于室内导航、智能家居、安防监控和智慧医疗等场景.基于无线射频信号的非接触式定位追踪受到了研究人员的广泛关注,其中基于商用IR-UWB的技术能够以较低的成本和功耗实现目标定位和追踪的功能,具有较强的发展潜力.然而,现有工作大多存在以下问题:1)追踪场景受限,只针对理想情况下室外或者相对空旷的室内场景进行建模和处理;2)目标的运动状态受限且建模过于理想;3)虚假动态目标引起的追踪精度不足.为了解决这些问题,在理解多径场景下接收信号谱组成的基础上,提出一个基于IR-UWB的动态目标追踪方法.首先提取原始信号谱中动态成分,并利用基于高斯模糊的多径消除和距离提取算法,消除了多径干扰,仅保留与运动目标直接相关的一次反射信息,从而准确地获取了目标的距离变化曲线.随后,提出多视角融合算法,将不同视角上的设备距离信息进行融合,实现对自由活动目标的准确定位和追踪.此外,还搭建一个基于低成本商用IR-UWB雷达的实时动态目标追踪系统.真实室内家居场景中的实验结果表明,系统估计的人体中心的位置与真实运动轨迹的误差始终小于20 cm.在改变实验环境、实验者、活动速度、设备高度等影响因素的情况下,系统依然鲁棒.

关键词：普适计算非接触感知 IR-UWB UWB 距离测量室内定位目标追踪

来源：评论

学校读者我要写书评

暂无评论

基于同步网和C_net的复合事件检测研究

引用

系统仿真学报 2008年第S2期20卷 46-50页

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

复合事件检测是复杂事件处理的一个核心技术。基于同步网和C_net研究了复合事件检测的形式化模型,并以该模型为基础设计了一个灵活的复合事件检测算法框架。该算法框架使得复合事件检测算法中的事件消费策略、事件存储策略以及运行时优... 详细信息

复合事件检测是复杂事件处理的一个核心技术。基于同步网和C_net研究了复合事件检测的形式化模型,并以该模型为基础设计了一个灵活的复合事件检测算法框架。该算法框架使得复合事件检测算法中的事件消费策略、事件存储策略以及运行时优化策略等可以简单高效的实现和集成。

关键词：复合事件检测复杂事件处理同步网 C_net Petri网

来源：评论

学校读者我要写书评

暂无评论

基于互联网群体智能的软件开发:可行性、现状与挑战

引用

中国科学：信息科学 2017年第12期47卷 1601-1622页

作者：张伟梅宏高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871 北京理工大学计算机学院北京100081

我们正在经历一场软件开发方式的变革.在这场变革中,互联网承担了双重角色:一方面,互联网形成了一个开放、动态、持续演化的软件运行环境,极大地增加了软件系统的规模和复杂性,为软件开发带来了新的挑战;另一方面,在"将计算机互联&... 详细信息

我们正在经历一场软件开发方式的变革.在这场变革中,互联网承担了双重角色:一方面,互联网形成了一个开放、动态、持续演化的软件运行环境,极大地增加了软件系统的规模和复杂性,为软件开发带来了新的挑战;另一方面,在"将计算机互联"和"将物品互联"两种基础角色之上,互联网正在展现出"将智能互联"的崭新角色,促成了群体智能现象在各种问题领域中的出现和快速发展,为解决软件开发面临的本质性困难提供了一种潜在的创新性解决方案.本文从可行性、实践现状、问题与挑战等几个方面对基于互联网群体智能的软件开发进行了概要性的论述和分析,并对其理想形态进行了初步的探索.我们希望通过这些论述和分析,能够为软件工程领域的研究者对相关问题及其研究实践现状的理解提供一种有价值的观察视角,为软件工程在互联网环境下的创新性发展贡献一些可能有用的信息和观点.

关键词：软件工程互联网群体智能开源软件软件众包

来源：评论

学校读者我要写书评

暂无评论

一个VANETs隐私保护实用化系统

引用

计算机工程 2012年第23期38卷 118-122页

作者：杨涛胡建斌陈钟北京大学高可信软件技术教育部重点实验室北京100871 北京大学网络和软件安全保障教育部重点实验室北京100871 北京大学信息科学技术学院软件研究所北京100871

针对车辆自组网(VANETs)中的身份和位置隐私保护问题,提出一个面向实用的VANETs隐私保护系统PKU-VPPS,给出该系统的体系架构设计并进行分析和研究。PKU-VPPS系统以TP4RS协议、TC-TPS协议、VLSP协议等为关键技术支撑点,不仅具有对车辆身... 详细信息

针对车辆自组网(VANETs)中的身份和位置隐私保护问题,提出一个面向实用的VANETs隐私保护系统PKU-VPPS,给出该系统的体系架构设计并进行分析和研究。PKU-VPPS系统以TP4RS协议、TC-TPS协议、VLSP协议等为关键技术支撑点,不仅具有对车辆身份隐私和位置隐私进行安全保护能力,还具备良好的实际部署能力和可扩展能力。

关键词：车辆自组网隐私保护消息认证可追溯性 TP4RS协议

来源：评论

学校读者我要写书评

暂无评论

基于代码模式的软件问答文档检索优化方法

引用

计算机科学与探索 2017年第10期11卷 1591-1598页

作者：华晨彦邹艳珍朱子骁谢冰北京大学信息科学技术学院北京 100871 高可信软件技术教育部重点实验室北京 100871 北京大学(天津滨海)新一代信息技术研究院天津 300450

开发人员通常通过问答网站的搜索引擎进行相关软件问答文档的搜索.在检索结果中,包含优质代码片段(使用示例)的问答文档往往更受青睐,但如何度量这些文档中代码片段的质量仍是个巨大的挑战.针对这个问题,提出了一种基于代码模式的软件... 详细信息

开发人员通常通过问答网站的搜索引擎进行相关软件问答文档的搜索.在检索结果中,包含优质代码片段(使用示例)的问答文档往往更受青睐,但如何度量这些文档中代码片段的质量仍是个巨大的挑战.针对这个问题,提出了一种基于代码模式的软件问答文档检索优化方法.该方法能够基于当前检索结果,抽取文档中的代码片段,分析代码片段中的公共代码模式,并基于代码模式度量文档中代码片段的质量,从原有检索结果中向用户推荐高质量的软件问答文档.以软件开发人员在实践过程中遇到的真实问题为基础进行了实验,对比StackOverflow的搜索结果,所提方法在准确率指标NDCG@5上提升了40%.

关键词：代码模式软件问答文档文档检索

来源：评论

学校读者我要写书评

暂无评论

面向开源软件项目的软件知识图谱构建方法

引用

计算机科学与探索 2017年第6期11卷 851-862页

作者：李文鹏王建彬林泽琦赵俊峰邹艳珍谢冰北京大学信息科学技术学院北京 100871 高可信软件技术教育部重点实验室北京 100871 北京大学(天津滨海)新一代信息技术研究院天津 300450

软件复用是软件开发中避免重复劳动的解决方案.开源软件的源代码、邮件列表、缺陷报告和问答文档等软件资源中蕴含了规模庞大、结构复杂、语义关联丰富的软件知识.如何获取知识、组织知识,以及如何在软件复用过程中方便地检索软件知识... 详细信息

软件复用是软件开发中避免重复劳动的解决方案.开源软件的源代码、邮件列表、缺陷报告和问答文档等软件资源中蕴含了规模庞大、结构复杂、语义关联丰富的软件知识.如何获取知识、组织知识,以及如何在软件复用过程中方便地检索软件知识是亟待解决的问题.为了解决这些问题,面向开源软件项目,构建了软件知识图谱,并提供了基于软件知识图谱的软件知识检索.主要工作包括:针对4种不同类型的软件资源,提出了软件知识实体的提取原则与方法;提出了软件知识实体之间关联关系构建的方法;实现了两种软件知识检索机制,并以文字列表和图形可视化相结合的方式展现检索结果;设计了软件知识图谱构建框架.基于上述工作,设计并实现了一个面向开源软件项目的软件知识图谱构建工具.实例证明,所构建的软件知识图谱可以更好地帮助软件开发人员进行软件知识的检索与应用.

关键词：软件复用开源软件软件知识图谱图数据库

来源：评论

学校读者我要写书评

暂无评论

数据多次发布的隐私保护研究进展

引用

计算机应用研究 2014年第12期31卷 3527-3530页

作者：喻梁文王永刚胡建斌陈钟北京大学信息科学技术学院软件研究所北京100871 北京大学高可信软件技术教育部重点实验室北京100871 国家计算机网络应急技术处理协调中心北京100029

数据发布的隐私保护研究主要分为两类:数据单次发布和数据多次发布。目前,数据单次发布的隐私保护研究已经趋于完善。但是在真实的世界中,待发布的数据通常是动态变化的,数据多次发布的隐私保护是目前该领域的研究热点。对数据多次发布... 详细信息

数据发布的隐私保护研究主要分为两类:数据单次发布和数据多次发布。目前,数据单次发布的隐私保护研究已经趋于完善。但是在真实的世界中,待发布的数据通常是动态变化的,数据多次发布的隐私保护是目前该领域的研究热点。对数据多次发布的隐私保护研究成果进行了总结,介绍了关系数据和社会网络数据的隐私保护模型,深入地分析了现有的关系数据和社会网络数据多次发布的各种方法,并指明了该领域的未来研究方向。

关键词：关系数据社会网络数据隐私保护数据单次发布数据多次发布

来源：评论

学校读者我要写书评

暂无评论

经典Ramsey数DNA计算模型(Ⅰ):位序列计算模型

引用

计算机学报 2008年第12期31卷 2073-2080页

作者：许进范月科北京大学信息科学技术学院高可信软件技术教育部重点实验室北京100871 华中科技大学分子生物计算机研究所武汉430074

Ramsey数问题是组合数学乃至整个数学中最具魅力的研究领域,也是最困难的数学问题之一.对于经典Ramsey数,至今只有9个Ramsey数得到解决.按照传统的算法,其搜索空间太大,当前的电子计算机无法胜任.研究表明,DNA计算在求解困难的NP-完全... 详细信息

Ramsey数问题是组合数学乃至整个数学中最具魅力的研究领域,也是最困难的数学问题之一.对于经典Ramsey数,至今只有9个Ramsey数得到解决.按照传统的算法,其搜索空间太大,当前的电子计算机无法胜任.研究表明,DNA计算在求解困难的NP-完全问题上优于电子计算机.目前已经建立了众多求解NP-完全问题的DNA计算模型,但未见到用于求解Ramsey数的DNA计算模型.作者建立了一种新颖的DNA计算模型,用于一般经典Ramsey数的求解.全文共分两篇,该文属首篇,建立了一种可适用于DNA计算模式的所谓的求解Ramsey数的位序列计算模型,其中的位序列是以图的相邻矩阵下三角阵中行从左到右、列从上到下的排列次序.文中重点对该模型的机理与使用方法进行了分析研究.

关键词：经典Ramsey数 DNA计算位序列计算模型

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：