基于Eclipse平台的TTCN-3测试系统

分析TTCN-3标准规范中的TTCN-3测试系统通用结构,提出一种基于Eclipse平台的TTCN-3测试系统体系架构。使用Eclipse的插件机制,实现TTCN-3测试环境与Eclipse平台的集成。讨论测试系统中各模块的功能及相关实现方法,阐述测试系统的具体测试流程。实际应用表明了该测试系统的有效性。     

基于TTCN-3的手机网络应用软件测试方法研究

介绍了手机网络应用软件的主要开发技术,概述了TTCN-3标准规范中的TTCN-3核心语言、TTCN-3运行时接口和TTCN-3控制接口的基本概念,并在对手机网络应用软件网络连接方式分析的基础上,提出了基于TTCN-3的手机网络应用软件测试方法,说明了使用TTCN-3测试手机网络应用软件的测试流程.通过给出一个手机网络应用软件的测试实例,展示了这种测试方法的可行性.     

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

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

Jaguar—CTS组件事务一致性测试

虽然Jaguar-CTS提供了组件事务管理机制。但由于应用系统中组件之间的相互关系复杂,所以设计开发人员很难在设计阶段恰当地处理组件事务的一致性。文中提出用软件结构描述语言来测试组件事务一致性的方法,并通过一个具体实例说明该方法的应用。     

组件事务特征一致性测试

组件事务服务器是三层Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ体系结构中的核心部件,虽然它提供了组件事务管理机制,但由于应用系统中组件之间的相互关系复杂,所以设计人员很难在设计阶段恰当地处理组件事务的一致性。文中首先对组件事务一致性进行讨论,提出了组件事务特征一致性测试的方法,该方法可以在应用系统设计阶段测试组件事务特征的一致性,最后通过实验验证该方法的有效性。     

数据挖掘算法在排球比赛技战术分析中的应用研究

分析了数据挖掘算法在体育比赛技战术分析中应用的难点,提出了一种挖掘排球比赛制胜关键因素的方案，应用基于马尔科夫过程的数据挖掘算法，通过计算系统可靠性差分，解决了排球比赛中寻找关键动作转换过程的问题。在数据采集方面，通过寻找频繁脚本提高了采集速度，满足了临场采集的实时性要求，在数据预处理方面，针对由于排球比赛规则所产生的数据二义性问题,提出了一种为状态转移率设定阈值分别进行数据预处理的解决方案，使之满足算法应用条件。设计实验展示了该方案的正确性和可行性。     

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

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

一种基于代数方法的路由振荡检测算法研究

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

区块链容错机制与算法研究

针对Fabric区块链中orderer节点一旦故障,造成正在打包的消息序列和未及时发送出去的区块的丢失问题,提出为orderer节点增加一个容错机制.设计此容错机制的实现算法,主要包括两部分,其一是安全可靠性测试,其二是可靠性保障.安全可靠性测试是通过备用orderer实时检测主orderer的运行状态,一旦检测出故障,就立刻启动可靠性保障机制,即备用orderer恢复主orderer丢失的数据,并接管其业务,从而保障系统的正常运转,并通过模拟实验进行验证.