Windows删除文件的取证分析

随着计算机犯罪案件成指数增长,基于Windows的取证分析技术日益普遍,而犯罪嫌疑人掩盖证据最通常的做法就是将有用证据删除,因此,对这些删除文件进行取证分析显得更为重要.删除文件中很可能包含和案件相关的重要证据,如用户数据文件、声音文件等,文章结合数据恢复技术和Windows删除机制特点,提出了一种对Windows删除文件的取证分析方法,能够获取更多的用户信息,为重构案情,了解用户行为提供了更有效的依据.     

一种基于动态迁移技术的寄存器保护方法

在强辐射环境中,寄存器会受到高能粒子冲击而发生位翻转导致寄存器内容发生变化,称这种现象为寄存器故障。对关键寄存器进行定义,提出一种寄存器保护模型,通过动态申请系统当前空闲的寄存器作为关键寄存器的备份,在运行过程中运用动态迁移技术对关键寄存器进行保护,使寄存器自身具有一定的容错能力。     

基于非抽样Contourlet变换的图像模糊取证

数字图像被动盲取证技术是对图像的完整性和真实性进行鉴别.图像遭受篡改操作后,为了消除图像伪造在拼接边缘产生畸变,伪造者通常会采用后处理消除伪造痕迹,其中,模糊操作是最常用的手法之一.因此提出了一种针对人工模糊的取证方法.首先,利用非抽样Contourlet变换分析图像边缘点特征进行边缘点分类;然后通过统计正常边缘点与模糊边缘点之间的差异鉴别模糊边缘;最后引入局部清晰度来区分人工模糊与离焦模糊,从而最终标定人工篡改边缘痕迹.实验表明该方法能够有效地检测出图像人工模糊篡改操作,较为准确地定位图像篡改边界.伪造图像边缘模糊越严重方法的检测效果越好.与其他模糊检测方法相比所提方法具有像素级别定位能力.     

基于小波矩的图像复制粘贴篡改检测

图像的局部复制粘贴篡改技术,是最常见的一种图像伪造方式,对此提出一种基于小波矩的图像复制粘贴篡改检测算法．首先通过变分水平集活动轮廓模型初步确定图像篡改的可疑区域：然后对每一块可疑区域利用小波矩算法提取其小波矩特征;接着利用余弦相关性测度判别可疑区域的相似性;最后定位图像的篡改区域．实验结果表明本算法能够有效提取可疑区域,并进一步定位篡改区域．此外,算法对图像前景篡改区域的平移、旋转和缩放具有较强的鲁棒性．     

基于代价感知的云任务处理策略

绿色云计算旨在保证服务质量的前提下,最大限度地降低云服务成本．针对这一问题,提出一种兼顾云数据中心高性能和低成本的策略,通过虚拟机动态迁移等技术进行云任务聚合,关闭空闲的节点以最小化能量消耗,同时考虑虚拟机迁移性能,以此保证任务的服务质量．实验结果表明,代价感知的策略可以减少打开节点的个数,兼顾迁移能耗和迁移延迟,在节能的前提下使服务质量得到保证．     

可调直观式直流稳压电源设计方案

本文设计一个可调可直观显示的直流稳压电源,电路采用三端可调式集成稳压器LM317等元件,构成从OV～20V连续可调的稳压电源电路,同时利用模数（A／D）转换,单片机控制电路,通过译码驱动,实现在数码管上直观显示瞬时电压数值。具有设计电路简单,制作容易,操作方便,显示直观,性能可靠,功能完善等特点。     

数据挖掘在动态取证系统中的应用研究

传统的取证技术是一种静态方法,该文从动态取证的角度去解决静态取证所面临的问题,研究了计算机动态取证的相关技术,提出了一个计算机动态取证系统模型并对相关模块进行设计。根据动态取证的特点,提出将数据挖掘技术应用于动态取证系统中,针对基本挖掘算法在取证分析实际应用中存在的不足,提出了相应的算法改进方法,通过实验分析,证明了改进算法在计算机动态取证应用中的有效性。     

Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment

With the trend to partially move safety-related features from courtyards into on-board control software, new challenges arise in supporting such designs by formal verification capabilities, essentially entailing the need for a model-based design process. This paper reports on the usage of the STATEMATE Verification Environment to model and verify a radio-based signaling system, a trial case study offered by the German train system company DB. It shows, that industrially sized applications can be modeled and verified with a verification tool to be offered as a commercial product by I-Logix, Inc.     

奶牛生物（活菌）饲料的研究

以酒精糟、白酒糟、碎玉米、啤酒糟等为原料,添加尿素、（NH4）2SO4及营养液F,采用“液体种子培养,多菌种混合固态发酵技术”生产奶牛生物（活菌）饲料。饲料粗蛋白平均含量36．55％、提高率1635％;酵母菌、有效细菌总数及活菌率分别为：7．85×10^8个g、7．11×10^9个,g和82．2％;β-淀粉酶1356mg／（g．h）、纤维素酶168um／（g．h）、中性蛋白酶1088ug／（g．min）、碱性蛋白酶372ug/（g·min）、糖化酶110u／（g．h）;VA80IU／（100g）、VB：2．35mg／（100g）、VD2945IU／（100g）、VC1．1mg／（100g）、烟酸10．7mg／（100g）。     

基于VNC和HTML5技术的远程教学直播系统设计

采用VNC和HTML5技术,构建了远程教学直播系统.该系统可实现教师计算机屏幕内容的直播,用户可以使用支持HTML5标准的浏览器访问该系统网站而无需安装任何插件.