期刊文献+
共找到86篇文章
< 1 2 5 >
每页显示 20 50 100
软件安全漏洞检测技术 被引量:76
1
作者 李舟军 张俊贤 +1 位作者 马金鑫 《计算机学报》 EI CSCD 北大核心 2015年第4期717-732,共16页
软件安全漏洞检测技术是提高软件质量和安全性、减少软件安全漏洞的重要方法和基本手段,受到学术界和工业界的广泛关注和高度重视.其主要途径包括软件测试、程序分析、模型检验与符号执行等.近年来,综合利用多种研究方法和技术手段来检... 软件安全漏洞检测技术是提高软件质量和安全性、减少软件安全漏洞的重要方法和基本手段,受到学术界和工业界的广泛关注和高度重视.其主要途径包括软件测试、程序分析、模型检验与符号执行等.近年来,综合利用多种研究方法和技术手段来检测软件安全漏洞已成为软件安全领域的研究热点.文中首先回顾了程序分析与软件安全漏洞检测的基本概念、核心问题和传统手段.然后重点介绍该领域的最新进展,主要包括轻量级动态符号执行、自动化白盒模糊测试以及其实现技术和相应的工具.最后,指出了其所面临的挑战和发展趋势. 展开更多
关键词 安全漏洞 静态分析 动态分析 符号执行 白盒测试
下载PDF
有向传感器网络最大覆盖调度算法 被引量:35
2
作者 程卫芳 沈昌祥 《软件学报》 EI CSCD 北大核心 2009年第4期975-984,共10页
与传统的全向传感器不同,有向传感器可以切换到不同的方向,并且每个方向覆盖有限角度的感应范围.针对有向传感器网络的区域覆盖问题,研究了"最大有向区域覆盖"MDAC(maximum directional area coverage)问题,期望通过调度传感... 与传统的全向传感器不同,有向传感器可以切换到不同的方向,并且每个方向覆盖有限角度的感应范围.针对有向传感器网络的区域覆盖问题,研究了"最大有向区域覆盖"MDAC(maximum directional area coverage)问题,期望通过调度传感器的工作方向,最大化覆盖区域面积.首先给出了MDAC的问题定义,使用整数线性规划描述MDAC问题,并且证明其是NP完全的.然后提出一种分布式贪心算法DGreedy(distributed greedy algorithm)解决MDAC问题.在此基础上,通过计算可能的覆盖贡献比例来反映网络拓扑信息.还提出了一种增强的算法PGreedy(distributed probability-enhanced greedy algorithm)使覆盖区域更大.证明了所提算法的收敛性,并通过详细的模拟实验验证了其有效性. 展开更多
关键词 有向传感器网络 区域覆盖 分布式算法 调度 概率
下载PDF
大规模软件系统日志研究综述 被引量:37
3
作者 李姗姗 +3 位作者 董威 贾周阳 刘晓东 周书林 《软件学报》 EI CSCD 北大核心 2016年第8期1934-1947,共14页
规范和充分的日志是良好代码质量的必要因素,也是软件故障诊断的重要手段.然而,代码的质量管理受限于大规模软件代码的高复杂程度,目前,利用日志信息进行软件故障重现和诊断的难度大、效率低.从日志特征分析、基于日志的故障诊断、日志... 规范和充分的日志是良好代码质量的必要因素,也是软件故障诊断的重要手段.然而,代码的质量管理受限于大规模软件代码的高复杂程度,目前,利用日志信息进行软件故障重现和诊断的难度大、效率低.从日志特征分析、基于日志的故障诊断、日志的增强这3个方面综述了日志研究的现状.通过对几种常用的大规模开源软件的日志进行调研,发现了一些日志相关的特征和规律以及现有工具难以解决的问题.最后,对未来的研究工作进行了展望,并分析了可能面对的挑战. 展开更多
关键词 系统日志 特征分析 故障诊断 日志增强
下载PDF
基于多种资源的负载平衡算法的研究 被引量:27
4
作者 蒋江 张民选 《电子学报》 EI CAS CSCD 北大核心 2002年第8期1148-1152,共5页
系统资源的有效利用是集群系统的关键问题 ,负载平衡是实现资源有效利用的重要手段 .本文 ,提出了两种基于资源使用率和向量负载指数的、采用进程迁移机制的负载平衡算法 ,并通过踪迹驱动的方法进行了大量的模拟和分析 .
关键词 集群 异构性 网络互连 负载平衡 资源使用率 进程迁移 向量负载指数
下载PDF
基于网络编码的无线传感网多路径传输方法 被引量:23
5
作者 李姗姗 +1 位作者 朱培栋 肖侬 《软件学报》 EI CSCD 北大核心 2008年第10期2638-2647,共10页
可靠性在无线传感器网络中是非常重要的.传感器网络主要通过增加传输冗余来提高数据传输的可靠性,如多路径或重传.然而,这些方法会造成能效降低,缩短网络生命周期.因此,提出了一种能量有效的方法,将一种新型的网络编码与多路径结合在一... 可靠性在无线传感器网络中是非常重要的.传感器网络主要通过增加传输冗余来提高数据传输的可靠性,如多路径或重传.然而,这些方法会造成能效降低,缩短网络生命周期.因此,提出了一种能量有效的方法,将一种新型的网络编码与多路径结合在一起,通过将同组数据编码产生的相互独立的多份数据沿多条路径进行传输,有效地降低了对单份数据的依赖,减少了链路失效带来的影响.在保证数据传输可靠性的同时,显著地减少了通信量,而代价仅仅是少量的元数据传输和小规模的线性运算.此外,还就其中的关键问题——每组数据所需的最小路径数问题提出了一种低开销的近似方法.详细的模拟实验验证了该方法的有效性. 展开更多
关键词 无线传感器网络 可靠数据传输 网络编码 多路径路由
下载PDF
新型高性能计算系统与技术 被引量:30
6
作者 肖侬 《中国科学:信息科学》 CSCD 北大核心 2016年第9期1175-1210,共36页
高性能计算技术是信息时代世界各国特别是发达国家激烈竞争的技术制高点.本文针对未来新型高性能计算技术的挑战,从微处理器、高性能计算机系统、高性能并行算法与应用等多个核心技术来分析高性能计算技术的国内外发展现状、趋势与挑战... 高性能计算技术是信息时代世界各国特别是发达国家激烈竞争的技术制高点.本文针对未来新型高性能计算技术的挑战,从微处理器、高性能计算机系统、高性能并行算法与应用等多个核心技术来分析高性能计算技术的国内外发展现状、趋势与挑战,从基础研究的角度阐述我国未来高性能计算系统理论与技术领域需重点开展研究的领域(或科学问题)与相关政策建议. 展开更多
关键词 高性能计算 微处理器 计算机体系结构 高性能计算应用
原文传递
基于Java的分布式并行计算关键技术 被引量:11
7
作者 梅皓 沈志宇 《计算机工程与科学》 CSCD 2000年第2期103-106,共4页
本文首先概述了 Java技术的引入对分布式并行计算技术的影响 ,然后就工作机群的组织、问题分布、系统内通信、容错机制等四个关键问题进行讨论 ,分析常见的问题和各种解决方案 ,最后对基于
关键词 分布式并行计算 JAVA语言 工作机群系统
下载PDF
传感器网络中一种拥塞避免、检测与缓解策略 被引量:15
8
作者 李姗姗 +1 位作者 朱培栋 肖侬 《计算机研究与发展》 EI CSCD 北大核心 2007年第8期1348-1356,共9页
拥塞控制是无线传感器网络中的一个关键性问题,它不但影响传输可靠性,而且会浪费宝贵的能量资源.提出了一个全新的拥塞避免、检测与缓解策略,该策略主要包含两部分:拥塞避免(COTA)和拥塞检测及缓解(CODEM).COTA从全网出发,基于路径的启... 拥塞控制是无线传感器网络中的一个关键性问题,它不但影响传输可靠性,而且会浪费宝贵的能量资源.提出了一个全新的拥塞避免、检测与缓解策略,该策略主要包含两部分:拥塞避免(COTA)和拥塞检测及缓解(CODEM).COTA从全网出发,基于路径的启发式信息分配流量,避免给潜在的热点区域分配过多负载.CODEM使用精确的拥塞度量来检测拥塞,并采取适当的措施来缓解拥塞,同时保证数据传输的可靠性.此外,还利用现有radio的多频特性有效地为控制报文进行拥塞隔离.详细的实验表明了COTA+CODEM的优势. 展开更多
关键词 无线传感器网络 拥塞控制 可靠性 COTA CODEM
下载PDF
The TianHe-1A Supercomputer: Its Hardware and Software 被引量:19
9
作者 杨学军 +3 位作者 卢凯 胡庆丰 宋君强 苏金树 《Journal of Computer Science & Technology》 SCIE EI CSCD 2011年第3期344-351,共8页
This paper presents an overview of TianHe-lA (TH-1A) supercomputer, which is built by National University of Defense Technology of China (NUDT). TH-1A adopts a hybrid architecture by integrating CPUs and GPUs, and... This paper presents an overview of TianHe-lA (TH-1A) supercomputer, which is built by National University of Defense Technology of China (NUDT). TH-1A adopts a hybrid architecture by integrating CPUs and GPUs, and its interconnect network is a proprietary high-speed communication network. The theoretical peak performance of TH-1A is 4700TFlops, and its LINPACK test result is 2566TFlops. It was ranked the No. 1 on the TOP500 List released in November, 2010. TH-1A is now deployed in National Supercomputer Center in Tianjin and provides high performance computing services. TH-1A has played an important role in many applications, such as oil exploration, weather forecast, bio-medical research. 展开更多
关键词 TianHe-lA supercomputer hybrid architecture Kylin operating system power computing
原文传递
我国人工智能核心软硬件发展战略研究 被引量:17
10
作者 高蕾 符永铨 +1 位作者 李东升 《中国工程科学》 CSCD 北大核心 2021年第3期90-97,共8页
人工智能(AI)是推动全球数字化发展的重要赋能技术,正在引领新一轮科技革命和产业变革;加快培育和推进我国AI核心软硬件技术及产业发展,对推动我国实现跨越式发展、产业优化升级、生产力整体跃升具有重要战略意义。本文围绕当前AI核心... 人工智能(AI)是推动全球数字化发展的重要赋能技术,正在引领新一轮科技革命和产业变革;加快培育和推进我国AI核心软硬件技术及产业发展,对推动我国实现跨越式发展、产业优化升级、生产力整体跃升具有重要战略意义。本文围绕当前AI核心软硬件在技术、产业和政策等方面的发展情况,梳理了国内外的发展现状,分析了我国发展面临的问题,指出了我国AI核心软硬件技术及产业的发展思路,提出了面向2025年和2035年的AI核心软硬件发展战略目标,从AI核心硬件、AI核心软件、AI相关基础技术3个方面凝练了今后发展的重点任务。研究建议,将AI核心软硬件技术纳入国家科技创新顶层规划,加大科研投入;加强AI开源平台建设,开展示范应用;开展AI关键共性技术研发,实现协同创新;实施AI产业基础再造,牵引产业链升级;完善AI创新人才培养体系,以期推动我国AI核心软硬件持续发展。 展开更多
关键词 人工智能 核心软硬件 人工智能芯片 智能基础算法 新型使能技术
下载PDF
Perl程序设计语言综述 被引量:7
11
作者 刘步权 吴庆波 《计算机工程与应用》 CSCD 北大核心 2002年第18期86-87,141,共3页
Perl语言是在吸收了众多程序设计语言的长处基础之上发展起来的是一门优秀的程序设计语言,在很多领域都有所应用。论文试图对该语言作一个较为全面的介绍,并期待该语言能在我国的计算机应用领域得到广泛的应用。
关键词 PERL语言 程序设计语言 面向对象 模块化设计
下载PDF
面向大数据应用挑战的超级计算机设计 被引量:15
12
作者 谭郁松 +3 位作者 卢宇彤 谢旻 周恩强 黄杰 《上海大学学报(自然科学版)》 CAS CSCD 北大核心 2016年第1期3-16,共14页
在大数据时代,大数据处理给面向高性能计算设计的超级计算机带来计算、存储、通信、编程等软硬件体系结构方面的挑战.对此在分析目前主流学术界和工业界相关研究成果的基础上,介绍了天河二号超级计算机系统针对大数据处理应用所采用的... 在大数据时代,大数据处理给面向高性能计算设计的超级计算机带来计算、存储、通信、编程等软硬件体系结构方面的挑战.对此在分析目前主流学术界和工业界相关研究成果的基础上,介绍了天河二号超级计算机系统针对大数据处理应用所采用的新型异构多态体系结构、自主定制高速互连网络、混合层次式存储系统、混合计算框架等多种优化措施,为大数据时代的超级计算机设计提供有意义的参考. 展开更多
关键词 大数据 超级计算机 天河二号
下载PDF
面向高性能计算机的海量数据处理平台实现与评测 被引量:13
13
作者 黄訸 易晓东 +1 位作者 李姗姗 《计算机研究与发展》 EI CSCD 北大核心 2012年第S1期357-361,共5页
高性能计算机主要应用于传统的科学计算领域,而在云计算时代,数据密集型应用成为一大类新型应用,已经变得越来越重要.主要探索如何在高性能计算机上高效地进行海量数据处理,使高性能计算机在进行科学计算的同时,能够非常好地支持数据密... 高性能计算机主要应用于传统的科学计算领域,而在云计算时代,数据密集型应用成为一大类新型应用,已经变得越来越重要.主要探索如何在高性能计算机上高效地进行海量数据处理,使高性能计算机在进行科学计算的同时,能够非常好地支持数据密集型应用,拓展高性能计算机的应用领域.分析了高性能计算机上MapReduce模型实现和部署的可行性之后,在高性能计算环境中进行了实验.实验结果表明,存储系统的并行I/O能力不能充分发挥,是造成系统无法高效运行的主要瓶颈.而导致这个性能瓶颈的原因,是高并发带来的对集群文件系统资源的竞争和冲突.最后,提出了几种解决集群文件系统资源冲突的方案,这是今后的研究方向. 展开更多
关键词 高性能计算机 海量数据处理 MapReduce编程模型
下载PDF
无线传感器网络中一种实时高效的数据存储和查询方法 被引量:10
14
作者 彭绍亮 李姗姗 +2 位作者 彭宇行 肖侬 《通信学报》 EI CSCD 北大核心 2008年第11期128-138,共11页
集中研究了非结构化的数据存储和查询。为了在保证查询成功率的同时最小化总的能耗,分别在存储受限和不受限两种情况下,建立了MESQ(minimizing energy on success fulquery)优化问题模型,给出并证明了最优的复本和查询个数。在此基础上... 集中研究了非结构化的数据存储和查询。为了在保证查询成功率的同时最小化总的能耗,分别在存储受限和不受限两种情况下,建立了MESQ(minimizing energy on success fulquery)优化问题模型,给出并证明了最优的复本和查询个数。在此基础上,还设计了一个实用的分布式数据分发算法:BubbleGeocast,其主要包含精确自适应快速分发和基于拒绝的均匀分发两个部分,其中前者用自适应分支的方法加速数据扩散,并精确控制总的复本个数;后者根据每个节点Voronoi单元面积,决定是否接受或拒绝这个报文。从而保证了复本和查询分发的精确性、实时性、均匀性、顽健性。最后,详细的理论分析和模拟实验进一步验证了其性能。分析和实验表明,同已有工作相比,在相同查询成功率时,BubbleGeocast能量有效性平均提高了约30%,复本分发的延迟平均缩短了约30%,成功查询的延迟平均缩短了约50%。 展开更多
关键词 无线传感器网络 存储 查询 随机的 非结构化 BubbleGeocast
下载PDF
CCGUI:CC-Linux中的嵌入式图形用户界面 被引量:5
15
作者 《计算机工程与科学》 CSCD 2002年第5期61-64,共4页
本文介绍CC Linux中的图形用户界面CCGUI的设计与实现 :首先简介CCGUI的项目背景和特点 ,然后概述了嵌入式GUI在国内外的研究现状 ,最后重点介绍了CCGUI中基窗口系统、窗口管理器、用户界面工具箱和桌面管理器的设计与实现。
关键词 CCGUI CC-Linux 嵌入式 图形用户界面 嵌入式GUI 操作系统 窗口系统 桌面管理
下载PDF
Seadown:一种异构MapReduce集群中面向SLA的能耗管理方法 被引量:12
16
作者 林彬 李姗姗 +3 位作者 孟令丙 刘晓东 黄訸 《计算机学报》 EI CSCD 北大核心 2013年第5期977-987,共11页
数据中心的能耗管理已经成为大规模数据处理中的热点问题,其主要目标是控制相关成本的急剧增长.大量的工作围绕着在集群利用率较低时,关闭部分服务器来降低能耗,但是这些方法都严重受限于数据存储策略,同时难以保证应用的实时性能.MapRe... 数据中心的能耗管理已经成为大规模数据处理中的热点问题,其主要目标是控制相关成本的急剧增长.大量的工作围绕着在集群利用率较低时,关闭部分服务器来降低能耗,但是这些方法都严重受限于数据存储策略,同时难以保证应用的实时性能.MapReduce集群作为目前流行的大规模数据处理平台,能耗问题尤为突出.文中针对异构MapReduce集群,提出一种面向SLA的能耗管理方法Seadown.首先,提出一种混合数据副本存储策略,它允许关闭大量节点,同时保证数据的完整性和集群的容错能力.其次,设计了一种基于历史记录的响应时间预测方法,它根据服务器节点的数量、性能参数和运行时间的历史信息准确估计程序的响应时间,相对误差大都在6%以下.最后,通过选择性地关闭部分节点以达到最小化能耗,同时保证应用程序的实时性能.文中证明了该优化问题是NP-hard问题,并提出了一种启发式的节点关闭策略.实验结果表明,在节点关闭策略下MapReduce应用的实时性得以保证,同时降低了大量的能耗. 展开更多
关键词 能耗管理 节点可开关 MAPREDUCE 数据中心 绿色计算
下载PDF
网络并行计算中的负载平衡 被引量:6
17
作者 《小型微型计算机系统》 CSCD 北大核心 1995年第9期32-36,共5页
本文详细讨论了网络并行计算中的负载平衡、尤其是动态负载平衡问题,并提出了相应的解决办法。最后,我们给出了如何在Express环境中进行负载平衡程序设计的方法。
关键词 负载平衡 并行计算 并行计算机 网络计算
下载PDF
国产操作系统研发对系统能力培养的需求与实践 被引量:10
18
作者 李姗姗 董威 +2 位作者 罗宇 文艳军 《计算机工程与科学》 CSCD 北大核心 2018年第A01期32-36,共5页
操作系统作为IT领域的核心技术之一,是国家和军队信息安全的战略制高点。操作系统的发展必须具备自主可控能力,这样才能杜绝安全隐患,避免自主保障和升级受制于人。从人才培养的角度来看,国产操作系统对研发人员系统能力的培养提出了更... 操作系统作为IT领域的核心技术之一,是国家和军队信息安全的战略制高点。操作系统的发展必须具备自主可控能力,这样才能杜绝安全隐患,避免自主保障和升级受制于人。从人才培养的角度来看,国产操作系统对研发人员系统能力的培养提出了更高的要求。从系统研发的需求、毕业生存在的各种问题和高校课程教学的现状入手,分析了国产操作系统研发与人才能力的不匹配问题,有针对性地面向国产操作系统研发人才的培养需求完善了培养方案,从代码质量、软件维护等角度规范化学生的程序设计养成同时,将国际前沿的教学理念BOPPPS模型运用到课程设计中,实现对知识、能力与教学方式的全方位的拓展。同时,依托麒麟操作系统和天河高性能计算平台,开展了多项实践教学改革。希望进一步达到提高教学效果,培养创新性人才的目的。 展开更多
关键词 国产操作系统 人才培养
下载PDF
无线传感器网络中一种实用的公平性控制模型 被引量:7
19
作者 李姗姗 +2 位作者 彭绍亮 程卫芳 肖侬 《计算机研究与发展》 EI CSCD 北大核心 2008年第1期47-54,共8页
公平性问题是拥塞控制中的重要级问题,目的是确保所有数据源共享同等的端到端网络带宽.为了适应传感器网络的特点,扩展了传统公平性的定义,提出了一种基于信息量的公平性定义,并基于该定义提出了一套公平性控制模型CFRC.与现有工作不同,... 公平性问题是拥塞控制中的重要级问题,目的是确保所有数据源共享同等的端到端网络带宽.为了适应传感器网络的特点,扩展了传统公平性的定义,提出了一种基于信息量的公平性定义,并基于该定义提出了一套公平性控制模型CFRC.与现有工作不同,CFRC不需要预先确定数据源,对路由结构没有限制,节点上也不需要维护任何数据流信息和全局状态信息,而是动态地实现公平性控制.CFRC使用一种基于感知面积的信息量计算算法,每个节点只需简单的本地计算而无需复杂的计算开销.在带宽分配上,提出了一种干扰源感知的带宽分配方法,以拥塞节点为中心找到所有干扰源,根据干扰源的信息量来分配信道带宽,充分实现公平性目标.模拟结果表明,CFRC能根据各数据源产生报文的信息量进行公平性控制,降低丢弃报文数目. 展开更多
关键词 无线传感器网络 公平性控制 CFRC 信息量 带宽分配
下载PDF
认证可信度理论研究 被引量:8
20
作者 汪伦伟 王怀民 《计算机研究与发展》 EI CSCD 北大核心 2005年第3期501-506,共6页
认证是操作系统安全的基础之一,没有经过用户认证,系统安全的3个基本特性:秘密性、完整性和可用性将会严重地受到破坏.但是由于当前系统在用户认证过程中存在一些不确定性因素,如认证机制的不确定性、认证规则的不确定性和认证结论的不... 认证是操作系统安全的基础之一,没有经过用户认证,系统安全的3个基本特性:秘密性、完整性和可用性将会严重地受到破坏.但是由于当前系统在用户认证过程中存在一些不确定性因素,如认证机制的不确定性、认证规则的不确定性和认证结论的不确定性,借鉴专家系统中不确定性推理的思想,提出认证可信度的思想,并给出了认证可信度因子模型.该模型对认证过程存在的不确定性因素给出了度量,针对需要多种认证机制的重要、特殊系统给出了认证可信度因子在多认证机制之间的传播公式,并进行了证明.通过在认证过程中引入认证可信度,可以很好地描述认证过程中的不确定性因素。并且可以更好地增强系统在多种认证机制情况下的安全性. 展开更多
关键词 可信度 认证可信度 认证可信度因子
下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部