期刊文献+
共找到94篇文章
< 1 2 5 >
每页显示 20 50 100
计算机取证的相关法律技术问题研究 被引量:84
1
作者 丁丽萍 王永吉 《软件学报》 EI CSCD 北大核心 2005年第2期260-275,共16页
法律界研究计算机证据的有关法律特性及其认定,而计算机科学领域的研究人员则从技术的角度研究计据的技术特征及其获取技术.由于这一学科是建立在法学和计算机科学之上的交叉学科,必须从这两个学科及其派生学科上体现出的特殊性的角度... 法律界研究计算机证据的有关法律特性及其认定,而计算机科学领域的研究人员则从技术的角度研究计据的技术特征及其获取技术.由于这一学科是建立在法学和计算机科学之上的交叉学科,必须从这两个学科及其派生学科上体现出的特殊性的角度对其进行研究.在这一领域把法律和技术分离的做法会导致法律认定上的错误和技术上的无序性.通过将法律和计算机技术相结合对计算机取证进行了研究.阐明了计算机取证的相关法律问题,重点研究了计算机取证的技术方法和工具,并给出了一个计算机取证实验的技术过程.提出了目前计算机取证相关法律法规和计算机取证技术的不足,指出了今后法律法规的进一步健全、计算机取证工作的规范化和计算机取证技术的发展趋势. 展开更多
关键词 犯罪 法律 证据 计算机证据 计算机取证学 计算机取证工具
在线阅读 下载PDF
计算机桥牌双明手解的Hash表改进 被引量:1
2
作者 程克非 张聪 沈一栋 《重庆大学学报(自然科学版)》 EI CAS CSCD 北大核心 2005年第12期45-47,共3页
人工智能中关于牌类游戏的研究因为具有信息不完备的特点,在发展上落后于棋类游戏.牌类游戏研究的基础是在信息不完备条件下寻求一种快速的局面求解方法,虽然这个问题也非常困难.在采用Scout搜索的桥牌双明手算法基础上,提出根据牌局的... 人工智能中关于牌类游戏的研究因为具有信息不完备的特点,在发展上落后于棋类游戏.牌类游戏研究的基础是在信息不完备条件下寻求一种快速的局面求解方法,虽然这个问题也非常困难.在采用Scout搜索的桥牌双明手算法基础上,提出根据牌局的特点对局面进行标准化编码的方案,从而提高了Scout搜索中Hash表的内存利用率和查询命中率,使得在剪枝过程中比原来的算法少展开5%的叶节点. 展开更多
关键词 对策树搜索 HASH表 计算机桥牌
在线阅读 下载PDF
基于时序逻辑的软件体系结构描述语言XYZ/ADL 被引量:40
3
作者 朱雪阳 唐稚松 《软件学报》 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
面向普适计算的服务构件动态部署问题及算法 被引量:10
4
作者 唐磊 廖渊 +1 位作者 李明树 淮晓永 《计算机研究与发展》 EI CSCD 北大核心 2007年第5期815-822,共8页
有限的资源是嵌入式应用的一个局限性,因此越来越多的嵌入式设备联网,通过共享资源为用户提供灵活的服务以适应普适计算的要求.以构件化嵌入式操作系统Liquid为背景,研究普适计算环境下多个服务构件动态部署问题,合理分配利用资源,克服... 有限的资源是嵌入式应用的一个局限性,因此越来越多的嵌入式设备联网,通过共享资源为用户提供灵活的服务以适应普适计算的要求.以构件化嵌入式操作系统Liquid为背景,研究普适计算环境下多个服务构件动态部署问题,合理分配利用资源,克服单个嵌入式设备的资源局限性.首先对部署问题进行描述,然后给出服务构件动态部署的基本算法和启发式算法,并对启发式算法优化,最后通过算法模拟及数据分析算法的性能.虽然在Liquid系统上进行模拟实现,但算法具有通用性,启发式算法的效率分析表明,它适合设备或者服务构件数目较多的普适计算环境,在部署服务构件的同时提高服务准入成功率和资源的利用率. 展开更多
关键词 普适计算 服务构件 服务质量 动态部署 资源利用率
在线阅读 下载PDF
绘制大规模场景的可见性计算技术 被引量:10
5
作者 王文成 魏峰 吴恩华 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第2期161-169,共9页
高效的可见性计算可大量节省关于场景中不可见部分的计算·较系统地介绍了各种可见性计算技术·首先讨论可见性计算的基础方法;然后讨论可见性计算的高效实现和运用方法,以及一些能很好地提高绘制效率的可见性计算系统·
关键词 可见性 加速 遮挡剔除 大规模场景 综述
在线阅读 下载PDF
基于数据挖掘的网络入侵检测技术:研究综述 被引量:13
6
作者 罗敏 张焕国 王丽娜 《计算机科学》 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
一种基于监控理论的软件设计方法:状态性质变换方法 被引量:2
7
作者 王向云 张文辉 +2 位作者 王鹏 李永超 蔡开元 《控制理论与应用》 EI CAS CSCD 北大核心 2007年第2期187-192,199,共7页
基于把离散事件系统监控理论用于软件设计的思想,本文中对软件设计的状态性质变换方法作了详细的讨论,给定一个系统,其每一个状态的性质都是确定的,当提出软件需求时,常常是对系统状态的性质提出需求,为设计出满足需求的系统,可以首先... 基于把离散事件系统监控理论用于软件设计的思想,本文中对软件设计的状态性质变换方法作了详细的讨论,给定一个系统,其每一个状态的性质都是确定的,当提出软件需求时,常常是对系统状态的性质提出需求,为设计出满足需求的系统,可以首先按照是否满足该性质对系统状态进行分类,再对不满足该性质的状态控制其可控事件的发生从而改变其性质使之满足要求的性质。本文将这种方法用于软件需求是不变性或可达性时的软件设计问题,通过和已有文献中结论的比较,显示了这种设计思想的广泛适用性和优点,也验证了软件控制论这一思想的可行性。 展开更多
关键词 反应式系统 软件设计 离散事件动态系统 监控理论 软件控制论
在线阅读 下载PDF
循环不变式开发技术研究 被引量:5
8
作者 万松松 薛锦云 谢武平 《计算机工程与科学》 CSCD 北大核心 2010年第9期84-88,94,共6页
高可靠性软件是当今软件开发的热点问题。确保算法程序逻辑结构正确最理想的途径是算法程序的形式化推导和证明,而循环不变式是算法程序形式推导和证明的关键。循环不变式的开发一直是算法程序设计领域中最具挑战性、最富有创造性、也... 高可靠性软件是当今软件开发的热点问题。确保算法程序逻辑结构正确最理想的途径是算法程序的形式化推导和证明,而循环不变式是算法程序形式推导和证明的关键。循环不变式的开发一直是算法程序设计领域中最具挑战性、最富有创造性、也是最困难的问题之一。本文研究了众多现有循环不变式开发方法中较为典型的几种方法,指出了它们的基本原理、技术难点、特点及效果,旨在探寻循环不变式本质特征,从而为研究更简单、有效的生成方法提出指导。 展开更多
关键词 循环不变式 PAR方法 高可靠性软件 谓词抽象
在线阅读 下载PDF
若干并行计算模型上的N体问题求解算法 被引量:2
9
作者 苗乾坤 孙广中 +1 位作者 李涛 陈国良 《计算机工程与应用》 CSCD 北大核心 2007年第10期52-54,57,共4页
从在实际中广泛应用的N体问题入手,研究如何在几种实际的并行计算模型(PRAM、APRAM、BSP、LogP、NHBL)上设计具体的并行算法;给出了这些模型上的并行算法的设计模式,分析不同模型上算法的性能,比较各个模型上算法设计风格以及算法性能... 从在实际中广泛应用的N体问题入手,研究如何在几种实际的并行计算模型(PRAM、APRAM、BSP、LogP、NHBL)上设计具体的并行算法;给出了这些模型上的并行算法的设计模式,分析不同模型上算法的性能,比较各个模型上算法设计风格以及算法性能的差异,并对这些并行计算模型做一个综合的评价。 展开更多
关键词 并行计算模型 N体问题 并行算法 性能分析
在线阅读 下载PDF
一种信度网推理的并行计算模型
10
作者 张聪 沈一栋 刘启元 《计算机工程与应用》 CSCD 北大核心 2004年第29期40-43,72,共5页
基于概率知识表达的信度网已成为人工智能中非确定知识表达和推理的研究热点。推理算法是信度网学习和应用的基础。该文提出了一种基于经典Polytree算法的推理计算模型。该模型表达清楚,计算过程容易控制,并能够简单地映射到并行机结构... 基于概率知识表达的信度网已成为人工智能中非确定知识表达和推理的研究热点。推理算法是信度网学习和应用的基础。该文提出了一种基于经典Polytree算法的推理计算模型。该模型表达清楚,计算过程容易控制,并能够简单地映射到并行机结构上。该文首先介绍了模型在单联通网络下的计算步骤,然后将模型引入到多联通网络上。 展开更多
关键词 人工智能 信度网 概率推理 知识表达
在线阅读 下载PDF
基于象素的光照计算技术 被引量:8
11
作者 朱腾辉 刘学慧 吴恩华 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2002年第9期861-865,共5页
多年来由于硬件所提供的功能有限 ,实时绘制普遍采用基于顶点的光照计算技术 ,但是这种技术无法反映粗糙物体的光照细节 ,因此也就无法实时地绘制具有高度真实感细节的物体 .基于象素的光照计算技术采用新一代的硬件 ,可以实时地绘制粗... 多年来由于硬件所提供的功能有限 ,实时绘制普遍采用基于顶点的光照计算技术 ,但是这种技术无法反映粗糙物体的光照细节 ,因此也就无法实时地绘制具有高度真实感细节的物体 .基于象素的光照计算技术采用新一代的硬件 ,可以实时地绘制粗糙物体的光照细节 ,具有很高的真实感 .首先 ,对基于象素的光照计算技术与基于顶点的光照计算技术进行比较 ,分析基于象素的光照计算技术的优点 ;然后 ,在介绍基于象素的光照计算技术的发展的同时 ,分析基于象素的光照计算技术的理论基础 ,比较了它与 Phong明暗处理硬件加速技术的关系 ;最后 ,在介绍最新硬件功能的基础上 。 展开更多
关键词 象素 光照计算 凹凸纹理 法线纹理 Phong明暗处理 计算机图形学
在线阅读 下载PDF
测试顺序选择策略研究 被引量:6
12
作者 李都 《计算机工程与设计》 CSCD 北大核心 2008年第4期781-783,共3页
在面向对象程序的测试中,合适的测试顺序能够极大地节省测试成本。目前已有的相关工作大多忽略了包括Java在内的主流面向对象程序语言的一个重要特征——动态绑定。考察了动态绑定在对于选择测试顺序的影响,提出了一种新的测试顺序的选... 在面向对象程序的测试中,合适的测试顺序能够极大地节省测试成本。目前已有的相关工作大多忽略了包括Java在内的主流面向对象程序语言的一个重要特征——动态绑定。考察了动态绑定在对于选择测试顺序的影响,提出了一种新的测试顺序的选择策略,并给出了相应的选择算法,实现了减少测试桩数目、降低测试成本的目标。 展开更多
关键词 测试顺序 动态绑定 测试桩 面向对象程序 测试成本
在线阅读 下载PDF
Modelica软件中微分代数方程指标约简算法分析 被引量:2
13
作者 阳海军 《计算机工程与设计》 CSCD 北大核心 2010年第1期130-133,140,共5页
Modelica建模软件会产生高指标的微分代数方程(DAE),因为现有数值求解器一般不能直接对高指标DAE进行求解,所以Modelica建模软件必须对高指标DAE进行指标约简。为提高Modelica建模软件性能,针对现有指标约简算法,展开了理论分析和实验比... Modelica建模软件会产生高指标的微分代数方程(DAE),因为现有数值求解器一般不能直接对高指标DAE进行求解,所以Modelica建模软件必须对高指标DAE进行指标约简。为提高Modelica建模软件性能,针对现有指标约简算法,展开了理论分析和实验比较,着重对负权二部图算法进行了详细分析,并给出了负权二部图算法的时间复杂度。理论分析和实验结果表明,负权二部图算法相对Pantelides算法有较好的性能,因此可以考虑在Modelica建模软件中使用负权二部图算法来提高性能。 展开更多
关键词 MODELICA 微分代数方程 微分指标 高指标DAE 指标约简
在线阅读 下载PDF
基于模型检查实现J2EE规范的实例研究
14
作者 李彦 张文博 陈宁江 《计算机科学》 CSCD 北大核心 2006年第12期249-254,共6页
J2EE规范描述了当前开发应用服务器和分布式多层应用所遵循的技术蓝本。然而,它所使用的自然或半自然语言描述方式并不严格,易产生二义性,会影响J2EE应用服务器实现的正确性和应用服务器之间的兼容性。针对这一问题,本文以EJB2.1规范中... J2EE规范描述了当前开发应用服务器和分布式多层应用所遵循的技术蓝本。然而,它所使用的自然或半自然语言描述方式并不严格,易产生二义性,会影响J2EE应用服务器实现的正确性和应用服务器之间的兼容性。针对这一问题,本文以EJB2.1规范中的TimerService为例,研究了一种基于模型检查技术设计与实现规范方法。首先根据规范的描述提出TimerService的形式化模型,定义了TimerService的行为;然后使用模型检查工具SPIN对模型进行分析与验证,不仅证明了模型符合规范要求,而且发现并修正了规范中不严格的描述带来的缺陷。以该模型为基础导出了TimerService的一种设计方案,这种设计已经在中科院软件所研制的OnceAS应用服务器中得到实现,并在J2EE1.4兼容性测试中证明了其正确性。 展开更多
关键词 J2EE规范 模型检查 SPIN
在线阅读 下载PDF
基因电路研究综述
15
作者 童杰 王永吉 《小型微型计算机系统》 CSCD 北大核心 2006年第6期1129-1133,共5页
基因网络相关的研究是生物信息学的重要研究领域.基因电路方法是目前基因网络研究的一种重要方法,本文从以下角度介绍基因电路研究的进展情况及相关研究成果:构成基因电路的基本模块;基因电路的设计与实现;人工基因电路的应用.
关键词 基因网络 基因电路 网络基序 人工合成基因电路
在线阅读 下载PDF
面向数据集成的ETL系统设计与实现 被引量:21
16
作者 钟华 冯文澜 +1 位作者 谭红星 黄涛 《计算机科学》 CSCD 北大核心 2004年第9期87-89,F004,共4页
ETL是一类用于从一个或多个业务数据库中抽取数据,进行清理转换并加截到数据仓库中的工具。这个数据抽取、转换和加载的过程能够很好地应用于数据集成领域中,实现不同机构之间数据的交换与整合。通过分析数据集成的一些特点,我们提出了... ETL是一类用于从一个或多个业务数据库中抽取数据,进行清理转换并加截到数据仓库中的工具。这个数据抽取、转换和加载的过程能够很好地应用于数据集成领域中,实现不同机构之间数据的交换与整合。通过分析数据集成的一些特点,我们提出了一个ETL过程模型,开发了一个面向数据集成的ETL系统DataIntegrator。本文对ETL过程模型、系统总体结构及若干关键技术进行论述。DataIntegrator已经应用于信息系统的建设中,为企业应用集成提供了很好的支持。 展开更多
关键词 ETL 数据集成 过程模型 数据抽取 企业应用集成 数据仓库 转换 系统总体结构 业务数据 信息系统
在线阅读 下载PDF
WebFrame:一种多层次可扩展的Web应用服务器 被引量:10
17
作者 范国闯 林世彪 +2 位作者 董伟川 胡建华 冯玉琳 《计算机学报》 EI CSCD 北大核心 2004年第4期451-460,共10页
网络软件平台已成为当今软件技术发展的主流趋势和竞争焦点 .Web应用服务器是Web计算环境下产生的新型中间件 ,是网络软件平台的关键与核心 ,已逐步成为信息化基础软件设施之一 .该文重点介绍自主研制的WebFrame应用服务器的设计方法和... 网络软件平台已成为当今软件技术发展的主流趋势和竞争焦点 .Web应用服务器是Web计算环境下产生的新型中间件 ,是网络软件平台的关键与核心 ,已逐步成为信息化基础软件设施之一 .该文重点介绍自主研制的WebFrame应用服务器的设计方法和思路 ,并分析了WebFrame的关键实现技术 ,给出了相应的解决办法 .针对目前主流Web应用服务器存在的开放性和灵活性低等不足之处 ,WebFrame的设计遵循一种开放工程的方法 ,采用基于微内核的多层次可扩展模型 ,使得WebFrame具备在其生命周期内支持不同级别定制和可重配置的能力 ,满足不断变化的QoS需求 .对比测试数据表明WebFrame具有较好性能 . 展开更多
关键词 WEB应用服务器 微内核 多层次扩展模型 可重配置 WebFrame
在线阅读 下载PDF
事务工作流的建模和分析 被引量:26
18
作者 丁柯 金蓓弘 冯玉琳 《计算机学报》 EI CSCD 北大核心 2003年第10期1304-1311,共8页
事务工作流由若干个事务组成 ,其执行满足松弛原子性 .只有良构的事务工作流才能保证所有执行均满足松弛原子性 .事务具有不同的可补偿特性和可重复特性 ,在包含多种控制结构的复杂事务工作流中 ,事务之间组合失配问题可能造成事务工作... 事务工作流由若干个事务组成 ,其执行满足松弛原子性 .只有良构的事务工作流才能保证所有执行均满足松弛原子性 .事务具有不同的可补偿特性和可重复特性 ,在包含多种控制结构的复杂事务工作流中 ,事务之间组合失配问题可能造成事务工作流的非良构性 .该文给出了事务工作流模型及良构性的形式化定义 ,提出了一个良构性判断定理 ,通过一种构造性的方法来有效地验证事务工作流的良构性 ,还设计了事务工作流的描述语言ISWDL并实现了良构性验证器 . 展开更多
关键词 事务工作流 建模 事务序列 可补偿特性 可重复特性 软件系统
在线阅读 下载PDF
嵌入式系统中大素数的快速生成 被引量:4
19
作者 崔竞松 彭蓉 +2 位作者 涂航 张焕国 王丽娜 《计算机工程》 CAS CSCD 北大核心 2003年第5期24-25,58,共3页
在公钥密码应用中,RSA算法现在仍处于主流地位。RSA算法在受限环境、嵌入式环境中最慢的操作是生成密钥对,即寻找两个大素数。该文在Robin-Miller概率素性判别算法之前,采用适合于嵌入环境实现的方法,先对随机数进行过滤,可以使素... 在公钥密码应用中,RSA算法现在仍处于主流地位。RSA算法在受限环境、嵌入式环境中最慢的操作是生成密钥对,即寻找两个大素数。该文在Robin-Miller概率素性判别算法之前,采用适合于嵌入环境实现的方法,先对随机数进行过滤,可以使素数生成的整体效率提高50%。 展开更多
关键词 嵌入式系统 大素数 快速生成 密码学 公钥密码算法 随机数
在线阅读 下载PDF
基于Marching Cubes重组的外存模型渐进压缩 被引量:7
20
作者 刘迎 蔡康颖 +1 位作者 王文成 吴恩华 《计算机学报》 EI CSCD 北大核心 2004年第11期1457-1463,共7页
外存模型是指其规模远远超出内存容量的海量模型 .为提高其存储、传输、显示等操作的效率 ,对外存模型进行渐进式的压缩是非常重要的 .但当前已有的外存模型压缩算法都是单一层次的 ,不能做到渐进压缩 .为此 ,该文提出一种针对外存模型... 外存模型是指其规模远远超出内存容量的海量模型 .为提高其存储、传输、显示等操作的效率 ,对外存模型进行渐进式的压缩是非常重要的 .但当前已有的外存模型压缩算法都是单一层次的 ,不能做到渐进压缩 .为此 ,该文提出一种针对外存模型的渐进压缩方法 ,能高效地压缩外存模型 ,并进行多分辨率的传输和显示 .该方法首先将外存模型的包围盒空间按照八叉树形式进行剖分和层次化组织 ,使得最精细层次的各个立方块空间中的局部模型都能完全装入内存进行处理 ;然后 ,在各个立方块中对局部的模型进行基于MarchingCubes方式的重新拟合 ,并在此基础上建立各个局部的自适应八叉树 ;最后 ,基于各个局部自适应的八叉树 ,由粗至细渐进地遍历全局自适应八叉树的各个节点 ,并利用对内存模型能高效渐进压缩编码的先进方法进行编码压缩 .实验表明 ,该方法对外存模型的压缩比达到了与处理内存模型相似的压缩比 ,高于目前的外存模型压缩方法 ,是第一个能渐进压缩外存模型的方法 . 展开更多
关键词 外存模型 渐讲压缩 自适应八叉树 算术编码 MARCHING CUBES
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部