期刊文献+
共找到173篇文章
< 1 2 9 >
每页显示 20 50 100
计算机取证的相关法律技术问题研究 被引量:84
1
作者 丁丽萍 王永吉 《软件学报》 EI CSCD 北大核心 2005年第2期260-275,共16页
法律界研究计算机证据的有关法律特性及其认定,而计算机科学领域的研究人员则从技术的角度研究计据的技术特征及其获取技术.由于这一学科是建立在法学和计算机科学之上的交叉学科,必须从这两个学科及其派生学科上体现出的特殊性的角度... 法律界研究计算机证据的有关法律特性及其认定,而计算机科学领域的研究人员则从技术的角度研究计据的技术特征及其获取技术.由于这一学科是建立在法学和计算机科学之上的交叉学科,必须从这两个学科及其派生学科上体现出的特殊性的角度对其进行研究.在这一领域把法律和技术分离的做法会导致法律认定上的错误和技术上的无序性.通过将法律和计算机技术相结合对计算机取证进行了研究.阐明了计算机取证的相关法律问题,重点研究了计算机取证的技术方法和工具,并给出了一个计算机取证实验的技术过程.提出了目前计算机取证相关法律法规和计算机取证技术的不足,指出了今后法律法规的进一步健全、计算机取证工作的规范化和计算机取证技术的发展趋势. 展开更多
关键词 犯罪 法律 证据 计算机证据 计算机取证学 计算机取证工具
下载PDF
树在风中的摇曳──基于动力学的计算机动画 被引量:32
2
作者 冯金辉 陈彦云 +1 位作者 严涛 吴恩华 《计算机学报》 EI CSCD 北大核心 1998年第9期769-773,共5页
树木森林在自然场景的构成中占有很重要的地位,尤其是树在风中的摇曳更是组成了一幕幕动人的景象.但是由于树结构的高度复杂性,给这一问题的研究工作带来了极大的困难。本文首次基于动力学对树在风中的摇曳进行了计算机模拟,对这一... 树木森林在自然场景的构成中占有很重要的地位,尤其是树在风中的摇曳更是组成了一幕幕动人的景象.但是由于树结构的高度复杂性,给这一问题的研究工作带来了极大的困难。本文首次基于动力学对树在风中的摇曳进行了计算机模拟,对这一问题进行了探索并给出了解决方案.根据树木结构的物理性质可把其分为固定枝条、可动枝条以及波动枝条.固定枝条无需处理.可动枝条的行为采用现代非线性力学理论来解决,而波动枝条的解决则是基于波动理论.同时基于OpenGL,图形库函数制作出了计算机动画实例. 展开更多
关键词 计算机动画 波动 动力学
下载PDF
计算机桥牌双明手解的Hash表改进 被引量:1
3
作者 程克非 张聪 沈一栋 《重庆大学学报(自然科学版)》 EI CAS CSCD 北大核心 2005年第12期45-47,共3页
人工智能中关于牌类游戏的研究因为具有信息不完备的特点,在发展上落后于棋类游戏.牌类游戏研究的基础是在信息不完备条件下寻求一种快速的局面求解方法,虽然这个问题也非常困难.在采用Scout搜索的桥牌双明手算法基础上,提出根据牌局的... 人工智能中关于牌类游戏的研究因为具有信息不完备的特点,在发展上落后于棋类游戏.牌类游戏研究的基础是在信息不完备条件下寻求一种快速的局面求解方法,虽然这个问题也非常困难.在采用Scout搜索的桥牌双明手算法基础上,提出根据牌局的特点对局面进行标准化编码的方案,从而提高了Scout搜索中Hash表的内存利用率和查询命中率,使得在剪枝过程中比原来的算法少展开5%的叶节点. 展开更多
关键词 对策树搜索 HASH表 计算机桥牌
下载PDF
基于图形处理器(GPU)的通用计算 被引量:227
4
作者 吴恩华 柳有权 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第5期601-612,共12页
伴随着PC级微机的崛起和普及 ,多年来计算机图形的大部分应用发生了从工作站向微机的大转移 ,这种转移甚至发生在像虚拟现实、计算机仿真这样的实时 (中、小规模 )应用中 这一切的发生从很大程度上源自于图形处理硬件的发展和革新 近年... 伴随着PC级微机的崛起和普及 ,多年来计算机图形的大部分应用发生了从工作站向微机的大转移 ,这种转移甚至发生在像虚拟现实、计算机仿真这样的实时 (中、小规模 )应用中 这一切的发生从很大程度上源自于图形处理硬件的发展和革新 近年来 ,随着图形处理器 (GPU)性能的大幅度提高以及可编程特性的发展 ,人们首先开始将图形流水线的某些处理阶段以及某些图形算法从CPU向GPU转移 除了计算机图形学本身的应用 ,涉及到其他领域的计算 ,以至于通用计算近 2~ 3年来成为GPU的应用之一 ,并成为研究热点 文中从若干图形硬件发展的历史开始 ,介绍和分析最新GPU在通用计算方面的应用及其技术原理和发展状况 。 展开更多
关键词 图形处理器 通用计算 GPU 图形硬件 可编程性 代数运算 性能分析
下载PDF
关于蜕变测试和特殊用例测试的实例研究(英文) 被引量:13
5
作者 吴鹏 施小纯 +2 位作者 唐江峻 林惠民 陈宗岳 《软件学报》 EI CSCD 北大核心 2005年第7期1210-1220,共11页
提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验基于变异分析技术,分别以mutationscore和错误发现率为度量指标,定量地分析和对比了特殊用例测试,以特殊... 提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验基于变异分析技术,分别以mutationscore和错误发现率为度量指标,定量地分析和对比了特殊用例测试,以特殊测试用例和随机测试用例为源测试用例的蜕变测试这3种方法的测试能力和效率.该实验可在MTest测试环境下自动完成.实验结果表明,蜕变测试与特殊用例测试之间是互补的,而且就蜕变测试的源测试用例而言,随机测试用例在测试能力和效率上优于特殊测试用例. 展开更多
关键词 软件测试 蜕变测试 特殊用例测试 随机测试 变异分析
下载PDF
基于时序逻辑的软件体系结构描述语言XYZ/ADL 被引量:40
6
作者 朱雪阳 唐稚松 《软件学报》 EI CSCD 北大核心 2003年第4期713-720,共8页
体系结构描述语言(architecture description language,简称ADL)是基于体系结构的软件开发的基础,便于表示求精的ADL,使得好的设计能够方便地导出好的实现.时序逻辑语言XYZ/E可在统一的逻辑框架下既表示静态语义又表示动态语义,因而基于... 体系结构描述语言(architecture description language,简称ADL)是基于体系结构的软件开发的基础,便于表示求精的ADL,使得好的设计能够方便地导出好的实现.时序逻辑语言XYZ/E可在统一的逻辑框架下既表示静态语义又表示动态语义,因而基于XYZ/E的体系结构描述语言XYZ/ADL支持从高层级体系结构到低层级体系结构之间的逐步过渡.系统地阐述了XYZ/ADL的概念框架并用XYZ/E进行语义解释,介绍了如何用XYZ/ADL描述体系结构和体系结构风格. 展开更多
关键词 时序逻辑 软件体系结构 描述语言 XYZ/ADL 软件开发 体系结构描述语言 时序逻辑语言
下载PDF
RFID系统中安全和隐私问题的研究 被引量:17
7
作者 王连强 吕述望 韩小西 《计算机应用研究》 CSCD 北大核心 2006年第6期16-18,共3页
射频识别(RFID)技术的应用将给零售、物流等产业带来革命性的变化,但同时出现的安全和隐私问题却极大地限制了其使用的范围,如何在RFID系统中保证安全、维护个人隐私成为业界讨论的热点问题。在分析四种常见解决方案的基础上,阐明了各... 射频识别(RFID)技术的应用将给零售、物流等产业带来革命性的变化,但同时出现的安全和隐私问题却极大地限制了其使用的范围,如何在RFID系统中保证安全、维护个人隐私成为业界讨论的热点问题。在分析四种常见解决方案的基础上,阐明了各自的优缺点,探讨了在RFID系统中解决安全和隐私问题所面临的挑战,并指出了其发展的方向。 展开更多
关键词 射频识别标签 安全 隐私 树型查询
下载PDF
基于状态转换模型的容侵系统研究 被引量:6
8
作者 崔竞松 王丽娜 +2 位作者 张焕国 傅建明 罗敏 《计算机科学》 CSCD 北大核心 2003年第4期61-64,共4页
Intrusion tolerance system is a new technology of network security. It can provide acceptable or degraded system service when intrusions occur. In this article, the system's basic function, technique and objective... Intrusion tolerance system is a new technology of network security. It can provide acceptable or degraded system service when intrusions occur. In this article, the system's basic function, technique and objective are introduced. A kind of state transition model is discussed. The intrusion tolerance architecture based on state the transition model and several vulnerabilities cases are proposed. 展开更多
关键词 容侵系统 状态转换模型 防火墙 入侵检测系统 计算机网络 网络安全
下载PDF
绘制大规模场景的可见性计算技术 被引量:10
9
作者 王文成 魏峰 吴恩华 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第2期161-169,共9页
高效的可见性计算可大量节省关于场景中不可见部分的计算·较系统地介绍了各种可见性计算技术·首先讨论可见性计算的基础方法;然后讨论可见性计算的高效实现和运用方法,以及一些能很好地提高绘制效率的可见性计算系统·
关键词 可见性 加速 遮挡剔除 大规模场景 综述
下载PDF
基于数据挖掘的网络入侵检测技术:研究综述 被引量:13
10
作者 罗敏 张焕国 王丽娜 《计算机科学》 CSCD 北大核心 2003年第2期105-107,117,共4页
Intrusion detection techniques are attracted attention. There are a lot of projects which have their own emphasizes in the aspect now. The basic ideas and techniques of data mining-based intrusion detection and the ar... Intrusion detection techniques are attracted attention. There are a lot of projects which have their own emphasizes in the aspect now. The basic ideas and techniques of data mining-based intrusion detection and the architecture of a real time data mining-based IDS are discussed Some problems and the future directions are proposed. 展开更多
关键词 数据挖掘 网络入侵检测技术 网络安全 计算机网络 人工神经网络
下载PDF
面向普适计算的服务构件动态部署问题及算法 被引量:10
11
作者 唐磊 廖渊 +1 位作者 李明树 淮晓永 《计算机研究与发展》 EI CSCD 北大核心 2007年第5期815-822,共8页
有限的资源是嵌入式应用的一个局限性,因此越来越多的嵌入式设备联网,通过共享资源为用户提供灵活的服务以适应普适计算的要求.以构件化嵌入式操作系统Liquid为背景,研究普适计算环境下多个服务构件动态部署问题,合理分配利用资源,克服... 有限的资源是嵌入式应用的一个局限性,因此越来越多的嵌入式设备联网,通过共享资源为用户提供灵活的服务以适应普适计算的要求.以构件化嵌入式操作系统Liquid为背景,研究普适计算环境下多个服务构件动态部署问题,合理分配利用资源,克服单个嵌入式设备的资源局限性.首先对部署问题进行描述,然后给出服务构件动态部署的基本算法和启发式算法,并对启发式算法优化,最后通过算法模拟及数据分析算法的性能.虽然在Liquid系统上进行模拟实现,但算法具有通用性,启发式算法的效率分析表明,它适合设备或者服务构件数目较多的普适计算环境,在部署服务构件的同时提高服务准入成功率和资源的利用率. 展开更多
关键词 普适计算 服务构件 服务质量 动态部署 资源利用率
下载PDF
基于图像的室内虚拟环境的研究 被引量:9
12
作者 李洪举 吴恩华 《计算机学报》 EI CSCD 北大核心 1999年第5期529-534,共6页
基于图像的建模和绘制技术,提出了一个构造室内虚拟环境的完整方案,用户只需要输入少数照片,即可重建室内场景的全景图像.方案主要包括以下几步:首先由用户交互确定图像中的匹配象素,通过运动分析算法恢复整个场景的几何结构;然... 基于图像的建模和绘制技术,提出了一个构造室内虚拟环境的完整方案,用户只需要输入少数照片,即可重建室内场景的全景图像.方案主要包括以下几步:首先由用户交互确定图像中的匹配象素,通过运动分析算法恢复整个场景的几何结构;然后,将原始图像变换至平面的参数坐标系,抽取纹理图像,并在参数空间对纹理图像进行拼接;最后生成场景的全景图像.算法对拍摄条件和设备没有苛刻要求,运算量较小,有较强的稳定性. 展开更多
关键词 虚拟环境 射影几何 纹理 图像变换 虚拟现实
下载PDF
图形处理器用于通用计算的技术、现状及其挑战 被引量:141
13
作者 吴恩华 《软件学报》 EI CSCD 北大核心 2004年第10期1493-1504,共12页
多年来计算机图形处理器(GPU)以大大超过摩尔定律的速度高速发展.图形处理器的发展极大地提高了计算机图形处理的速度和图形质量,并促进了与计算机图形相关应用领域的快速发展.与此同时,图形处理器绘制流水线的高速度和并行性以及近年... 多年来计算机图形处理器(GPU)以大大超过摩尔定律的速度高速发展.图形处理器的发展极大地提高了计算机图形处理的速度和图形质量,并促进了与计算机图形相关应用领域的快速发展.与此同时,图形处理器绘制流水线的高速度和并行性以及近年来发展起来的可编程功能为图形处理以外的通用计算提供了良好的运行平台,这使得基于GPU的通用计算成为近两三年来人们关注的一个研究热点.从介绍GPU的发展历史及其现代GPU的基本结构开始,阐述GPU用于通用计算的技术原理,以及其用于通用计算的主要领域和最新发展情况,并详细地介绍了GPU在流体模拟和代数计算、数据库应用、频谱分析等领域的应用和技术,包括在流体模拟方面的研究工作.还对GPU应用的软件工具及其最新发展作了较详细的介绍.最后,展望了GPU应用于通用计算的发展前景,并从硬件和软件两方面分析了这一领域未来所面临的挑战. 展开更多
关键词 图形处理器(graphics PROCESSING unit 简称GPU) 通用计算 可编程性 实时计算 流处理机
下载PDF
一种基于监控理论的软件设计方法:状态性质变换方法 被引量:2
14
作者 王向云 张文辉 +2 位作者 王鹏 李永超 蔡开元 《控制理论与应用》 EI CAS CSCD 北大核心 2007年第2期187-192,199,共7页
基于把离散事件系统监控理论用于软件设计的思想,本文中对软件设计的状态性质变换方法作了详细的讨论,给定一个系统,其每一个状态的性质都是确定的,当提出软件需求时,常常是对系统状态的性质提出需求,为设计出满足需求的系统,可以首先... 基于把离散事件系统监控理论用于软件设计的思想,本文中对软件设计的状态性质变换方法作了详细的讨论,给定一个系统,其每一个状态的性质都是确定的,当提出软件需求时,常常是对系统状态的性质提出需求,为设计出满足需求的系统,可以首先按照是否满足该性质对系统状态进行分类,再对不满足该性质的状态控制其可控事件的发生从而改变其性质使之满足要求的性质。本文将这种方法用于软件需求是不变性或可达性时的软件设计问题,通过和已有文献中结论的比较,显示了这种设计思想的广泛适用性和优点,也验证了软件控制论这一思想的可行性。 展开更多
关键词 反应式系统 软件设计 离散事件动态系统 监控理论 软件控制论
下载PDF
移动计算系统信息流安全 被引量:5
15
作者 黄海军 陈意云 《小型微型计算机系统》 CSCD 北大核心 2006年第8期1455-1460,共6页
程序信息流安全是信息安全的一个重要研究方向.基于类型的静态分析可以保证程序信息流安全.与单进程系统相比,移动计算系统中数据通讯的存在使得程序信息流安全保护更加困难.Cornell大学的Zdancewic对函数式语言λsec的单进程程序信息... 程序信息流安全是信息安全的一个重要研究方向.基于类型的静态分析可以保证程序信息流安全.与单进程系统相比,移动计算系统中数据通讯的存在使得程序信息流安全保护更加困难.Cornell大学的Zdancewic对函数式语言λsec的单进程程序信息流安全进行了研究.本文在其工作的基础上,根据移动计算系统的结构特征,通过对函数式语言λsec进行扩充,加入通讯原语,将其扩展成移动计算语言MobileML,并针对一个简单的移动计算模型,给出了描述程序信息流安全的无干扰性定义,设计了相应的信息流类型系统,用以静态检查保证MobileML语言程序信息流安全. 展开更多
关键词 程序信息流安全 无干扰性 形式语义 类型系统 子定型
下载PDF
若干算法程序的形式化推导与生成技术研究 被引量:7
16
作者 胡启敏 薛锦云 《计算机研究与发展》 EI CSCD 北大核心 2008年第z1期148-153,共6页
PAR方法基于分划与递推、量词变换规则、循环不变式开发新策略和软件转换工具,实现了复杂算法问题的形式化开发.采用PAR方法形式化推导几个典型的算法问题.通过量词变换规则对程序规约进行形式化推导,可以得到具有数学引用透明性、易于... PAR方法基于分划与递推、量词变换规则、循环不变式开发新策略和软件转换工具,实现了复杂算法问题的形式化开发.采用PAR方法形式化推导几个典型的算法问题.通过量词变换规则对程序规约进行形式化推导,可以得到具有数学引用透明性、易于形式化证明的求解算法问题的递推关系;并在此基础上,自然地导出循环不变式.在得到简短、易于理解、高可靠性的Apla算法程序之后,通过转换工具自动生成Java,C++等可执行程序. 展开更多
关键词 PAR方法 形式化推导 算法程序 递推关系
下载PDF
循环不变式开发技术研究 被引量:5
17
作者 万松松 薛锦云 谢武平 《计算机工程与科学》 CSCD 北大核心 2010年第9期84-88,94,共6页
高可靠性软件是当今软件开发的热点问题。确保算法程序逻辑结构正确最理想的途径是算法程序的形式化推导和证明,而循环不变式是算法程序形式推导和证明的关键。循环不变式的开发一直是算法程序设计领域中最具挑战性、最富有创造性、也... 高可靠性软件是当今软件开发的热点问题。确保算法程序逻辑结构正确最理想的途径是算法程序的形式化推导和证明,而循环不变式是算法程序形式推导和证明的关键。循环不变式的开发一直是算法程序设计领域中最具挑战性、最富有创造性、也是最困难的问题之一。本文研究了众多现有循环不变式开发方法中较为典型的几种方法,指出了它们的基本原理、技术难点、特点及效果,旨在探寻循环不变式本质特征,从而为研究更简单、有效的生成方法提出指导。 展开更多
关键词 循环不变式 PAR方法 高可靠性软件 谓词抽象
下载PDF
若干并行计算模型上的N体问题求解算法 被引量:2
18
作者 苗乾坤 孙广中 +1 位作者 李涛 陈国良 《计算机工程与应用》 CSCD 北大核心 2007年第10期52-54,57,共4页
从在实际中广泛应用的N体问题入手,研究如何在几种实际的并行计算模型(PRAM、APRAM、BSP、LogP、NHBL)上设计具体的并行算法;给出了这些模型上的并行算法的设计模式,分析不同模型上算法的性能,比较各个模型上算法设计风格以及算法性能... 从在实际中广泛应用的N体问题入手,研究如何在几种实际的并行计算模型(PRAM、APRAM、BSP、LogP、NHBL)上设计具体的并行算法;给出了这些模型上的并行算法的设计模式,分析不同模型上算法的性能,比较各个模型上算法设计风格以及算法性能的差异,并对这些并行计算模型做一个综合的评价。 展开更多
关键词 并行计算模型 N体问题 并行算法 性能分析
下载PDF
基于时序逻辑语言描述的监控系统的软件体系结构求精 被引量:2
19
作者 张广泉 戎玫 晏荣杰 《计算机工程与应用》 CSCD 北大核心 2003年第31期14-17,共4页
该文提出了一种基于组件的软件体系结构求精方法,主要通过一个具体实例———移动通信监控系统,基于时序逻辑语言XYZ/E形式化描述其体系结构,对该求精方法及过程做进一步阐述。
关键词 软件体系结构 监控系统 组件 求精 时序逻辑 XYZ/E
下载PDF
中国图形工程:1995 被引量:17
20
作者 吴恩华 《中国图象图形学报(A辑)》 CSCD 1996年第3期232-237,共6页
对计算机图形学及至图形工程作了简要的介绍,并论述了图形与图象工程的关系。基于目前我国图形工程的研究以及有关文献的分布情况,在1995年出版的一些重要期刊上选取了近百篇有关图形工程的论文并根据其内容进行了分类统计。旨在... 对计算机图形学及至图形工程作了简要的介绍,并论述了图形与图象工程的关系。基于目前我国图形工程的研究以及有关文献的分布情况,在1995年出版的一些重要期刊上选取了近百篇有关图形工程的论文并根据其内容进行了分类统计。旨在使读者对图形工程的发展状况有一个总体了解,并对从事这一领域工作的读者查阅文献提供方便。 展开更多
关键词 计算机图形学 图形工程 图形处理 图象综合
下载PDF
上一页 1 2 9 下一页 到第
使用帮助 返回顶部