基于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,以及如何用程序实现。     

浅谈CAXA电子图板的绘图输出

对CAXA电子图板的绘图功能和使用技巧做了一些介绍,解决了多数情况下不能运用到它的绘图输出功能的问题.     

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

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

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

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

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

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