基于Spatially-Variant数学形态学的二值图像边缘检测

结合二值图像边缘检测的需要,提出一种基于Spatially-Variant数学形态学的图像边缘检测算法。该算法使用了依像素位置而变化的Spatially-Variant (SV)结构元,使其能够依据图像细节而变化,达到自适应的效果并能有效检测图像边缘和保持边缘的平滑性。与传统边缘检测算子进行的对比实验结果表明,该算法有以下明显优点:抗噪声性能好,实时性好,非常容易实现,具有一定的实用性和可行性。     

信息物理融合系统数据中心能量消耗模型研究

从信息物理融合系统的角度考察数据中心,对包含信息技术系统和冷却系统的数据中心的能量消耗进行建模。给出信息技术系统中的服务延时约束模型、工作负载约束模型、服务质量约束模型及最终的能量消耗约束模型和冷却系统中的能量消耗模型。模型的建立为研究如何在保证服务质量的同时最大程度地降低能量消耗提供了依据。     

能量敏感实时系统能量管理分析*

便携系统越来越广泛的应用使得电池使用问题日益突出。对能量敏感实时系统的能量管理进行了分析和探讨,通过对任务执行过程中的电压进行调整以减少实时任务的能量消耗,给出了能量敏感实时系统的静态能量管理和动态能量管理的分析方法,并提出了具有截止时间限制的实时任务减少能量消耗的调度机制。     

AspectC#——在C#中应用AOP

当前,AspectJ是用得最普遍的AOP工具,它是基于Java平台的。着重讨论了一种基于.NET平台的AOP技术,AspectC#。用户可以通过AspectC#在C#中应用AOP。目前,AspectC#只支持C#语言,但是.NET平台的多语言性使得跨语言的AOP应用成为可能。     

面向方面组件工程的研究与开发

本文主要研究面向方面的组件工程及一个基于．NET平台的面向方面的组件工程。     

异构的动态分布式实时系统的面向方面的形式化方法

形式化方法是在严格的数学基础上建立的．具有精确数学含义的科学研究和验证方法。异构的动态分布式系统的开发过程是非常复杂的．不能用一种开发方法进行分析、设计和实现。由于形式化方法具有严谨、可数学分析和证明等特性,可以根据系统开发的不同方面采用不同的形式化语言进行实现．然后再把这些方面编织到系统中去。     

ATM时钟同步的研究与实现

容错状态下的时钟同步是ＡＴＭ系统中的重要问题。本文分析了ＡＴＭ用户连接的要求提出了与业务类型相关的调度模型,它能够满足用户信元的实时传输、发送顺序和信元丢失要求。由于同时考虑了信元的优先级和时限,不同传输和丢弃优先级但有相同实时传输要求的信元连接可以在同时得到服务。最后,根据容错实时系统的要求,本文提出
出了一种容错状态下实现同步的调度方案,可以在可容忍时钟精度范围内很好地解决时钟同步问题。     

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

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

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

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

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

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