期刊文献+
共找到2,679篇文章
< 1 2 134 >
每页显示 20 50 100
反计算机取证技术研究 被引量:13
1
作者 张有东 王建东 朱梧槚 《河海大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第1期104-107,共4页
分析了反计算机取证的基本概念和方法,比较了反计算机取证所采用的数据擦除、数据加密、数据隐藏、数据混淆和数据转换等主要技术,并提出了一种安全、高效的基于m序列的数据擦除方法.
关键词 反取证 数据擦除 数据隐藏 数据混淆 数据转换
在线阅读 下载PDF
直觉主义的数学观与计算机科学 被引量:1
2
作者 洪龙 朱梧槚 《南京邮电学院学报(自然科学版)》 2002年第2期32-35,70,共5页
剖析了直觉主义学派的数学观、无穷观和逻辑观 ,从而论证了构造性是直觉主义学派在数学工作中的最基本出发点 ,同时叙述了构造性观点于计算机科学中的体现和对计算机科学的影响。
关键词 直觉主义 数学观 计算机科学 构造性 无穷观 逻辑观
在线阅读 下载PDF
2019年度国家自然科学基金计算机科学领域项目申请与资助情况及2020年度代码调整
3
作者 刘哲 侯素娟 +1 位作者 赵瑞珍 宋苏 《计算机学报》 EI CSCD 北大核心 2020年第7期1379-1384,共6页
本文首先介绍了2019年度国家自然科学基金计算机科学领域的面上项目、青年科学基金项目、地区科学基金项目以及重点项目、国家杰出青年科学基金项目、优秀青年科学基金项目和NSFC-通用技术基础研究联合基金项目的申请和资助情况.其次,... 本文首先介绍了2019年度国家自然科学基金计算机科学领域的面上项目、青年科学基金项目、地区科学基金项目以及重点项目、国家杰出青年科学基金项目、优秀青年科学基金项目和NSFC-通用技术基础研究联合基金项目的申请和资助情况.其次,介绍了2020年度F02计算机科学领域学科布局及代码调整情况.最后,介绍了重点项目和重大项目的立项建议情况. 展开更多
关键词 国家自然科学基金 计算机科学 F02 代码调整
在线阅读 下载PDF
基于支持向量机的计算机键盘用户身份验真 被引量:26
4
作者 刘学军 陈松灿 彭宏京 《计算机研究与发展》 EI CSCD 北大核心 2002年第9期1082-1086,共5页
口令认证因为简便易实现而被大多数计算机系统所采用 ,但容易被盗用 ,存在着严重的安全隐患 ,而利用对用户的键入特性的识别 ,可以大大加强口令认证的可靠性 .在对国内外众多学者所做工作研究的基础上 ,鉴于支持向量机在进行模式识别时... 口令认证因为简便易实现而被大多数计算机系统所采用 ,但容易被盗用 ,存在着严重的安全隐患 ,而利用对用户的键入特性的识别 ,可以大大加强口令认证的可靠性 .在对国内外众多学者所做工作研究的基础上 ,鉴于支持向量机在进行模式识别时所具有的优良性能 ,提出利用支持向量机进行键入特性的验真 ,并通过实验将其与BP,RBF,PNN和 L VQ四种神经网络模型进行对比 ,证实采用 SVM进行键入特性验真的有效性 ,因而其具有广阔的应用前景 . 展开更多
关键词 支持向量机 计算机键盘 用户身份验真 生物认证 模式识别
在线阅读 下载PDF
计算机视觉系统框架结构研究 被引量:6
5
作者 孙瑾 顾宏斌 《计算机工程与应用》 CSCD 北大核心 2004年第12期44-47,共4页
计算机视觉系统框架的研究对计算机视觉是十分重要的,它指导着计算机视觉的发展方向。文章对计算机视觉发展几十年来在系统结构框架方面(主要是三维重建理论框架和主动视觉理论框架)所取得的研究进行了回顾和总结,并在前人所取得的成果... 计算机视觉系统框架的研究对计算机视觉是十分重要的,它指导着计算机视觉的发展方向。文章对计算机视觉发展几十年来在系统结构框架方面(主要是三维重建理论框架和主动视觉理论框架)所取得的研究进行了回顾和总结,并在前人所取得的成果之上,根据现有的实际情况,对原有框架结构进行了一些补充,同时对计算机视觉系统框架提出一些新的看法。 展开更多
关键词 计算机视觉 计算机视觉系统框架 三维重建理论框架 主动视觉理论框架
在线阅读 下载PDF
分子生物计算机层次结构及分子计算基本概念的讨论 被引量:2
6
作者 洪龙 朱梧槚 王建东 《南京邮电大学学报(自然科学版)》 EI 2006年第6期43-47,共5页
分子生物计算是当今世界科学前沿的研究热点。由于分子生物计算领域研究者的兴趣已从验证性的算法阶段开始走向实际应用,所以研究通用分子生物计算机是一件重要且有趣的事。针对报道中频繁出现的分子生物计算机、分子生物计算机的硬件... 分子生物计算是当今世界科学前沿的研究热点。由于分子生物计算领域研究者的兴趣已从验证性的算法阶段开始走向实际应用,所以研究通用分子生物计算机是一件重要且有趣的事。针对报道中频繁出现的分子生物计算机、分子生物计算机的硬件和软件等基本术语,文中继承性地提出了新观点,对这些概念的讨论有益于分子生物计算机的研究与发展。文中还设计了面向不同用户的分子生物计算机逻辑层次结构,并描述了各层的作用和对各类用户的知识要求。该文认为,在分子生物计算机中,至少应有面向用户和面向专家的程序设计语言,并以求解有向Ham ilton路径为例,分别描述了这两种语言的模式。此外,在建立了一种分子生物计算机物理模型之后,还对分子生物计算机结构和组成进行了较详细的讨论。这些工作使研究分子生物计算机,有了不同的方向和途径。 展开更多
关键词 分子计算 层次 模型 分子处理单元
在线阅读 下载PDF
UCT算法在计算机围棋中的应用与改进 被引量:3
7
作者 周明明 高航 赵国安 《数据采集与处理》 CSCD 北大核心 2012年第S2期330-335,共6页
计算机围棋博弈是人工智能研究的重要方向,其庞大的空间复杂度给研究者带来了巨大挑战。传统的基于模式识别和博弈树搜索的专家系统方法很难有进一步的提升,UCT算法的出现带来了现代计算机围棋时代。本文将UCT算法应用到九路计算机围棋... 计算机围棋博弈是人工智能研究的重要方向,其庞大的空间复杂度给研究者带来了巨大挑战。传统的基于模式识别和博弈树搜索的专家系统方法很难有进一步的提升,UCT算法的出现带来了现代计算机围棋时代。本文将UCT算法应用到九路计算机围棋博弈系统中,由于UCT算法模拟过程适合并行化处理,故本文通过多核并行计算对UCT算法进行改进,通过与单核算法程序进行实际对弈,证明了并行优化的可行性。 展开更多
关键词 计算机围棋博弈 蒙特卡罗 UCT算法 并行计算
在线阅读 下载PDF
用TMS320C25与PC机构成的并行计算机系统 被引量:2
8
作者 吉根林 奚抗生 宋建平 《计算机应用研究》 CSCD 1995年第3期73-74,共2页
TMS320C25是一种高性能数字信号处理器。本文介绍了一种用TMS320C25与PC机构成的主从结构并行计算机系统。该系统的特点是将TMS320C25高速数字信号处理系统作为PC机的插件板,直接插入PC机的扩展槽中... TMS320C25是一种高性能数字信号处理器。本文介绍了一种用TMS320C25与PC机构成的主从结构并行计算机系统。该系统的特点是将TMS320C25高速数字信号处理系统作为PC机的插件板,直接插入PC机的扩展槽中,利用双口RAM实现TMS320C25与PC机之间的相互通讯。它能适用于高速数字信号处理、图形/图像处理、语音处理等。文中详细论述了系统的工作原理、硬件结构,包括总体设计、接口设计、等待电路等。 展开更多
关键词 并行计算机 数字信号处理 微机
在线阅读 下载PDF
动态车辆网络场景中的协同空地计算卸载和资源优化 被引量:1
9
作者 王俊华 罗菲 +1 位作者 高广鑫 李斌 《电子与信息学报》 北大核心 2025年第1期102-115,共14页
针对移动用户数量迅猛增长和地面基础设施分布稀疏所带来的挑战,该文提出一种能量收集辅助的空地协同计算卸载架构。该架构充分利用无人机(UAVs)的灵活机动性和路侧单元(RSUs)及基站(BS)的强大算力,实现了任务计算的动态实时分发。特别... 针对移动用户数量迅猛增长和地面基础设施分布稀疏所带来的挑战,该文提出一种能量收集辅助的空地协同计算卸载架构。该架构充分利用无人机(UAVs)的灵活机动性和路侧单元(RSUs)及基站(BS)的强大算力,实现了任务计算的动态实时分发。特别地,无人机通过能量收集来维持其持续运行和稳定的计算性能。考虑到无人机与地面车辆的高动态性、车辆计算任务的随机性,以及信道模型的时变性,提出一个能耗受限的长期优化问题,旨在从全局角度有效降低整个系统的平均时延。为了解决这一复杂的混合整数规划(MIP)问题,提出一种基于改进演员-评论家(Actor-Critic)强化学习算法的计算卸载策略(IACA)。该算法运用李雅普诺夫优化技术,将长期系统时延优化问题分解为一系列易于处理的帧级子问题。然后,利用遗传算法计算目标Q值替代目标神经网络输出以调整强化学习进化方向,有效避免了算法陷入局部最优,从而实现动态车辆网络中的高效卸载和资源优化。通过综合仿真验证了所提计算卸载架构和算法的可行性和优越性。 展开更多
关键词 空地一体化车联网 能量收集 计算卸载 强化学习 遗传算法
在线阅读 下载PDF
高阶FIR滤波器的计算机设计与FPGA实现 被引量:1
10
作者 华玲 常建平 《现代电子技术》 2011年第2期99-102,共4页
根据有限冲击响应(FIR)数字滤波器的原理,综合运用Matlab和FPGA的QuartusⅡ两大计算机软件,提出了一种利用QuartusⅡ中参数化宏功能模块(LPM)的FIR滤波器设计方法。首先利用Matlab设计滤波器系数,再利用Quar-tusⅡ的LPM构造的乘法器和... 根据有限冲击响应(FIR)数字滤波器的原理,综合运用Matlab和FPGA的QuartusⅡ两大计算机软件,提出了一种利用QuartusⅡ中参数化宏功能模块(LPM)的FIR滤波器设计方法。首先利用Matlab设计滤波器系数,再利用Quar-tusⅡ的LPM构造的乘法器和加法器,最终得到滤波结果。相比分布式算法,该法在信号处理速率要求不高,且滤波器阶数较高的情况下,可更加简单地实现滤波效果。最终在Matlab和QuartusⅡ的基础上,实现了64阶的高阶FIR数字滤波器电路的设计与仿真。 展开更多
关键词 FIR滤波器 MATLAB Quartus Ⅱ参数化功能模块库
在线阅读 下载PDF
适用于区块链的分布式密码技术综述
11
作者 胡云帆 熊虎 +3 位作者 方黎明 彭长根 秦臻 秦志光 《计算机学报》 北大核心 2025年第7期1670-1695,共26页
区块链是一种允许多个陌生节点利用共识机制在不依赖可信第三方节点支持的情况下建立信任的技术。考虑到区块链的“去中心化”特点,标准的密码技术需要进行分布式改造以适用于区块链场景。本文对适用于区块链的分布式密码学框架、分布... 区块链是一种允许多个陌生节点利用共识机制在不依赖可信第三方节点支持的情况下建立信任的技术。考虑到区块链的“去中心化”特点,标准的密码技术需要进行分布式改造以适用于区块链场景。本文对适用于区块链的分布式密码学框架、分布式密钥管理、分布式数字签名、分布式密钥协商与分布式审计等分布式密码技术进行了综述。具体地,本文分析了以上几种技术的研究现状,并依托经典方案梳理了各种技术的构造思想。同时,本文比较了各方案的属性与性能,评估了各方案在安全性、效率和可扩展性等方面的优缺点,并讨论了该领域当前面临的挑战。最后,对未来的发展前景进行了展望。 展开更多
关键词 区块链 分布式密码学 密钥管理 数字签名 密钥协商 审计
在线阅读 下载PDF
TAC-SCM计算机博弈系统设计与分析
12
作者 林菡 夏正友 《江南大学学报(自然科学版)》 CAS 2007年第6期869-873,共5页
TAC有TAC Classic和TAC/SCM两类游戏,前者主要研究旅行问题,后者则是解决电脑生产的供应链管理问题.文章中对TAC/SCM游戏进行了分析,介绍了TAC/SCM游戏规则和特色,然后从销售、采购以及生产3个角度分析了NUAAgent的主要技术路线.
关键词 交易智能体 供应链管理 游戏 SCM TAC
在线阅读 下载PDF
多种折射率介质体对转光膜调控的计算机模拟
13
作者 李才有 蒋夏军 《合成树脂及塑料》 CAS 北大核心 2023年第5期64-67,共4页
基于光学理论和蒙特卡罗算法,通过计算机仿真技术研究了多种折射率介质体对转光膜的调控,并对其机理进行了分析。结果表明:光通量与折射率呈正相关关系,掺杂Nb_(2)O_(5)介质体后,转光膜的光通量较未掺杂时提高7.8%;色温与折射率呈负相... 基于光学理论和蒙特卡罗算法,通过计算机仿真技术研究了多种折射率介质体对转光膜的调控,并对其机理进行了分析。结果表明:光通量与折射率呈正相关关系,掺杂Nb_(2)O_(5)介质体后,转光膜的光通量较未掺杂时提高7.8%;色温与折射率呈负相关关系,未掺杂介质体时转光膜的色温为7 207 K,掺杂SiO_(2),Al_(2)O_(3),ZrO_(2),Nb_(2)O_(5)时的色温依次为6 658,6 391,6 261,6 149 K。结合不同介质体对应色坐标点与标准白点的位置及光子空间分布,可以得到最优转光膜对应的是折射率为2.30的Nb_(2)O_(5),此时光通量为116.80 lm,色温为6 149 K,色坐标为(0.319 5,0.330 9)。 展开更多
关键词 介质体 转光膜 计算机模拟 氧化铌 光通量 色温 折射率
在线阅读 下载PDF
基于16位微计算机的PWM波形生成系统的设计与实现
14
作者 黄凤英 《南京航空航天大学学报》 CAS CSCD 1994年第2期261-266,共6页
介绍一种用16位单片微型计算机MCS-96生成三相PWM波形的系统。借助16位微计算机的优越性能及较高的运算速度和处理精度,从而有可能运用Park矢量原理控制逆变器电压矢量的导通规律,使气隙磁通轨迹跟踪十分接近圆形的... 介绍一种用16位单片微型计算机MCS-96生成三相PWM波形的系统。借助16位微计算机的优越性能及较高的运算速度和处理精度,从而有可能运用Park矢量原理控制逆变器电压矢量的导通规律,使气隙磁通轨迹跟踪十分接近圆形的24边形。由此设计并生成的三相PWM波形接近三相正弦PWM水平,大大提高了异步电机调速的精确度和稳定性。该系统同时又是一个灵活的控制系统,可提供各种要求的控制功能。 展开更多
关键词 变频电源 磁通量 PWM控制 微机
在线阅读 下载PDF
面向多任务的GPU通用计算虚拟化技术研究 被引量:4
15
作者 张云洲 袁家斌 吕相文 《计算机工程与科学》 CSCD 北大核心 2013年第11期119-125,共7页
随着硬件功能的不断丰富和软件开发环境的逐渐成熟,GPU在通用计算领域的应用越来越广泛,使用GPU集群来进行海量数据计算的例子不胜枚举。但是,相对于CPU,GPU的功耗较大,如果每个节点都配备GPU,则将大大增加集群的功耗。虚拟化技术的引... 随着硬件功能的不断丰富和软件开发环境的逐渐成熟,GPU在通用计算领域的应用越来越广泛,使用GPU集群来进行海量数据计算的例子不胜枚举。但是,相对于CPU,GPU的功耗较大,如果每个节点都配备GPU,则将大大增加集群的功耗。虚拟化技术的引入使得在虚拟机中利用GPU资源进行通用计算成为可能。为高效、充分地利用GPU,针对GPU的特点,提出了一种面向多任务的可动态调度、支持多用户并发的GPU虚拟化解决方案。在已有的GPU虚拟化方案的基础上,综合考虑虚拟机域间通信的通用性以及任务的周转时间,建立了CUDA管理端来对GPU资源进行统一管理。通过设置综合负载评价值实现负载均衡并降低任务的平均周转时间。在设计的系统上进行大规模矩阵运算实验,结果说明了GPU虚拟化方案在计算系统中的可行性和高效性。 展开更多
关键词 GPU通用计算 虚拟化 CUDA 负载均衡
在线阅读 下载PDF
面向多模态数据的新型数据库技术专题前言 被引量:5
16
作者 彭智勇 高云君 +1 位作者 李国良 许建秋 《软件学报》 EI CSCD 北大核心 2024年第3期1049-1050,共2页
以数字技术为标志的新一轮科技革命方兴未艾,将人类带入数字经济时代.全球各行各业数据量呈现爆炸式增长,数据类型和数据格式也呈现多种形式,例如结构化关系表、半结构化JSON/XML、非结构化文本/图像/视频,以及图数据、流数据和时序数据... 以数字技术为标志的新一轮科技革命方兴未艾,将人类带入数字经济时代.全球各行各业数据量呈现爆炸式增长,数据类型和数据格式也呈现多种形式,例如结构化关系表、半结构化JSON/XML、非结构化文本/图像/视频,以及图数据、流数据和时序数据等.这要求数据库系统能够同时高效地管理多种不同类型的数据.多模态数据管理与分析成为亟需解决的问题.目前的方法主要通过拓展现有的数据库或通过集成各种不同模态数据管理引擎来支持多模态数据管理与分析,缺少新颖的理论、方法与技术的支撑.本专题围绕多模态数据管理与分析的整个生命周期,通过结合大数据技术和人工智能方法探讨新型数据库系统理论、方法和技术,包括多模态数据统一建模、存储与索引、查询与挖掘、并发控制、多模态数据库系统构建及其典型应用等主题,赋予数据库系统新的管理能力,形成多模态数据管理与分析在各行各业的最新应用成果. 展开更多
关键词 数据库系统 多模态数据 数据库技术 人工智能方法 并发控制 大数据技术 数据类型 统一建模
在线阅读 下载PDF
智能合约漏洞检测技术综述 被引量:13
17
作者 董伟良 刘哲 +3 位作者 刘逵 黎立 葛春鹏 黄志球 《软件学报》 EI CSCD 北大核心 2024年第1期38-62,共25页
智能合约作为可信的去中心化应用,获得了广泛的关注,但其安全漏洞问题对其可靠性带来了巨大威胁.为此,研究者们利用各种前沿技术(如模糊测试、机器学习、形式化验证等)研究了多种漏洞检测技术,并取得了可观的效果.为了系统性地梳理与分... 智能合约作为可信的去中心化应用,获得了广泛的关注,但其安全漏洞问题对其可靠性带来了巨大威胁.为此,研究者们利用各种前沿技术(如模糊测试、机器学习、形式化验证等)研究了多种漏洞检测技术,并取得了可观的效果.为了系统性地梳理与分析现有智能合约漏洞检测技术,搜集截至2021年7月关于智能合约漏洞检测的84篇论文,根据它们的核心方法进行分类,从每种技术的实现方法、漏洞类型、实验数据等方面展开分析,同时对比国内外研究现状在这些方面的差异.最后,对现有的智能合约漏洞检测技术进行总结,探讨面临的挑战,并展望了未来的研究方向. 展开更多
关键词 智能合约 合约安全 合约可靠性 合约质量保障 漏洞检测 合约程序分析
在线阅读 下载PDF
基于卷积—反残差和组合注意力机制的航天器多余物检测 被引量:2
18
作者 花诗燕 李大伟 +1 位作者 贾书一 汪俊 《计算机集成制造系统》 EI CSCD 北大核心 2024年第1期53-66,共14页
航天器密闭电子设备内腔多余物给航天器飞行安全带来了巨大隐患。由于多余物体积小、与设备内常规组件形态结构相似且易被其他组件遮挡,采用现有的方法对其进行检测时误检、漏检频发。为解决上述问题,提出一种基于卷积—反残差和组合注... 航天器密闭电子设备内腔多余物给航天器飞行安全带来了巨大隐患。由于多余物体积小、与设备内常规组件形态结构相似且易被其他组件遮挡,采用现有的方法对其进行检测时误检、漏检频发。为解决上述问题,提出一种基于卷积—反残差和组合注意力机制的航天器密闭电子设备多余物检测网络RPDN。首先,网络通过构建卷积—反残差模块,保证了多余物细粒度特征的完整性;其次,设计组合注意力机制,增强了多余物特征的表征能力;最后,结合多尺度特征融合模块与目标检测层从多维度进行目标预测。实验结果表明RPDN在各项评价指标上均取得了良好的效果,mAP达到92.16%,检测效率达到了13FPS,实现了航天器密闭电子设备内腔多余物高效、精准检测。 展开更多
关键词 航天器 密闭电子设备 多余物检测 卷积—反残差模块 组合注意力机制
在线阅读 下载PDF
基于约束规划的航空电子系统任务分配与调度方法 被引量:1
19
作者 曾清华 杨志斌 周勇 《小型微型计算机系统》 CSCD 北大核心 2024年第11期2576-2585,共10页
随着综合模块化航空电子系统(Integrated Modular Avionics,IMA)对计算性能要求的日趋提高,既能提供更强计算能力又能减少电子设备的体积、重量和功耗的多核处理器将在航空电子系统领域得到广泛应用.目前航空电子系统的任务分配和调度... 随着综合模块化航空电子系统(Integrated Modular Avionics,IMA)对计算性能要求的日趋提高,既能提供更强计算能力又能减少电子设备的体积、重量和功耗的多核处理器将在航空电子系统领域得到广泛应用.目前航空电子系统的任务分配和调度主要基于手工方式,较少考虑多核环境下共享资源竞争带来的时间延迟,并且当系统更新时需要重新编排,十分耗时耗力.本文提出一种基于约束规划(Constraint Programming,CP)的航空电子系统任务自动化分配与调度方法.首先,给出了多核环境下任务最坏执行时间(WCET)的分析方法;其次,给出了基于CP的任务分配和调度方法;最后,设计与实现了原型工具CP4IMA,并基于ARINC653操作系统平台进行案例分析,验证了本文所提方法的有效性. 展开更多
关键词 综合模块化航空电子系统 多核处理器 任务分配与调度 约束规划
在线阅读 下载PDF
MEF:基于在线容错的云计算资源调度方法 被引量:1
20
作者 都繁杰 李静 +1 位作者 王亮 夏天 《计算机应用与软件》 北大核心 2024年第3期336-344,共9页
云计算系统效率的关键是提升资源利用率与性能,系统可靠性的关键是备份组件。针对云环境下任务完成时间最小化、容错成本优化问题,提出一种基于在线容错的云计算资源调度方法。在线容错具有静态、动态的属性。静态容错根据组件可靠性和... 云计算系统效率的关键是提升资源利用率与性能,系统可靠性的关键是备份组件。针对云环境下任务完成时间最小化、容错成本优化问题,提出一种基于在线容错的云计算资源调度方法。在线容错具有静态、动态的属性。静态容错根据组件可靠性和完成过程可靠性改进LeaderRank算法备份关键组件;动态容错在故障时快速替换故障组件;通过MEF算法实现任务完成时间短、容错成本低的多目标优化。实验表明,与现有容错方法对比,MEF算法不仅降低了容错费用,而且增强了故障时的系统效率。 展开更多
关键词 云计算 在线容错 多目标优化 资源调度 云组件排名
在线阅读 下载PDF
上一页 1 2 134 下一页 到第
使用帮助 返回顶部