期刊文献+
共找到2,379篇文章
< 1 2 119 >
每页显示 20 50 100
从BOPPPS教学模型看课堂教学改革 被引量:220
1
作者 罗宇 付绍静 李暾 《计算机教育》 2015年第6期16-18,共3页
针对当前大学课堂教学中的常见问题,分析北美教师技能培训的BOPPPS模型,提出改进课堂教学的观点,特别强调学生的参与以及及时获取学生对教学的反馈。
关键词 BOPPPS 课堂教学 教学改进
下载PDF
入侵检测系统研究现状及发展趋势 被引量:53
2
作者 胡华平 陈海涛 +1 位作者 黄辰林 唐勇 《计算机工程与科学》 CSCD 2001年第2期20-25,共6页
入侵检测系统 (IDS)可以对系统或网络资源进行实时检测 ,及时发现闯入系统或网络的入侵者 ,也可预防合法用户对资源的误操作 ;它是 PDR(Protection Detection Response)安全模型的一个重要组成部分。本文主要从攻击检测方法、国内外研... 入侵检测系统 (IDS)可以对系统或网络资源进行实时检测 ,及时发现闯入系统或网络的入侵者 ,也可预防合法用户对资源的误操作 ;它是 PDR(Protection Detection Response)安全模型的一个重要组成部分。本文主要从攻击检测方法、国内外研究状况等方面总结了入侵检测技术的研究现状 ,并结合自己的研究成果 。 展开更多
关键词 入侵检测系统 代理 黑客攻击 安全模型 网络安全 计算机网络
下载PDF
高可信软件工程技术 被引量:115
3
作者 陈火旺 王戟 董威 《电子学报》 EI CAS CSCD 北大核心 2003年第z1期1933-1938,共6页
随着软件在信息社会中发挥日益重要的作用 ,人们对软件可靠性、可靠安全性和保密安全性等可信性质的要求也愈来愈高 .本文讨论了高可信软件工程技术的现状和面临的主要挑战 。
关键词 软件工程 软件可信性 软件保证
下载PDF
面向大规模网络的入侵检测与预警系统研究 被引量:43
4
作者 胡华平 张怡 +2 位作者 陈海涛 宣蕾 孙鹏 《国防科技大学学报》 EI CAS CSCD 北大核心 2003年第1期21-25,共5页
开展面向大规模网络的入侵检测与预警系统的研究,对于提高我国网络系统的应急响应能力、缓解网络攻击所造成的危害、提高系统的反击能力等具有十分重要的意义。首先对国内外的研究现状进行综述;然后,提出了面向大规模网络的入侵检测与... 开展面向大规模网络的入侵检测与预警系统的研究,对于提高我国网络系统的应急响应能力、缓解网络攻击所造成的危害、提高系统的反击能力等具有十分重要的意义。首先对国内外的研究现状进行综述;然后,提出了面向大规模网络的入侵检测与预警系统的体系结构与组成;最后,着重对与本系统研制相关的关键技术与难点进行论述。 展开更多
关键词 入侵检测 战略预警 数据融合 数据挖掘 威胁评测 网络安全
下载PDF
形式化方法概貌 被引量:85
5
作者 王戟 詹乃军 +1 位作者 冯新宇 刘志明 《软件学报》 EI CSCD 北大核心 2019年第1期33-61,共29页
形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各... 形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各个阶段.介绍了形式化方法的发展历程和基本方法体系;以形式规约和形式验证为主线,综述了形式化方法的理论、方法、工具和应用的现状,展示了形式化方法与软件学科其他领域的交叉和融合;分析了形式化方法的启示,并展望了其面临的发展机遇和未来趋势.形式化方法的发展和研究现状表明:其应用已经取得了长足的进步,在提高计算系统的可靠性和安全性方面发挥了重要作用.在当今软件日益成为社会基础设施的时代,形式化方法将与人工智能、网络空间安全、量子计算、生物计算等领域和方向交叉融合,得到更加广阔的应用.研究和建立这种交叉融合的理论和方法不仅重要,而且具有挑战性. 展开更多
关键词 形式化方法 形式规约 形式验证 程序设计方法学 软件开发
下载PDF
防火墙与入侵检测系统联动的研究与实现 被引量:54
6
作者 张兴东 胡华平 +1 位作者 况晓辉 陈辉忠 《计算机工程与科学》 CSCD 2004年第4期22-26,共5页
防火墙与入侵检测系统联动,可以有效提升防火墙的机动性和实时反应能力,同时也可增强入侵检测系统的阻断功能,目前已成为一个研究热点。本文从OPSEC和TOPSEC协议出发,对防火墙与入侵检测系统之间联动的技术进行了深入的分析,给出了防火... 防火墙与入侵检测系统联动,可以有效提升防火墙的机动性和实时反应能力,同时也可增强入侵检测系统的阻断功能,目前已成为一个研究热点。本文从OPSEC和TOPSEC协议出发,对防火墙与入侵检测系统之间联动的技术进行了深入的分析,给出了防火墙与入侵检测系统联动的关键技术,并对如何保障自身安全进行了探讨;提出利用开放接口方式实现双方联动的思想,并针对具体产品给出了具体实现。 展开更多
关键词 防火墙 入侵检测系统 网络安全 信息安全 计算机网络
下载PDF
XML解析技术研究 被引量:59
7
作者 冯进 丁博 +2 位作者 史殿习 张瞩熹 许凯 《计算机工程与科学》 CSCD 北大核心 2009年第2期120-124,共5页
XML解析技术是XML语言被广泛应用的前提和基础,计算平台和XML应用特征的变化不断推动着该技术的发展。本文分析了XML解析技术存在的挑战,在对现有XML解析技术进行分类的基础上详细比较和分析了各类技术的特点及应用场景,指出了XML解析... XML解析技术是XML语言被广泛应用的前提和基础,计算平台和XML应用特征的变化不断推动着该技术的发展。本文分析了XML解析技术存在的挑战,在对现有XML解析技术进行分类的基础上详细比较和分析了各类技术的特点及应用场景,指出了XML解析技术未来的研究趋势。 展开更多
关键词 XML XML解析 XML应用
下载PDF
复杂网络社团发现算法研究新进展 被引量:76
8
作者 骆志刚 丁凡 +1 位作者 蒋晓舟 石金龙 《国防科技大学学报》 EI CAS CSCD 北大核心 2011年第1期47-52,共6页
社团结构是复杂网络普遍存在的拓扑特性之一,发现复杂网络中的社团结构是复杂网络研究的基础性问题。针对非重叠社团发现和重叠社团发现两类问题,全面综述了当前复杂网络社团发现算法研究的新进展,分析了每类社团发现算法的特点,指出该... 社团结构是复杂网络普遍存在的拓扑特性之一,发现复杂网络中的社团结构是复杂网络研究的基础性问题。针对非重叠社团发现和重叠社团发现两类问题,全面综述了当前复杂网络社团发现算法研究的新进展,分析了每类社团发现算法的特点,指出该领域值得进一步探索的研究方向。 展开更多
关键词 复杂网络 社团发现算法 重叠社团
下载PDF
基于任务和角色的分布式工作流安全模型 被引量:24
9
作者 付松龄 谭庆平 《国防科技大学学报》 EI CAS CSCD 北大核心 2004年第3期57-62,共6页
针对现有基于角色访问控制的缺陷和分布式工作流管理系统的特性,在传统的基于角色的访问控制模型中引入任务集(Tasks)、任务实例集(TaskInstances)和任务上下文(TaskContext)的概念,将传统的user role permission权限赋予结构修改为user... 针对现有基于角色访问控制的缺陷和分布式工作流管理系统的特性,在传统的基于角色的访问控制模型中引入任务集(Tasks)、任务实例集(TaskInstances)和任务上下文(TaskContext)的概念,将传统的user role permission权限赋予结构修改为user role task permission权限赋予结构,建立了基于任务和角色的访问控制模型,给出了其形式化定义。该模型解决了传统的基于角色访问控制中的动态适应性差和最小权限约束假象的问题,用于分布式工作流管理系统,提高了安全性、实用性。 展开更多
关键词 RBAC 基于任务和角色的访问控制 分布式工作流管理系统 任务 任务实例 任务上下文
下载PDF
大数据环境下基于信息论的入侵检测数据归一化方法 被引量:65
10
作者 宋勇 蔡志平 《武汉大学学报(理学版)》 CAS CSCD 北大核心 2018年第2期121-126,共6页
在大数据时代,入侵检测作为网络安全的一种重要技术手段被广泛采用.网络入侵检测数据不同的特征属性具有不同的量纲和量纲单位,为了消除特征属性之间的量纲影响,一般在进行数据分析之前采用归一化处理.当前网络入侵检测数据的归一化处... 在大数据时代,入侵检测作为网络安全的一种重要技术手段被广泛采用.网络入侵检测数据不同的特征属性具有不同的量纲和量纲单位,为了消除特征属性之间的量纲影响,一般在进行数据分析之前采用归一化处理.当前网络入侵检测数据的归一化处理大多只考虑特征属性取值本身的分布情况,没有客观地评估它对类别信息或其他特征属性的影响.针对这个问题,提出了一种基于信息论的网络入侵检测数据归一化方法.对连续特征属性,它以联合信息增益作为区间的分割评估方法,以区间的类别占比作为标准依据进行归一化处理;对离散特征属性,它根据类别条件熵的占比进行了归一化处理.利用NSL-KDD数据集仿真实验,结果表明,该方法不仅能够提高学习算法的收敛性,而且归一化的结果有助于提高分类模型的检测率和降低分类模型的误报率. 展开更多
关键词 归一化 入侵检测 联合信息增益 信息论
原文传递
面向云计算的网络化平台研究与实现 被引量:57
11
作者 史佩昌 王怀民 +1 位作者 蒋杰 卢凯 《计算机工程与科学》 CSCD 北大核心 2009年第A01期249-252,共4页
云计算提供三种类型的服务:基础设施即服务、平台即服务和软件即服务。很多云实例都采用高性能计算结点构建基础设施,而高性能计算机的传统使用方式制约了云平台型服务的发展。本文设计并实现了基于高性能计算机的面向云计算的网络化平... 云计算提供三种类型的服务:基础设施即服务、平台即服务和软件即服务。很多云实例都采用高性能计算结点构建基础设施,而高性能计算机的传统使用方式制约了云平台型服务的发展。本文设计并实现了基于高性能计算机的面向云计算的网络化平台NPCC,这是尝试解决高性能计算环境支持提供云平台型服务存在问题的一种探索性研究。NPCC采用了高性能虚拟域HPVZ技术和多目标协同的并行工作负载调度策略等,改变了传统高性能计算机的共享使用方式,为用户提供了具有易用性、通用性、安全性、可定制化和图形化的面向云计算的网络化平台环境。 展开更多
关键词 云计算 高性能计算环境 平台即服务 高性能虚拟域 多目标协同
下载PDF
企业数据集成模型的研究 被引量:23
12
作者 肖万贤 刘江宁 《计算机工程与科学》 CSCD 2004年第5期49-51,55,共4页
本文从现代企业实施数据集成的需求出发 ,对联邦数据库系统、中间件模式和数据仓库模式等几种经典数据集成体系进行了分析 ,并指出了它们的局限 ;提出了一种基于OMG模型驱动和XML的企业数据集成的模型框架 ,并阐述了该数据集成模型的相... 本文从现代企业实施数据集成的需求出发 ,对联邦数据库系统、中间件模式和数据仓库模式等几种经典数据集成体系进行了分析 ,并指出了它们的局限 ;提出了一种基于OMG模型驱动和XML的企业数据集成的模型框架 ,并阐述了该数据集成模型的相关技术和优越性 。 展开更多
关键词 模型驱动架构 元数据 MOF UML XMI XML 数据集成模型 联邦数据库系统 FDBS 中间件模式
下载PDF
基于Web的远程教学平台的设计与实现 被引量:41
13
作者 王涛 陈怀义 《计算机应用研究》 CSCD 北大核心 2003年第7期102-104,共3页
介绍了一个基于Web的远程教学平台的设计与实现。该平台分为管理员模块、教员模块和学员模块三个逻辑功能模块;物理实现上包括管理员子系统、自主学习子系统、答疑子系统和考试子系统等。答疑子系统采用了同步智能答疑的技术,考试子系... 介绍了一个基于Web的远程教学平台的设计与实现。该平台分为管理员模块、教员模块和学员模块三个逻辑功能模块;物理实现上包括管理员子系统、自主学习子系统、答疑子系统和考试子系统等。答疑子系统采用了同步智能答疑的技术,考试子系统突破了只能文字出题的限制,引入视频、音频和复杂数学公式等各类题目。该平台在"计算机基础"课程中得到初步实现。 展开更多
关键词 Web远程教学平台 同步智能答疑 网上视音频考试
下载PDF
数字签名技术及其发展动态 被引量:17
14
作者 蒋艳凰 白晓敏 杨学军 《计算机应用研究》 CSCD 2000年第9期1-3,共3页
在信息化的今天,人们倍加重视信息的安全问题,数字签名技术作为信息安全领域的一项重要技术,应用日益广泛。详细论述了传统数字签名的作用、实现技术及其应用,并介绍了当前数字签名的几种新技术,展望了这一领域的发展前景。
关键词 信息安全 数字签名 公钥加密 CA认证
下载PDF
基于J2EE的分布式工作流管理系统方案 被引量:13
15
作者 付松龄 谭庆平 《计算机应用》 CSCD 北大核心 2003年第8期117-120,共4页
在企业业务日益网络化的今天,传统的工作流技术不再能满足企业过程重组、自动化日益增长的需要,为了顺应这种需要,文中提出了一个基于J2EE和WebService技术的分布式工作流管理系统方案。与以往分布式工作流管理系统相比,更具有平台无关... 在企业业务日益网络化的今天,传统的工作流技术不再能满足企业过程重组、自动化日益增长的需要,为了顺应这种需要,文中提出了一个基于J2EE和WebService技术的分布式工作流管理系统方案。与以往分布式工作流管理系统相比,更具有平台无关性,更能适应当代企业发展的需要。 展开更多
关键词 分布式工作流 J2EE WEB SERVICE
下载PDF
程序分析研究进展 被引量:45
16
作者 张健 张超 +8 位作者 玄跻峰 熊英飞 王千祥 梁彬 李炼 窦文生 陈振邦 陈立前 蔡彦 《软件学报》 EI CSCD 北大核心 2019年第1期80-109,共30页
在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析... 在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析等),特别是最近10余年的研究进展.进而介绍了针对不同类型软件(移动应用、并发软件、分布式系统、二进制代码等)的分析方法.最后展望了程序分析未来的研究方向和所面临的挑战. 展开更多
关键词 程序分析 软件质量保障 静态分析 动态分析
下载PDF
数字校园中基于LDAP的统一用户身份管理技术研究 被引量:29
17
作者 张辉 杨岳湘 汪诗林 《计算机工程与科学》 CSCD 2005年第1期14-16,35,共4页
本文在简要介绍了LDAP及相关技术的基础上 ,提出了一套基于LDAP的统一用户身份管理解决方案并对其中涉及的关键技术进行了论述。方案实现了对数字校园中用户的统一身份认证、单点登录、集中鉴权以及对网络应用资源的统一管理。
关键词 LDAP 用户身份 单点登录 数字校园 身份认证 解决方案 网络 统一 对数 理解
下载PDF
基于机器学习的软件漏洞挖掘方法综述 被引量:45
18
作者 李韵 黄辰林 +2 位作者 王中锋 袁露 王晓川 《软件学报》 EI CSCD 北大核心 2020年第7期2040-2061,共22页
软件复杂性的增加,给软件安全性带来极大的挑战.随着软件规模的不断增大以及漏洞形态多样化,传统漏洞挖掘方法由于存在高误报率和高漏报率的问题,已无法满足复杂软件的安全性分析需求.近年来,随着人工智能产业的兴起,大量机器学习方法... 软件复杂性的增加,给软件安全性带来极大的挑战.随着软件规模的不断增大以及漏洞形态多样化,传统漏洞挖掘方法由于存在高误报率和高漏报率的问题,已无法满足复杂软件的安全性分析需求.近年来,随着人工智能产业的兴起,大量机器学习方法被尝试用于解决软件漏洞挖掘问题.首先,通过梳理基于机器学习的软件漏洞挖掘的现有研究工作,归纳了其技术特征与工作流程;接着,从其中核心的原始数据特征提取切入,以代码表征形式作为分类依据,对现有研究工作进行分类阐述,并系统地进行了对比分析;最后,依据对现有研究工作的整理总结,探讨了基于机器学习的软件漏洞挖掘领域面临的挑战,并展望了该领域的发展趋势. 展开更多
关键词 机器学习 漏洞挖掘 代码表征 软件质量 深度学习
下载PDF
基于Solid Works的参数化特征建模技术研究 被引量:27
19
作者 罗煜峰 《机械设计》 CSCD 北大核心 2004年第3期52-54,62,共4页
论述了基于SolidWorks的参数化特征建模技术中特征和参数化的定义 ,对SolidWorks中的特征进行了详细介绍 ,阐述了参数化特征建模技术的优势。通过实例介绍了参数化特征建模技术的实际应用。
关键词 SOLIDWORKS 参数化设计 特征建模 机械设计 CAD
下载PDF
虚拟膝关节镜手术仿真系统的关键技术研究 被引量:32
20
作者 熊岳山 徐凯 +2 位作者 王彦臻 谭珂 郭光友 《国防科技大学学报》 EI CAS CSCD 北大核心 2007年第1期76-80,共5页
虚拟手术仿真系统是医学仿真训练的有力工具,在医学教育领域有很好的应用前景。结合虚拟膝关节镜手术系统开发中的实际经验,介绍了系统开发过程中的几何建模、形变计算、力反馈与场景特效处理等关键技术与模拟仿真效果;文中的技术可推... 虚拟手术仿真系统是医学仿真训练的有力工具,在医学教育领域有很好的应用前景。结合虚拟膝关节镜手术系统开发中的实际经验,介绍了系统开发过程中的几何建模、形变计算、力反馈与场景特效处理等关键技术与模拟仿真效果;文中的技术可推广应用到其他虚拟手术仿真系统的开发中。 展开更多
关键词 手术仿真 医学训练 力反馈 特效处理
下载PDF
上一页 1 2 119 下一页 到第
使用帮助 返回顶部