组态王电力版在电力调度系统的应用

基于组态王（KingView）电力版软件开发设计,实现与DCS系统和ABB的MicroSCADA系统进行数据的采集和实时监测,并由配套软件CDT完成关键数据的上传功能。该系统汇集了集散控制技术、数据库技术、计算机接口技术于一体,实现了系统的动态数据显示、数据记录和转发,并提供友好的人机界面,可靠性高,可维护性强。     

有限状态机在IEC 60870-5-103通信规约中的应用

为了研制基于低功耗的ARM硬件架构的嵌入式系统的103协议主站通信控制器,需对原有103通信程序作结构化、精简化移植改造。将有限状态机(FSM)模型引入规约状态管理中。从有限状态机模型的定义出发,讨论了状态、转移函数及事件集合等概念和在规约实现中的具体应用。提出了采用状态搜索树来扩展FSM的行为方式,为提高主站的响应速度奠定基础。提出了分步式轮询应答及采用历史状态响应中断操作的实现方式,进一步提高了主站的响应速度,解决了以往通信程序采集模型周期长、状态管理困难等问题。     

基于IEC60870-5-104远动规约的PLC：信模块的'计与实现

为了实现对分布在很广地域的变电站或设备进行监视和控制的以太网规约IEC60870-5-104远动规约在工业通信领域的应用,首先深入分析了该远动规约的结构模型,设计了一种主要由ARM7内核的主控制器和以太网控制器构成的通信模块硬件平台,以及通过嵌入式实时操作系统来实现多任务调度的软件平台,并针对规约要求以及工业现场需求设计了主要任务的有限状态机模型。还通过实验对该模块的一致性、互操作性和系统性能进行了测试,结果表明,该通信模块具有系统独立、通讯稳定、互操作性强、可靠性高等特点。     

动态语言实现MapReduce应用

并行计算技术的发展和网络带宽的提升,让云存储和云计算一步步走进实际业务应用之中。对于动态语言开发者,如果希望用动态语言借助Hadoop平台实现分治规约应用,并不是一件复杂的事情。Hadoop框架使用Java语言开发,但业务处理不要求必须使用Java语言,而可以使用Python或C++等其他语言进行编码。在Hadoop安装路径下的/src/     

团分划问题的固定参数算法研究

图论中的团分划问题属于NP-完全问题,难以在多项式时间内解决。为此,对团分划问题的固定参数算法进行研究,提出一个针对K4-free图的新归约法则,结合深度限制搜索树技术对K4-free图中的团分划固定参数可解类算法做出改进。实验结果表明,与原算法相比,在稀疏图的情况下改进算法效率提高了30%。     

基于语义与规则的有标复句层次体系研究

汉语复句层次关系分析是中文信息处理领域极具挑战性的课题之一。为解决关系词标识信息不充足所导致的复句层次关系识别准确率下降问题,挖掘了影响分句关联的形式化语义知识,在此基础上构建了小句关联体识别算法并将其应用于相应的复句层次判定规则之中,以辅助分析其层次关系;对于其余单、多重有标复句的层次识别,使用基于搭配规则的移进-归约算法;最后提出了一种语义与规则相结合的复句层次分析模型。实验结果表明,此方法在一定程度上提高了复句层次关系识别的准确率。     

面向对象技术在电网调度自动化系统前置机软件中的应用

本立介绍了电网调度自动化系统前置机软件的实现方法,并重点阐述了面向对象技术在软件开发中的实际应用。结合县级调度前置机软件的特点和需要,给出了串口类、通信规约类及网络通信类的具体定义。长期现场运行表明,本软件具有扩展性强、维护方便、移植性好的特点。     

定理证明辅助工具PVS剖析

ＰＶ查斯坦福机构开发的强大的规约。验证系统,它的适用领域广泛,在概要介绍ＰＶＳ的构成。功能后,着重分析了ＰＶＳ的规约语言,验证系统的特点,以及使得ＰＶＳ灵活,强大的设计决策和内在机制。     

有限构模器的扩展及其在形式化方法中的应用

规约在软件开发和验证中占有重要地位,对于以一阶逻辑为基础的规约,可以利用有限模型构造技术对其执行并测试,文中研究规约中某些特性的处理,包括存在量词以及二元关系析传递闭包,对已有的一个构模工具进行扩充,发现了文献中的若干错误。     

电能量信息采集系统规约插件管理器的架构分析

首先说明了当前江苏省电力系统中各厂家终端产品所采用的通讯规约不完全相同现状。接着分析了规约插件的设计规范和需要满足的设计需求,最后设计出解决通讯规约兼容问题的规约插件管理器。该管理器实现对所有规约插件的管理．同时实现和市场中各种电力终端设备数据通讯。