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

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

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

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

实时数据库中的可推测并发控制算法

可推测并发控制是一种新的并发控制方法,特别适合于实时数据库系统。可推测并发控制使用潜在冗余计算以确保尽可能早地发现和采纳可串行化调度,因而增加满足严格时问限制条件的实时性。本文中,首先阐述了基于SCC类算法的家庭成员SCC-nS算法。接着讨论了根据要求资源量的3个SCC-nS算法和它们执行的推测级别。最后,提供了建立可推测和实时性的一些模拟结果。     

动态实时系统描述及其资源管理技术

动态实时系统在设计时无法确定系统的最大负载．在运行时系统要处理的数据量和事件到达率有巨大改变,在这种情况下保证系统的实时性和耐久性很困难。本文介绍了一个系统描述语言来描述这样的系统;从系统描述中产生系统静态模型,然后动态检测系统状态形成动态模型;资源管理中间件根据系统状态管理分配资源保证系统的实时性和耐久性,资源管理技术使用了动态路径典范;并介绍了一个动态实时系统的体系结构。     

应用UML进行实时系统资源分析

文中讨论了实时资源模型的结构和特性,以及应用UML进行实时系统资源分析的可行性。在资源的实现和对独占资源的调用方面对UML作了适当的扩展,并通过具体的例子说明如何使用有关的构造型。     

虚拟物体间碰撞检测系统的设计

X3D是开放式的基于WEB的虚拟现实3D标准,是XML和VRML集成应用技术。首先介绍了X3D的碰撞检测的模型;其次描述了碰撞检测算法;通过X3D规范中提供的可扩展的插件机制,提出了一种用于X3D的碰撞检测系统的结构,通过测试该系统,它能够在具有大量的运动物体的环境中进行较为准确的碰撞检测,实时性和健壮性也基本上达到应用的要求。     

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

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

面向方面软件开发研究

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

基于软件定义的移动信息物理融合系统

在汽车和飞机等交通工具上安装传感器等设备，导致了新一代移动信息物理融合系统MCPS（Mobile Cyber-Physical System）的出现.针对MCPS主要以硬件资源为核心，自动化水平不高的问题，本文提出了一种基于软件定义的MCPS建模方法.通过结构分析与设计语言AADL（Architectural Analysis and Design Language）对硬件资源虚拟化，然后使用软件定义的方法对硬件资源进行分析和处理，可以有效提高MCPS系统的自动化水平.以移动车辆自主处理分析传感器数据并控制车辆的驾驶为案例，详细介绍系统的组成和建模过程.并通过添加安全附件对该模型的安全性进行分析验证，证实了基于软件定义建模的可行性与有效性.     

基于优化ELM的信息物理融合系统入侵检测

针对带权正则化极限学习机(WRELM)性能受随机初始值、数据不平衡及离群点影响大的问题,提出基于局部距离的带权正则极限学习机(LDWRELM),提高对不平衡数据集与离群点的抗干扰能力,使用改进的头脑风暴优化算法(MBSO)对LDWRELM的初始权重阈值进行联合优化.MBSO在头脑风暴优化算法(BSO)的基础上对个体更新...