人机界面可用性测试与评估研究综述

介绍并评述人机界面可用性的定义、可用性测试与评估的指标及方法。学术界对于可用性的内涵已基本达成共识,但大多针对不同界面选取不同的测试与评估指标及权重,测试与评估方法也大都停留于主观评价,还未能深入探讨用户与系统交互过程中的内在心理机制。     

一种新的网络系统可用性度量方法

研究计算机网络系统的可用性度量,提出了一种基于面向用户的服务可用性的度量方法及公式.应用这种度量方法,讨论了几种提高网络可用性的新技术,介绍一种支持动态跨主干虚拟网的高可用性校园网建设方案.     

普适计算系统可用性度量

普适计算系统可用性度量具有典型的面向用户特点,为刻画用户行为需要引入具有非指数分布性质的用户状态,并且需要考虑用户态与系统态关联分析时的复杂情况。传统的连续时间马尔科夫链和半马尔科夫过程都不能很好地对以上情况给予分析。鉴于此,文章基于马尔科夫重生过程(MRGP)提出了普适计算系统的可用性度量方法。首先建立具有普适计算模式的用户模型,基于此构建了普适计算系统可用性度量的MRGP模型,对可用性进行了随机过程分析,给出了对应瞬态和稳态行为的度量方法,结合普适计算模式的特点定义了普适计算系统请求可用性度量。最后进行了数值分析,评价了普适计算系统可用性在MTTF和MTTR下的变化情况,据此导出来构建高可用普适计算系统需要考虑一些原则,并分析了用户和系统参数等因素对普适计算系统可用性度量的影响。     

基于可用性度量的分布式文件系统节点失效恢复算法

现有分布式文件系统中处理节点失效时采用的恢复策略耗费较多的带宽与磁盘空间资源,且影响系统的稳定性。通过研究分布式文件系统HDFS集群结构、数据块存储机制、节点与数据块状态之间的关系,定义了集群节点矩阵、节点状态矩阵、文件分块矩阵、数据块存储矩阵与数据块状态矩阵为度量数据块可用性建立了基础数据模型。在实现数据块可用性度量基础上,设计了基于可用性度量的节点失效恢复算法并分析了算法的性能。实验结果表明:新算法在保证系统中所有数据块可用性的前提下比原恢复策略减少了恢复所需带宽与磁盘资源,缩短了节点恢复时间,提高了系统稳定性。     

计算网格应用可用性的度量模型

计算网格是很容易变化的不可靠的计算环境，因此如何保证应用的可用性成为构建网格系统的关键问题之一，而首先要解决的问题是如何对计算网格的可用性进行度量，分析了计算网格可用性的特征，提出从应用的角度度量计算网格可用性的方法，并设计了一种度量计算网格中应用可用性的模型，在这一模型中，应用的可用性用一个串行RBD来描述，每个网格结点上运行的应用的任务的可用性用概率模型描述，以此模型为基础，首先分析了在计算网格中影响应用可用性的关键因素，之后讨论了该度量模型在构建计算网格高可用服务体系结构中的应用。     

面向用户的普适计算系统可用性度量模型

普适计算模式追求随时随地的计算境界,对相关可用性管理提出了很高的要求。现有研究大多基于定性的角度研究普适计算系统的可用性问题,本文尝试给出定量的可用性度量模型和分析。普适计算系统可用性具有典型的面向用户特点,为刻画用户行为需要引入具有非指数分布性质的模型状态,并且需要考虑用户态与系统态关联分析时的复杂情况。传统的连续时间马尔可夫链和半马尔可夫过程都不能很好地对以上情况给与分析。鉴于此,本文提出了一种基于马尔可夫重生过程(MRGP)的普适计算系统可用性度量方法。首先建立具有双扩展特点的用户模型,基于此构建了普适计算系统可用性度量的MRGP模型,对可用性进行了随机过程分析,给出了对应瞬态和稳态行为的度量方法,结合普适计算模式的特点定义了普适计算系统请求可用性度量。最后进行了数值分析,评价了用户和系统参数等因素对普适计算系统可用性度量的影响。     

基于MRGP的普适计算可用性度量

普适计算模式追求随时随地的计算境界,对可用性管理提出了很高的要求。该文基于定量分析的角度,提出了一种基于马尔科夫重生过程(MRGP)的普适计算系统可用性度量方法,以解决关联用户的普适计算系统可用性度量问题。建立了具有双扩展特点的用户模型,分析了用户行为特征;构建了普适计算系统可用性的MRGP模型,对可用性进行了随机过程分析,并给出了对应瞬态和稳态行为的度量方法;结合普适计算模式的特点,定义了普适计算系统请求可用性度量。进行了数值分析,评价了用户和系统参数等因素对普适计算系统可用性度量的影响。     

使用概率规则文法评估人机界面可用性

提出一种在界面系统设计规约的基础上使用的可用性评估方法.首先使用有限状态自动机抽象界面系统设计,根据概率规则文法对有限状态自动机的状态转换概率进行预测;然后结合用户的熟练程度提出了界面可用性评估算法;最后讨论了一个手机界面的可用性计算实例.文中方法能够在界面系统生命周期的早期使用,以较早地对不同设计方案进行比较,降低开发风险.     

CBID系统的可用性评估

本文采用用户测试法和用户调查法对CBID(Case Based Industrial Design)系统进行评估分析。通过对可用性评估结果的分析,进一步为CBID系统与ICAID系统可用性对比研究提供根据。     

服务网格中资源可用性评估方法研究*

资源可用性的预测与评估是动态网格环境下合理资源选择和保证服务质量的前提和基础。基于相关资源和任务的历史信息,利用概率论方法对资源可用性进行了预测与评估,提出了资源离线时间、本地任务执行时间、等待队列长度、等待时间等可用性尺度,证明并给出这些尺度的分布函数。实验表明,基于相关历史信息对资源可用性进行预测方法有效,并且根据资源可用性评估及提取的相关可用性尺度来确定任务调度的候选资源,可大大减少候选资源数目,从而降低调度的时间复杂度。     

Usability laboratories

This article provides a table with summary statistics for the thirteen usability laboratories described in the papers in this special issue. It also gives an introduction to the main uses of usability laboratories in usability engineering and surveys some of the issues related to practical use of user testing and CAUSE tools for computer-aided usability engineering.     

Usability laboratories

Abstract

This article provides a table with summary statistics for the thirteen usability laboratories described in the papers in this special issue. It also gives an introduction to the main uses of usability laboratories in usability engineering and surveys some of the issues related to practical use of user testing and CAUSE tools for computer-aided usability engineering.     

军用飞机预测与健康管理系统性能度量体系研究

基于健康退化曲线对军用飞机故障预测与健康管理( PHM)技术的内涵、基本功能和能力需求进行探讨,在此基础上,以科学评价PHM( prognostics and health management)系统的诊断和预测能力为目标,从能力需求出发提出PHM系统性能度量方法体系(包括诊断性能度量、预测性能度量以及综合度量),并对...     

Metrics for Action-labelled Quantitative Transition Systems

This paper defines action-labelled quantitative transition systems as a general framework for combining qualitative and quantitative analysis. We define state-metrics as a natural extension of bisimulation from non-quantitative systems to quantitative ones. We then prove that any single state-metric corresponds to a bisimulation and that the greatest state-metric corresponds to bisimilarity. Furthermore, we provide two extended examples which show that our results apply to both probabilistic and weighted automata as special cases of action-labelled quantitative transition systems.     

一种新的笔式交互范式的可用性评估

笔式用户界面是Post—WIMP界面的一种重要形态,具有自然、和谐的交互特性。尽管笔式用户界面广泛应用于无处不在计算环境中,但很少专门对它的可用性进行评估。针对笔式用户界面的特征,提出了一种新的笔式用户界面范式,基于此范式设计并实现了一个面向教学的笔式交互系统(PenOffice),利用此系统对范式从易学性、效率、出错率和用户满意度这几个方面进行了可用性评估,从中分析了笔式用户界面以及这种新的界面范式的优点和不足。     

复杂信息系统界面可用性指标体系研究

随着复杂信息系统在军事领域和民用领域的广泛应用及不断发展,人们对复杂信 息系统显示界面的设计有了更高层面的要求。通过可用性评估指导复杂信息系统界面设计改良, 降低系统复杂性带给用户的工作认知负荷,提高用户绩效成为亟待解决的问题。针对复杂信息 系统界面进行了研究,从界面特征、任务特征、认知特征进行了分析,提出了界面复杂性的影 响因素,构建了复杂度评估指标体系,采用层次分析法针对界面的复杂性的指标权重进行了研 究,并根据构建的复杂度模型提出了相应的可用性指标体系。     

Usability: what's it all about?

Software usability is a term which frequently appears in trade journals, industry project plans, and in research articles. This article discusses the qualities that make up usability and how these qualities can be measured. The practice of usability is discussed and problem areas are identified. The article notes the relevance of the papers in this edition to the current problems facing usability practitioners.     

面向可用性评估的协同工作系统建模

在开发以使用为中心的协同工作系统中,越来越要求在早期就能发现并修正可用性方面的缺陷,这就要求评估者对被评估系统的使用上下文有清晰的理解,进而要求在协同工作任务模型上得到充分的支持.然而,现有的界面模型和面向单用户的可用性评测技术却不能有效地覆盖最基础的协作原子行为和团队协作的上下文信息,于是从面向评估的角度提出了一种新的协同工作系统描述模型,在模型上应用快速评估方法中的遍历技术,通过迭代地模拟真实环境中系统的使用状况,可以实现低成本的早期可用性评估.实验表明,该方法较几种传统方法有一定的优势.