期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
深度学习模型鲁棒性研究综述 被引量:59
1
作者 纪守领 杜天宇 +4 位作者 邓水光 程鹏 时杰 杨珉 李博 《计算机学报》 EI CAS CSCD 北大核心 2022年第1期190-206,共17页
在大数据时代下,深度学习理论和技术取得的突破性进展,为人工智能提供了数据和算法层面的强有力支撑,同时促进了深度学习的规模化和产业化发展.然而,尽管深度学习模型在现实应用中有着出色的表现,但其本身仍然面临着诸多的安全威胁.为... 在大数据时代下,深度学习理论和技术取得的突破性进展,为人工智能提供了数据和算法层面的强有力支撑,同时促进了深度学习的规模化和产业化发展.然而,尽管深度学习模型在现实应用中有着出色的表现,但其本身仍然面临着诸多的安全威胁.为了构建安全可靠的深度学习系统,消除深度学习模型在实际部署应用中的潜在安全风险,深度学习模型鲁棒性分析问题吸引了学术界和工业界的广泛关注,一大批学者分别从精确和近似的角度对深度学习模型鲁棒性问题进行了深入的研究,并且提出了一系列的模型鲁棒性量化分析方法.在本综述中,我们回顾了深度学习模型鲁棒性分析问题当前所面临的挑战,并对现有的研究工作进行了系统的总结和科学的归纳,同时明确了当前研究的优势和不足,最后探讨了深度学习模型鲁棒性研究以及未来潜在的研究方向. 展开更多
关键词 深度学习 对抗样本 鲁棒性分析 人工智能安全
在线阅读 下载PDF
复杂内核数据结构的形式化描述和验证 被引量:4
2
作者 马顶 付明 +1 位作者 乔磊 冯新宇 《小型微型计算机系统》 CSCD 北大核心 2019年第2期359-366,共8页
对数据结构进行形式化描述是内核验证的重要组成部分,但是在实际的验证工作中,内核经常会使用一些不规则的数据结构,而对不规则数据结构的形式化定义仍存在诸多困难.针对内核中的复杂数据结构,本文提出使用结构拆分以及形状和内存分离... 对数据结构进行形式化描述是内核验证的重要组成部分,但是在实际的验证工作中,内核经常会使用一些不规则的数据结构,而对不规则数据结构的形式化定义仍存在诸多困难.针对内核中的复杂数据结构,本文提出使用结构拆分以及形状和内存分离的方法来形式化定义内核中的不规则数据结构,并运用该方法成功刻画了某航天操作系统内核的进程管理数据结构,最终成功验证了该内核中相关API的代码.相关的代码验证工作在定理证明工具Coq中完成. 展开更多
关键词 内核数据结构 形式化验证 分离逻辑 内核验证
在线阅读 下载PDF
SpaceOS中若干全局性质的形式化描述和验证 被引量:7
3
作者 顾海博 付明 +1 位作者 乔磊 冯新宇 《小型微型计算机系统》 CSCD 北大核心 2019年第1期141-148,共8页
SpaceOS是北京控制工程研究所自主研发的嵌入式实时操作系统,已被应用于探月工程、空间站等重大航天项目.SpaceOS作为底层系统软件,是影响航天任务成败的关键因素. SpaceOS在设计中提出了一些多个内核模块(如任务管理、调度、通信和时... SpaceOS是北京控制工程研究所自主研发的嵌入式实时操作系统,已被应用于探月工程、空间站等重大航天项目.SpaceOS作为底层系统软件,是影响航天任务成败的关键因素. SpaceOS在设计中提出了一些多个内核模块(如任务管理、调度、通信和时间管理等)相互协同过程中所需要满足的全局性质.本文扩展已有的操作系统验证框架支持全局性质的推理,为SpaceOS内核建立抽象模型,给出主要系统调用的抽象规范,并基于设计需求给出形式化定义描述若干全局性质,通过严格的数学证明保证SpaceOS在抽象设计层面上满足这些全局性质.所有工作都在证明助手Coq中完成. 展开更多
关键词 SpaceOS 形式化验证 全局性质 操作系统内核 COQ
在线阅读 下载PDF
多源遥感数据的道路提取技术研究现状及展望 被引量:18
4
作者 贾建鑫 孙海彬 +4 位作者 蒋长辉 王跃明 王廷槐 陈劲松 陈育伟 《光学精密工程》 EI CAS CSCD 北大核心 2021年第2期430-442,共13页
遥感图像道路信息提取既是土地利用检测、地理信息系统更新等传统行业应用的必要步骤,又是数字城市、智能交通等新基建领域中关键技术之一。回顾道路提取方法的发展历程,按照使用数据源的不同,现有的遥感图像道路提取技术主要分为高分... 遥感图像道路信息提取既是土地利用检测、地理信息系统更新等传统行业应用的必要步骤,又是数字城市、智能交通等新基建领域中关键技术之一。回顾道路提取方法的发展历程,按照使用数据源的不同,现有的遥感图像道路提取技术主要分为高分辨率成像、多光谱/高光谱成像、激光/点云成像和SAR成像四大类。本文首先介绍了四种遥感技术在道路信息提取上的应用现状、适用范围及方法特点;然后重点阐述并列举分析了当前基于不同平台高光谱数据的道路提取应用效果;最后对本文的内容进行了总结,并对未来的发展趋势进行了展望。 展开更多
关键词 高光谱 多源遥感数据 道路提取 新基建
在线阅读 下载PDF
Joint Spectrum Partition and Performance Analysis of Full-Duplex D2D Communications in Multi-Tier Wireless Networks 被引量:1
5
作者 Yueping Wang Xuan Zhang Yixuan Zhang 《Computers, Materials & Continua》 SCIE EI 2019年第7期171-184,共14页
Full-duplex(FD)has been recognized as a promising technology for future 5G networks to improve the spectrum efficiency.However,the biggest practical impediments of realizing full-duplex communications are the presence... Full-duplex(FD)has been recognized as a promising technology for future 5G networks to improve the spectrum efficiency.However,the biggest practical impediments of realizing full-duplex communications are the presence of self-interference,especially in complex cellular networks.With the current development of self-interference cancellation techniques,full-duplex has been considered to be more suitable for device-to-device(D2D)and small cell communications which have small transmission range and low transmit power.In this paper,we consider the full-duplex D2D communications in multi-tier wireless networks and present an analytical model which jointly considers mode selection,resource allocation,and power control.Specifically,we consider a distance based mode selection scheme.The performance analysis of different D2D communications modes are performed based on stochastic geometry,and tractable analytical solutions are obtained.Then we investigate the optimal resource partitions between dedicated D2D mode and cellular mode.Numerical results validate the theoretical anlaysis and indicate that with appropriate proportions of users operated in different transmission modes and optimal partitioning of spectrum,the performance gain of FD-D2D communication can be achieved. 展开更多
关键词 Full-duplex device-to-device communications HetNets power control spectrum partition
在线阅读 下载PDF
Topology Abstraction Service for IP VPNs: Core Network Partitioning for Resource Sharing 被引量:1
6
作者 Ravishankar Ravindran Changcheng Huang +1 位作者 Krishnaiyan Thulasiraman Tachun Lin 《American Journal of Operations Research》 2018年第3期167-202,共36页
VPN service providers (VSP) and IP-VPN customers have traditionally maintained service demarcation boundaries between their routing and signaling entities. This has resulted in the VPNs viewing the VSP network as an o... VPN service providers (VSP) and IP-VPN customers have traditionally maintained service demarcation boundaries between their routing and signaling entities. This has resulted in the VPNs viewing the VSP network as an opaque entity and therefore limiting any meaningful interaction between the VSP and the VPNs. A key challenge is to expose each VPN to information about available network resources through an abstraction (TA) [1] which is both accurate and fair. In [2] we proposed three decentralized schemes assuming that all the border nodes performing the abstraction have access to the entire core network topology. This assumption likely leads to over- or under-subscription. In this paper we develop centralized schemes to partition the core network capacities, and assign each partition to a specific VPN for applying the decentralized abstraction schemes presented in [2]. First, we present two schemes based on the maximum concurrent flow and the maximum multicommodity flow (MMCF) formulations. We then propose approaches to address the fairness concerns that arise when MMCF formulation is used. We present results based on extensive simulations on several topologies, and provide a comparative evaluation of the different schemes in terms of abstraction efficiency, fairness to VPNs and call performance characteristics achieved. 展开更多
关键词 IP-VPN SERVICE TOPOLOGY ABSTRACTION MAXIMUM Concurrent FLOW MAXIMUM MULTICOMMODITY FLOW
暂未订购
Hop-by-hop Content Distribution with Network Coding in Multihop Wireless Networks 被引量:1
7
作者 Rami Halloush Hang Liu +2 位作者 Lijun Dong Mingquan Wu Hayder Radha 《Digital Communications and Networks》 SCIE 2017年第1期47-54,共8页
The predominant use of today's networks is content access and distribution. Network Coding (NC) is an innovative technique that has potential to improve the efficiency of multicast content distribution over multiho... The predominant use of today's networks is content access and distribution. Network Coding (NC) is an innovative technique that has potential to improve the efficiency of multicast content distribution over multihop Wireless Mesh Networks (WMNs) by allowing intermediate Forwarding Nodes (FNs) to encode and then forward data packets. Practical protocols are needed to realize the benefits of the NC technique. However, the existing NC-based multicast protocols cannot accurately determine the minimum number of coded packets that a FN should send in order to ensure successful data delivery to the destinations, so that many redundant packets are injected into the network, leading to performance degradation. In this paper, we propose HopCaster, a novel reliable multicast protocol that incorporates network coding with hop-by-hop transport. HopCaster completely eliminates the need for estimating the number of coded packets to be transmitted by a FN, and avoids redundant packet transmissions. It also effectively addresses the challenges of heterogeneous mulficast receivers. Moreover, a cross-layer multicast rate adaptation mechanism is proposed, which enables HopCaster to optimize multicast throughput by dynamically adjusting wireless transmission rate based on the changes in the receiver population and channel conditions during the course of mulficasting a coded data chunk. Our evaluations show that HopCaster significantly outperforms the existing NC-based multicast protocols. 展开更多
关键词 Content distributionNetwork coding MulticastHop-by-hop transportRate adaptation
在线阅读 下载PDF
Privacy-Aware Service Subscription in People-Centric Sensing:A Combinatorial Auction Approach
8
作者 Yuanyuan Xu Shan Li Yixuan Zhang 《Computers, Materials & Continua》 SCIE EI 2019年第7期129-139,共11页
With the emergence of ambient sensing technologies which combine mobile crowdsensing and Internet of Things,large amount of people-centric data can be obtained and utilized to build people-centric services.Note that t... With the emergence of ambient sensing technologies which combine mobile crowdsensing and Internet of Things,large amount of people-centric data can be obtained and utilized to build people-centric services.Note that the service quality is highly related to the privacy level of the data.In this paper,we investigate the problem of privacy-aware service subscription in people-centric sensing.An efficient resource allocation framework using a combinatorial auction(CA)model is provided.Specifically,the resource allocation problem that maximizes the social welfare in view of varying requirements of multiple users is formulated,and it is solved by a proposed computationally tractable solution algorithm.Furthermore,the prices of allocated resources that winners need to pay are figured out by a designed scheme.Numerical results demonstrate the effectiveness of the proposed scheme. 展开更多
关键词 Privacy-aware service subscription combinatorial auction winner determination
在线阅读 下载PDF
形式化方法与系统软件:实践与发展建议
9
作者 丁浩然 王肇国 +1 位作者 付明 陈海波 《前瞻科技》 2023年第1期33-45,共13页
对高可靠系统软件需求的不断增加使得形式化方法在工业界引起了广泛的兴趣。文章概述了当前主流形式化方法,分析了国内外研究态势,并介绍了形式化方法在设计和实现操作系统、编译器、同步原语、文件系统、数据库系统和分布式共识协议等... 对高可靠系统软件需求的不断增加使得形式化方法在工业界引起了广泛的兴趣。文章概述了当前主流形式化方法,分析了国内外研究态势,并介绍了形式化方法在设计和实现操作系统、编译器、同步原语、文件系统、数据库系统和分布式共识协议等方面的实践。基于这些实践,进一步总结了形式化方法在系统软件中应用的经验,并从理论和工程两方面讨论其可能面临的挑战,最后针对这些挑战提出发展建议。 展开更多
关键词 形式化方法 操作系统 数据库 文件系统 分布式共识协议
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部