全  文

不  限

  • 不  限
  • 1979年

不  限

  • 不  限
  • 1979年
  • 全  文
  • 主  题
  • 篇  名
  • 作  者
  • 导  师
  • 第一导师
  • 学位授予单位
  • 关键词
  • 摘  要
  • 目  录
  • 参考文献
  • 学科专业
  • 发表时间

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 作  者
  • 导  师
  • 第一导师
  • 学位授予单位
  • 关键词
  • 摘  要
  • 目  录
  • 参考文献
  • 学科专业
  • 发表时间
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
学位论文首页 > 学位授予单位 > 北京市 > 中国科学院大学(中国科学院软件研究所)

中国科学院大学(中国科学院软件研究所)

文献:1122
导师:0
被引:1.07万
硕士:774

博士:348
哲学| 经济学| 法学| 教育学| 文学| 历史学| 理学| 工学| 农学| 医学| 军事学| 管理学
相关度 学位年度 被引 下载 发表时间 CNKI为你找到相关结果

OpenMP循环调度算法及SpMV多核并行化研究  CNKI文献

OpenMP是一种支持Fortran,C/C++的共享存储并行编程标准。它基于fork-join的并行执行模型,将程序划分为并行区和串行区。近几年来,OpenMP在SMP(Symmetric Multi-Processing)和多核体系结构的并行编程中得到了广泛的应...

刘胜飞 导师:张云泉 中国科学院研究生院(软件研究所) 2009-04-01 硕士论文

关键词: OpenMP / OMPi / 负载平衡 / Static调度

下载(446)| 被引(8)

虚拟化试验平台网络支撑环境的设计与实现  CNKI文献

试验平台是计算机技术的一个重要组成部分。无论是面向研究还是应用,开发出来的产品都需要在试验平台上经过测试。传统的基于物理机器的试验平台在灵活性,安全性以及可重现性等方面均存在较大的劣势,虚拟机技术的复兴...

崔奇 导师:石文昌 中国科学院研究生院(软件研究所) 2008-04-01 硕士论文

关键词: 试验平台 / 虚拟机 / 虚拟网络 / VMware

下载(477)| 被引(2)

嵌入式操作系统安全机制的设计与实现  CNKI文献

当前,智能手机平台上的手机病毒已经对人们日常使用手机产生了不良影响,并且这种影响将日益严重。手机病毒侵犯了手机用户的个人隐私,导致了手机用户的金钱损失,严重损害了手机用户的利益。为了能够有效的抵御以手机病...

沈松武 导师:王新社 中国科学院研究生院(软件研究所) 2008-04-01 硕士论文

关键词: 嵌入式操作系统 / 数字签名 / 访问控制 / 网络安全

下载(319)| 被引(3)

博弈理论在互模拟和模态μ-演算上的一些应用  CNKI文献

论文包括两部分内容,第一部分通过定义分解互模拟这个概念,对规范的(normed)上下文无关进程上的互模拟做了更为简单的有限刻画,并且对我们定义的分解互模拟这个概念进行了博弈刻画。第二部分对模态μ演算上的可满足性...

董焕防 导师:柳欣欣 中国科学院研究生院(软件研究所) 2005-06-30 硕士论文

关键词: 上下文无关进程 / 分解互模拟 / 博弈 / 可满足性

下载(200)| 被引(0)

StrutsX——一种面向高层复用的Web应用框架的设计、实现与...  CNKI文献

Web应用框架是支持Web应用开发的重要的软件复用技术,旨在提高开发效率,增强系统的可重用性、健壮性和可伸缩性。目前的Web应用框架大都侧重于封装底层的技术细节,复用粒度较小,在可操作性方面存在不足。针对上述问题...

娄晓亮 导师:李京 中国科学院研究生院(软件研究所) 2005-06-30 硕士论文

关键词: 软件复用 / Web应用框架 / Web应用开发平台

下载(153)| 被引(11)

蠕虫预警系统-蠕虫传播模型分析和可扩展性预警系统设计  CNKI文献

近几年,随着网络的普及,以及基于网络的应用程序的增多;蠕虫侵入网络系统,影响人们的正常生活的事情时有发生,而且蠕虫的产生有着上升的趋势。蠕虫在成功地入侵网络主机之后,可以在受到感染的主机上做任何的事情,这样...

何雪煜 导师:卿斯汉 中国科学院研究生院(软件研究所) 2005-06-30 硕士论文

关键词: 内存泄漏 / 扫描 / 蠕虫预警系统 / 蠕虫的生物传播模型

下载(263)| 被引(2)

高性能Jave SAX解析器的设计和实现  CNKI文献

XML(eXtensible Markup Language)是W3C定义的一种标记语言,利用XML可以在一个可编辑的正文文件中描述结构化/半结构化的数据。目前,XML被广泛应用于Web环境下的数据传输与交换、数据集成、文档存储等应用中。XML解析...

汪剑超 导师:金蓓弘 中国科学院研究生院(软件研究所) 2005-06-01 硕士论文

关键词: XML / SAX解析器 / 有限自动机 / 兼容性测试

下载(289)| 被引(8)

PI4Lotus系统若干关键问题的研究与实现  CNKI文献

随着计算机网络通信技术的迅速发展,企业之间和企业内部的关系变得越来越复杂,工作流技术成为解决日益复杂的企业管理过程的一个较好选择。同时面对多媒体技术和Internet的大发展,文档型数据库的应用日益广泛,特别是在...

刘晓明 导师:成理宙 中国科学院研究生院(软件研究所) 2005-06-01 硕士论文

关键词: 文档型数据库 / 工作流管理系统 / 生命周期 / 异常

下载(35)| 被引(1)

中间件通讯服务的研究与实现  CNKI文献

作为分布环境中网络异构问题的解决方案,中间件备受关注。中间件开发中一个重要的问题就是网络通讯服务的设计与开发——任何一种中间件都必须依赖通讯服务来完成其自身各部分在分布式环境下的交互,同时,通讯又是中间...

周瑾 导师:黄涛 中国科学院研究生院(软件研究所) 2005-06-01 硕士论文

关键词: 通讯服务 / 中间件 / 框架 / 接口

下载(187)| 被引(2)

分布事务处理中间件的优化与测试技术研究  CNKI文献

事务处理技术是保证信息可靠性和一致性的重要技术。分布事务处理中间件为开发、部署、监控和管理基于三层结构的联机事务处理应用系统构建了一个基础平台,在构筑基于事务处理的网络分布计算中起着核心作用。 ...

冯琳 导师:冯玉琳 中国科学院研究生院(软件研究所) 2005-06-01 硕士论文

关键词: 分布事务处理 / 中间件 / 优化 / 测试

下载(191)| 被引(7)

DOM解析器OnceDOMParser的设计与实现  CNKI文献

XML(eXtensible Markup Language)是一种广泛使用的标记语言,用来定义各种XML文档,应用于Web数据传输、数据集成、文档存储等场合。DOM(Document Object Model)是W3C组织定义的一种XML文档处理模型,其比较简单,有统一...

杨波 导师:冯玉琳 中国科学院研究生院(软件研究所) 2005-06-01 硕士论文

关键词: XML / DOM / DOM解析器 / XML兼容性测试

下载(217)| 被引(7)

Web应用服务器的消息服务系统的研究和实现  CNKI文献

随着电子商务需求和Internet上企业级应用的迅速发展,传统的紧密耦合的同步消息传递方式已经严重地阻碍了希望实现松散耦合的分布式系统的发展。因此,如何为客户提供支持异步传输的,高可伸缩、高可靠和高可用的消息服...

李东兵 导师:黄涛 中国科学院研究生院(软件研究所) 2005-06-01 硕士论文

关键词: Web应用服务器 / 消息服务系统 / 可复用性 / 可靠性

下载(149)| 被引(3)

一种可扩展的Web应用服务器安全框架及其关键技术研究  CNKI文献

随着我国经济的发展,信息技术得到广泛应用,网络与信息系统的作用进一步增强,成为国家的关键基础设施。与此同时,信息安全问题日益增加、日渐突出。作为网络分布式计算环境中的主流中间件的Web应用服务器(WAS)的安全就...

陈华荣 导师:李京 中国科学院研究生院(软件研究所) 2005-06-01 硕士论文

关键词: Web应用服务器 / 安全框架 / 安全连接 / CSIv2

下载(182)| 被引(2)

一种基于JCA的企业应用集成框架的设计与实现  CNKI文献

企业应用集成(EAI)旨在将企业中完成不同功能,彼此相互独立的应用系统集成起来,并且不需要对现有的系统做太大的改变就可以让它们之间方便的共享业务数据和业务处理流程。随着Internet技术的不断发展,Web驱动的应用程...

郑蕾 导师:李京 中国科学院研究生院(软件研究所) 2005-06-01 硕士论文

关键词: 企业应用集成 / J2EE应用服务器 / JCA / 资源适配器

下载(154)| 被引(1)

基于领域知识的数据仓库设计  CNKI文献

本文通过对数据仓库设计展开研究,提出了数据仓库建模的新方法:利用领域知识来指导数据仓库设计。认为领域内存在着同一概念多种词汇表示和同一词汇多种含义的语义异构问题,以一种统一的形式化的方式描述领域知识,并在...

汪磊 导师:左春 中国科学院研究生院(软件研究所) 2005-06-01 硕士论文

关键词: 数据仓库 / 车险理赔 / 本体 / OWL

下载(415)| 被引(3)

一种扩展的并发传值进程抽象模型  CNKI文献

形式化方法中的模型检测技术是近三十年来最为成功的自动验证技术之一。对并发传值系统进行模型检测需要建立相应的抽象模型,带赋值的符号迁移图是一种广为使用的抽象模型。 对于并发传值系统抽象模型的...

邓维佳 导师:林惠民 中国科学院研究生院(软件研究所) 2005-05-25 硕士论文

关键词: 形式化方法 / 并发系统 / 进程代数 / 传值

下载(114)| 被引(0)

一种通用的操作系统安全增强技术的设计与实现  CNKI文献

操作系统是计算机资源的直接管理者,其安全是整个计算机系统安全的基础。因而研究和开发安全操作系统具有十分重要的意义。在实际的安全操作系统的实现方式上,一种主流的做法是直接改造原有系统的实现代码,加入安全机...

何昀峰 导师:倪惜珍 中国科学院研究生院(软件研究所) 2005-05-01 硕士论文

关键词: 安全增强 / 安全策略 / 驱动程序 / 内核封装

下载(208)| 被引(1)

一种密码计算网格的计算节点控制管理系统设计与实现  CNKI文献

计算工具和计算平台的发展推动了密码学算法的发展和研究,网格计算技术作为一种新型有效的计算技术,能广泛集合网络上的资源形成一个虚拟的超级计算机,因此,把网格技术应用到密码学计算中具有重大的意义。 ...

肖建芳 导师:林东岱 中国科学院研究生院(软件研究所) 2005-05-01 硕士论文

关键词: 密码算法 / 网格 / 分布式计算 / 计算节点

下载(137)| 被引(1)

分布式(网格)密码计算平台的研究设计及前端服务系统实现  CNKI文献

分布式(网格)体系结构是当前研究和应用的热点,被视为下一代IT技术发展的基础,是互联网发展的必然趋势。这种体系结构提出的最终目标就是要把整个因特网整合成一台巨大的超级计算机,实现计算资源、存储资源、数据资源...

任俊伟 导师:林东岱 中国科学院研究生院(软件研究所) 2005-05-01 硕士论文

关键词: 分布式 / 网格 / 网格计算 / 密码计算

下载(300)| 被引(1)

事件驱动的消息发布/订阅研究和实现  CNKI文献

随着企业信息化进程的深入,研究企业过程数据集成方法有着重要的理论意义和应用价值。本文在对现有消息发布/订阅研究的基础上,提出了事件驱动的消息发布/订阅概念,结合使用紧同步随机Petri网建模方法,建立了企业过程...

童蕾 导师:戴国忠 中国科学院研究生院(软件研究所) 2005-05-01 硕士论文

关键词: 事件驱动 / 发布/订阅 / 过程数据集成

下载(701)| 被引(25)

时间的形状