计算机入侵取证中的入侵事件重构技术研究

针对计算机入侵取证中计算机证据具有易删改、易丢失、来源众多、内容繁杂等特点,论述入侵事件重构技术的最新发展状况,从系统应用层对象/事件和操作系统层对象/事件2个方面分析入侵重构的主要证据来源,介绍现有入侵事件重构中主流的重构工具,研究常用的入侵事件重构方法,包括基于时间戳的日志分析、语义完整性检查、基于操作系统层对象的依赖追踪技术、基于有限状态机模型的事件重构模型等,总结各种方法的优缺点。在重构效率、重构误报率、证据可信度、证据真实性和重构环境等方面对入侵事件重构方法进行比较,讨论入侵事件重构技术未来的研究前景。

抽象数字事件重构模型的设计

在总结了国外关于事件重构理论的基础上,提出了一种抽象的数字事件重构模型。模型由证据检查、角色分类、事件重构、事件排序以及结论生成5部分组成。本文重点讨论事件重构阶段。模型的提出为数字取证工作人员提供了事件重构的理论指导。

一种基于序贯Monte Carlo算法的交通事件重构方法

为了能准确地重构出当前道路场景中的交通流事件,需要合适的模型与方法以及能够代表交通流状态的实时数据。基于交通流非线性非高斯的特点,提出了一种基于序贯Monte Carlo方法的交通流堵塞事件重构模型。提出的模型能够不断的同化真实道路上实时的传感器数据使仿真中的交通流状态与真实路况不断接近。通过分析仿真数据推测出当前真实道路上的堵塞事件及其相关属性,并据此在仿真环境中模拟堵塞,进而实现对真实道路上堵塞事件的重构。理论研究和实验结果表明该模型能够根据重构结果评估当前的道路状况,合理推测引起拥堵的位置与堵塞范围。

一种用于事件重构的时间分析框架

本文针对Windows系统取证提出了一种新的时间分析框架,框架改进了传统的计算机取证中时间信息的提取方法,提出了粗、细两种粒度的分析步骤,在传统的人工分析中加入了聚类算法和启发式规则,最终为事件重构分析提供了可能。本文首先介绍了框架的总体结构,然后描述了改进的时间提取方法,接着介绍了粗、细两种聚类分析模块和规则分析模块,最后对框架的优缺点进行了总结。

基于序贯蒙特卡洛算法的交通流事件重构

针对交通数据重构应用性差、缺乏对交通事件重构的研究等问题,结合交通流非线性非高斯的特点,提出一个基于序贯蒙特卡洛方法的交通流堵塞事件重构模型。该模型不断同化道路上的传感器数据,使仿真中的交通状态不断逼近真实路况,通过分析仿真数据以探测真实路网中存在的堵塞事件。模型能够对探测到的堵塞进行多粒子模拟来实现对真实道路上堵塞事件的重构。实验结果表明,该模型能够推测并重构出道路上的堵塞事件,对堵塞起始位置重构的平均误差为17m,对堵塞范围重构的平均覆盖率为82%。

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

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

及物化现象的句法——语义界面分析外语教育研究

不及物动词带宾语现象(NP1+Vi+NP2)是汉语句法灵活性的表现之一,其句法语义错配是对映射理论的一个挑战。本研究在概念语义理论框架下,探讨非作格动词带非施事论元的生成机制,提出及物化结构是事件重构的结果。事件结构制约句法结构选择,复杂概念结构向句法结构选择性映射,形成及物化结构;句法结构影响事件结构表达,运动事件从具体空间事件变成非现实类指结果事件,宏事件转向简单事件。及物化结构具有创新性和临时性,多产性受到一定限制,需要遵循语义融合条件和语用信息原则等。

视觉群智感知应用综述

近年来,通过图片、视频等进行感知的视觉群智感知已经成为移动群智感知的主要方式,是当前的研究热点之一。视觉群智感知要求用户以图片或者视频的形式获取真实世界中感知对象的细节信息,在各个领域都有较为广泛的应用。但是国内目前还没有文章对视觉群智感知的发展与现状进行总结。鉴于这种情况,文中综述了视觉群智感知的最新应用,包括平面图生成、室内场景重建、室外场景重建、事件重构、室内定位、室内导航、灾难救援和城市感知等;并对视觉群智感知目前面临的一些独特问题进行了总结。

Monte Carlo simulation based on Geant4 of single event upset induced by heavy ions

The present work is a computational simulation of single event upset(SEU) induced by heavy ions passing through the device with Geant4-tool based on Monte Carlo transport code.Key parameters affecting SEU occurrence are examined,and related geometrical construction and critical charge are quantified.The MUlti-Functional Package for SEU Analysis(MUFPSA) has been successfully programmed and applied for SEU occurrence after the completion of device geometrical construction,critical charge,and SEU cross section calculation.The proposed MUFPSA has yielded a good agreement with MRED.Specifically,the results show that higher LET incident ions lead to increased SEU vulnerability due to more diffusion and higher energy deposition.In addition,the analytical method of radial ionization profile provides a good complementary interpretation.