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

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

摘要：基于路由网络代数(Routing Network Algebra,RNA)提出了一种新的路由振荡检测方法.通过建立路由系统的路由网络代数模型,把路由分析转化为代数演算;通过引入路由网络元素线性相关性概念,证明了路由振荡的充分必要条件是网络元素线性相关.在此基础上,提出了O(H×L+N2)时间级的路由振荡检测算法.为了支持文中提出的算法,设计实现了一个路由振荡检测程序,通过对多个真实的路由表检测,进一步说明了上述算法的可行性.

摘要：对DSS模型代数在实际系统中的建模方法进行研究,并结合一个实际应用系统介绍DSS模型代数的应用。在应用系统中采用Java技术对DSS模型之间的各种通信方式编程,充分体现了DSS模型代数的实用性。所形成的设计模式可以有效地应用到具体的DSS系统的开发中。

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

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

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

摘要：为了实现由BPEL描述的Web服务组合到LOTOS的自动化转换,提出一种基于翻译模式的转换算法。从BPEL语言的XML schema定义出发,分析BPEL本身的语言结构,得到BPEL语言的产生式。再根据BPEL到LOTOS的语义映射规则,设计BPEL到LOTOS的翻译模式。同时,在基本映射规则之上,给出BPEL到LOTOS的数据类型和故障处理机制的转换规则。最后结合Web服务实例,验证该工具的可行性。

摘要：软件体系结构是应用系统的逻辑框架 ,在设计阶段分析软件体系结构的各种性能指标 ,可以改进软件系统设计·提出一种基于随机进程代数 (stochasticprocessalgebra简称SPA)的软件体系结构建模方法 ,该方法把软件体系结构建模与性能评价相结合 ,从而可以在系统设计阶段分析软件体系结构的性能·实践验证该方法更简单。

摘要：为满足组合投资预测对数据的需求,提出一种基于增量式贝叶斯网络模型的大数据生成方法。使用时间序列生成算法对未来各项数据进行部分生成;结合新生成数据对历史数据训练的贝叶斯网络模型进行更新,使更新后的贝叶斯网络能够体现该时间段内新旧金融数据中各项变量之间的关系及蕴含的规律;在贝叶斯网络中通过路径搜索算法生成投资组合路径的集合,根据其中各路径的概率分布,生成具有真实数据特征的可用于组合投资预测的大数据集。实验结果表明,该方法具有可行性,保证了一定的准确度。