机群系统的可用性分析计算

结合设计应用于金融领域的,由曙光天阔服务器搭建的高可用机群系统,从硬件、系统软件和应用服务软件三个方面进行分析,提出对系统可用性进行估算的一种方法,计算出所设计的高可用机群系统的可用性,证明了该高可用机群系统的可用性达到99.999%.     

一种高可用异构容错系统的混合可用性模型

为解决高可用异构容错系统的可用性评价问题,提出了一种针对高可用异构容错系统的混合可用性评价模型。设计实现异构容错原型系统,包括硬件体系结构框架及软件系统。采用Markov过程与随机Petri网相结合的方式,从可用性量化和系统状态转换两方面构建系统的可用性模型。根据该可用性模型估算系统的高可用指标,并与同构及非容错单机系统进行比较分析。结果表明,该可用性模型能够对异构容错系统进行准确的可用性评价,验证了系统5个9的高可用指标要求。最后总结了影响系统高可用性的主要因素及提升系统可用性的有效方法。     

量化评估用户感知的可用性

为了量化分析Web服务失效和性能降级的原因，提出了基于Web集群服务器的用户感知的可用性模型．首先使用Markov生灭过程估算系统状态概率，再利用排队论估算系统稳定状态下的请求丢失概率，最后结合二者建立起用户感知的可用性数学表达式，并以此来量化评估用户感知的可用性对各系统性能参数的敏感性．数值计算结果表明，影响用户感知的可用性的主要因素有2种，即低负载下的平均故障检测时间与平均无故障时间之比值，高负载下的平均故障修复时间与平均无故障时间之比值，同时用户感知的可用性可以通过增加后端节点的个数来改善，当后端节点数增加到一定程度时，该性能将趋于平稳．     

一种可动态更新的高可用中间件框架

针对动态更新缺乏对分布式应用支持的缺陷,提出了一套可动态更新的高可用中间件框架,用于分布式环境中高可用服务的开发．它包含了一套灵活的动态插件管理框架,可完成单进程的动态更新,同时提供了一套分布式协作服务管理框架,来完成多进程协同服务的同步动态更新．通过实现服务可用性论坛提出的高可用应用接口规范,验证了该框架具有单进程及多进程同步动态更新的能力．     

高可用性系统研究

高可用系统是每一个系统所追求的最佳性能。分析了系统停机的主要原因,从机房环境、服务提供、数据管理、容灾、管理制度等方面探讨了增强系统可用性的方法。     

高可用数据库系统中的分布式一致性协议

可用性和一致性是分布式数据库系统中的两个重要特性和基础,需要借助分布式一致性协议来保证.保证一致性需要使用一致性协议为并发的事务更新操作确定一个全局的执行顺序,并协调局部状态和全局状态不断地达到动态一致.可用性的实现,需要一致性协议协调多副本之间的一致来实现主备节点的无缝切换.可见,分布式一致性协议是高可用数据库系统的实现基础.本文梳理、综述了经典的分布式一致性协议以及一致性协议在高可用数据库系统中的主要应用,并对分布式一致性协议的实现代价和局限性进行了分析与评估.     

可用性语义Web服务的通用发现机制

针对复杂组合Web服务的选择问题,提出了一种基于可用性的语义Web服务发现方法.使用动态自适应模板来寻找可用的组合Web服务,结合语义匹配度量化Web服务的功能、非功能属性,在形式化定义组合Web服务的可用性等规则的情况下,基于可用性的量化值进行排序,从而得到最合适的Web服务.将以建议规则实现的匹配引擎运行于原型系统,结果表明所提方法可以实时选择复杂组合Web服务,适用范围也比较大,并在查全率的基础上能够获得最优解.     

随机多址接入过程的计算机仿真分析研究

以时间连续型随机接入信道平均周期法分析模型为研究对象,利用面向对象分析设计(OOAD)的方法,提出了一种算法,实现了随机多址接入机制的计算机仿真.该算法从信息分组的角度来观察信息在信道上的传输过程.仿真实验结果具有正确性、可用性和较好的可扩展性.     

具有到达时间和禁用区间的单机平行批排序

研究工件带有到达时间且机器带有可用性限制(禁用区间)的单机平行批排序问题.假设机器在一些不交的时间区间上不可用.工件以平行批的形式在机器可用的时间区间上加工,并且不可中断.一个批的加工时间是这一批中加工时间最长的工件的加工时间.对任意的正则目标函数,当工件带有到达时间且机器带有可用性限制时,给出了单机平行批排序问题的一个拟多项式时间算法.     

海口市连续运行卫星定位综合服务系统(HK-CORS)精度测试

为了评定海口市连续运行卫星定位综合服务系统(HK-CORS)各项技术指标是否达到设计要求,从定位精度、时间可用性、空间可用性、网络RTK初始化时间以及对目前市场上主流的不同厂家仪器的兼容性等5个方面对系统进行了测试。     

教学网站的可用性设计

本文介绍了可用性的含义和高可用的基本标准,分析了教学网站用户的需求,并以此为基础,结合可用性设计的基本原则,提出了若干教学网站可用性设计准则,并通过以上准则对本校教学网站进行了可用性设计。     

HJ-1光学卫星应用潜力

根据HJ-1光学卫星技术参数,从技术可用性、数据可用性两个角度,全面分析HJ-1A、HJ-1B卫星的数据获取情况及应用潜力。研究表明,HJ-1星座光学卫星具备直接获取中国和周边国家对地观测数据的能力,可满足全球范围内紧急情况下的应急观测需求;高时间分辨率、高光谱分辨率、中高空间分辨率的数据特点,可基本满足中国及周边国家环境监测与灾害管理方面的主要应用需求,在其他领域也具有广阔的应用前景。     

基于MUG的公共图书馆网站可用性评估与建议

介绍了微软可用性指南（MUG）所包含的内容、易用性、促销、定制服务和情感因素等5个方面的主指标,基于公共图书馆网站的特质,从用户的角度出发,提出了加强图书馆网站建设的具体措施。     

疫情背景下学术图书馆数字资源远程服务实践研究 ——以上海市委党校图书馆为例

疫情防控常态化对图书馆数字资源远程服务提出新的更高要求.基于国内党校系统图书馆数字资源远程服务现状以及现有数字资源远程服务技术两个维度的调查分析,从规划构建合适的数字资源远程服务方案以及提升服务可用性与便捷性、安全性的角度提出了若干建议,并从智慧图书馆建设的视角,对加强学术图书馆数字资源远程服务进行了展望.     

形式规约模式及其重用技术研究综述

设计模式的形式规约描述的研究对于设计模式的广泛重用具有重要意义.规约模式就是用某种形式化语言表示的设计模式.文章从模式定义、重用机制、可用工具、方法可用性等角度分析比较了几种主要的设计模式形式化方法.最后讨论了当前存在的问题及其发展趋势。     

一种可用性增强的计算网格作业执行模型

为增强服务网格中的用户QoS水平,文中针对由大量可用性不高的资源组成的网格环境,提出了可用性增强的作业执行服务(AJES)的概念及确定方法,基于该概念提出了可用性增强的作业执行模型(Availability-enhanced Model for Job Execution,AMJE),通过将AJES中多个网格节点的资源分配给作业冗余执行,以增强其可用性.在AMJE中,不同参与方根据各自利益进行博弈,求得了折中的AJES可用性阈值.实验结果表明,文中提出的作业服务模型能显著提高资源收益,增强用户QoS的保障水平,且对于可用性动态变化的网格环境具有更好的适应性.     

基于可用能力建模的云虚拟机动态调整策略

云资源的可用性对资源管理带来一定的挑战,针对以往工作忽略云计算系统由于资源不足造成的不可用情景,提出一种可用性感知的虚拟资源动态调整策略(ADAR),利用马尔可夫模型对虚拟机可用能力进行建模,能够评估未来时刻资源的缺失情况对应用服务影响,根据评估结果对作为虚拟机资源进行调整指导。仿真实验验证了ADAR策略具有可行的效果,有效地降低资源浪费、降低云任务的完成时间和提高系统利用率。     

一种基于模糊代数的Web服务质量计算方法

反映服务调用中存在的不确定性、克服已有服务质量计算方法的主观性和考虑各种影响服务质量因素内在联系为动机,从不同角度定义了服务调用的信誉度、可靠性和可用性三个因素。通过对服务调用的历史信息进行统计计算,得出各因素的值。根据模糊代数的相关方法,定义了计算多个因素联合贡献的算子,给出了一种无加权因子的Web服务质量计算函数。此方法不依赖于各影响因素的重要性,具有较好的可扩展性。     

基于变异测试的RESTful Web服务测试数据优化生成方法

为提升基于REST的Web服务系统测试数据生成效率及可用性,提出了一种基于变异测试的测试数据优化生成方法.将RESTful Web服务对应的Web应用描述语言(WADL)增加数据类型约束,并利用该约束生成初始测试数据.对约束关系进行变异生成变异体,在消除等价变异体并利用聚类实现变异体集约简的基础上,结合贪心算法优化筛选初始测试数据,生成无冗余的RESTful Web服务可用测试数据集.基于Hadoop平台技术,实现了针对RESTful Web服务系统测试数据自动生成的支撑软件.测试执行结果表明,在有效保证测试数据可用且无冗余的基础上,极大缩减了测试数据集规模和测试数据生成时间,完成了针对RESTful Web服务系统的自动化测试数据优化生成,提升了测试生成效率.     

一致性协议在分布式数据库系统中的应用

近年来分布式数据库产品层出不穷,但分布式数据库较于单机数据库更复杂,为了让系统可用,设计者需要采用一致性协议来保证分布式数据库系统中的可用性和一致性这两个重要特性.保证一致性需要使用一致性协议为并发的事务更新操作确定一个全局的执行顺序,并协调局部状态和全局状态不断的达成动态一致;保证可用性需要一致性协议协调多副本之间的一致来实现主备节点的无缝切换.因此分布式一致性协议是实现分布式数据库系统的重要基础.详细介绍了经典的分布式一致性协议以及在目前常见的几种分布式数据库系统中一致性协议的应用,并从读写操作、节点类型与网络通信等方面进行对比分析.