可生存网络系统的形式化定义

本文从网络系统的可生存需求出发,借鉴了近年来国内外的可生存研究成果,提出了规范化的网络系统的可生存性定义,并给出其形式化的描述及其实现模型,为下一阶段的系统可生存性的定量分析提供统一、规范的可生存性定义。     

一种可生存系统的自主认知模型研究

首先,提出一个具有多层感知功能的可生存系统认知模型;然后,在介绍了高阶多型π演算的语法和操作语义的基础上,对可生存系统认知模型进行形式化描述;最后,实现对可生存系统在不同攻击下的系统可用性试验,仿真结果验证了该形式化描述与分析方法的有效性和可行性。     

基于对象存储系统体系结构的研究

随着基于对象存储系统的快速发展,存储系统服务性能要求越来越高.在分析传统基于对象存储系统体系结构的基础上,提出一种体系结构SOBSS,通过扩展元数据服务器功能,简化体系结构内部数据交互模式.通过与传统基于对象存储系统体系结构的性能比较,实验结果表明,采用SOBSS体系结构在提高系统性能方面有明显的优势.     

可重构网络系统的模型及体系结构

当前信息网络正面临着各种新挑战,具有较强动态适应能力的可重构网络系统正成为人们关注的焦点.本文提出一种网络系统重构的框架模型和可重构网络系统中的主动重构策略,并在此基础上建立了分面立体型的可重构网络系统的体系结构.该体系结构融合了网络主动防御和灾难恢复的关键技术,设置了独立的控制管理面,具有更好的可控、可管和适应性,能够为网络系统的重构提供基础的、体系结构级的支持.     

海量存储系统的层次化体系结构

分析目前各种海量存储系统的体系结构研究重点,提出一种海量存储系统的5层体系结构,分别是存储物理层、存储连接层、存储网络层、存储表示层和存储应用层.通过各个层次之间相互提供/调用服务的方式,使用多种存储技术构建海量存储系统.在此基础上,设计并实现了一种基于智能网络磁盘及其文件系统的层次化海量存储系统,通过实验验证了层次化体系结构的海量存储系统的可行性和正确性.     

以体系结构为中心的构件模型的形式化语义

目前的软件开发方法采用非结构化和非形式化方式建立构件模型,构件之间的关系是隐含的,并且缺乏严格的语义,不能有效地支持自顶向下的构件重用.利用范畴论定义构件之间的关系,使得构件之间的关系以及关系组合具有严格的语义.态射合成被用来跟踪不同抽象层次的构件之间的关系,利用体系结构设计模式精确地定义构件的组合关系和应满足的条件.范畴论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于模型的理解、跟踪和重用.形式化的构件建模方法适用于以重用为目标的软件开发.     

对象存储系统形式化研究

对象存储系统是近来兴起的存储领域研究热点,它改变了传统的存储模式,用对象接口取代了传统的块接口。作为下一代互联网存储模式的关键技术——对象存储,它的出现使得海量信息存储、数据异构灵活共享、存储系统的可扩性、信息安全等问题迎刃而解。对象作为对象存储系统的基本单位,它的管理将是系统管理的关键。为了更好地研究对象存储系统对象的管理,本文对对象的形式化做了系统的研究。首先根据对象存储系统的实际给出了对象存储系统中对象的形式化描述;接着我们给出了对象存储系统的形式化描述;最后讨论了对象存储系统中对象间的关系,并通过这些对象间的关系推导出一种对象存储系统模式。对象存储系统的形式化研究将有助于我们对对象管理做进一步研究。     

云状全分布式可配置存储系统的研究

本文在明确云技术重要性的基础上,首先分析了云状全分布式可配置存储系统的设计原则,并进一步详细研究了云状全分布式可配置存储系统的设计。     

网络存储系统可生存性定量评价研究

针对网络存储系统可生存性评价的局限性,提出一种网络存储系统可生存性定量评估方法。对灰色关联分析法进行改进,建立基于信息熵差的灰色关联分析法的定量评价模型,运用熵差计算出各关键服务的生存性态势变化。利用搭建的典型网络存储环境进行测试,结果表明,基于信息熵差的灰色关联定量分析方法对于网络存储系统的可生存性评价是准确、有效的。     

基于秘密共享方案的可生存存储系统可用性评价

高可用性是可生存存储系统所追求的目标之一,而基于秘密共享方案的可生存存储系统可用性评价方法比较缺乏.本文提出了一种简单可用性评价方法和一种基于马尔可夫链模型的可用性评价方法,并给出了二者的描述模型与计算模型,然后分别利用两种评价方法对基于秘密共享方案的可生存存储系统进行了可用性评价,进而对结果进行了详细分析,并讨论了两种可用性评价方法的应用范围.两种可用性评价方法不仅可以实现对基于秘密共享方案的可生存存储系统可用性的科学评价,而且可以分析得出影响系统可用性的元素,为设计合理的高可用可生存存储系统提供了支持.     

螺旋模型在开发网络可存活性系统中的应用

介绍了网络可存活性系统的概念及其开发特点，阐述了螺旋模型适合开发网络可存活性系统的理由，介绍了采用螺旋模型开发网络可存活性系统的过程，包括需求分析、设计、编码验证、测试和维护进化等5个阶段。     

动态自适应网络存储系统的设计与实现*

为了达到网络的稳定高效运行及数据存取服务的持续可用性的目的,基于线性预测模型,建立了一种动态网络存储系统模型,引入网络监控与调整机制,采用由观测样本建立预测模型,根据预定义的约束条件和策略对存储系统自身作出自适应性调整,使存储节点负载平衡,并提高网络稳定性。通过测试其网络自动调节能力及与当前流行的网络存储系统作对比,可得出该网络存储系统模型的服务稳定性与自适应性有较大提高。     

基于多视图的复杂系统仿真概念模型体系结构研究*

针对复杂系统仿真概念建模中存在的整体性和重用性较差的问题,借鉴软件工程中体系结构的研究成果,提出了概念模型体系结构（conceptual model architecture, CMA）的概念,并将多视图方法论引入CMA构建中,给出了基于多视图的CMA的构建方法。将该方法应用于装备保障仿真系统CMA的构建中,根据系统科学中关于系统内涵的分析,从六个视角确定了装备保障仿真系统的CMA,可以为概念模型的开发提供总体架构,使概念描述更加完善,有利于提高仿真系统的可靠性、准确性和合理性。     

业务导向及模型驱动MIS软件构建的模型体系研究*

针对目前模型驱动架构对MIS开发中的业务建模与需求建模不能提供有效支持这一问题,提出一个以业务为导向、支持模型驱动MIS软件构建的模型体系;建立了一个以业务过程建模为核心的集成化建模元模型,给出了模型详细定义,为实现业务导向及模型驱动的MIS构造模式提供理论基础。     

基于Agent的综合保障信息系统体系结构研究

现代武器系统的复杂性给装备保障工作带来极大的挑战,构建智能化的综合保障信息系统是解决新型武器装备保障问题的一条有效途径.然而,如何构建这样一个复杂的智能系统,是装备保障信息化建设正面临的一项重大课题.针对此难题,引入了分布式人工智能(DAI)领域的Agent技术,提出了一种基于Agent的综合保障信息系统结构模型,并详细描述了Agent单元的基本组成,最后对多Agent的通信机制作了进一步阐述.     

海量存储系统能耗评测模型的研究

针对海量存储系统能耗建模的问题, 在理论研究的基础上用数学语言描述系统能耗的各个组成部分, 并进行整合以得出系统整体的能耗模型。通过模型估算值与实际测试值的对比, 验证了该能耗模型的有效性和可用性, 为海量存储系统能耗预估以及制定相关能耗模型提供了思路。     

基于对象存储系统中属性管理的研究与实现

针对现有属性管理方法上的缺陷和不足,提出了一种新的属性管理方法--哈希桶.哈希桶方法对对象的属性进行集中管理,不仅降低了管理存储成本,更有效地提高了系统的吞吐率.经过仿真测试表明,哈希桶对象属性管理方法性能远优于现有的属性管理方法.     

业务活动驱动系统体系结构执行研究

针对可执行体系结构研究中难以将业务体系结构的执行对应到系统体系结构的执行,并最终形成内在一致的执行体,提出了业务活动驱动系统体系结构执行的方法。该方法根据DoDAF中业务活动与系统功能多对多的关系,将业务活动用更详细的业务过程模型进行描述,并将过程模型中的行为单元对应到系统功能并触发该功能的执行。系统功能的执行将相应地触发一系列系统功能的执行,系统功能之间的系统数据交换将通过系统通信描述（SV-2）中的连接来实现,这样就建立起业务体系结构与系统体系结构之间的联系,并最终形成整个体系结构内在一致的执行体。该方法有效地解决了业务活动与系统功能之间多对多,无法形成内在一致的执行体问题,为体系结构的执行提供了一个明确、具体的可实施方案。     

基于智能存储设备的共享存储集群系统研究

随着越来越多的机构采用集群计算技术来实现高性能计算(HPC)--地球、海洋和大气科学、地震数据分析等科学研究和药物研究、汽车设计模型、商业业务冒险分析等商业应用,集群计算技术已经进化为开发高性能计算系统的主要的方法.所有的这些应用的计算都是公认的复杂.能够有效地管理与这些应用密切相关的数据集驱动了现在的集群计算技术的发展.采用智能存储设备(OSD)大大简化了元数据服务器的工作量,并且使得系统的管理和效率都得到了很大的提高.集中描述一个新的存储体系结构--基于智能OSD的共享存储集群计算系统.     

模型驱动体系结构在信息系统中的应用研究

信息系统是收集、储存、加工、传递、维护和使用信息的重要工具，是相关活动的神经中枢。作为信息化建设的中心环节，信息系统的优劣至关重要。而现有信息系统普遍存在着系统需求分析不到位、可维护性、可扩展性及可重构性差的问题。论文在分析信息系统使用中存在的问题的基础上，提出了在信息系统开发过程中应用模型驱动体系结构的思想，并且详细地分析了模型驱动体系结构在信息系统开发和改造过程中的应用。