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

中国科学:信息科学 2025年第3期55卷 500-515页

作者：张珊李响李西烁王志远罗洪斌北京航空航天大学计算机学院北京100191 北京航空航天大学软件开发环境国家重点实验室北京100191 北京航空航天大学网络空间安全学院北京100191

传统云或边缘计算模式下,数据的存储、计算和传输分离:终端负责指定具体的计算和关联存储节点,网络仅在这些节点间提供传输路径而并不感知所承载的计算任务.这种模式不仅导致海量异构存算平台难以感知识别彼此的可用资源并形成协同合力... 详细信息

传统云或边缘计算模式下,数据的存储、计算和传输分离:终端负责指定具体的计算和关联存储节点,网络仅在这些节点间提供传输路径而并不感知所承载的计算任务.这种模式不仅导致海量异构存算平台难以感知识别彼此的可用资源并形成协同合力、数据存储与计算孤岛化现象严重,还面临拓扑时变、计算节点失效等不确定性导致的任务执行时间长甚至中断等挑战.为此,本文提出一种面向自主计算的存算传融合网络架构,通过构建耦合但差异化管理存算传多维资源的控制面,以及支持形式化计算任务路由和调度的数据面,赋能自主计算的全流程实现.基于所提架构,提出了多维资源状态探测、任务联合调度与服务协同部署方法,实现任务需求拟合与环境适变的高效自主计算.此外,本文还探讨了该架构下的挑战以及可能的未来研究方向.

关键词：自主计算存算传融合网络架构

来源：评论

学校读者我要写书评

暂无评论

扩频鲁棒图像水印中的亮度越界处理方法

引用

计算机研究与发展 2009年第10期46卷 1729-1736页

作者：赵启阳尹宝林北京航空航天大学软件开发环境国家重点实验室北京100083

在扩频鲁棒图像水印中,在水印嵌入过程中的"频域-空域"变换会引起像素亮度值的越界,而现有的解决方案有可能导致水印检测值的大幅降低,并严重削弱了水印的鲁棒性.因此以典型的扩频水印机制为例,通过在空间域给出水印检测值的... 详细信息

在扩频鲁棒图像水印中,在水印嵌入过程中的"频域-空域"变换会引起像素亮度值的越界,而现有的解决方案有可能导致水印检测值的大幅降低,并严重削弱了水印的鲁棒性.因此以典型的扩频水印机制为例,通过在空间域给出水印检测值的近似计算方法,研究了像素亮度越界现象对水印检测值的影响,发现对纹理较少的高亮度图像,像素的亮度越界将严重地降低水印检测值.最后提出了一种自适应的分块式亮度调整策略,分析和实验表明,新的调整策略能够有效地改进含水印图像的保真性和水印的鲁棒性.

关键词：图像水印扩频变换亮度越界保真性鲁棒性

来源：评论

学校读者我要写书评

暂无评论

基于支持向量的迭代修正质心文本分类算法

引用

北京航空航天大学学报 2013年第2期39卷 269-274页

作者：王德庆张辉北京航空航天大学软件开发环境国家重点实验室北京100191

针对质心分类算法容易产生归纳偏置或模型失配问题的不足,提出一种基于支持向量的迭代修正质心分类算法.该方法仅使用由支持向量机(SVMs,Support Vector Ma-chines)选出的支持向量来构造质心向量,然后利用训练集误分样本来迭代修正初始... 详细信息

针对质心分类算法容易产生归纳偏置或模型失配问题的不足,提出一种基于支持向量的迭代修正质心分类算法.该方法仅使用由支持向量机(SVMs,Support Vector Ma-chines)选出的支持向量来构造质心向量,然后利用训练集误分样本来迭代修正初始质心向量.与其他分类算法相比,该算法取得较好的宏平均F1和微平均F1,在8个常用文本分类数据集上的实验验证了该算法的有效性,特别是在不均衡文本语料上.

关键词：文本分类质心向量支持向量迭代修正支持向量机

来源：评论

学校读者我要写书评

暂无评论

基于Horn扩展逻辑的非否认协议建模与验证

引用

清华大学学报（自然科学版） 2012年第10期52卷 1488-1495页

作者：徐畅李舟军郭华张帆北京航空航天大学软件开发环境国家重点实验室北京100191

该文首次提出使用Horn逻辑扩展模型验证非否认协议的非否认性和公平性的方法;使用Horn逻辑扩展模型的逻辑规则描述非否认协议中消息的传输过程,并基于Horn逻辑扩展模型对协议的非否认性、公平性进行了建模,同时对参与协议的诚实主体、... 详细信息

该文首次提出使用Horn逻辑扩展模型验证非否认协议的非否认性和公平性的方法;使用Horn逻辑扩展模型的逻辑规则描述非否认协议中消息的传输过程,并基于Horn逻辑扩展模型对协议的非否认性、公平性进行了建模,同时对参与协议的诚实主体、恶意主体、仲裁进行了建模,提出了针对非否认协议的验证算法;通过使用Horn逻辑扩展模型对Zhou-Gollmann协议进行验证,得到Witness和Request事实并不匹配的结论,说明了Zhou-Gollmann协议并不具有公平性;该文对不动点计算过程进行了优化,通过将规则分为解形式规则和非解形式规则,避免了进行X-消解时对规则的逐条比较。

关键词：非否认性公平性 Horn逻辑扩展模型解形式不动点

来源：评论

学校读者我要写书评

暂无评论

设备协同技术及其系统软件研究综述

引用

电子学报 2011年第2期39卷 440-447页

作者：陈峰荣晓慧邓攀马世龙北京航空航天大学软件开发环境国家重点实验室北京100191

设备协同技术是大规模区域管理、物联网等领域的支撑技术,对设备协同技术及其系统软件进行研究具有重要意义.本文首先总结设备协同技术的发展阶段,指出大规模设备协同技术是目前的关键研究问题,主要研究如何支持设备协同的大规模性、控... 详细信息

设备协同技术是大规模区域管理、物联网等领域的支撑技术,对设备协同技术及其系统软件进行研究具有重要意义.本文首先总结设备协同技术的发展阶段,指出大规模设备协同技术是目前的关键研究问题,主要研究如何支持设备协同的大规模性、控制的快捷性和协同的安全性.之后,归纳了大规模设备协同系统软件的体系结构,并分析了大规模设备协同中的三个关键技术.通过分析若干设备协同典型应用系统以及采用的技术方案,指出了目前研究的特点、优势和不足.同时本文分析了基础网络方案对设备协同系统软件的影响.最后指出了进一步的发展方向.

关键词：设备协同大规模设备协同协同流程建模语言协同执行机制

来源：评论

学校读者我要写书评

暂无评论

空间众包环境下的3类对象在线任务分配

引用

软件学报 2017年第3期28卷 611-630页

作者：宋天舒童咏昕王立斌许可软件开发环境国家重点实验室(北京航空航天大学) 北京100191

随着移动互联网技术与O2O(offline-to-online)商业模式的发展,各类空间众包平台变得日益流行,如滴滴出行、百度外卖等空间众包平台更与人们日常生活密不可分.在空间众包研究中,任务分配问题更是其核心问题之一,该问题旨在研究如何将实... 详细信息

随着移动互联网技术与O2O(offline-to-online)商业模式的发展,各类空间众包平台变得日益流行,如滴滴出行、百度外卖等空间众包平台更与人们日常生活密不可分.在空间众包研究中,任务分配问题更是其核心问题之一,该问题旨在研究如何将实时出现的空间众包任务分配给适宜的众包工人.但大部分现有研究所基于的假设过强,存在两类不足:(1)现有工作通常假设基于静态场景,即,全部众包任务和众包工人的时空信息在任务分配前已完整获知,但众包任务与众包工人在实际应用中动态出现,且需实时地对其进行任务分配,因此,现存研究结果在实际应用中缺乏可行性;(2)现有研究均假设仅有两类众包参与对象,即众包任务与众包工人,而忽略了第三方众包工作地点对任务分配的影响.综上所述,为弥补上述不足,提出了一类新型动态任务分配问题,即,空间众包环境下的3类对象在线任务分配.该问题不但囊括了任务分配中的3类研究对象,即众包任务、众包工人和众包工作地点,而且关注动态环境.进而设计了随机阈值算法,给出了该算法在最差情况下的竞争比分析.采用在线学习方法进一步优化了随机阈值算法,提出自适应随机阈值算法,并证明该优化策略可逼近随机阈值算法使用不同阈值所能达到的最佳效果.最终通过在真实数据集和具有不同分布人造数据集上进行的大量实验,验证了算法的效果与性能.

关键词：空间众包任务分配在线算法竞争比分析

来源：评论

学校读者我要写书评

暂无评论

智能合约的形式化验证方法研究综述

引用

电子学报 2021年第4期49卷 792-804页

作者：朱健胡凯张伯钧北京航空航天大学软件开发环境国家重点实验室北京100191

形式化方法是在安全关键软件系统中被广泛采用而有效的基于数学的验证方法,而智能合约属于安全关键代码,采用形式化方法验证智能合约已经成为热点研究领域.本文对自2015年以来的47篇典型相关论文进行了研究分析,对技术进行了详细的分类... 详细信息

形式化方法是在安全关键软件系统中被广泛采用而有效的基于数学的验证方法,而智能合约属于安全关键代码,采用形式化方法验证智能合约已经成为热点研究领域.本文对自2015年以来的47篇典型相关论文进行了研究分析,对技术进行了详细的分类研究和对比分析;对形式化验证智能合约的过程中使用的形式化方法、语言、工具和框架进行综述.研究表明,其中定理证明技术和符号执行技术适用范围最广,可验证性质最多,很多底层框架均有所涉及,而运行时验证技术属于轻量级的新验证技术,仍处于探索阶段.由此我们列出了一些关键问题如智能合约的自动化验证问题,转换一致性问题,形式化工具的信任问题和形式化验证的评判标准问题.本文还展望了未来形式化方法与智能合约结合的研究方向,对领域研究有一定的推动作用.

关键词：形式化验证智能合约区块链隐私保护信息安全可信交易

来源：评论

学校读者我要写书评

暂无评论

大规模设备协同机制研究

引用

计算机研究与发展 2011年第9期48卷 1589-1596页

作者：荣晓慧陈峰邓攀马世龙软件开发环境国家重点实验室(北京航空航天大学) 北京100191

在物联网、区域管理和应急救援等领域,对大规模设备协同的需求越来越高.针对大规模设备协同中协同规模大和时序约束严格这两个特点,定义了包含协同任务和协同子任务的大规模设备协同两级任务模型,在此模型基础上利用Pi-演算给出了大规... 详细信息

在物联网、区域管理和应急救援等领域,对大规模设备协同的需求越来越高.针对大规模设备协同中协同规模大和时序约束严格这两个特点,定义了包含协同任务和协同子任务的大规模设备协同两级任务模型,在此模型基础上利用Pi-演算给出了大规模设备协同中两级任务协同机制的描述,并从理论上证明了该机制的正确性.并实现了大规模设备协同原型系统,通过在原型系统上进行模拟实验,验证了该协同机制能够满足设备协同中的大规模性和严格的时序约束.

关键词：大规模设备协同协同任务模型协同机制时序约束 Pi-演算

来源：评论

学校读者我要写书评

暂无评论

面向分布式系统访问控制的信任度量化模型

引用

通信学报 2010年第12期31卷 45-54页

作者：郎波北京航空航天大学软件开发环境国家重点实验室北京100083

通过引入社会学中信任的研究成果,定义了分布式系统访问控制中信任的具体语义、基本特性与上下文相关属性。针对信任的主观性、模糊性与不确定性,采用模糊数学与概率论相结合的方法,给出了信任的数学定义,建立了包括信任综合评价与信任... 详细信息

通过引入社会学中信任的研究成果,定义了分布式系统访问控制中信任的具体语义、基本特性与上下文相关属性。针对信任的主观性、模糊性与不确定性,采用模糊数学与概率论相结合的方法,给出了信任的数学定义,建立了包括信任综合评价与信任计算的信任度量化模型。该模型综合了访问控制背景下信任相关的各种因素,符合推荐信任的衰减与增强规律。

关键词：访问控制信任量化表达信任计算分布式系统

来源：评论

学校读者我要写书评

暂无评论

开源软件缺陷的跨项目相关问题推荐方法

引用

软件学报 2024年第5期35卷 2340-2358页

作者：刘宝川张莉刘桢炜蒋竞软件开发环境国家重点实验室(北京航空航天大学) 北京100191

GitHub是著名的开源软件开发社区,支持开发人员在开源项目中使用问题追踪系统来处理问题.在软件缺陷问题的讨论过程中,开发人员可能指出与该缺陷问题相关的其他项目问题(称为跨项目相关问题),为缺陷问题的修复提供参考信息.然而,GitHub... 详细信息

GitHub是著名的开源软件开发社区,支持开发人员在开源项目中使用问题追踪系统来处理问题.在软件缺陷问题的讨论过程中,开发人员可能指出与该缺陷问题相关的其他项目问题(称为跨项目相关问题),为缺陷问题的修复提供参考信息.然而,GitHub平台中托管了超过2亿的开源项目和12亿个问题,导致人工识别和获取跨项目相关问题的工作极其耗时.提出为缺陷问题自动化推荐跨项目相关问题的方法CPIRecom.为了构建预选集,采用项目之间历史相关问题对的数量和问题发布时间间隔筛选问题.其次,为了精准推荐,采用BERT预训练模型提取文本特征,分析项目特征.然后使用随机森林算法计算预选问题与缺陷问题的相关概率,最终根据相关概率排名得到推荐列表.模拟CPIRecom方法在GitHub平台的使用情况.CPIRecom方法的平均倒数排名达到0.603,前5项查全率达到0.715.

关键词：开源项目缺陷修复跨项目相关问题问题推荐

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：