CRC校验快速查表算法及其应用

本文论述了ＣＲＣ校验在数据传输存储可靠性中的应用，给出一种ＣＲＣ校验快速查表算法及其子程序     

异型机多机通信系统中KERMIT文件协议实现

在自行设计的异型机多机通信系统中,应用ＫＥＵＲＭＩＴ文件协议实现了文件多路传送通信,并在ＫＥＲＭＩＴ包中采用了一种快速ＣＲＣ校验。     

一个异型机多机通信系统的实现

讨论了一个采用自行开发的多路通信控制器（ＭＣＣ）的异型机多机通信系统方案的实现。较好地解决了异型机通信速度匹配问题，并且成功地把ＫＥＲＭＩＴ文件协议应用到多路通信环境下，同时采用了一种快速ＣＲＣ校验。     

UNIX主机文件完整性校验工具的原理与实现

文件系统完整性校验是一种基于主机的入侵检测技术，可以检测出入侵者对主机文件的非法修改。介绍了文件完整性校验的原理，并详述了所开发的文件系统完整性校验工具的关键实现技术。     

使用CRC进行病毒检测

本文介绍一种检查病毒的新方法－－使用ＣＲＣ校验对文件进行检查，从而达到觉察文件是否被病毒感染的目的，通过此方法可以查出所有类型的病毒，因为病毒的感染都要造成文件的改变。     

一个异型机多机通信系统的实现

本文讨论一个采用自行开发的多路通信控制器的异型机多机通信系统方案的实现。该方案主要是通过ＭＣＣ来进行多通道的通信控制。系统实现中。较好地解决了异型机通信速度匹配问题，并且成功地把ＫＥＲＭＩＴ文件协议应用到多路通信环境下，同时采用了一种快速ＣＲＣ校验。此方案较适当当前多数单位对现有不同种类微机进行二次开发的需要。     

CRC差错校验法在IBM/PC与8031单片机无线通讯中的应用

通过对不同校验方法的分析，提出了适合ＩＢＭ／ＰＣ与８０３１单片机无线通讯差错校验的ＣＲＣ方法并给出了其实现的软件流程图     

基于Hash树热点窗口的存储器完整性校验方法

该文描述了一种存储器完整性校验的硬件方案．首先．介绍了存储器完整性校验的情况；然后．提出了基于Hash树热点窗口的存储器完整性校验方法．该方法将存储器访问的局部性特征与Hash树完整性校验原理相结合．通过缩短多数情况下校验所需路径的长度以及对节点实施恰当的缓冲，来有效减小完整性检验的代价．该文描述了该方法的原理、算法与系统实现．并进行了模拟．理论分析和模拟结果表明该方法在应用上是高性能的，同时也是低代价的．     

成绩单OCR录入系统中的自动校验

校验是ＯＣＲ系统中必不可少的组成部分,本文针对成绩单录入这个特定的ＯＣＲ系统,提出了一些行之有效的校验方法,提高了整个系统的实用价值。     

中小型监控环境下的通信校验算法

针对远程同步和异步通信,通过分析典型监 控环境中一般性通信误差的产生机理及特点,提出了一种用ＣＲＣ抗干扰编码方法进行检错或纠错处理的实用分段查表取余校验及纠错算法。     

基于网格的LINUX文件完整性校验工具的原理

文件完整性校验是一种基于主机的入侵检测技术,可以检测出入侵者对主机文件的非法修改。针对目前文件系统完整性校验中存在的运算复杂性问题,结合网格技术的应用背景,提出一种基于网格的文件系统完整性校验的应用模型,并对其产生的原因、特点、应用平台、工作流程进行了详细的阐述。目的是实现网格虚拟环境下提高文件完整性校验的速度。     

CLIENT/SERVER环境下数据库系统完整性约束及其措施

本文主要讨论ＣＬＩＥＮＴ／ＳＥＲＶＥＲ环境下数据库系统完整性约束的性质、特征及其在数据库系统中的重要性，并阐述了在ＣＬＩＥＮＴ／ＳＥＲＶＥＲ环境中如何保障数据库系统完整性的一些措施。     

CLP（R）程序部分演绎的研究

本文从实例分析总结了在宽度优先语义下对ＣＬＰ（Ｒ）程序进行部分演绎的基本规则和两条特殊规则，首次提出了将抽象解释技术应用于ＣＬＰ（Ｒ）程序的部分演绎的新课题。本文的结果虽然是初步的，但它是在ＣＬＰ（Ｒ）程序的部分演绎这一研究方向上的首次尝试。     

ZIP文件损坏的解决办法

大家或许都有过这样的经历，用ＷｉｎＺｉｐ解压一个ＺＩＰ文件时，会出现各种各样的错误提示，如“ＣＲＣ错误”、“数据错误”、“磁盘Ｉ／Ｏ读写错误”等，下面是笔者的解决之道。　　１、“ＣＲＣ错误”：解压时ＷｉｎＺｉｐ提示“ＣＲＣ错误”（如图１），指的是压缩文件在解压时进行的一次校验中出现了错误。发生“ＣＲＣ错误”并不一定是文件的数据已经损坏，只是做成的压缩包有些误码而已。这样的问题，可以通过ＷｉｎＲＡＲ或Ｎｅｔａｎｔｓ等的再次下载（实际只是重新下载损坏的部分）来修复，否则，用普通的解压缩软件是无法解压…     

用VB实现计算机通讯中的CRC算法

本文介绍了ＣＲＣ校验的基本原理及其得法，并给出用ＶＢ编程语言实现该算法的实际例子，同时提示了ＶＢ语言位操作能力和技巧。     

程序变换的一种规范说明方法

文中给出了一种对程序变换进行分类的方法，提出了适合于更广义程序变换描述的四元组表示，程序变换的一种规范说明方法和规范说明语言的元语言ＳＭＯＰＴ。介绍了这一规范说明方法ＳＭＯＰＴ在反编译系统ＯＥＣＬＥＲ的ＡＢ变换器的设计与实现中的应用。     

上位机和可编程序控制器串行通信的程序设计

在工业控制系统中,常常以ＰＣ机作为上位机,而将可编程序控制器（ＰＬＣ）作为下位机（用于现场控制）。要实现上位机与ＰＬＣ结合的控制系统,最为关键的技术是实现二者之间的通信。本文对此问题给出了有效的解决方案。本文首先对上位机和ＰＬＣ的通信过程进行了详细描述,包括帧的传送和接收、命令帧和响应帧的结构、帧校验序列码ＦＣＳ的计算以及ＰＬＣ通信接口初始化及通信协议;然后给出了在Ｗｉｎｄｏｗｓ环境下实现上位机和ＯＭＲＯＮＰＬＣ串行通信的ＶＣ＋＋程序。该程序已在一专用面粉生产线的计算机集散控制系统中得到应用,效…     

ORCA：实现与应用

Ａｍｏｅｂａ是荷兰学者ＶｒｉｊｅＵｎｉｖｅｒｓｉｔｉｅｔ开发的分布式操作系统，而ＯＲＣＡ是为分布式用户而设计的一种新的程序设计语言。ＯＲＣＡ建立在共享数据目标模型的基础上，它必须给出共享地址空间语义，并不要求实际的物理共享存储器。论文概述了ＯＲＣＡ实现和使用方面的经验。     

IPC-TC025测控工具包中的异步通信函数及其功能补充

介绍了ＩＰＣＴＣ０２５测控工具包中的异步通信函数，并针对其直接用于工程的不足之处，提出中断发送、ＣＲＣ校验、格式化数据包等功能补充，提高了通信的效率、可靠性和协议适应性     

基于FORM的CGI程序的设计与应用

本文介绍了基于ＦＯＲＭ的ＣＧＩ程序的实现方法，它通过ＨＴＭＬ（ｈｙｐｅｒＴｅｘｔＭａｒｋｕｐＬａｎｇｕａｇｅ）超文本标记语言的数据集表ＦＯＲＭ接收用户的数据并将这些数据提交给服务器，服务器再将其传递给ＣＧＩ程序，ＣＧＩ程序对数据进行处理，并处理后的信息返回给浏览器或进行其它处理。