期刊文献+
共找到279篇文章
< 1 2 14 >
每页显示 20 50 100
如何培养面向未来的“智慧创新者” 被引量:1
1
作者 何炎祥 《计算机教育》 2024年第6期8-11,共4页
针对人工智能特别是大语言模型快速发展对高校计算机创新人才培养产生的冲击以及国际知名IT企业纷纷抢占智能化世界中的产业及技术先机的新形势,指出能应对未来挑战的创新人才是真正的“智慧创新者”(Smart creative),对如何培养智能化... 针对人工智能特别是大语言模型快速发展对高校计算机创新人才培养产生的冲击以及国际知名IT企业纷纷抢占智能化世界中的产业及技术先机的新形势,指出能应对未来挑战的创新人才是真正的“智慧创新者”(Smart creative),对如何培养智能化时代面向未来的“智慧创新者”提出若干对策与建议。 展开更多
关键词 智能化时代 智慧创新者 智慧思维 智能技术 人类优势 自主学习
下载PDF
基于GPGPU-sim的多kernel场景下GPGPU性能优化实验方法
2
作者 张军 魏继桢 +2 位作者 沈凡凡 谭海 何炎祥 《实验技术与管理》 CAS 北大核心 2024年第7期87-93,共7页
该文介绍了基于GPGPU-sim的多kernel环境下GPGPU性能优化实验方法,旨在为初学者开展多kernenl场景下GPGPU性能优化研究提供实验方法参考,也能为计算机系统结构教学提供案例。文中重点分析讨论了基于GPGPU-sim模拟器、多kernel场景下的... 该文介绍了基于GPGPU-sim的多kernel环境下GPGPU性能优化实验方法,旨在为初学者开展多kernenl场景下GPGPU性能优化研究提供实验方法参考,也能为计算机系统结构教学提供案例。文中重点分析讨论了基于GPGPU-sim模拟器、多kernel场景下的一种自适应线程块调度方法的改进思想、实验方法及过程,还对GPGPU的微系统结构、GPGPU-sim模拟器及源代码结构进行了介绍。实验结果表明,该文阐述的实验方法可行,相对于基准方法,该文提出的改进策略可以提升多kernel场景下GPGPU的执行效率。 展开更多
关键词 多kernel场境 GPGPU GPGPU-sim 性能优化
下载PDF
基于改进萤火虫算法和长短期记忆网络的恶意行为检测方法
3
作者 沈凡凡 汤星译 +3 位作者 张军 徐超 陈勇 何炎祥 《计算机工程与科学》 CSCD 北大核心 2024年第12期2158-2170,共13页
近年来,数据平台与系统的规模飞速扩张,性能快速提升,安全性能也随之越发重要。现有的基于深度学习的恶意行为检测方案缺少与模型契合的优化算法,导致模型缺乏自优化能力。提出了一种基于改进萤火虫算法与改进长短期记忆网络的恶意行为... 近年来,数据平台与系统的规模飞速扩张,性能快速提升,安全性能也随之越发重要。现有的基于深度学习的恶意行为检测方案缺少与模型契合的优化算法,导致模型缺乏自优化能力。提出了一种基于改进萤火虫算法与改进长短期记忆网络的恶意行为检测方法iFA-LSTM,该方法可以有效地进行恶意行为的二分类检测。通过UNSW-NB15数据集来验证所提出的方法,方法在单攻击二分类实验中的平均识别准确率达到了99.56%,且在混合攻击二分类实验中平均识别准确率也达到了98.79%,同时也充分证明了iFA的有效性。所提出的方法可以快速有效地进行恶意行为检测,非常有希望应用于恶意行为的安全监控和识别。 展开更多
关键词 平台与系统安全 恶意行为检测 神经网络 算法优化 二分类
下载PDF
高等工程教育发展下的计算机类专业人才培养方案修订
4
作者 边金鸾 何炎祥 余琍 《计算机教育》 2024年第5期140-143,共4页
针对高等工程教育的内涵式发展需要建立高质量人才培养体系所面临的一系列教学问题,提出从培养方案设计开始强化工程教育“学生中心、产出导向、持续改进”理念,改革现有方案设计的方法,结合武汉大学2023版培养方案修订工作的开展,阐述... 针对高等工程教育的内涵式发展需要建立高质量人才培养体系所面临的一系列教学问题,提出从培养方案设计开始强化工程教育“学生中心、产出导向、持续改进”理念,改革现有方案设计的方法,结合武汉大学2023版培养方案修订工作的开展,阐述如何将工程教育认证的思想方法充分运用在方案修订过程中,并验证方案的有效性,目的是适应工程教育内涵式发展需要,进一步推动教学水平提升。 展开更多
关键词 工程教育 新工科 专业认证 人才培养 课程体系
下载PDF
用于微博情感分析的一种情感语义增强的深度学习模型 被引量:131
5
作者 何炎祥 孙松涛 +1 位作者 牛菲菲 李飞 《计算机学报》 EI CSCD 北大核心 2017年第4期773-790,共18页
基于神经语言模型的词向量表示技术能够从大规模的未标注文本数据集中自动学习词语的有效特征表示,已经在许多自然语言处理任务及研究中取得重要进展.微博中的表情符号是微博情感分析最重要的特征之一,已有大量的研究工作在探索有效地... 基于神经语言模型的词向量表示技术能够从大规模的未标注文本数据集中自动学习词语的有效特征表示,已经在许多自然语言处理任务及研究中取得重要进展.微博中的表情符号是微博情感分析最重要的特征之一,已有大量的研究工作在探索有效地利用表情符号来提升微博情感分类效果.借助词向量表示技术,为常用表情符号构建情感空间的特征表示矩阵R^E;基于向量的语义合成计算原理,通过矩阵R^E与词向量的乘积运算完成词义到情感空间的映射;接着输入到一个MCNN(Multi-channel Convolution Neural Network)模型,学习一个微博的情感分类器.整个模型称为EMCNN(Emotion-semantics enhanced MCNN),将基于表情符号的情感空间映射与深度学习模型MCNN结合,有效增强了MCNN捕捉情感语义的能力.EMCNN模型在NLPCC微博情感评测数据集上的多个情感分类实验中取得最佳分类性能,并在所有性能指标上超过目前已知文献中的最好分类效果.在取得以上分类性能提升的同时,EMCNN相对MCNN的训练耗时在主客观分类时减少了36.15%,在情感7分类时减少了33.82%. 展开更多
关键词 微博 情感分析 深度学习 卷积神经网络 自然语言处理 社交网络
下载PDF
一种基于小波特征提取的低速率DoS检测方法 被引量:21
6
作者 何炎祥 曹强 +2 位作者 刘陶 韩奕 熊琦 《软件学报》 EI CSCD 北大核心 2009年第4期930-941,共12页
低速率拒绝服务攻击(low-ratedenial-of-service,简称LDoS)比传统的DDoS(distributed DoS)攻击更具隐蔽性和欺骗性,依据其周期性脉冲突发特点,设计实现了一种基于小波特征提取的LDoS检测系统DSBWA(detection system based on wavelet an... 低速率拒绝服务攻击(low-ratedenial-of-service,简称LDoS)比传统的DDoS(distributed DoS)攻击更具隐蔽性和欺骗性,依据其周期性脉冲突发特点,设计实现了一种基于小波特征提取的LDoS检测系统DSBWA(detection system based on wavelet analysis).该系统以到达检测节点的数据包数目为研究对象,通过小波多尺度分析,结合LDoS的攻击规律提取5个特征指标,在此基础上采用BP神经网络进行综合诊断.一旦检测出LDoS攻击,系统定位攻击脉冲数据的到达时刻以获得攻击者的相关信息.NS-2模拟实验结果表明,DSBWA具有高检测率和低误警率,并且能够检测出LDoS变种攻击,消耗计算资源少,具有良好的实用价值. 展开更多
关键词 LDoS攻击 小波分析 特征提取 BP神经网络
下载PDF
关联规则的几种开采算法及其比较分析 被引量:19
7
作者 何炎祥 石莉 +2 位作者 张戈 黄浩 李超 《小型微型计算机系统》 CSCD 北大核心 2001年第9期1065-1068,共4页
关联规则的发现是数据开采的一个重要方面 .目前有许多人正致力于关联规则的快速开采算法 .本文介绍几种开采大型事务数据库中所有关联规则的算法 。
关键词 数据开采 关联规则 算法 数据库
下载PDF
低速率拒绝服务攻击研究综述 被引量:20
8
作者 何炎祥 刘陶 +2 位作者 曹强 熊琦 韩奕 《计算机科学与探索》 CSCD 2008年第1期1-19,共19页
低速率拒绝服务攻击是近年来提出的一类新型攻击,其不同于传统洪泛式DoS攻击,主要是利用端系统或网络中常见的自适应机制所存在的安全漏洞,通过低速率周期性攻击流,以更高的攻击效率对受害者进行破坏且不易被发现。LDoS攻击自提出以来... 低速率拒绝服务攻击是近年来提出的一类新型攻击,其不同于传统洪泛式DoS攻击,主要是利用端系统或网络中常见的自适应机制所存在的安全漏洞,通过低速率周期性攻击流,以更高的攻击效率对受害者进行破坏且不易被发现。LDoS攻击自提出以来便得到了研究者们的充分重视,其攻击特征分析与检测防范方法逐渐成为网络安全领域的一个重要研究课题。首先对目前已提出的各种LDoS攻击方式进行了分类描述和建模,并在NS2平台上进行了实验验证,接着对LDoS攻击的检测防范难点进行了讨论并对已有的各种检测防范方案进行了小结,最后指出了有待进一步研究的几个问题,以期为今后此类攻击检测防范研究工作提供参考。 展开更多
关键词 网络安全 低速率拒绝服务攻击 TCP拥塞控制 AQM 攻击防范
下载PDF
软件体系结构中五种常见风格的剖析 被引量:11
9
作者 何炎祥 黄浩 +2 位作者 石莉 张戈 李超 《计算机工程》 EI CAS CSCD 北大核心 2000年第10期30-32,共3页
软件体系结构是软件工程中一个新兴的研究领域。该文首先分析比较了现有软件体系结构理论中的几种风格,接着,说明这些不同风格如何在一个设计中使用,最后,指出了一些可能的研究方向。
关键词 软件体系结构 面向对象 部件 风格 软件工程
下载PDF
面向嵌入式系统绿色需求的数据分配方法 被引量:12
10
作者 何炎祥 喻涛 +4 位作者 陈勇 李清安 江南 徐超 文卫东 《计算机研究与发展》 EI CSCD 北大核心 2015年第1期94-104,共11页
能耗和资源等绿色需求是嵌入式系统发展不容忽视的因素.数据分配作为编译后端的重要优化手段,对能耗以及资源的利用率有着重要影响.为提高资源和能源的有效利用率,构建了数据分配过程的绿色评估模型,并以此为指导,提出了一种迭代式多目... 能耗和资源等绿色需求是嵌入式系统发展不容忽视的因素.数据分配作为编译后端的重要优化手段,对能耗以及资源的利用率有着重要影响.为提高资源和能源的有效利用率,构建了数据分配过程的绿色评估模型,并以此为指导,提出了一种迭代式多目标分配优化方法,从能源消耗和资源的均衡使用度2个方面出发,利用可交换类指令重排优化和寄存器重分配优化,对总线和存储系统的绿色指标进行改进.模拟实验表明,该方法相对于GCC编译器,能够获得23%左右的绿色指标提升值,为满足更高的绿色需求提供了保障. 展开更多
关键词 绿色需求 能耗 资源均衡使用 数据分配 寄存器重分配
下载PDF
新型非易失性存储器架构的缓存优化方法综述 被引量:12
11
作者 何炎祥 沈凡凡 +3 位作者 张军 江南 李清安 李建华 《计算机研究与发展》 EI CSCD 北大核心 2015年第6期1225-1241,共17页
随着半导体工艺的发展,处理器集成的片上缓存越来越大,传统存储器件的漏电功耗问题日益严峻,如何设计高能效的片上存储架构已成为重要挑战.为解决这些问题,国内外研究者讨论了大量的新型非易失性存储技术,它们具有非易失性、低功耗和高... 随着半导体工艺的发展,处理器集成的片上缓存越来越大,传统存储器件的漏电功耗问题日益严峻,如何设计高能效的片上存储架构已成为重要挑战.为解决这些问题,国内外研究者讨论了大量的新型非易失性存储技术,它们具有非易失性、低功耗和高存储密度等优良特性.为探索spintransfer torque RAM(STT-RAM),phase change memory(PCM),resistive RAM(RRAM)和domainwall memory(DWM)四种新型非易失性存储器(non-volatile memory,NVM)架构缓存的方法,对比了其与传统存储器件的物理特性,讨论了其架构缓存的优缺点和适用性,重点分类并总结了其架构缓存的优化方法和策略,分析了其中针对新型非易失性存储器写功耗高、写寿命有限和写延迟长等缺点所作出的关键优化技术,最后探讨了新型非易失性存储器件在未来缓存优化中可能的研究方向. 展开更多
关键词 非易失性存储器 存储技术 计算机体系结构 缓存 优化方法
下载PDF
可信编译理论及其核心实现技术:研究综述 被引量:12
12
作者 何炎祥 吴伟 +5 位作者 刘陶 李清安 陈勇 胡明昊 刘健博 石谦 《计算机科学与探索》 CSCD 2011年第1期1-22,共22页
编译器是重要的系统软件之一,高级语言编写的软件都必须经过编译器的编译才能成为可执行程序。编译器的可信性对于整个计算机系统而言具有非常关键的意义,如果编译器不可信,则很难保证系统所运行软件的可信性。可信编译是指编译器在保... 编译器是重要的系统软件之一,高级语言编写的软件都必须经过编译器的编译才能成为可执行程序。编译器的可信性对于整个计算机系统而言具有非常关键的意义,如果编译器不可信,则很难保证系统所运行软件的可信性。可信编译是指编译器在保证编译正确的同时提供相应的机制保证编译对象的可信性,对可信编译理论和技术的研究具有重要理论意义和实用前景。阐述了可信编译器的概念,介绍了编译过程正确性的形式化定义,对可信编译的主要研究进行了概括。在全面分析可信编译研究现状的基础上,从编译器自身可信性和确保编译对象可信性两个方面,对可信编译器设计和实现的相关理论和方法进行了分类和总结。最后,讨论了可信编译有待解决的问题和未来的研究方向。 展开更多
关键词 可信编译器 编译正确性 编译器验证 可信软件
下载PDF
基于改进人口模型的微博话题趋势预测 被引量:9
13
作者 何炎祥 刘健博 +3 位作者 刘楠 彭敏 陈强 何静 《通信学报》 EI CSCD 北大核心 2015年第4期1-8,共8页
趋势预测问题是当前社会计算中的研究热点,但微博平台的话题趋势预测还处在探索阶段。在分析、抽取和定义事件趋势的影响因素的基础上,改进了人口模型使其适用于微博趋势预测,然后将改进的人口模型映射在神经网络上,并利用遗传优化的神... 趋势预测问题是当前社会计算中的研究热点,但微博平台的话题趋势预测还处在探索阶段。在分析、抽取和定义事件趋势的影响因素的基础上,改进了人口模型使其适用于微博趋势预测,然后将改进的人口模型映射在神经网络上,并利用遗传优化的神经网络对事件的趋势进行预测。实验证明,该方法对于预测网络中长期酝酿的事件发展趋势效果明显,能够有效地预测事件的爆发点和发帖量,而且适用于小样本预测问题。 展开更多
关键词 社会计算 趋势预测:神经网络 人口模型 社交网络
下载PDF
社交网络用户兴趣挖掘研究 被引量:10
14
作者 何炎祥 刘续乐 +2 位作者 陈强 梁伟 孙松涛 《小型微型计算机系统》 CSCD 北大核心 2014年第11期2385-2389,共5页
面向消费者的公司或者企业都希望了解他们用户的需求,而大量的用户产生的数据在很大程度上就体现了用户的兴趣和需求.提出一种用于社交网站上,针对用户生成内容(User Generate Content UGC)和用户关注信息的用户兴趣发掘方法.首先通过... 面向消费者的公司或者企业都希望了解他们用户的需求,而大量的用户产生的数据在很大程度上就体现了用户的兴趣和需求.提出一种用于社交网站上,针对用户生成内容(User Generate Content UGC)和用户关注信息的用户兴趣发掘方法.首先通过启发式初始化的PLSA模型训练得到贴近兴趣类别的话题模型,然后从训练结果中抽取可靠的话题并以此构建分类器,对用户的分享数据进行分类,最后根据用户的分享数据分类结果来识别用户的兴趣类别.在初始化PLSA模型时,用关键词抽取算法抽取每个分类的关键词,并给这些关键词赋予较高的PLSA初始权重,以此来引导PLSA模型的训练.实验的结果表明:本文方法可以有效的构建用户兴趣类别,并对用户兴趣的挖掘比较理想. 展开更多
关键词 用户兴趣挖掘 社交网络 关键词抽取 概率潜在语义分析 话题模型
下载PDF
基于SMT求解器的路径敏感程序验证 被引量:9
15
作者 何炎祥 吴伟 +1 位作者 陈勇 徐超 《软件学报》 EI CSCD 北大核心 2012年第10期2655-2664,共10页
随着软件规模的不断扩大以及复杂度的不断增长,人们越来越关注软件的可信性问题.验证程序是否满足断言所描述的性质,是保证软件可信性的一种常见方法.路径敏感的程序验证由于不可能遍历所有的路径,需要合并路径信息,因此造成精度上的损... 随着软件规模的不断扩大以及复杂度的不断增长,人们越来越关注软件的可信性问题.验证程序是否满足断言所描述的性质,是保证软件可信性的一种常见方法.路径敏感的程序验证由于不可能遍历所有的路径,需要合并路径信息,因此造成精度上的损失.提出一种基于SMT求解器的路径敏感程序验证方法,在保证精确度的前提下,有效减少路径搜索空间.其基本思想是,利用最大强连通分量压缩循环路径,然后根据目标断言对控制流图进行切片.使用一种布尔表达式方法对路径空间进行抽象,结合抽象解释和符号执行技术对路径进行验证.结合F-Soft平台和Z3工具对该方法进行了实验验证,结果表明,该方法在验证的精确度和效率上都有较好的效果. 展开更多
关键词 路径敏感 程序验证 抽象解释 符号执行 SMT求解器
下载PDF
Web数据挖掘中的增量挖掘 被引量:8
16
作者 何炎祥 陈 伟 +1 位作者 孔维强 张 戈 《计算机工程》 CAS CSCD 北大核心 2002年第4期67-69,共3页
为了高效及时地处理频繁新增的数据,在Web挖掘中引入增量挖掘的方法,并给出了一个Web关联规则增量挖掘的有效算法。
关键词 数据挖掘 WEB 增量挖掘 关联规则 数据库 INTERNET
下载PDF
不产生候选的快速投影频繁模式树挖掘算法 被引量:11
17
作者 何炎祥 向剑文 +1 位作者 朱骁峰 孔维强 《计算机科学》 CSCD 北大核心 2002年第11期71-75,共5页
Frequent Pattern mining plays an essential role in data mining. Most of the previous studies adopt an Apriori-like candidate set generation-and-test approach. However, candidate set generation is still costly, especia... Frequent Pattern mining plays an essential role in data mining. Most of the previous studies adopt an Apriori-like candidate set generation-and-test approach. However, candidate set generation is still costly, especially when there exist prolific patterns and/or long patterns.In this study, we introduce a novel frequent pattern growth (FP-growth)method, which is efficient and scalable for mining both long and short frequent patterns without candidate generation. And build a new project frequent pattern growth (PFP-tree)algorithm on this study, which not only heirs all the advantages in the FP-growth method, but also avoids it's bottleneck in database size dependence. So increase algorithm's scalability efficiently. 展开更多
关键词 事务数据库 快速投影频繁模式树挖掘算法 数据挖掘 频繁项集
下载PDF
一个机器检测的Micro-Dalvik虚拟机模型 被引量:5
18
作者 何炎祥 江南 +2 位作者 李清安 张军 沈凡凡 《软件学报》 EI CSCD 北大核心 2015年第2期364-379,共16页
给出了一个寄存器架构的虚拟机模型Micro-Dalvik,包括虚拟机指令集和虚拟机运行时状态的形式化,并以大步操作语义(big-step operational semantics)的方式给出了指令单步执行的状态转换以及定义在单步执行上的自反传递闭包来表达虚拟机... 给出了一个寄存器架构的虚拟机模型Micro-Dalvik,包括虚拟机指令集和虚拟机运行时状态的形式化,并以大步操作语义(big-step operational semantics)的方式给出了指令单步执行的状态转换以及定义在单步执行上的自反传递闭包来表达虚拟机程序的运行时状态转换.最后,以定理的形式描述了语义满足的性质,并得到证明.这个模型的指令集包括了大部分Dalvik虚拟机指令,为获得形式语义的清晰化,它在Dalvik VM指令集上进行了必要的抽象,对其实质没有改变,因而具有较大的实用性.该形式化模型通过了定理证明助手Isabelle/HOL的验证. 展开更多
关键词 大步操作语义 形式化验证 定理证明 寄存器架构的虚拟机
下载PDF
基于CRF和规则相结合的地理命名实体识别方法 被引量:69
19
作者 何炎祥 罗楚威 胡彬尧 《计算机应用与软件》 CSCD 2015年第1期179-185,202,共8页
为了识别文本中海量的地理命名信息,以CRF(条件随机场)模型识别为基础,加入制定的规则,来提高CRF模型识别的召回率,从而提高整体的地理命名实体识别效果。通过选取适合的地理命名实体识别的特征模板,验证特征的有效性以及分析CRF模型识... 为了识别文本中海量的地理命名信息,以CRF(条件随机场)模型识别为基础,加入制定的规则,来提高CRF模型识别的召回率,从而提高整体的地理命名实体识别效果。通过选取适合的地理命名实体识别的特征模板,验证特征的有效性以及分析CRF模型识别结果中的未识别实体样本,设计针对未识别实体的规则用以修正识别结果。实验表明,对地名和组织名结合规则进行修正后的F值达到了91.61%和85.74%,有了显著提高。 展开更多
关键词 地理命名实体识别 特征模版 条件随机场 修正规则 结合修正
下载PDF
多媒体会议系统分层通信结构及其算法研究 被引量:9
20
作者 何炎祥 邓爱林 杜卓敏 《计算机学报》 EI CSCD 北大核心 2001年第5期516-520,共5页
目前 ,多媒体会议系统的通信结构主要分为两种 :集中式通信结构和全分布式通信结构 .在远程多媒体会议系统中 ,这两种通信结构都很难满足多媒体会议系统的实时性要求 .针对这两种通信结构的缺点与不足 ,该文提出了一种新的通信结构 :分... 目前 ,多媒体会议系统的通信结构主要分为两种 :集中式通信结构和全分布式通信结构 .在远程多媒体会议系统中 ,这两种通信结构都很难满足多媒体会议系统的实时性要求 .针对这两种通信结构的缺点与不足 ,该文提出了一种新的通信结构 :分层通信结构 .这种通信结构可以有效减少远程多媒体会议系统的时间延迟 .对于不同的媒体混合技术 ,我们分别给出了构造其最佳分层通信结构的方法及相应算法 .实验数据表明 :相对于集中式通信结构和全分布式通信结构而言 ,分层通信结构可以有效减少远程多媒体会议系统的时间延迟 。 展开更多
关键词 多媒体会议系统 分层通信结构 算法 视频图像处理 CSCW
下载PDF
上一页 1 2 14 下一页 到第
使用帮助 返回顶部