用于自动证据分析的层次化入侵场景重构方法

为了能够自动分析入侵证据,提出了一种层次化入侵场景重构方法.其原理是:首先,基于报警关联技术重构出入侵者的抽象攻击步骤及步骤间关系;然后,基于攻击特征和依赖追踪技术重构出各步骤的行为细节;最后,通过两层重构结果的彼此映射,调整获得完整的入侵行为图.基于DARPA 2000的实验结果表明,该方法的重构结果准确性和完备性均比较高,而且抽象与细节相结合的表示方法更易理解,也更适合作为法律证据.而与现有方法相比,该方法在重构场景的完整性、适用行为的复杂性以及方法安全性等方面也有一定的改善.     

产品反求中基于功能表面的精度模型及应用

着眼于产品层次的反求设计,基于功能表面组织了产品-零件-功能表面3层的精度模型.由三维重构模型反求出产品的精度信息模型,进而实现产品的精度设计.具体介绍了精度重构的实现步骤并以活塞夹具为例进行了验证.     

数据库重构在软件开发中的应用探析

介绍了重构的定义及数据库重构的定义、种类.列举了一个关于数据库重构的典型应用.讨论了数据库重构的条件和步骤.最后,对数据库重构进行了总结.对软件开发过程中进行数据库重构具有较强的指导意义.     

烟草企业MRPⅡ/ERP物料清单重构研究

文章从分析卷烟生产和市场的特点入手,根据烟草的应用现状,讨论了烟草企业进行物料清单重构的必要性;然后就烟草企业物料清单存在的问题,提出了物料清单重构的方法和步骤。这些方法和技术包括设置物料项目虚项和设计模块化的物料清单技术。     

基于因素逻辑的分类推理法重构

为使空间故障树理论中系统结构反分析的分类推理法具有严格的数学定义,以适应广泛的系统结构反分析问题,引入因素空间理论的因素逻辑对分类推理法进行重构。重构的目的在于规范原方法定义和步骤为严格的数学形式,赋予其因素逻辑推理能力,从而提升其数学层次,应用于广泛的问题分析。论文给出了空间故障树中分类推理法的基本过程和描述;使用因素逻辑重构该方法的相关定义,并给出了极小析取范式步骤,即重构分类推理法步骤。使用原方法和重构方法分析了实例,证明两种方法得到的系统结构相同,而后者具有更高的逻辑数学层次和广泛的应用能力。     

一种改进的双令牌互斥算法

互斥是解决分布式系统中资源申请的相互冲突、实现资源共享的一种有效方法.文中对目前的一些互斥算法进行了介绍,并对集中式互斥算法和分布式互斥算法进行了讨论,并分析了其特点.在简要介绍令牌环算法和双令牌算法的思想和步骤后,提出一种改进的双令牌算法.详细叙述了改进算法的设计思想和实现步骤,对性能进行了分析并给出算法示例.讨论结果表明,与原有的双令牌算法相比,新算法可以以更高效率有效检测令牌丢失并实现令牌重构.     

基于场景重构与报警聚合的网络取证分析技术

提出一种包含报警标准化、去冗余、场景重构和报警聚合的网络取证分析方法. 通过去除失败攻击的报警, 减少了对证据分析的干扰. 在场景重构中, 通过反向关联, 减少了不必要的证据, 同时通过对孤立报警的补充, 保证了证据链的完整性. 在报警聚合中, 提出了聚合同一攻击步骤的不同报警的方法, 以抽象层和具体层两个层次重构入侵场景. 最后通过实验验证了所提出方法的有效性.     

基于仿射点对应的分层重构

提出了一种基于仿射点对应的分层重构方法,所谓仿射点对应是指相差一个仿射变换的两个空间点集的图像对应．该方法主要分为以下三个步骤：首先,从点对应计算准仿射重构;然后,由仿射点对应的准仿射重构建立一个三维射影变换,并利用这个射影变换的特征向量来确定无穷远平面,从而得到仿射重构;最后,从仿射重构所获得的无穷远平面单应矩阵标定摄像机内参数,进而得到度量重构．在上述三个步骤中,第二个步骤是最关键的,即如何确定对应于无穷远平面的特征向量,这也是该文的新思想和主要贡献所在．仿真和真实图像实验均表明,该文的方法是有效的,并且有很好的鲁棒性．     

基于对象的数字事件重构方法

针对计算机犯罪案件审理要求重构还原犯罪事实,而多数数字取证模型缺少事件重构步骤这一现状。本文提出了基于对象的数字事件重构方法,并详细阐述了数字事件重构的过程。该方法为数字事件重构工作提供理论指导,可靠地重构还原数字事件。     

二维逐步正交匹配追踪算法

在图像等二维信号的应用与处理上,常规压缩感知理论框架存在重构算法效果差、图像块效应明显、对噪声敏感等问题。针对这些问题,根据现有二维观测模型和二维重构算法设计思想,可以设计一种新的重构算法：二维逐步正交匹配追踪算法。该算法借鉴了相关一维重构算法的设计思想,通过每次迭代选取符合阈值条件的多列原子进而正交化处理的步骤,提升了重构效率,改善了恢复图像质量。理论分析和实验结果表明,提出的算法在重构时间得到控制的情况下,得到的图像信噪比有较大提升,超越了现有典型的二维重构算法。     

安全协议攻击序列重构技术

攻击者攻击序列在安全协议形式化分析技术中用于描述攻击者对安全漏洞的攻击步骤.目前,攻击序列重构技术是安全协议形式化分析研究的热点与难点.对国际流行的方法进行了介绍和总结,重点分析和比较了基于模型检测的方法、基于定理证明的方法、基于逻辑程序的方法等能够进行攻击序列重构的各种方法,指出了各自的优缺点及技术手段、技术特点,最后给出了该领域的进一步研究方向.     

VR环境下基于特征并行匹配的多视图三维重建

传统重建方法因对多视图特征的处理能力有限,导致重建结果存在质量低的问题.针对上述问题,研究设计了基于特征并行匹配的多视图三维重建方法.首先利用摄像机设备获取VR环境中的多视图三维数据,并通过径向校正、降噪以及运动恢复三个步骤实现对初始图像数据的预处理.然后以并行化的形式检测多视图中的特征点,并实现对特征的提取与匹配.结合多视图的特征匹配结果,实现表面重构和稠密重构,最终通过光顾处理输出VR环境下的三维重建结果.对比实验结果表明,与传统的重建方法相比,研究方法的重建质量更高且耗时更短.     

类间结构型代码味道自动检测的研究

软件重构是改造软件遗留系统、软件重用的重要手段。代码味道用于描述软件设计缺陷,检测代码味道是软件重构的重要步骤。按照代码味道的特征给代码味道分类,对引发重构的主要缺陷――类之间结构型代码味道,给出了自动化检测的原理,设计和实现了一个检测工具。     

基于函数级原型的流水线可重构结构的研究

针对目前动态可重构技术中重构时隙的问题,本文利用流水线技术和可熏构技术,提出并讨论一种流水线可重构体系结构的函数级原型设计方法,并采用AES算法对其进行了仿真验证.结果表明,流水线可熏构结构的函数级原型设计方法可有效的解决动态重构系统中的重构时隙问题.     

基于模块化设计方法实现FPGA动态部分重构

介绍了Xilinx FPGA的配置原理和FPGA模块化设计流程以及划分重构模块的原则.通过一个实例介绍了采用模块化设计方法实现Virtex-E FPGA动态部分重构的过程,能使重构模块在系统运行时改变其逻辑功能,而固定模块逻辑功能不中断,同时器件的重构时间大大减少.     

基于Matlab的颅面三维重构技术

介绍了一种以Matlab为工具实现颅面三维重构的方法。给出了利用该方法处理医学图像、构造体数据集和三维重构的全过程。提出了完成医学图像三维重构的技术路线、方法和步骤。为医学图像的三维可视化技术提供了一种新的可能。     

可重构专用微处理器设计方法的分析

可重构计算技术在上世纪末到本世纪初成为计算机体系结构中的一个热门的研究领域.研制可重构微处理器体系结构也是今后微处理器体系结构研究的重要发展方向之一.本文首先对可重构技术进行了简要的介绍.在此基础上,从可重构粒度、范围和时机三个方面对可重构微处理器的设计方法做了分析.最后,文章提出了一种基于＂标准基本单元-可配置通路＂的设计思路.     

一种基于图转换的模型重构描述语言

提出了一种基于图转换的模型重构描述语言.针对模型重构的特征,设计了模型重构描述语言的基本元素,并给出了如何通过这些基本元素描述模型重构及重构规则的方法.在此基础上,给出了根据形式化重构规则执行模型重构的具体步骤和策略,并提供了较为完整的模型重构CASE支撑工具.通过实例讨论了该模型重构描述语言的描述能力.结果表明,该语言具有较强的描述能力,能够比较简洁地描述复杂的模型重构规则.     

重构C++程序物理设计

整合重构的基本思想和物理设计的基本技术,提出了物理重构的概念.它是对软件物理结构的再设计,目的是在不改变软件外在行为的前提下,调整软件组织结构,从而提高软件的开发效率和可维护性等.在此基础上,提出用“识别-重构-评估”的迭代过程来实施物理重构,并介绍了常用的物理重构方法.实例研究表明,物理重构能够有效地优化系统的物理结构,使开发者从多个角度持续改善软件质量.     

边界模型布尔分割环自动识别

布尔分割环是设计特征在边界模型上造型的痕迹,其自动识别是后续设计特征自动重构的基础.在对特征造型过程形状演化分析基础上,提出一种布尔分割环几何表示和自动识别构建方法.首先依据边界的凹凸特性及顶点的邻接特性构建边界模型的特征顶点邻接图,并对邻接图开展顶点节点树搜索;然后将搜索方法分为初始节点选择、节点增长、搜索评估和反向传播4个步骤,在节点增长步骤中,采用相邻节点到特征面距离最小判定方法及顶点虚拟邻接构成伪边的方法,实现分割环的封闭和特征面的有效分割.实例结果表明,该方法能够从复杂特征相交形成的交线中自动识别和构造出布尔分割环.