适用于云取证的证据数据完整性评估方法

针对证据数据完整性的问题,指出证据数据完整性评估的意义和重要性.通过考察信息系统在物理环境、网络传输、主机与系统、应用程序、管理和时间这六个方面对于证据数据完整性的影响和作用,提出了一种评估证据数据完整性的框架.运用数据融合方法对评价结果进行量化,通过分别对传统终端取证方法和面向云的取证方法的实例进行评估与量化,证实了该框架对证据数据完整性评估具有切实有效的指导作用及可操作性,结果表明使用传统终端取证工具所获取证据数据的不确定性在云环境下是传统终端取证的5倍.     

基础审计模式与原三种审计取证模式的比较分析

分析基础审计作为现代审计的一种取证模式,与原有的三种取证模式(账目基础审计、制度基础审计和风险基础审计)相比具有不同的特性,原三种审计取证模式都有固定的取证模式,而分析基础审计的取证模式则是不固定的,可以随着环境的变化而调整,使得分析基础审计能够满足不同环境的需求。     

浅议审计证据

参照国际审计与鉴证准则理事会2004年修订的《国际审计准则500——审计证据》,我国在新审计证据准则中进一步说明了认定的内容,将获取审计证据对认定的运用单列一章,突出了审计目标与审计证据之间的密切联系。审计证据是审计人员在审计过程中,运用各种审计方法所获得的能够起到证明作用,并可以对审计对象的真实情况做出正确评价的依据。收集、鉴定、综合审计证据是审计工作的核心环节,审计人员必须从审计证据入手,加强审计证据的质量控制,最终在审计实践过程中,达到正确地收集、审查、判断和运用审计证据,从而客观公正地做出审计结论。     

网络安全审计与计算机取证系统的设计

本文分析、设计了网络安全审计和计算机取证,以更加有效的防范和遏制计算机犯罪.将推进网络安全的健康发展和计算机取证技术的应用,有着广阔的市场前景,并具有良好的社会效益和产业经济效益.     

公安院校计算机取证实验室建设研究

为了满足各级公安机关的需求, 很多公安高等院校增设了计算机犯罪侦查专业以及计算机取证等相关专业课程, 而计算机取证又是一门实践性非常强的学科, 该文对公安院校计算机取证实验室的建设目标与原则进行了探讨, 并结合公安院校实际需要,提出了公安院校基于教学的计算机取证实验室由证据获取、密码破解、网络取证和证据分析四个部分组成的建设方案.     

审计证据数量与质量的把握原则

审计证据是审计人员在执行审计业务中,为了形成审计意见所获取的证据。审计证据对于整个审计工作具有非常重要的意义。审计意见或审计结论的正确与否,或者说审计工作质量的高低,在很大程度上都取决于审计证据的质量。本文从如何把握审计证据的充分性、审计证据的真实性、审计证据的可信性、审计证据的经济性进行了论述。     

基于特征集构建的计算机取证模型研究

计算机取证模型大致可以分为静态取证模型和动态取证模型两类。动态取证模型主要结合入侵检测技术,检测异常事件的发生,从而采集动态数据,对采集来的数据进行整理、归纳后并入证据库。静态取证技术是在事后取证,对涉事计算机设备进行分析处理,提取磁盘和移动存储设备的内容,对其进行分析归类,最后形成证据。该文主要结合事后静态取证技术提出一种基于证据文件特征集构建的取证模型,阐述了模型提出的目的和意义,分析了取证模型各模块的功能和实现方法,叙述了基于特征集构建的取证模型的取证步骤,最后介绍了皮尔森相似度算法在构建特征集模型中的应用。     

浅谈证据在审计工作中的核心地位

审计凭证据说话,审计证据的取得是审计工作的核心,整个审计工作就是有目的、有计划地收集审计证据、鉴定审计证据并作出判断,以此为据,出具审计报告的过程。因此,确定审计证据的核心地位,理解审计证据在各个审计阶段的重要性具有十分重要的意义。     

审计风险及其与审计重要性和审计证据的关系

从审计风险、审计重要性水平和审计证据的概念出发,阐述了审计风险的3种表现形式,探讨了审计风险与审计重要性水平和审计证据的关系,对审计重要性水平的把握、审计证据的收集以及审计风险的最终恰当把握有重要参考价值.     

风险导向审计存在的问题及对策

在我国新的注册会计师执业准则引入风险导向审计理念的背景下,作者认为现代风险导向审计是战略管理理论和系统理论在审计实践中审计方法的新发展,具有风险评估重心转移、风险评估方式改变、"自上而下"与"自下而上"相结合、审计证据范围扩大等四大特征。本文从信息保障、审计人员素质和审计技术、审计成本与效益、审计模型与审计失败的司法执法等角度对现代风险导向审计潜在的问题进行了研究,并从信息机制、职业怀疑精神、成本与效益平衡、法律体制等方面提出了对策建议。     

天然气变频涡旋压缩机的性能研究

采用变频涡旋压缩机为微型燃气轮机提供天然气,搭建了供气系统的试验台,开发了涡旋压缩机的测试与数据采集/分析系统,对涡旋压缩机的各部件及系统进行了优化,并对采集的数据进行了详细的分析,获得了有关天然气变频涡旋压缩机运转的详细情况.数据分析结果体现出变频涡旋压缩机的高效率和低振动优点,同时高质量地完成了系统400 h的寿命试验,表明天然气变频涡旋压缩机供气系统安全可靠,完全满足设计要求,进而为变频涡旋压缩机在天然气压缩中的应用提供了理论和试验依据.     

一类非对称神经网络的稳定性研究

本文将一类非对苏联想神经网络化为一类个关于扰动量的网络模型，然后给出了这类网络输出空间能量函数与状态空间的状态平衡点的关系，并且研究了此函数的存在性．     

新型IED的CAN接口电路的设计

文章介绍了在设计一种新型IED时,对其通信接口的设计方法.该设计基于ARM微处理器和uClinux操作系统,选择了CAN现场总线为通信总线,设计了ARM与CAN的硬件接口电路和CAN在uClinux下的驱动程序,为新型智能化IED的通信打好了软硬件基础,以更好的适应变电站自动化系统的需求.     

一类Sierpinski垫片的Hausdorff测度上限的估计

文章建立了估计一类Sierpinski垫片的Hausdorff测度上界的一个公式.由于这一类Sierpinski垫片的Hausdorff维数可以从1到log23连续变化,因而获得主要结果与现有文献的结论有本质的不同.     

试析大学生感恩意识的缺失和重塑

感恩应是构建和谐社会、融洽人际关系的重要举措，但现实中我们的许多大学生感恩意识淡薄，不懂得理解人、尊重人、感恩人。文章从大学生对父母、同学和社会三个视角分析了他们感恩意识缺失的现状以及形成这种现状的主要原因，同时指出开展感恩教育是提升大学生感恩意识的重要途径，并对如何开展感恩教育进行了阐述。     

一类泛函方程解的存在唯一性及其性质

讨论了一类源于动态规划的泛函方程,主要研究在某些条件下该泛函方程解的存在性、唯一性、迭代逼近及解的某些性质等问题.研究过程中,首先定义了巴拿赫空间中一个有界闭凸子集上的映射,其次证明该映射为非扩张的自映射,最后再证明该空间的任意收敛点列都是柯西列,从而由巴拿赫空间的完备性、不动点定理和非扩张映射证明了解的存在性.得到的结果拓宽、深化了刘泽庆等人的一些已有结论,并在一定程度上统一和归纳了由Bellman,Bhakta,Mitra等学者得到的早期研究结果.     

斑马鱼分枝杆菌病的研究概况

斑马鱼作为一种常用的实验模式生物,在生物学和医学的许多研究领域得到了广泛应用。然而,国内外对于其病害的研究极少。分枝杆菌病是实验斑马鱼的常见病,危害最大,约占其总病例数的20%。斑马鱼对分枝杆菌具有天然的敏感性,因此该菌对实验斑马鱼构成了巨大的威胁,影响了许多重要的科学实验。本文从病原的种类,生物学特性,疾病的症状,诊断方法和病原检测技术以及控制等方面对斑马鱼的分支杆菌病进行了介绍,希望能引起人们足够的重视,并能积极的展开相关研究。     

Hα空间中的函数逼近度

用Ｆｏｕｒｉｅｒ级数和Ｔｃｈｅｂｙｃｈｅｆｆ－Ｆｏｕｒｉｅｒ级数的（Ｈ）算子，证明了一个新定理。本文的结果包含了一些作者的最新成果，尤其文「２」中的定理Ａ是本定理推论中的一个非常特殊的情形。     

汉语普通话中动词复制结构的句法分析

依据现代语言学中管辖和控制理论,本文对汉语中存在的一个特殊句型进行了句法分析。针对现有的三种代表性的语言学分析的不足,本文在承认此句型中存在的动词复制过程的前提下,从句法角度把该句型分析为并列结构,并以三项句法判断加以验证。