文件比较算法fcomp在Isabelle/HOL中的验证

基于机器定理证明的形式验证技术不受状态空间限制,是保证软件正确性、避免因潜在软件缺陷带来严重损失的重要方法.文件比较算法(file comparison algorithm)是一类成员众多,应用极为广泛,跨越生物信息学、情报检索、网络安全等多个应用领域的基础算法.在交互式定理证明器Isabelle/HOL中对Miller和Myers在1985年提出的基于行的文件比较算法fcomp做了形式化,改正了算法关于边界变量迭代的一个小错误,证明了改正后算法的可终止性和正确性;对算法时间复杂性做了完全形式化的分析,印证了算法的非形式化分析结论,为今后更多文件比较算法的形式验证提供了可供借鉴的经验.

传统文件与电子文件形成比较——电子文件与传统文件比较系列论文之一

按：电子文件与传统文件有许多相同之处，但有更多不同之处。为了便于电子文件的管理研究与管理规则的制定，特对这两类文件进行比较研究，并以系统论文形式向读者介绍。该系列论文由三篇文章组成：传统文件与电子文件形成比较；传统文件与电子文件完整性比较；传统环境与...

在传统环境与电子环境中文件的可信度与真实性比较———电子文件与传统文件比较系列论文之三

一份真实的文件如果其内容与所描述的事件、事实不相符合，尽管它是一份真迹或原件，其凭证作用也是不足的；一份如实描述事件与事实的记录，但其出处不可靠，其凭证也会受到影响。因而，文件内容的可信赖与文件的真实性是文件具有凭证作用的两个缺一不可的要素。我们将内...

文本文件比较的算法分析和程序实现

对两个文本文件的内容进行异同比较在数量上作出统计,这在文字信息处理方面有广泛的应用。本文对文件比较作了算法分析,并给出了一个实现该算法的用VisualBasic语言编制的主要程序段。

传统文件与电子文件的完整性比较——电子文件与传统文件比较系列论文之二

一、传统环境下，文件完整性的要求在形成的文件中，如果含有被司法系统作为凭证认可的所有要素，这份文件可称上是一份完整的文件。通常，一份文件智能形式的所有要素（文件内部排列、文件内容的连接方式及附注等）是否存在，特别是文件的内容清晰度与附注情况，是用来评...

一种基于改进模糊哈希的文件比较算法研究

模糊哈希算法广泛应用于同源相似文件的检索、恶意代码检测、电子数据取证等领域。模糊哈希算法首先依据文件长度和文件内容检测对文件进行分片,再对每一个分片进行滚动哈希运算,最后将各分片的哈希值连接在一起,形成文件指纹,实现了具有局部敏感特性的近似最邻近搜索。文章采用了关键词触发的变长分片策略和基于simhash的滚动哈希计算方法对现有的模糊哈希算法进行改进,克服了分片长度依赖于文件长度、触发条件与分片中内容无紧密联系、运算性能受滚动窗口长度制约的缺陷。基于多种语料库的文件比较实验表明,文章提出的改进模糊哈希算法可以有效地实现同源相似文件的发现,且具备支持多级信息粒度比较的能力。

基于VC制作的文件比较器

现有的文件比较器都是指定单个相同格式的文件进行一对一的比较,对于文件任意格式的批量比较的应用软件未见报道。针对以上问题,提出了一种基于VC制作的文件比较器。结果表明,采用该方法实现了单个文件比较和批量文件一起比较的功能,并且可以比较任意格式的文件。这个文件比较器是用VC构建了一个基于对话框的类,并且应用Rich Edit控件实现以文本形式打开查看文件内容的附加功能。

在FTP中使用文件比较

现在自己做个站点并不是什么难事,申请个域名,再找个空间,接下来的工作就是制作上传了。利用FTP工具上传是我们常用的一种办法,但是在使用中会出现一些问题,那就是在遇到文件重复的情况,你不得不逐一确认.或者干脆全部重新上传。

文件比较软件大比拼

在进行详细的文件比较,或者同时进行多个文件比较的工作,使用专用的文件比较软件是最方便的。它们除开最基本的文件比较功能以外,还具备目录比较、目录同步、合并分割等功能,这些都极大地方便我们使用。以下将介绍几款常用的比较软件,并且对其基本功能做简单介绍,突出软件特点,相信其中必定有能满足你需求的。

火眼金睛找不同:文件比较大练兵

怎么样才能快速精确地比较出两份文件的异同呢，本文将教你用Office自带功能来进行Word、Excel、Power-Point文件的对比。 “小王，昨天老总看了你写的财务制度．做了一些修改，你最后再完善一下。”今天一上班，主任就给小王安排了任务。 老总究竟修改了哪些地方？怎么样才能快速精确地比较出两份文件的异同呢？难道去问老总？

Total Comander实例连载(三)——文件比较、搜索及管理小技巧

本节向大家介绍有关Total Commander(以下简称TC)文件比较,管理及搜索功能。为方便使用,我们已经为大家制作了一个新的菜单,并把很多实用的功能集中在其中,可以这样安装:先从本刊光盘找到并双击我们所制作的language.rar文件,将其中的两个文件解压到TC安装目录的LANGUAGE文件夹下(如C:\totalcmd\LANGUAGE)。

用VB编制文本文件比较器

说明了使用VB中RichTextBox控件来打开和保存文件的方法,介绍了文件比较器的程序思路和实现方法,给出了获取当前鼠标在文本框中行号和列号的方法。

文件比较各显神通

对于简单的文本文件，可以通过直接阅读来比较两者之间的差别，但如果是内容复杂或者需要按照字节进行比较的文件，我们就不得不借助一些专业的软件或者是某些软件中附带的功能进行比较。

Excel文件比较器,明查Excel秋毫

是否有过这样的经历?需要查看一个工作表的原始版本和当前版本究竟有些什么不同,做了那些修改?或比较同一批数据,不同人员录入(这常被用来杜绝人为的输入错误!)的两个工作表有些什么区别?人工对比太麻烦了,编个宏文件又太麻烦。那就试一试Excel文件比较器(Excel compare)吧!Excel文件之间一丝一毫的差别都难逃它的'火眼金睛'!

比较文件何必舍近求远——WinDiff比较工具的使用

进行支件比较主要是两种手段,一是利用Windows自身的命令,另外一种就是使用专用的软件来实现。但是命令方式不够直观,而软件还需要下载安装又有些麻烦,其实何必东奔西走,工具就是我们身边。在Windows的安装盘中都有一些附带的工具,默认情况下这些工具是不会被安装的,你需要手工进行安装。在这些工具中就有可以进行文件比较的工具WinDiff,它用图形方式显示比较的结果,方便又直观。

全方位的文件比较终结者——bevond compare

陪儿子一起看鞠萍姐姐主持的动画节目，其中有一个问题是给出两张动画中的截图，让找出不同的地方，在很短的时间内要找出它们不同之处来，还真让人一番好找呀!虽然《软件指南》曾介绍过一些文件比较工具，但却都不能比较图片之间的不同。于是请教他人找到一个功能非常强大的比较软件——bevond compare。它是一款不可多得的专业级的文件夹和文件对比和编辑工具，使用它可以很方便的对比出两个文件夹或者文件的不同之处，

ASP.NET中文件上传到数据库与上传到文件系统的比较

文件上传和下载浏览是动态网站的一项重要的功能,那么,文件上传到服务器的文件系统中还是保存到数据库中?本文从两者编程过程中的相同点和不同点进行了对照,并从事务支持、完整性、安全性和性能方面等做了分析和比较。

Compare It！——轻松比较文件的内容

在我们日常的工作中经常需要比较一些文件，如Excel表格、word文件等，如果比较的文件内容少，那手工进行比较还可以慢慢来，如果内容多的话，比较起来就很吃力了。其实我们可以借助软件来比较文件的内容。

移动数据库缓存一致性比较的矩阵校验算法研究

在移动计算系统中,移动单元通常缓存一些数据片段,但是由于移动单元的频繁断接性,缓存会与固定数据库之间发生不一致,为及时更新移动单元所缓存的数据片段,首先必须确定是否发生不一致,哪些页发生了不一致.针对该问题,在以前相关研究成果的基础上,提出一种结合了各种方法优点的新算法,通过分别在固定数据库和缓存计算数据页的校验和,并按照同样的策略将校验和排列成矩阵再进行比较,诊断出不一致的页面.有效地减少了数据传送量,提高了诊断精度,且简单易行.