基于弱同步的服务交互适配方法

为了使各种行为或接口描述异构的服务能正确交互,提出了一种适配方法.该方法以消息映射规则描述消息和消息参数之间的映射关系,以标签转换系统来描述服务的行为,以同步向量来描述服务之间的交互,以弱同步的方式来控制服务之间的交互过程.通过算法和弱同步的思想解决了标签转换系统中无法实现消息存储转发功能的问题.实验结果表明,该方法不仪能解决消息和消息参数之间的基调失配,还能解决行为失配中未指定的消息接收失配.     

使用系数矩阵变换极性转换的MPRM电路面积优化

为缩短布尔函数系统混合极性Reed-Muller(mixed-polarity Reed-Muller,MPRM)电路面积优化过程的时间,提出了能在任意极性值的MPRM间进行极性转换的系数矩阵变换方法.使用系数矩阵表示布尔函数系统,通过对系数矩阵进行分隔,使用置换和折叠操作完成MPRM极性转换以加快极性转换速度;在此基础上,给出了适用于较大规模MPRM电路的面积优化算法,其中使用遗传算法进行极性空间搜索,并采用基于最短个体距离的适应度计算方法进一步缩短优化过程中的极性转换时间.实验结果表明,与其他MPRM极性转换方法相比,文中方法能够提高MPRM电路面积优化的速度.     

软件可靠性预测中不同核函数的预测能力评估

基于核函数回归估计理论的软件可靠性预测建模引起诸多研究者的兴趣.此类研究中,核函数选择问题尤为重要.然而目前还很少有针对所给软件失效数据进行核函数选择或者构建核函数的工作.在14个常用软件失效数据集上应用配对t-检验对基于核函数理论的软件可靠性预测模型中核函数选择问题进行研究.使用的核函数回归估计方法包括核主成分回归算法、核偏最小二乘回归算法、支持向量回归算法、相关向量回归算法;核函数包括高斯核函数、线性核函数、多项式核函数、柯西核函数、拉普拉斯核函数、对称三角核函数、双曲正割核函数、平方正弦基核函数.实验结果表明:不同类型的核函数在不同数据集上表现差异较大,高斯核函数在所有数据集上表现较为稳定,预测结果最好.     

安全逻辑器件与CMOS B／T逻辑电路及其噪声容限

本文从容错计算技术的使用效果出发,将其分为故障诊断、资源冗余和故障安全三类技术。在分析传统故障安全技术的基础上,建立了一个统一的安全逻辑系统概念模型,并以此对该种系统进行了分类。作为一类扩展故障安全逻辑器件,文章重点介绍了三中取二值CMOS 逻辑电路,并参照CMOS 二值集成电路参量体系,结合实际测量结果提出了CMOS 三中取二值逻辑器件噪声容限的定义及其解法,从而为进一步完善该类新型器件的参量体系奠定了基础,同时还有利于其推广应用。     

基于GM模型的软件可靠性建模

将灰色理论应用于软件可靠性建模研究,通过对历史失效数据进行建模,对软件的下一步失效时刻进行预测。为验证该模型的预计精度,将其应用于多组广泛被认可的数据,通过计算度量元短期相对误差（SRE）与经典的可靠性模型进行比较,结果表明,基于GM的模型对将来失效时间间隔的预测更加准确。     

软件可靠性模型研究进展

软件可靠性模型旨在根据软件失效数据,通过建模给出软件的可靠性估计值或预测值.它不仅是软件可靠性预计、分配、分析与评价的最强有力的工具,而且为改善软件质量提供了指南.对近年来提出的多种不同的软件可靠性模型进行分类剖析,讨论了部分模型的预测能力和适用性,分析了多个模型适用性差的原因,还对未来的研究趋势进行了展望.     

高性能处理器的差错校正技术

随着芯片密度的不断增加和对可靠性要求的不断提高,高性能处理器的容错设计越来越受到关注.对近年来高性能处理器的差错校正技术进行了分析和比较,它们被分为时钟级差错恢复、指令级差错恢复、线程级差错恢复以及重构等4类,研究对象包括研究方案、原型和产品.研究结果表明,以片上多处理器和/或同时多线程为特征的高性能处理器除了沿用传统的容错技术之外,多以固有的、旨在为改善性能而重复设置的硬件资源为基础来设计容错机制和调度方案.     

计算机网络互连的低成本高可用设计

本文主要研究了如何构成低成本高可用的计算机网络的原理和技术 ,包括低成本高可用网络的设计目标和网络通信链路、主机、服务器和网络设备 (如集线器、交换机、路由器 ,还包括程控交换机 )的低成本高可用结构的设计     

动态可配置的两阶段虚拟机容错分配方法

提出了一种随着虚拟机资源请求和应用程序可用性水平不断变化的两阶段虚拟机容错分配方法。第一阶段根据虚拟机资源请求变化求解不同的虚拟机初始分配方案集合,第二阶段通过虚拟机在线迁移与虚拟机热备份技术,根据应用程序可用性水平不断变化求解虚拟机容错分配方案。实验结果表明,与现有的方法相比,该文提出的两阶段虚拟机容错分配方法性能更好,系统可用度更高。     

融合面积估算和多目标优化的硬件任务划分算法

针对可重构计算机系统配置次数(划分块数)的最小化问题,提出了一种融合面积估算和多目标优化的硬件任务划分算法。该算法每次划分均进行硬件资源面积的估算,并且通过充分考虑可重构资源的使用、一个数据流图所有划分块执行延迟总和、划分模块间边数等因素构造了新的探测函数prior_assigned(),该函数能够计算每个就绪节点的优先权值,新算法通过该值能动态调整就绪列表任务节点的调度次序。实验结果表明,与现有的层划分、簇划分、增强静态列表、多目标时域划分、簇层次敏感等5种划分算法相比,该算法能获得最少的模块数,并且随着可重构处理单元面积的增大,除层划分算法之外,其执行延迟的均值也是最小的。