分布式资源安全监控系统模型的研究

为了提高分布式资源的安全性,针对通用操作系统不直接支持强制访问控制的问题,首先对强制访问控制模型进行了研究。在分析基于信息保密性的B e ll-L apadu la模型与基于信息完整性的B iba模型的基础上,提出了分布式资源安全监控系统(D istribu ted resource security m on itoring system,DRSM S)的模型和结构,提出了对分布式安全标签库进行修改的算法。详细介绍了文件资源安全监控系统的设计和关键技术,实现了基于DRSM S模型的资源安全监控原型系统。通过实验,验证了该模型可及时发现并阻断通过非法文件操作进行的入侵企图。实验结果表明:安全监控系统既可保护分布式资源的机密性,又可保护完整性。     

关于飞机制造协调的CAD专家系统

讨论了工程ＣＡＤ专家系统特点，提出其一般结构。为了解决如飞机制造协调等复杂工程问题，实现一种层次分布式ＣＡＤ专家系统（ＨＤＥＳ）结构。ＨＤＥＳ由元级、任务级两个水平的分布式专家系统组成：任务级专家系统（Ｔ－ＥＳ）主要用于应用设计，它们在其自己的设计领域中执行；元级专家系统（Ｍ－ＥＳ）则处理合作。介绍了层次－框架－规则的专家系统组织表示方法。文中工作结合飞机制造协调与公差分配ＣＡＤ专家系统（ＡＣＴＡ）的研制     

分布式容错系统的低冗余重构策略及拓扑结构研究

分布式系统需要采用合理的拓扑结构，才能在低冗余的条件下的实现容错，从而获得高的性能价格比。本文从分析的可靠性与重构策略的关系以及重构策略与系统拓扑系统入手，找出解决这一课题的一种途径，最后介绍了一个低余度高可靠实时重构的分布式容错系统的实现。     

采用逐次正交化法的最优分布式Kalman滤波器

为解决大系统中应用整体式Kalman滤波遇到的非实时性难题,本文提出一种能保持最优的分布式Kalman滤波计算方法——逐次正交化法。这是一种适合多微机并行计算的最优算法,确保滤波的“实时性”,优于一般次优分布式Kalman滤波器。     

R/S方法求解网络流量自相似参数的实现与应用

基于网络流量具有统计自相似性的理论,通过计算自相似参数Hurst值来检验流量的自相似程度。采用R/S方法对流量数据进行分析,给出了R/S方法详细的实现算法,通过实验的分析与比较,验证了自相似性的存在。自相似性是正常网络流量具备的特征,当流量发生异常时,Hurst值会出现明显的变化,本文将这一变化应用于DDoS攻击检测做了初步的探讨。基于自相似理论的网络流量异常检测技术与传统的基于统计异常技术和数据包特征匹配等方法相比,具有更高的准确性和可靠性。     

无人机单片机控制系统软件容错设计

本文介绍了某型无人驾驶飞机系列MCS-51单片机控制系统的软件容错设计方法与实现。该软件采用了关键数据的余度管理技术,在充分考虑了本系统的任务功能及单片机固有特点的基础上,采用了若干行之有效的软件检错技术,包括执行条件检测、数据合理性检测、异常复位检测及软件陷井等。在检测到软件错误后,软件将执行一个恢复操作。恢复操作的基础是依据一组经过余度管理及相容性分析而保证为正确可靠的关键数据。恢复操作将消除软件系统所有可能的错误状态,将系统恢复至出错前的运行状态。实践表明,该软件的容错设计是可靠且有效的。     

非平稳信号的双重中值容错平滑算法

平滑是消除或削弱测量数据随机误差时常用的数据处理手段。文章建立了一组新的非平稳数据序列容错平滑算法，其采用两阶段两次滑动中值与滑动均值平滑组合，实现了数据简化与平滑的统一。理论分析和仿真计算结果证实，算法可有效避免斑点型异常数据的不利影响，有效削弱随机误差的影响，改进数据处理精度和数据处理结果可靠性。     

动态系统的容错技术

所讨论的动态系统的容错技术包括故障检测、故障定位和系统重构技术。文中研究了基于数学模型的容错技术，讨论了因数学模型不准而引起的故障检测和定位不鲁棒的问题，提出了若干增强鲁棒性的方法，对故障后的系统重构问题也作了简要介绍。     

IDSS中数据仓库和数据挖掘的研究与实现

讨论了数据仓库、数据库知识发现和分布式对象的概念和技术,提出了一种集成化的IDSS(Intelligence Decision Support Systems)的开发环境,将传统的DSS四库结构与数据仓库相结合,把数据挖掘作为一种特殊的模型应用于数据库中的知识发现.同时,在系统实现上采用分布式对象技术,实现接口规范和应用程序相分离.最后进一步对数据仓库的设计与实现及数据库知识发现的设计与实现进行了介绍.     

基于软件定义的航天器分布式电源系统设计

针对电源系统架构灵活性的需求,提出了一种基于软件定义智能功率单元的可重构航天器分布式电源系统设计。给出了系统的分布式架构,采用了一种可软件定义的标准功率单元实现所有发电单元、储能单元的分布式接入。智能功率单元可以通过星载计算机软件定义工作模式,满足不同单元的接入需求。通过搭建分布式电源系统仿真模型,对不同故障情况进行了验证,结果表明:分布式电源系统的可重构控制策略,实现了电源系统高可靠运行。最后,对提出电源系统设计的优势进行了总结。