计算机动态取证的数据分析技术研究 被引量：19

1

作者 钟秀玉 凌捷 《计算机应用与软件》 CSCD 北大核心 2004年第9期26-27,92,共3页

本文针对计算机动态取证的数据分析阶段面临的问题 ,提出将数据挖掘技术应用于计算机动态取证的海量数据分析中 ,给出了基于数据挖掘的计算机动态取证系统模型 ,提高动态取证中数据分析的速度、分析的准确性和分析的智能性 ,解决动态取... 本文针对计算机动态取证的数据分析阶段面临的问题 ,提出将数据挖掘技术应用于计算机动态取证的海量数据分析中 ,给出了基于数据挖掘的计算机动态取证系统模型 ,提高动态取证中数据分析的速度、分析的准确性和分析的智能性 ,解决动态取证中的实用性、有效性。 展开更多

关键词 网络安全工具 黑客入侵 防火墙 入侵检测系统 数据分析 数据挖掘 计算机动态取证 计算机网络

在线阅读 下载PDF 职称材料

面向方面的实时系统形式化开发方法 被引量：10

2

作者 陈广明 张立臣 陈生庆 《计算机科学》 CSCD 北大核心 2005年第7期189-192,217,共5页

实时系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要如面向方面和基于组件的软件工程方法的支持,同时实时系统的可信性要求采用形式化方法来开发实时系统。本文试图建立一种面向方面的实时系统形式化开发方法,这种... 实时系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要如面向方面和基于组件的软件工程方法的支持,同时实时系统的可信性要求采用形式化方法来开发实时系统。本文试图建立一种面向方面的实时系统形式化开发方法,这种方法对RT-Z进行了面向方面和面向部件的扩展,并通过实时组件模型在需求和设计阶段提供了对基于部件的系统开发方法(CBSD)和面向方面的系统开发方法(AOSD)的支持。本文给出了面向方面的实时Z(AO-RT-Z)的组件模型的框架结构、语法要求、方面的联结和功能接口和非功能接口的定义,重点讨论并证明了面向方面的实时Z(AO-RT-Z)作为规格描述语言的健全性。 展开更多

关键词 形式化开发方法 实时系统 面向 系统开发方法 软件工程方法 规格描述语言 组件模型 功能接口 系统复杂性 形式化方法 可重用性 可配置性 设计阶段 框架结构 可信性 RT 部件

在线阅读 下载PDF 职称材料

面向方面的数字图书馆体系结构 被引量：3

3

作者 陈生庆 张立臣 陈广明 《情报杂志》 CSSCI 北大核心 2005年第6期6-8,共3页

面向方面的软件开发方法是在面向对象开发方法的基础上,在AOP的支持下将贯穿系统的横切关注点提取出来,通过联结方式植入系统功能代码中,该方法降低了软件开发的复杂性,提高了系统的灵活性和可维护性。基于面向方面的数字图书馆的体系... 面向方面的软件开发方法是在面向对象开发方法的基础上,在AOP的支持下将贯穿系统的横切关注点提取出来,通过联结方式植入系统功能代码中,该方法降低了软件开发的复杂性,提高了系统的灵活性和可维护性。基于面向方面的数字图书馆的体系结构以元数据为核心,建立了灵活的异构平台处理机制,实现了元数据的动态维护,使系统具有良好的扩充性。同时面向方面的软件开发方法对不同存储形式多媒体数据的同步检索提供了实现的可能。 展开更多

关键词 数字图书馆 体系结构 软件开发方法 多媒体数据 面向对象 系统功能 联结方式 可维护性 处理机制 动态维护 存储形式 元数据 关注点 复杂性 灵活性 扩充性 检索

在线阅读 下载PDF 职称材料

PEARL语言在实时系统开发模式中的应用研究 被引量：1

4

作者 陈生庆 陈广明 张立臣 《兰州理工大学学报》 CAS 北大核心 2006年第1期94-97,共4页

通过对PEARL语言特性的研究和对集成的形式化方法RT-Z语法、语义及结构的分析,提出了一种将二者相结合的实时系统开发模式.该模式充分发挥了实时语言和形式化方法的优点,使系统开发的整个过程无须依赖具体的硬件和应用环境,同时对实时... 通过对PEARL语言特性的研究和对集成的形式化方法RT-Z语法、语义及结构的分析,提出了一种将二者相结合的实时系统开发模式.该模式充分发挥了实时语言和形式化方法的优点,使系统开发的整个过程无须依赖具体的硬件和应用环境,同时对实时约束灵活的分解降低了系统开发的难度. 展开更多

关键词 实时系统 PEARL语言 形式化方法 开发模式

在线阅读 下载PDF 职称材料

面向方面分布式系统形式化规格说明语言 被引量：1

5

作者 陈广明 张立臣 陈生庆 《计算机科学》 CSCD 北大核心 2007年第6期258-261,共4页

分布式系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要面向方面软件工程方法的支持,而形式化方法能保证分布式系统的正确性。本文对分布式规格说明语言Ocsid进行了面向方面的扩展,讨论了面向方面的Ocsid的框架结构... 分布式系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要面向方面软件工程方法的支持,而形式化方法能保证分布式系统的正确性。本文对分布式规格说明语言Ocsid进行了面向方面的扩展,讨论了面向方面的Ocsid的框架结构、语法要求、方面的联结和功能接口。定义了面向方面的Ocsid规格说明语言中叠加和组合的形式化描述,该形式化描述覆盖了各个精化阶段,使精化体系的各个独立视点被协调地组合,并能形式化地验证规格说明的时态属性和系统行为。本文的工作针对的是分布式系统的形式化规格说明,提出了面向方面Ocsid的形式基础和方面扩展,其基本思想同样适用于更一般的情况。 展开更多

关键词 面向方面 分布式系统 形式化方法 Ocsid

在线阅读 下载PDF 职称材料

并发Z规格说明在系统需求分析与设计中的应用 被引量：1

6

作者 陈广明 张立臣 陈生庆 《兰州理工大学学报》 CAS 北大核心 2005年第4期93-96,共4页

阐述了并发Z语言是一类适合于并发实时软件系统设计的规格说明语言,其基本语义是Z语义的并发和实时扩展,提出了对这些扩展方法的分类原则,并通过微机仿真系统设计阐述了基于状态转化方法的并行Z规格说明在并发实时系统需求分析和设计开... 阐述了并发Z语言是一类适合于并发实时软件系统设计的规格说明语言,其基本语义是Z语义的并发和实时扩展,提出了对这些扩展方法的分类原则,并通过微机仿真系统设计阐述了基于状态转化方法的并行Z规格说明在并发实时系统需求分析和设计开发中使用的一些基本方法、典型问题的处理原则以及操作间时序关系描述的基本手段. 展开更多

关键词 规格说明 Z模式 仿真

在线阅读 下载PDF 职称材料

实时系统的方面开发方法和应用模型

7

作者 陈广明 《计算机工程与应用》 CSCD 北大核心 2006年第36期82-85,共4页

结合领域工程的方法,在某个领域内建立面向方面的软件开发AOSD框架是值得探讨的简单可行的方法,探讨了在实时系统开发过程中支持面向方面方法的几个关键问题及解决方案,提出了一种实时领域面向方面开发框架,降低了实时软件开发的复杂性... 结合领域工程的方法,在某个领域内建立面向方面的软件开发AOSD框架是值得探讨的简单可行的方法,探讨了在实时系统开发过程中支持面向方面方法的几个关键问题及解决方案,提出了一种实时领域面向方面开发框架,降低了实时软件开发的复杂性,提升了系统的可信度,同时实现了实时软件开发各个阶段的无缝连接。 展开更多

关键词 面向方面 实时系统 形式化方法 AO-RT-Z PEARL语言 XML 方面挖掘

在线阅读 下载PDF 职称材料

面向方面软件重构等价性形式化证明方法 被引量：6

8

作者 陈生庆 张立臣 陈广明 《计算机科学》 CSCD 北大核心 2006年第7期257-261,共5页

软件重构在不改变程序行为的情况下通过对代码进行小的改进以提升设计,使之更容易理解和维护,面向方面的程序设计是软件开发的新技术,为了有效实施面向方面的软件重构,需要开发者识别面向方面程序的转化规则。然而,由于使用的AOP语言没... 软件重构在不改变程序行为的情况下通过对代码进行小的改进以提升设计,使之更容易理解和维护,面向方面的程序设计是软件开发的新技术,为了有效实施面向方面的软件重构,需要开发者识别面向方面程序的转化规则。然而,由于使用的AOP语言没有形式化的语义定义,难以确认转化和重构的程序运行行为。本文对MCI操作语义的面向方面的扩展使之支持程序的方面特征的描述,定义了两个程序的观测等价,讨论了AspectJ的形式语义模型的建立,在MCI的语义下形式化地精确证明了AddBefore-executing编程规则的观测等价性,其基本原理和方法可以适用于其他规则的证明,通过上述工作提出了面向方面重构的程序和它的面向对象程序原型等价性的证明方法。 展开更多

关键词 重构 面向方面编程 形式化方法 MCI 等价性 ASPECTJ

在线阅读 下载PDF 职称材料

玻璃钢雷达罩及其模具的一体化设计制造技术 被引量：6

9

作者 于霖冲 焦俊婷 白广忱 《塑料工业》 CAS CSCD 北大核心 2004年第5期56-58,共3页

利用NURBS曲线和曲面拟合机载雷达天线罩的外部表面 ,提高了光滑性和连续性 ,即曲率变化均匀 ,拟合误差较小。根据雷达罩内部形状、雷达罩的罩壁厚度和固化变形情况 ,拟合设计出模具的外形曲面 ,具有误差小 ,精度高的特点 ;同时 ,通过... 利用NURBS曲线和曲面拟合机载雷达天线罩的外部表面 ,提高了光滑性和连续性 ,即曲率变化均匀 ,拟合误差较小。根据雷达罩内部形状、雷达罩的罩壁厚度和固化变形情况 ,拟合设计出模具的外形曲面 ,具有误差小 ,精度高的特点 ;同时 ,通过一体化设计 ,缩短了设计和研制周期 。 展开更多

关键词 玻璃钢 雷达罩 模具 CAD NURBS 光滑性 连续性 曲率

在线阅读 下载PDF 职称材料

GIS在国内旅游业中的应用研究综述 被引量：15

10

作者 冯亚芬 贾铁飞 曾镜源 《热带地理》 2008年第2期182-186,共5页

以在CNKI中国期刊网全文数据库中检索到的1990–2006年期间的70篇GIS在旅游业中的应用研究文献作为研究对象,对20世纪90年代以来GIS在国内旅游业中的应用研究现状进行分析。研究发现GIS在国内旅游业中的应用研究取得了很大发展,研究内... 以在CNKI中国期刊网全文数据库中检索到的1990–2006年期间的70篇GIS在旅游业中的应用研究文献作为研究对象,对20世纪90年代以来GIS在国内旅游业中的应用研究现状进行分析。研究发现GIS在国内旅游业中的应用研究取得了很大发展,研究内容主要包括TGIS研究、GIS在旅游空间布局中的应用研究、GIS在生态旅游中的应用研究、GIS在旅游规划中的应用研究、GIS在旅游制图中的应用研究等5个方面,但仍有许多需要改进的地方,理论研究与实际应用亟待加强。 展开更多

关键词 GIS 旅游 统计分析

在线阅读 下载PDF 职称材料

一个新的基于身份的无线传感器网络密钥协商方案 被引量：5

11

作者 郭江鸿 李兴华 武坚强 《计算机科学》 CSCD 北大核心 2011年第3期127-130,共4页

无线信道具有开放性,节点间建立配对密钥是无线传感器网络安全通信的基础。在大部分基于身份加密(I-dentity-Based Encryption,IBE)的传感器网络密钥协商方案中,使用双线对运算建立配对密钥,能耗高且耗时长。基于BNN-IBS身份签名提出了... 无线信道具有开放性,节点间建立配对密钥是无线传感器网络安全通信的基础。在大部分基于身份加密(I-dentity-Based Encryption,IBE)的传感器网络密钥协商方案中,使用双线对运算建立配对密钥,能耗高且耗时长。基于BNN-IBS身份签名提出了一个新的无线传感器网络密钥协商方案,节点通过Diffie-Hellman协议建立配对密钥,所需的密钥参数通过广播获得。与基于IBE的传感器网络密钥协商方案(IBE-based Key Agreement Scheme,IBEKAS)进行量化比较,结果表明本方案不仅提供了与IBEKAS同层次的安全性与可扩展性,且在能耗与时耗方面具有较明显的优势。 展开更多

关键词 无线传感器网络 密钥协商 身份签名

在线阅读 下载PDF 职称材料

应用形式化与实时语言的面向方面方法 被引量：2

12

作者 陈广明 张立臣 陈生庆 《计算机工程与设计》 CSCD 北大核心 2006年第22期4213-4215,4221,共4页

面向方面的软件开发方法是在面向对象开发方法的基础上,在AOP的支持下将贯穿系统的横切关注点提取出来,通过联结方式织入系统功能代码中的软件开发方法,该方法降低了软件开发的复杂性,提高了系统的灵活性和可维护性。形式化和实时语言... 面向方面的软件开发方法是在面向对象开发方法的基础上,在AOP的支持下将贯穿系统的横切关注点提取出来,通过联结方式织入系统功能代码中的软件开发方法,该方法降低了软件开发的复杂性,提高了系统的灵活性和可维护性。形式化和实时语言为面向方面方法贯穿于实时软件开发提供了必要的支持,以形式化方法AO-RT-Z和实时语言PEARL为基础,给出了一种面向方面的实时软件开发框架,实现了软件生命周期各个阶段对面向方面的无缝支持,降低了实时软件开发的复杂性,提升了系统的可信度。 展开更多

关键词 面向方面 实时系统 形式化方法 RT-Z AO-RT-Z PEARL语言

在线阅读 下载PDF 职称材料

存在多值依赖的XML DTD规范化研究 被引量：4

13

作者 丘威 张立臣 《计算机科学》 CSCD 北大核心 2007年第2期149-151,185,共4页

XMLDTD文档中可能包含由非函数依赖引起的数据冗余和操作异常,首先从消除DTD文档内数据冗余的角度出发研究了文档的规范化的问题,讨论了在DTD文档中存在多值依赖的情况下,如何规范XML文档,提出了以DTD为模式的XML文档的多值依赖的概念... XMLDTD文档中可能包含由非函数依赖引起的数据冗余和操作异常,首先从消除DTD文档内数据冗余的角度出发研究了文档的规范化的问题,讨论了在DTD文档中存在多值依赖的情况下,如何规范XML文档,提出了以DTD为模式的XML文档的多值依赖的概念。然后基于多值依赖的概念,提出了XML文档的一种多值依赖范式MXNF。最后在此基础上提出了把一个XML文档的DTD无损联接地分解成为符合MXNF的规范化算法,来规范存在多值依赖的XMLDTD文档,并给出了该算法的分析说明。 展开更多

关键词 XML DTD 规范化 多值依赖 多值XML范式(MXNF)

在线阅读 下载PDF 职称材料

基于簇分割的无线传感网数据汇聚方案 被引量：2

14

作者 郭江鸿 张海峰 刘志宏 《计算机工程与设计》 CSCD 北大核心 2013年第7期2363-2366,2371,共5页

为了减少数据汇聚的通信开销,提出一种基于簇分割的无线传感网数据汇聚方案,将簇划分为3个分区,为每个分区指定报告点,分区内与报告点具有相同读数的传感器在数据汇聚时不进行数据发送,减少了簇内数据传输量。分析与实验结果表明,该方... 为了减少数据汇聚的通信开销,提出一种基于簇分割的无线传感网数据汇聚方案,将簇划分为3个分区,为每个分区指定报告点,分区内与报告点具有相同读数的传感器在数据汇聚时不进行数据发送,减少了簇内数据传输量。分析与实验结果表明,该方案中簇内汇聚所需的通信量低于相关方案,在数据冗余度较高的情况下通信开销下降较为明显。 展开更多

关键词 传感器网络 数据汇聚 簇分割 报告点

在线阅读 下载PDF 职称材料

基于多阈值弱学习的Adaboost检测器 被引量：3

15

作者 钟向阳 凌捷 《计算机工程与应用》 CSCD 北大核心 2009年第19期160-162,171,共4页

近年来基于Adaboost的人脸检测算法因其快速和可接受的检测率得到了成功的应用。但采用单阈值作弱分类器显得太弱难于适应复杂的统计分布,且训练过程较慢收敛。为克服这些困难,采用分类树作弱学习器,该学习器以贪婪的的方法用误差测度... 近年来基于Adaboost的人脸检测算法因其快速和可接受的检测率得到了成功的应用。但采用单阈值作弱分类器显得太弱难于适应复杂的统计分布,且训练过程较慢收敛。为克服这些困难,采用分类树作弱学习器,该学习器以贪婪的的方法用误差测度减少最大化的划分准则划分节点,并由此生成弱分类器,然后采用RAB或GAB方法在给定数据和标签的训练集上将这些弱分类器提升为强分类器。实践结果表明采用多阈值作弱分类器能显著提高分类器性能。 展开更多

关键词 人脸检测 ADABOOST算法 弱分类器 平缓的Adaboost

在线阅读 下载PDF 职称材料

基于多阈值Boosting方法的人脸检测 被引量：2

16

作者 钟向阳 凌捷 《计算机工程》 CAS CSCD 北大核心 2009年第11期172-174,共3页

Adaboost算法采用单阈值弱分类器,难以拟合复杂分布,其训练过程收敛速度较慢。针对该问题设计一种多阈值弱学习器,利用平方和减少最大化准则划分节点并生成弱分类器,在训练数据集上采用GAB算法将弱分类器提升为强分类器。实验结果表明,... Adaboost算法采用单阈值弱分类器,难以拟合复杂分布,其训练过程收敛速度较慢。针对该问题设计一种多阈值弱学习器,利用平方和减少最大化准则划分节点并生成弱分类器,在训练数据集上采用GAB算法将弱分类器提升为强分类器。实验结果表明,在弱分类器数目相同的情况下,该方法的正样本误报率低于Adaboost算法。 展开更多

关键词 人脸检测 BOOSTING方法 实值Adaboost 平缓Adaboost

在线阅读 下载PDF 职称材料

XML DTD规范化处理应用研究 被引量：1

17

作者 丘威 张立臣 《计算机科学》 CSCD 北大核心 2006年第7期63-67,共5页

从消除XML DTD文档内数据冗余的角度出发研究了文档的规范化问题,首先引入XML DTD上路径和函数依赖的定义,并提出定义XML上的数据冗余;其次基于函数依赖,提出了规范化的DTD概念和XML DTD规范化处理规则;最后给出了一个将XML DTD转化为... 从消除XML DTD文档内数据冗余的角度出发研究了文档的规范化问题,首先引入XML DTD上路径和函数依赖的定义,并提出定义XML上的数据冗余;其次基于函数依赖,提出了规范化的DTD概念和XML DTD规范化处理规则;最后给出了一个将XML DTD转化为规范化的处理算法。 展开更多

关键词 规范化 XMLDTD 函数依赖 规则

在线阅读 下载PDF 职称材料

领域分析过程框架及UML描述 被引量：2

18

作者 邹咸林 《计算机应用与软件》 CSCD 北大核心 2002年第12期14-16,60,共4页

文章首先对领域的基本概念进行了讨论,并给出了一个一般的描述性定义;然后通过从三个不同角度讨论了领域及分析过程,并提出了一个一般的领域分析过程框架,这将有利于对领域分析活动进行分类和管理,也为领域分析的标准化提供了一种参考... 文章首先对领域的基本概念进行了讨论,并给出了一个一般的描述性定义;然后通过从三个不同角度讨论了领域及分析过程,并提出了一个一般的领域分析过程框架,这将有利于对领域分析活动进行分类和管理,也为领域分析的标准化提供了一种参考解决方案。最后,给出了领域分析过程框架的UML描述。 展开更多

关键词 领域分析过程 UML 软件重用 软件开发 软件体系结构

在线阅读 下载PDF 职称材料

基于单向函数的无线传感器网络安全数据汇聚方案

19

作者 郭江鸿 刘志宏 巫喜红 《计算机应用研究》 CSCD 北大核心 2012年第8期3067-3070,共4页

为有效减少冗余数据传输,增强安全性,提出了一种基于单向函数的传感器网络安全数据汇聚方案,汇聚节点无须解密数据,利用单向函数完成数据完整性检查、身份认证、数据汇聚等,保证了端到端传输的数据私密性。与相关数据汇聚方案相比,除了... 为有效减少冗余数据传输,增强安全性,提出了一种基于单向函数的传感器网络安全数据汇聚方案,汇聚节点无须解密数据,利用单向函数完成数据完整性检查、身份认证、数据汇聚等,保证了端到端传输的数据私密性。与相关数据汇聚方案相比,除了具有较小的能耗开销,该方案还在抵抗主动攻击、节点妥协攻击及DoS攻击等恶意行为方面具有较高的安全性。 展开更多

关键词 传感器网络 数据汇聚 数据隐私 网络安全

在线阅读 下载PDF 职称材料

基于边密钥的传感器网络动态密钥协商方案

20

作者 郭江鸿 李兴华 武坚强 《计算机应用研究》 CSCD 北大核心 2010年第3期1029-1031,共3页

由于传感器自身资源受限,目前采用的主要安全技术是对称密钥与密钥预分配策略。在当前基于对称密钥的动态密钥协商方案中,节点预装入密钥材料,部署后与邻居节点通过共享密钥材料建立配对密钥。为提高动态密钥协商中密钥材料的安全性,在... 由于传感器自身资源受限,目前采用的主要安全技术是对称密钥与密钥预分配策略。在当前基于对称密钥的动态密钥协商方案中,节点预装入密钥材料,部署后与邻居节点通过共享密钥材料建立配对密钥。为提高动态密钥协商中密钥材料的安全性,在一个典型的动态密钥协商方案,即LBKP方案的研究基础上,提出了一种新的基于边密钥的传感器网络动态密钥协商方案。与LBKP方案相比,该方案有效地减少了内存开销,提高了密钥安全性。 展开更多

关键词 传感器网络 动态密钥 网络安全 密钥材料

在线阅读 下载PDF 职称材料