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

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

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

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

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

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

基于Linux的嵌入式LCD设计

本文介绍了基于Linux的嵌入式LCD设计的实现,以ARM处理器S3C2410X嵌入式芯片为平台,设计了嵌入式Linux下的设备驱动程序和帧缓冲设备驱动程序,为同一类设备定义好structfile_operations中的操作函数,处理了大部分与设备相关的操作,在framebuffer内部结构中定义了三个数据结构,实现了对LCD的控制。  

路由网络代数

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

一种SOA软件系统可信性评价方法研究

结合计算机系统可信性评价需求,研究基于SOA软件系统可信性评价方法.首先引入SOA软件代数模型,给出SOA软件可信范式,为从软件体系结构角度研究可信性评价问题奠定基础.给出SOA软件元素(服务组件和服务组合)可信属性的定义以及可信性定义;证明可信范式下SOA软件系统的Markov特性,提出SOA软件系统的综合可信性评价模型.通过一个案例解释SOA软件系统可信性模型的应用.最后通过与同类研究比较,总结本文的特点和贡献.  

MTS自动事务一致性仿真测试

MTS（Microsoft Transaction Server：微软事务服务器）是Microsoft基于组件的三层C／S（Client/Server:客户机／服务器）结构的核心部件。虽然它提供了自动事务管理机制，但由于应用系统中组件之间相互关系复杂，所以设计开发人员很难在设计阶段恰当地处理组件事务特征的一致性。文中提出了组件事务特征一致性测试的仿真算法，并通过具体实例说明该算法的有效性。  

体育计算：一个新的计算机应用研究领域

给出体育计算的定义，按照应用研究领域综述体育计算的研究现状、需要进一步解决的技术问题和解决问题的思路。介绍了视频点播技术在大型体育赛会的应用现状，提出一种适合大型体百赛会需求的视频点播方案，并介绍一个能够满足这种需求的视频点播原型系统的功能特点。介绍球类临场技战术统计分析软件的设计与实现方法，提出比赛过程以脚本划分的数据模型，从而有效地简化数据采集的数量。概述运动图像处理的技术，结合体育运动项目，提出需要解决的一些实际问题以及解决问题的方法。  

变周期窗口平面动力系统的构造与可视化

为了用同一个迭代映射构造出多个不同视觉效果的平面连续排列图案,提出一种用变周期窗口的动力系统生成具有P1对称特性的平面排列图案的有效算法.该算法采用余弦函数及含参的非线性角度变量构造一族使动力平面上各周期窗口的尺度变化的迭代映射;通过计算任意周期窗口和最大周期窗口得出窗口间相应点之间的非线性对应关系,并构造出各周期窗口中的混沌吸引子和充满Julia集,其图案是连续的且结构不同的;选用不同的周期窗口作为基本计算区域,使之与正方形像素矩阵对应,并构造出基本图元,实现了用一个映射构造出多个平面排列图案的算法.实验结果表明,采用文中算法可以生成大量具有P1对称的平面等距排列的混沌吸引子和充满Julia集图案.  

基于网格技术的物联网Savant中间件的实现技术*

简述物联网Savant中间件的工作原理,分析了目前Savant系统中存在的缺陷,并提出了相应的解决办法.讨论了网格技术的特点及与构造Savant系统紧密相关的技术细节和系统构建思想,就基于网格技术构造可扩展的Savant系统进行研究.提出了一种基于网格技术的Savant系统体系结构,并分析了这个体系结构的特点及优势.详细介绍了Savant系统的内部模块功能和交互方式,并介绍了一个能够满足这种设计需求的Savant系统原型的功能特点及实现方法.