pH过程测控系统可用性研究

文章是针对pH过程测控系统的可用性问题而提出的,从技术角度分析何为pH过程测控系统的可用性,如何设计pH过程测控系统的可用性,及如何测试与评估pH过程测控系统的可用性,从而为pH过程测控系统的可用性设计和测试提供方法理论支撑,设计出适合大多数用户使用的pH过程测控系统,促进pH过程测控系统的推广与应用。     

双过程机热备份集群系统的可信性建模与仿真

用SRN网为过程控制计算机热备系统建立了可用性评价模型,综合考虑盘阵共享和镜像共享两种方式,并利用SPNP软件包对数据进行分析和仿真,仿真结果为可用性评价提供了定量指标.研究结果表明:在同等条件下使用镜像共享方式比盘阵共享方式提高系统可用性更显著;缩短故障发现时间,加快系统修复速度,可有效提高系统可用性.     

Web可用性设计方法研究

Web普遍存在着不同程度的可用性问题,需要为Web设计者提供一个可用性设计方法.该方法基于UCD理论和可用性工程原理,包含三个方面：用户研究、Web设计和Web评估.用户研究主要关注网站的目标用户,Web设计旨在设计具有自描述的高可用性Web用户界面,Web评估为设计——评估的可用性迭代设计过程提供一种可用性度量手段,该方法可作为Web设计人员设计和提高Web可用性的设计指南.     

手机产品开发早期阶段用户界面评估方法

在产品开发早期阶段对产品原型进行有效的可用性评估是终端用户需求能够得以满足的重要保障.为此,以手机产品为例提出了一种结合了用户测试和问卷测量的可用性评估方法,并以手机产品的纸面原型为对象进行了实验研究.研究者选择了3款具有代表性手机作为实验的评估对象,并制作相应的纸面原型.实验中,72名参与者分别在原型和产品的用户界面上完成7个任务,然后通过填写问卷的方式对被测界面的可用性给出评价.通过分析比较真实产品和纸面原型的评估结果,验证了这一方法的有效性.结果表明,本文方法能够发现足够的可用性问题的数量和类型,说明此方法是可行的,并且对于指示界面上存在的可用性问题具有较高的敏感度.     

面向老年人的医院智能终端可用性

面向医院智能终端的可用性问题,具体探讨了信息架构深度对老年人操作绩效和过程的影响。通过不同类型医院的实地调研和访谈,发现医院智能终端的可用性问题多与信息架构相关,因此设计了以信息架构深度为自变量的单因素组内实验,研发了实验原型任务平台,并招募了11名老年人开展了实验研究。实验采集了老年人在架构深度为2、4、6、8共4个不同任务下的完成时间、错误率、方向迷失等指标,并采用Kruskal-Wallis非参数检验对实验数据结果进行分析。结果表明：信息架构深度显著影响任务完成时间,老年人使用医院智能终端时会出现方向迷失、无效点击的情况。研究结果可为医院智能终端信息架构设计提供理论参考。     

异构系统中带可用性约束的性能优化调度算法

针对可用性约束以及任务响应时间不同给异构系统中实时任务调度分配带来的处理机节点难选取的问题,提出了一种带可用性约束的性能优化调度算法(PO-SSAC)。该算法将异构系统内处理机节点、实时任务以及带可用性约束的实时任务调度过程进行数学建模,通过考虑可用性成本与任务平均响应时间的折中,引入系统综合开销的概念,根据实时任务的可用性需求为其分配系统综合开销最少的处理机节点调度执行,达到系统调度资源合理利用的目的。实验结果表明,在实时任务调度可用性方面,与SSAC算法相比,PO-SSAC算法提升了3.4%,与MinMin算法相比,提升了76.9%,与Sufferage算法相比,提升了76.5%;与Sufferage算法相比,PO-SSAC算法的系统综合开销减少了约30%,优化了异构系统的实时任务调度性能。     

基于路径负载均衡的一种避免路径失效算法

理论上证明了采用路径负载均衡技术对于提高系统可用性是有效的,提出了一种可避免失效路径的动态路径负载均衡算法.该算法结合路径等待队列长度和响应时间对路径权值进行动态调整,实时调整负载分配,提高路径带宽利用率.同时还可以实时监测路径的通断情况,屏蔽错误路径,进一步延长系统平均无故障时间,有效提高系统可用性.最后用仿真实验验证了该算法的正确性.     

数控机床可用性研究综述

数控机床可用性是可靠性、维修性和维修保障性的综合反映,是用户最为关心的一个特性。它不仅受数控机床功能故障的影响,也受诸如精度退化、性能波动、漏油等性能故障的影响,因此,孤立地研究国产数控机床的可靠性（功能故障）不足以维持产品的“可用好用状态”。分析了国产数控机床可用性的现状及研究意义,对数控机床可用性建模方法和数控机床维修决策方法的国内外研究现状进行了阐述,总结了数控机床可用性研究存在的问题和发展动态,对基于元动作单元的数控机床可用性系统化建模和以可用性为中心的数控机床主动维修决策两个亟需解决的关键科学问题提出了见解,以期为数控机床可用性研究提供思路。     

浅谈船舶机电设备状态的评估

船舶机电设备种类繁多,要实现这些设备的有序管理,例如检修、保养、更新、后勤保障等,就必须对这些设备的状态及其运行趋势有一个清晰的了解。在机电设备的管理实践中,经常采用一些测量物理量来表征各个具体设备的现实状态性能和以及可用性来表达设备、系统即时执行任务的能力。本文对设备劣化度和可用性这两个评价指标进行了详细阐述,并在可用性基础上提出了现时可用性和任务可用性的概念,以便实现对船舶机电实现全面、动态以及系统的评估。     

手持移动设备的可用性评估方法研究综述

对手持移动设备的可用性评估的研究现状进行了综述,总结分析了手持移动设在可用性评估标准、评估方法、技术手段及抽样等方面存在以下问题:1)目前手持移动设备可用性评估标准以设计人员和专家为本,缺乏以用户为本;2)现有的可用性评估方法主要以实验室测试为主,手持移动设备的可用性评估强调现场因素对用户的影响;3)现有的可用性评估抽样存在影响效度的明显问题。提出了手持移动设备可用性评估方法的进一步研究方向。     

一种综合系统固有可用度的新算法及发现

在求解系统状态微分方程的基础上,提出用对分法计算多子系统装备固有可用度的新算法.通过对计算所得数值对比,发现在相同的初始值下,按秒、分、时、日、月5种不同使用周期得到的各瞬时可用度几乎相等,且它们与稳态可用度亦几乎相等,差值在10-3量级.在相同情况下,短周期内以原有的单子系统模型计算结果比稳态值偏大,为10-2量级.这为系统固有可用度的评定及其门限值的校核提供了新的可信依据.     

道路边坡生态恢复立地质量评价

为了进一步促进边坡生态恢复,引导设计和解决人工植被恢复技术难题,分析边坡植被恢复的特点与难点,论述了边坡植被恢复限制因子选择的原则,在此基础上,构建了边坡植被恢复立地质量综合评价指标体系.采用层次分析法(AHP)进行综合评价,对限制性因子进行了赋权和排序.结果表明:土壤是边坡植被恢复的主要限制因子.立地质量评价指标体系能够为确定边坡植被恢复的难易程度以及优先顺序提供决策支持.     

多级保障系统的广义随机Petri网建模与分析

针对多级保障系统的建模及其优化问题,基于广义随机Petri网建立了三级维修二级库存保障系统的工作流模型. 根据不同等级的维修工作流,提出了广义排队时间的概念,运用扩展的排队模型分析各维修流程的性能等价时间. 为了保证单元的可用度,提出了以最小化缺货次数为目标的优化策略. 采用随机Petri网分析方法对模型进行规约优化,并构造同构的马尔可夫链,求解稳定状态概率分析系统性能,获得一种单元可用度的新计算方法.     

高可靠性冗余存储系统设计与实现

为了获得高可靠和高带宽的存储系统,使用非透明PCI-PCI桥设计了一种14槽位CompactPCI高可靠冗余系统.该系统通过对背板和系统板上非透明PCI-PCI桥工作状态的配置,可使系统工作于不同模式,满足不同应用对系统可靠性的需要,同时可为包括主系统板在内的所有板卡提供冗余备份,使故障板可以被自动隔离,从而实现在不停机的情况下系统板及其它插件的拔插.该系统的总线带宽峰值可达528MB/s,具有99.999%的高可靠性能,能满足现代网络存储、通讯、工业控制等应用领域要求.     

考虑故障零件更换时间的温贮备串联系统可靠性

以2个部件的串联系统为例,为每个部件配1个相同的备件,并为系统安排2个修理工对其进行维护.在考虑修理工可协同工作和故障部件更换需要时间的情况下,以保证系统正常工作为前提,建立该系统模型.通过状态转移率矩阵,建立了系统可用度、可靠度、故障频率及首次故障前平均时间等可靠性指标的计算模型.计算结果表明,系统稳态可用度随子系统部件寿命增长而增长,并且当两子系统部件寿命相当时系统稳态可用度增益最明显.本研究为进一步研究复杂机械系统的可靠性提供了理论基础.     

论邵阳松坡图书馆旧址的历史与文物价值

松坡图书馆旧址是纪念蔡锷将军的重要场所,其创建是基于蔡锷将军的＂爱国尚武＂与＂民主革命＂精神,毛泽东主席曾批示：＂特饬邵阳松坡图书馆列为一等图书馆＂。该馆平面布局科学合理,建筑造型美观适用,具有鲜明的时代特色。且有较好的开发利用价值。     

维修时间服从伽玛分布的K/n系统在(n,r,r)维修策略下的可用度

对于K/n系统在(n,r,r)维修策略下,且假定部件失效时间服从指数分布,维修时间服从伽玛分布的条件下,给出了该系统使用的可用度。     

加强我国商业银行操作风险管理的思考

近年来随着一些大的金融案件的发生,人们开始关注操作风险,但是对操作风险的理解还存有误区,对操作风险的管理还缺乏经验,在深入研究人们的理解误区和我国操作风险产生的原因的基础上,必须对我国商业银行加强操作风险管理和监督。     

线性积分-微分方程组的CAS小波数值解法(英文)

利用已建立的CAS小波算子矩阵数值求解一类线性积分-微分方程组,通过CAS小波逼近理论将积分-微分方程组离散化为代数方程组,最后利用数值算例验证数值求解方法的有效性.     

CR影像的噪声分析及识别

首先叙述了CR(computer radiography)系统的工作原理.在针对具体的成像环节进行详细分析的基础上,归纳了CR图像获取过程中产生的噪声原因及其所属类型.实验结果证明了降低图像噪声的方法取决于图像中的噪声类型.此结论对于恢复原始图像的噪声滤波方法的选择具有重要意义.