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

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

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

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

局域网安全策略与数据库系统安全技术

本文首先提出了局域网易遭受攻击的七层模型。指出两种重要的局域网安全策略;接着提出了数据库系统三个层次的安全框架,并就之进行安全技术探讨。     

Web服务在动态电子商务中的应用

近些年来,越来越多的Web站点用动态的内容来服务,使个性化的网页越来越具复杂的交互性成为可能．比如在线贸易和电子银行。如今,WEB服务正在变得越来越流行。Web服务是能通过Internet用流行的Web机制和如HTTP类的协议访问的软件部分,Web服务最后向Web交互领域延伸。     

中间件重构与面向方面

中间件的特点是高度的可移植性及易用性。本文从分析中间件现存的问题入手．然后提出了用面向方面的编程方法毒对中间件进行重构,并且从分布性、实时性这两个方面对这种方法作了进一步的探讨,使用了Aspect C＋＋采进行实例的分析,最后总结了使用这种方法的优点及发展前景．     

基于堆叠极限树集成算法的信息物理系统入侵检测方法

信息物理融合系统(Cyber-Physical systems,CPS)是由信息系统和物理系统融合而成,从而引入了信息系统中普遍存在的安全隐患.传统信息系统的入侵检测算法专注于检测的准确率而忽略算法的复杂度和实时性,不适用于CPS.为了解决CPS入侵检测的实时性问题,提出一种结合相关性特征选择的堆叠极限树集成算法(CFS-SET).针对CPS中数据特征众多的特点,使用基于相关性的特征选择算法(Correlation-based Feature Subset Selection,CFS),去除不相关和冗余特征.采用堆叠极限树算法,进行入侵行为检测.基于Power System Dataset进行实验,结果表明,CFS-SET算法在保证分类准确率的同时,可以节省训练和预测计算时间,满足CPS对实时性的要求.     

面向方面分布式系统形式化规格说明语言

分布式系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要面向方面软件工程方法的支持,而形式化方法能保证分布式系统的正确性。本文对分布式规格说明语言Ocsid进行了面向方面的扩展,讨论了面向方面的Ocsid的框架结构、语法要求、方面的联结和功能接口。定义了面向方面的Ocsid规格说明语言中叠加和组合的形式化描述,该形式化描述覆盖了各个精化阶段,使精化体系的各个独立视点被协调地组合,并能形式化地验证规格说明的时态属性和系统行为。本文的工作针对的是分布式系统的形式化规格说明,提出了面向方面Ocsid的形式基础和方面扩展,其基本思想同样适用于更一般的情况。     

基于EMD-R/S分析的太赫兹光谱降噪

针对太赫兹时域光谱系统由于延时线的重合抖动、采样抖动等产生的噪声,提出使用经验模态分解-R/S分析方法对太赫兹光谱信号进行降噪.采集太赫兹时域光谱系统的时域信号,根据EMD算法将信号分解成本征模态函数(IMF);使用R/S分析法分别计算各个IMF的Hurst指数.根据设定的阈值判断是否各个IMF是否存在均值回复的情况....     

面向方面软件开发研究

系统的某些关注点横切整个系统,无法很好地封装在单个模块里,造成代码混乱和弥散,用面向方面编程AOP可以解决这些问题。首先介绍了现代软件开发方法及其产生的问题;其次,阐述了AOP的基本概念,并结合AspectC++演示了如何进行面向方面的编程;再次,描述了如何对UML扩展以支持对方面建模;然后介绍了面向方面软件开发在实时系统中的应用;最后给出了结论和未来的主要工作。