基于ASM的元模型形式化语义的研究*

提出一种在模型驱动开发过程中的形式化语义描述方法。该方法利用元建模技术,形式化地描述了元模型及其语义间的映射关系,以提供精确的语义描述,从而为模型驱动开发提供有力的支持。将描述框架用于模型转换规则的定义以及元模型的分析与验证,并以简单Petri网为例,说明该方法可以有效地支持模型转换和代码生成。     

复杂自适应多Agent系统的模型驱动开发方法

自适应系统是一类复杂系统,如何有效地支持此类系统的工程化开发,一直是软件工程领域的关注焦点。提 出了一个基于Agent的模型驱动软件开发方法,试图将主流软件工程中的MDA技术与软件Agent技术相结合,从而 为高效、高质量地开发复杂自适应多Agent系统提供方法学指导。该方法将基于组织抽象和()DAM+方法学所建立 起来的模型视为平台无关模型,将基于SADE平台的实现模型视为平台相关模型,通过建立这两个不同抽象层次元 模型间的映射关系,来实现从平台无关模型到平台相关模型以及最终代码框架的转换。介绍了集成MDA和Agent 技术的软件方法学(ODAM} ,阐述了复杂自适应系统模型驱动开发的一组关键技术,包括不同层次的元模型以及它 们之间的映射关系、模型转换规则和模型转换算法,最后分析了相应的支撑软件工具和应用验证情况。     

IEC 61850标准与智能体思想

在基于IEC 61850标准的数字化变电站自动化系统中,智能体乃至多智能体的思想得以应用,使数字化变电站的实体具备了智能体的交互特性,从而可以“自主“地发出某些指令。介绍了IEC 61850标准与智能体思想的基本概念,分析了智能体思想在变电站自动化系统中实现的方式。     

电力系统继电保护及故障信息子站系统的方案设计

电力系统继电保护及故障信息子站系统,既可以作为构成继电保护及故障信息管理系统的(配置在变电站端的)子系统,同时也可以作为一个独立的"通信网关"供其它层次化的电力自动化系统使用.该系统根据IEC 61850标准中的"信息模型"和"抽象通讯服务接口"的概念设计,采用OMG的分布式系统标准和技术实现,使得PRFIS子站系统完全可以满足以分布式系统体系构建的继电保护及故障信息系统要求.     

基于MMS的IEC61850变电站通信网络和系统ACSI SCSM的分析和实现

IEC61850是关于变电站自动化系统的通讯网络和系统的国际标准,制定该标准的主要目的是为了实现不同厂商设备的互操作性。MMS(Manufacturing Message Specification)即制造报文规范,主要是规范工业自动化领域内智能设备间的通信行为,广泛地应用于工业过程控制、工业机器人等领域。ACSI(Abstract Communication Service Interface)即抽象通信服务接口,它是独立于通信协议,独立于具体实现,独立于操作系统的抽象的对服务过程和相关数据类的描述。它通过不同的SCSM映射到不同的协议。该文讨论了如何将IEC61850中的ACSI映射到MMS,以及如何用程序实现。     

电力系统继电保护及故障信息子站系统的方案设计

电力系统继电保护及故障信息子站系统,既可以作为构成继电保护及故障信息管理系统的(配置在变电站端的)子系统,同时也可以作为一个独立的“通信网关”供其它层次化的电力自动化系统使用。该系统根据IEC 61850标准中的“信息模型”和“抽象通讯服务接口”的概念设计,采用OMG的分布式系统标准和技术实现,使得PRFIS子站系统完全可以满足以分布式系统体系构建的继电保护及故障信息系统要求。     

面向嵌入式系统的功耗管理硬件抽象层

由于缺乏面向嵌入式系统的功耗管理硬件标准接口，嵌入式操作系统在不同硬件平台上的功耗管理功能缺乏可移植性。该文针对嵌入式系统提出了一种功耗管理硬件抽象层模型，同时引入了抽象功耗可管理组件模型，为操作系统提供了统一的功耗状态转移函数。基于此抽象层，可屏蔽不同硬件结构的功耗管理细节，有效地提高嵌入式操作系统的可移植性。     

一种DSP嵌入式多媒体应用系统板级支持包的研究

在嵌入式系统中，硬件抽象层作为嵌入式操作系统和硬件之间的软件层次是嵌入式应用的一个关键问题。从硬件抽象层的原理切入，介绍了基于Nexperia 系列数字信号处理器嵌入式多媒体应用系统中板级支持包的实现。     

Web应用中可扩展分页技术的研究与实现

在分析了Web应用体系结构的基础上,提出了一种分页性能模型,对基于Java技术的多种分页技术进行了性能分析.提出了一种可扩展的分页技术,利用改进的抽象工厂模式和分块方法解决了通用性和页间切换速度较慢的问题,具有较好的访问效率和可扩展性.     

EPA协议一致性测试方法研究

研究了EPA协议一致性测试原理、静态测试与动态测试方法及其实现技术；参照TFCN的结构框架定义了一种描述EPA抽象测试集的类形式化语言，提出了EPA协议实现一致性说明和协议实施附加信息的生成方法；研发了一种EPA协议一致性测试的方法，并以变量写服务的测试为例，说明了EPA协议一致性测试系统的测试过程。通过EPA一致性测试系统的实际应用，证明这种测试方法能够准确测试出被测协议实现与标准的一致程度。