基于组件的软件可靠性模型

首先对不同的软件体系结构描述语言（ADL）进行分析，找出体系结构的共性，用抽象代数和一代阶逻辑理论对组件，连接器和软件体系结构的属性和动态行为进行讨论和描述，探讨不同连接形式下的软件体系结构，给出基于组件的软件可靠性模型，在此模型基础上，对基于组件的软件系统的可靠性计算模型进行研究，提出一种半Markov模型，并在理论上证明该模型的可用性，最后通过CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用。  

软件体系结构：一个新的研究领域

计算机软件系统中软件成分越来越复杂,系统规模不断扩大,使得软件体系结构越来越庞杂,软件系统的质量和性能已经不再仅仅取决于软件实现算法和数据结构,软件系统体系结构在一定程度上决定系统的优劣,因此软件体系结构(Software Architecture,AS)研究已经逐渐地引起计算机界的重视。软件体系结构作为一个新兴的计算机学科,它的理论体系和解决问题的方法尚未形成。加强其基础理论和应用方法的研究,不论对学科发展,还是对软件生产都具有理论意义和现实意义。  

软件体系结构性能评价研究

1 引言随着软件规模和复杂程度不断地扩大和增加,软件开发的成败已不再完全取决于数据结构和软件算法的选择,而是在很大程度上取决于软件系统体系结构(Software Architecture)的设计。软件体系结构已经成为一个新兴的计算机学科。所谓的软件体系结构是问题解决方案的逻辑框架,它包括系统中各计算单元(组件)的功能分配、各单元间的高层交  

基于组件的决策支持系统模型设计与实现

决策支持系统（Decision Support System简称DSS）是模型驱动的，DSS中模型的设计与实现是一个有待进一步研究的问题。本文把组件技术引入到DSS模型的设计与实现中来，提出基于组件技术的DSS的模型设计与实现策略。给出基于组件思想的DSS模型定义和运算，并给出基于组件技术的DSS基模型和复合模型的实现方法。  

基于AS关系的BGP路由策略冲突检测研究

对违背AS关系配置原则的路由不稳定性进行研究，提出一种基于AS关系的路由策略冲突检测算法，该算法根据AS关系下的路由策略配置原则，通过把AS关系对象集合与实际导出的AS关系集合比较，发现路由策略冲突，该算法既可用于静态也可用于动态的路由策略冲突检测。  

基于组件技术的DSS模型设计与实现

决策支持系统（ＤＳＳ）是模型驱动的，ＤＳＳ中模型的设计与实现是一个有待进一步研究的问题，该文把组件引入到ＤＳＳ模型的设计与实现中，提出基于组件技术的ＤＳＳ模型设计与实现策略，给出基于组件思想的ＤＳＳ模型定义和运算，并描述基于组件技术的ＤＳＳ基模型和复合模型的实现方法。  

一种基于分形特征的图片分类算法

图片分类可用作图像搜索引擎的预滤波,以降低图像检索时的图像匹配数量,提高检索速度。本文提出了一种基于分形特征———局部分维数变化率(LFDS)的图片分类算法,该算法不需要任何的图像先验知识,仅利用分形特征就可将自然景物的照片和人工绘制/计算机生成的图形区分出来。系统随机测试了445幅大小从192×128到2012×3094不等的图片,该算法对图形库的分类准确率为91·71%,图像库分类准确率为85·25%,实验结果证明了该算法的快速和有效性。  

面向服务的可信软件体系结构代数模型

针对面向服务体系结构(Service Oriented Architecture,SOA)在形式化和可信属性建模方面的不足,用代数学方法对服务、服务组合以及服务体系结构的属性和行为特征进行抽象,把服务组合解释成组件运算实现,并结合进程代数中算子概念,定义了多种服务组合运算,从而建立SOA的代数模型.在代数模型基础上,进一步对SOA可信属性建模,提出多种SOA可信范式,为可信SOA软件设计提供理论支持.最后介绍了一个应用案例.  

路由网络代数

基于基本网络代数 (BasicNetworkAlgebra ,BNA)和LOTOS/E LOTOS ,该文提出一种适合于分析Inter net路由系统行为的代数系统 .该代数系统称为路由网络代数 (RoutingNetworkAlgebra,RNA) ,它结合了BNA中的并行、串行运算以及LOTOS中的同步并行运算 ,并在此基础提出更适合于描述Internet路由系统行为的选择运算“ ”、协同并行“ ”以及路由网络常量 ,如m×n(路由转发 )、∧ m(分支 )、∨ m(合并 )、⊥ m(下沉 )和┬ m(亚元 ) .通过分析由上述代数运算和路由网络常量构成的路由网络代数模型 ,可以分析路由系统中死锁 (deadlock)和活锁(alivelock)等行为 .为了检验路由网络代数的有效性 ,完成了BGP路由稳定性的实验分析工作 .