ADO数据库技术及微机线路保护通信规约在上位机开发中的VC＋＋实现

论述了微机线路保护上位机数据库的建立过程,并介绍了通过VC＋＋编程、使用ADO接口技术实现CAN网通信规约的总体设计结构及多线程中各个线程的特点,最后展示了软件的设计界面.所开发软件已应用于实际并获得良好评价.     

变电站综合自动化系统问题浅析

采用变电站综合自动化技术是电网发展的趋势,但同样也带来了一些问题。基于运行经验,介绍了变电站综合自动化系统,从技术、管理、人员素质等方面阐述了当前变电站综合自动化系统实际应用中存在的若干问题．并针对这些问题提出了一些建议。     

面向对象系统的时序逻辑描述

针对面向对象系统,定义了一种基于时序逻辑的形式化规约语言.它不仅支持对面向对象思想中重要概念,如类、对象、继承等的描述,而且支持对面向对象系统的时序属性的描述,如类的状态之间的转换,类中某些属性必须一直满足的约束条件等.能够实现对系统属性的推理也是用这种语言描述的系统的动机之一.通过对一个局域网用户访问控制实例的描述来实现对这种形式化规约语言的直观阐述与理解.     

一种面向大规模URL过滤的多模式串匹配算法

对大量有害的URL进行过滤,是目前网络安全应用系统中所亟需的关键技术.使用经典的串匹配算法检测庞大的URL规则集,需要消耗大量的计算资源和存储资源,性能十分低下.该文设计了一种适合于大规模URL过滤的多模式串匹配算法——SOGOPT.该算法在经典的SOG算法基础上,针对URL规则的特点,提出了最优窗口选择、模式串分组规约这两种优化技术,大幅度提高了SOG算法的匹配速度,在大规模URL规则集上效果尤其显著.该文设计的算法非常适合于大规模(100万级)URL实时在线匹配的应用环境.     

Tableau算法的优化及模型规约技术

为了近一步提高模态逻辑推理机的效率,提出了两种Tableau算法优化技术——冲突技术和矛盾学习技术,并结合这两种技术实现了针对模态逻辑S4的推理机S4P.在此基础上,为了从Tableau算法生成的模型图中构造一个规模较小的模型,又提出通用模型的概念,然后给出通用模型的规约技术并证明该技术对于任意依赖于公理D、T、B、4和5中部分或全部公理的正规模态逻辑的正确性.最后,使用逻辑工作台测试用例对S4P的效率进行测试,实验结果表明S4P的效率优于RACER和FACT++;同时,对S4P生成的测试用例中非有效公式的否定对应的通用模型进行规约,实验结果表明通过模型规约能明显地缩减模型的规模.     

并发系统中谓词行为图的行为时序逻辑表达

行为时序逻辑(TLA)组合时序逻辑与行为逻辑, 可以对并发系统进行描述与验证, 它引入动作和行为的概念, 使得系统和属性可用它的规约公式表示, 但存在用TLA描述复杂系统时TLA公式复杂且难以理解的不足。类似于状态转移图, 对于并发转移可以用谓词行为图进行图形化表示, 谓词行为图与行为时序逻辑规约具有相同的表达能力。介绍行为时序逻辑的语法、语义及简单推理规则, 用一个简单的实例说明使用谓词行为图去描述并发转移系统的有效性, 并用系统规约的TLA公式对谓词行为图表达能力进行证明, 表明两者具有等价性, 为描述和分析并发转换系统提供了一种可行的方法。     

自动抄表系统帧中继技术及其实现

针对电力线载波通信或RS485通信距离短的限制,提出了一种应用于远程自动抄表系统的帧中继技术。介绍了《多功能电能表通信规约》的有关内容,设计了采用帧中继技术的抄表系统结构图,并详细研究了帧中继技术的实现,以及中断器地址表的建立与刷新等内容。     

基于流形正则化非负矩阵分解的高光谱数据降维

采用基于流形正则化非负矩阵分解(MR-NMF)的高 光谱数据降维方法。新方 法通过构建样本的近邻图描述数据几何结构,然后将其作为正则项加入NMF的目标函 数中进行组合优化。在真实的高光谱数据集HYDICE上进行的实验结果表明,新方法能 够提高高光谱图像分类的精度。     

基于IEC870-5-101规约的RTU软件实现

近年来，国内针对国际电工委员会(IEC)发布的IEC60870—5系列电力系统传输规则，制定了一系列配套标准。着重讨论了其中的第一部分：基本远动任务配套标准(IEC870—5—101)。并在讲述其基本内容的基础上，介绍了一种Windows下的上位机软件实现远动规约的方法，取代了常规的RTU装置，将本地监控与远动相结合，从而降低了成本，提高了系统的灵活性、可扩展性。     

基于CDT规约的无线中继设计

介绍在无线中继上进行CDT报文分析的软件设计,以及在51内核的芯片上用C语言和汇编语言进行混合编程的注意事项.