基于MDE的AADL向SystemC的转换

文章在分析了体系结构分析与设计语言AADL和软/硬件协同设计语言SystemC的基础上,基于模型驱动工程MDE的模型转换框架给出了AADL模型向System模型转换的理论,介绍了AADL以及SystemC元模型的建立以及二者的ATL转换规则。     

MDA中PIM到PSM变换规则的研究

在MDA开发模式中,将模型分为PIM(平台独立模型)和PSM(平台相关模型),其目的在于通过一定的变换规则实现PIM到PSM的自动转换,从而可以方便地生成应用程序代码以及测试框架。要实现PIM到PSM的自动转换,关键在于变换规则的精确定义。本文对变换规则提出了一种形式化的定义,并结合特定的PSM给出了一个具体的转换实例,最后给出在此基础上设计的平台的实践结果。     

UML2.0顺序图的形式化研究

在UML2.0规范中顺序图的语义仍然是以自然语言的形式描述的,为实现对顺序图的自动化分析和验证,必须为顺序图定义一种形式化的语义模型.为此首先给出了UML顺序图的一种符合BNF范式的形式化语法,然后为该语法中的非终止符定义转换规则,将UML顺序图中的基本动作转换为加标Petri网组件,最后定义了各种合成操作,利用这些合成操作可以将UML顺序图的加标Petri网组件转换为加标Petni网.     

异构数据库迁移的设计和实现*

介绍了基于B/S模式异构数据库迁移的具体实现, 阐述了分布式数据库概念、JDBC原理和数据库转换技巧;详细说明了数据转换规则、数据库连接、迁移过程、断点续传。     

基于可配置规则的BOM视图转换方法

在确保物料清单(bill of material,BOM)多视图之间产品数据一致性和完整性的前提下,为实现BOM视图转换技术能够满足企业业务规则的个性化需求并适应企业业务规则可能发生的改变,提出了基于可配置规则的BOM视图转换方法.在分析企业中各种BOM视图之间关系的基础上,建立了BOM视图及其转换过程的基础模型,给出了装配转换规则的结构定义及其配置方法,通过实际案例介绍了该方法在BOM视图转换过程中的应用,表明了该方法能够满足企业业务规则的个性化需求并适应企业业务规则的变化.     

DSL方法实现FMP-PIM到MVC-PSM的转换

DSL方法是改进软件开发（重用性，可维护性等）的有效途径．使用MTrans-DSL形式化描述模型驱动构架（MDA）中模型的转换规则，实现平台无关模型到特定平台模型的转换．以JavaServer Faces作为目标平台，通过具体的应用实例验证了该方法的可行性和易用性．DSL方法体现了模型驱动开发的特点，提升了转换规则的抽象层次．     

网格环境下实现自动网络配置的模型

目前,网格环境下,按网格用户的要求对网络进行配置需要由网格管理员与网络管理员协同完成.仅当网格管理员要求网络管理员进行网络配置时,网络管理员才会进行相应的配置.这种手动机制延长了网络配置的时间,增加了网格管理员和网络管理员的负担.对基于策略的网格管理和基于策略的网络管理进行了研究,并在此基础上提出了一个自动网络配置的模型.该模型可将网格策略自动转换成网络策略,最终实现网格环境下网络的自动配置.     

基于元胞自动机理论的电力负荷空间分布预测

根据元胞自动机(CA)的基本理论及其在城市动态演化模拟中的应用，提出了新的电力负荷空间分布预测方法。该方法从元胞自动机的基本定义出发，研究了CA理论对于电力负荷空间分布预测的适用性，提出了电力负荷元胞、元胞样区、元胞时空数据库、样本数据库的概念，制定了考虑多种相关因素的负荷元胞转换规则和相关参数，并进行了简单的试验。算例结果说明了该方法的可行性及其预测结果的合理性。     

基于元胞自动机理论的电力负荷空间分布预测

根据元胞自动机(CA)的基本理论及其在城市动态演化模拟中的应用，提出了新的电力负荷空间分布预测方法。该方法从元胞自动机的基本定义出发，研究了CA理论对于电力负荷空间分布预测的适用性，提出了电力负荷元胞、元胞样区、元胞时空数据库、样本数据库的概念，制定了考虑多种相关因素的负荷元胞转换规则和相关参数，并进行了简单的试验。算例结果说明了该方法的可行性及其预测结果的合理性。     

撞球计算机

信息处理系统本质上是一个信息转换机构,在一定转换规则的规定下,将初始的符号序列转换成其他符号序列。当前的计算机其计算能力无论多么强大,其最底层所做的事,无非就是符号序列的转换。这段话听起来太抽象,所以本文用简单的小实验来说明什么是信息的"转换机构",图1所示的这个小装置名字叫撞球逻辑门,由两根导轨和一个中间开着洞的平台组成。这是用旧的纸板箱做的,所以虽然看上去粗糙些,但做起来却并不麻烦。为什么称它是逻辑门呢?如图2所示,