基于对象时空Petri网的CPS建模与仿真

信息物理融合系统（CPS）是一个融合了计算、控制、通信和物理元素的分布式实时反馈系统,但传统的建模方法无法满足CPS对时空性能要求较高的情况。为此,提出结合对象特征的对象时空Petri网（DS-OPN）建模方法。首先,将面向对象封装技术、时空元素融入Petri网中,设计空间和时间描述规则,将相同对象下的场景元素封装到同一对象子网系统模型中。其次,定义聚合规则,聚合各个子网模型,使这些模型能够描述CPS物理拓扑环境中的对象变化过程。最后,以交通CPS为例,建模和仿真分析自主控制超车系统的动态行为;同时,建立模型的可覆盖性树和关联矩阵分析验证模型的可达性、安全性等性质。实验结果显示,DS-OPN建模方法建立的模型对系统流程的逻辑结构表现清晰,对时空因素的计算准确,在实时性和安全性上能满足CPS的要求,验证了该建模方法的有效性和安全性。     

面向方面的分布式实时软件性能分析

性能是横切分布式实时系统的关注点,面向方面技术可以将性能关注点模块化,为性能分析提供了优越的实现条件。该文提出一个面向方面的性能工程框架,利用面向方面扩展的多种视图并结合规格化的参数描述,针对面向方面软件进行性能建模与测量。分析了一个分布式Web应用的例子及其性能瓶颈所在,结果表明该框架是可行有效的。     

分布式实时系统面向方面的QoS监控模型

分布式实时系统是一个非常重要且资源有限的系统,系统资源的调配策略很大程度上决定了系统是否能满足实时性要求。要制定资源调配策略,首先要标识出实时系统中的各种资源,建立起资源模型。面向方面是一种全新的编程思想,它和面向对象方法结合解决了传统软件开发方法中的一些问题。文章结合面向方面技术,把QoS监控作为一个关注点,通过UML的扩展机制描述了分布式实时系统中资源模型的面向方面的QoS监控模型。     

面向方面的软件非功能特性研究

软件非功能特性的处理一直以来都是困扰着研究人员和开发人员的难题.将面向方面的编程思想运用于软件非功能性的研究打破了传统的软件设计过程,这种研究方法在软件需求分析的初期分离出系统的非功能特性并将这些非功能特性做一个整体的处理,加快了软件开发的进度,提高了生产效率.文中基于面向方面思想,利用著名的非功能特性描述框架NFR对软件非功能特性进行描述,解决了软件关注点组合时产生的冲突问题,为软件非功能特性的处理提供了很好的解决办法.     

基于J2EE框架的食品药品监督管理系统的研究

互联网技术的普及和应用,使电子政务得到了迅速的发展。为适应行业监管的特殊需要,使用集成Struts、Spar,和Hiixrnate三种J2EE框架技术,可以快速构建一个多层的可复用、可扩展、实用的食品药品监督管理系统。深入讨论J2EE应用系统开发过程及其相关技术,提出了系统的解决方案。通过系统的建设,借助信息化的管理手段建立起监管部门与企业间的信息交流渠,实现了监管人员的移动办公和移动执法,实现了网上办公,方便监管人员的现场办公和执法。     

基于自适应算法的电子镇流器谐波滤除

电子镇流器具有节能、无频闪、起辉电压低等显著优势,但是它同时会给电网带来大量谐波。通过试验分析电子镇流器对电网电流的影响,研究讨论几种能够降低谐波含量的方法并进行理论分析,提出采用基于自适应谐波检测算法的有源滤波技术,通过在PSIM仿真软件上搭建单相并联有源电力滤波器模型,仿真验证采用自适应谐波检测算法的APF对电子镇流器谐波有很好的滤除效果。     

基于面向方面的Petri网在实时系统中的应用

Petri网作为一种图形化的建模方法,具有直观易用的特点,是业务流程建模常用方法。面向方面建模的基本思想是按系统特征划分程序模块。传统的实时系统与时间密切相关。我们分离实时系统时间方面,然后用时间Petri网来建模,最后通过实例来简单地说明建模过程。     

基于ADL的物理信息系统的建模与分析

当前分析和设计物理信息系统的模型和方法通常是线性分离的,且由不同的数学形式化方法和工程与计算机科学中的不同方法定义。为便于处理,对关注点分离是必要的,但这种分析方式由于在系统设计时过早地将系统信息特征与物理特征分离,导致很难评估直接与这两个领域进行交互的可替换元素的影响和协调性。文中对围绕组成CPS系统的所有范围的元素的架构描述进行扩展,最终目的是能够建立一个可扩展的框架,包括一套可被创建的综合设计工具。由此文中提出这种物理信息系统建模方法并通过一个简单应用实例对方法进行说明。     

网络实时系统的一种活动性描述语言*

介绍了ADL,它是一种基于网络实时系统的活动性描述语言,一种描述并发处理中时态和功能行为的新的形式规格说明符号.ADL专用于计算机网络,是DORIS的一种形式语言扩充.它组合了状态机活动(ASM)的图形符号和基于模型的活动功能行为(AFB)符号;提供了关于ASM的抽象语法和静态、动态语义.最后通过一个小实例说明该语言是如何解释指定网络实时系统的.