一个支持规约获取的形式规约语言

该文介绍了形式规约语言LFC设计的一些主要方面，并通过例子说明了LFC的一些特色。形式规约语言LFC是为支持软件形式规约的获取工作而开发的。该语言以一种新的递归函数，即定义在上下文无关语言上的递归函数为基础，以上下文无关语言为数据类型，在语言级支持规约获取。LFC语言已被用作形式规约获取系统SAQ的一部分。使用表明，LFC是一个能力强、易使用的语言，适合软件形式规约获取之用，并且适合其它一些用途。     

基于软件体系结构的Agent规约和演化

借助软件体系结构描述语言C2的表达能力，基于组件，连接体和体系结构配置3要素，研究适合于Agent规约和构造的组合方法，以软件体系结构的类型化理论为基础，探讨了基于子类型关系的Agent演化，用扩充关系表达有相互关联的不同类型的Agent之间的关系，通过为遗留代码定做包装器，领域翻译器以及相应的界面和约束，将非Agent实体迁移为Agent，相关案例说明结合组合，基于子类型关系的演化，扩充，迁移等方法，可以满足多Agent系统构造过程中Agent类型的多样性。     

实时系统软件开发过程中形式方法的作用

针对实时系统软件开发的特殊性要求,本文强调形式方法是保证实时系统软件开发正确的一种重要方法。文章首先对形式方法的含义进行了系统的介绍,然后分析了形式方法的三个分支在实时系统软件开发过程中的作用,即形式规约、定理证明、形式验证,并指出了形式方法当前主要应用的能力以及应用的局限性,最后提出了形式方法的一些主要研究方向。     

MPTMS2000电量自动计费系统的研究

以MPTMS2000电量自动计费系统为例，详细阐述了电量自动计费系统的主要功能和特点，以及多通信规约电量自动计费系统的软件，硬件实现方案，说明了电量自动计费系统在现代化电网的重要性和可应用领域。     

多功能电能表通信规约功能的实现

如何保证多功能电能表与主站之间的通信顺利进行非常重要，本结合DL／T645－1997《多功能电能表通信规约》的内容，介绍多功能电能表通信规约功能的实现。     

基于组态软件的当地监控实现方案

工控组态软件用于对工业控制中的数据采集与过程控制功能进行组态，是自动控制系统监控层一级的软件开发环境。灵活多样的组态方式提供了良好的用户开发界面和简捷的使用方法，其预设置的各种功能软件模块可以非常容易地被组态从而实现和完成监控层的各项功能。采用先进的工控组软件实现监控功能，可缩短系统开发周期。介绍了采用该技术的内昆线当地监控系统设计方案、软硬件结构及系统功能。     

IEC870—5—101远运规约在国内的应用与实践

近年来，国内针对国际电工委员会（IEC）发布的IEC60870－5系列电力系统传输规则。制定了一系列配套标准。着重讨论了其中的第一部分：基本运动任务配套标准（IEC870－5－101）。具体采用了从理论描述到实践总结的方式，介绍了IEC70－5－101远动规约遵循的传输规则，增强性能模式的理论参考模型，FT1．2帧格式，常用的若干种数据类型，问答过程等几个方面的内容，而后根据工程实践，例举了一些IEC870－5－101远动规约的实现方法。最后提出了一些关于拓展IEC870－5－101远动规约使用范畴的初步想法，为相关的研究与工程人员理解和使用IEC870－5－101远动规约提供了一定的帮助。     

POCSAG规约的译码在无线寻呼监测系统中的应用

ＰＯＣＳＡＧ规约广泛应用于无线寻呼系统中。随着用户的增加，系统的扩大，寻呼台设备的可靠性日益受到重视。本文叙述了在无线寻呼监测系统中，ＰＯＣＳＡＧ规约译码的实现方法及其应用。     

IEC60870-5-101远动规约的软件设计及其应用

本文分析了IEC60870-5-101远动规约遵循的传输规则、帧格式和参考模型,详细介绍了该规约在电网监控培训系统中的设计和应用。     

IEC60870—5—101远动规约的软件设计及其应用

本文分析了IEC60870-5-101远动规约遵循的传输规则、帧格式和参考模型,详细介绍了该规约在电网监控培训系统中的设计和应用.