智能变电站中SCD管控系统的研究

目前,含智能化变电站完整模型的配置描述文件及其它相关配置文件的标准化管控方案仍未见报道。实施智能站配置文件的全流程管控系统,建立基于标准描述语言的模型标准库,可以实现对智能化变电站配置精细化、标准化管理。不断完善模型检测能力,从而给智能变电站的二次设备间互联、互换、互操作提供保障。并且,给智能变电站的验收及运行维护提供基础,给基于信息模型的一些智能分析及应用提供支持。现从智能变电站中SCD文件的重要性出发,对智能变电站SCD管控系统进行研究,包括SCD管控的重要性、SCD管控的技术和管理现状。进而建立智能变电站中二次设备和虚拟二次回路的简化模型和CRC校验实现方法和管控方案。最后,在变电站SCD管控系统的总体方案设计中,引入改进的基于位置的文本文件对比算法,用于比较SCD文件,有利于现场工作人员快速高效地获取信息,从而实现管控的目的。

监控文本文件内容变化的文本比较算法

为了判断文本文件的内容是否发生变化,确定变化的内容,并尽量降低系统开销,提出了一种基于位置的文本文件比较算法。算法利用位置优先原则,简化了比较过程。实验结果表明该算法可以应用于文件监控,而且易于理解。

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

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

复杂背景中移动目标的快速识别与跟踪

本文提出一种基于差值的在复杂背景中快速识别和跟踪移动目标的方法。文章总结了关于移动物体连续两帧图像的特点,在图像对比中利用它们空间位移上的相对变化,确定了一套实用的算法,并在程序中改进了像素灰度的读取方式,从而使整套方法显得更加切实而有效。实验表明,本文算法在复杂背景下,对于移动目标识别快速,跟踪准确,抗干扰能力强。

基于关联规则挖掘算法的审计综合管理系统研究

信息技术的不断发展推动了电力行业的不断进步,建立一个完善的审计综合管理系统是目前国网在审计工作方面研究的重点。随着存储项目成果信息的增多,目前国网的审计管理系统存在着问题分类不统一、未形成标准库、审计报告等不能与审计问题库相关联等问题。在标准审计问题库建立完成的基础上,将关联规则挖掘算法应用到审计底稿、审计报告、审计意见及建议同审计问题库的数据关联挖掘中,进而实现审计发现问题的实时追踪;引入基于位置的文件对比算法,以提高审计发现问题整改的效率。关联规则挖掘算法和文件对比算法在审计管理系统中的应用,可提高审计人员的工作效率,同时为审计结果分析提供数据支撑。

文本文件差异对比算法研究

如今各种项目的规模越来越大,而一个人的能力和精力是有限的,因此通常需要有一个团队进行协作开发。在协作开发时,不可避免的会产生工作交叉,甚至冲突。目前常见的多人协作工具如git、svn等,都提供了对不同版本的文件进行差异对比,由此来为开发人员提供帮助。在文本文件的差异对比算法中,它的核心是最长公共子序列算法。因此在这篇论文中,我们首先将对常见的最长公共子序列算法进行探讨,在之后将对一种优化后的LCS算法进行详细分析。