Folded Hypercubes 在PMC模型下的可诊断数

可诊断数是衡量多处理器系统可靠性的一个重要参数。文中通过对折叠立方体的可诊断性研究,证明了在PMC模型下,折叠立方体是(n+2)-可诊断的(n≥3),且是(2n+2)/(2n+2)-可诊断的(n≥4)     

基于互测PMC模型的条件诊断算法

本文以条件诊断系统为研究对象,首先对条件诊断系统的互测PMC模型进行研究,把传统诊断系统的有向图表达式G(V,E)转换成互测有向图表达式G(F,T,M,HF),然后对条件诊断互测有向图表达式中相互关联的F、T、M、HF四个集合的性质和定理进行研究,最后提出一种基于互测PMC模型的条件诊断算法,该算法可简单、快速地找出故障模式,并对具体症侯是否有唯一故障模式进行判定.     

PMC故障模型的方程诊断

首次建立起PMC方程模型的定义(即PMC模型的方程描述).PMC模型是一种最常见的系统级故障模型,针对传统的图论诊断算法离不开"t-可诊断性"和"相信大多数"(即假定系统中故障机的台数少于处理机总台数的一半)的特点,文中引入"绝对故障基"等概念,并充分运用"集团"工具,在不以"t-可诊断性"和"相信大多数"作前提假设的情况下,找到了求PMC模型全体相容故障模式的具体方法——方程诊断算法.     

基于PMC模型的条件故障诊断

系统级故障诊断是保证复杂多处理器系统可靠性的一种重要的手段,PMC模型是一种重要的系统级故障诊断模型.本文通过对PMC模型的t条件可诊断性进行分析和论证,首次给出了互测PMC模型的t条件可诊断的充要条件.并通过构建条件故障模式方程组,然后利用自然连接和笛卡尔积等关系代数对条件故障模式方程组进行求解,进而首创了一种便捷的条件故障模式算法.本文最后根据互测PMC模型的t条件可诊断的充要条件进一步给出了一种新型的t条件可诊断判定算法,该算法简单有效.     

基于互测PMC模型的故障诊断方法及其应用

PMC模型是一种基于测试的系统级故障模型.针对传统诊断算法的弱点,作者于2003年建立起了PMC模型方程诊断算法的框架.本文的主要工作是:(1)对以往的理论进一步补充完善;(2)给出一个直接求绝对故障基的简便方法;(3)通过引入直和的概念,将高维PMC故障模型分拆成低维模型进行诊断;(4)举例说明方程诊断算法的应用.     

一种高效的基于局部扭曲立方体的悲观诊断算法

悲观诊断与精确诊断相比,可以提高系统的自诊断能力。局部扭曲立方体是超立方体的一种变体,具有可并行处理的某些性质。在PMC模型下,研究了局部扭曲立方体的诊断问题,提出了一个O(Nlog_2N)的悲观诊断算法,N是处理器总数。经典的YML算法所需时间为O(N~(2.5)),因此,该算法在时间复杂度方面是高效的。     

可重构网络的可用性模型

针对网络故障恢复机制可以对可重构网络性能产生重要影响的实际情况,从理论上对可重构网络的运行状态进行分析,提出了一种可重构网络的可用性模型。该模型以节点服务能力和网络服务能力的量化描述为基础,通过引入可重构网络的状态转移理论,以有限状态马尔科夫链进行理论分析得到。通过仿真实验对该可用性模型的有效性进行验证,仿真结果表明,理论模型计算结果与仿真结果拟合性较好,可用于描述特定可重构网络的可用性能。     

开关电容网络的广义节点故障诊断及可诊断性

本文首次引入了开关电容网络广义节点故障诊断的概念,提出了一个简单、准确、有效的算法,并着重强调了应用广义节点概念的优点。本文还探索性地研究了开关电容网络的可诊断性,并给出了可诊断性的必要条件。     

PMC：以20G芯片堤速分组和光网络融合

继7月推出HyPHY 20G产品后,近日,PMC再次向业界宣布推出了META 20G,作为20G系列的第二个产品,META 20G主要是针对电信级以太网络交换机和路由器（CESR）。PMC公司表示,在这一领域的愿景以及投资策略就是要实现及加速分组和光网络的融合。     

Cayley图在比较模型下的可诊断性

可诊断性在互连网络的可靠性中有着重要作用,当n≥4时,已经证明了n维星图是(n-1)-可诊断的。星图是属于置换树生成的Cayley图的一类形式。文中将证明当n≥5时,置换树生成的Cayley图在比较模型下是(n-1)-可诊断的     

(t,k)-diagnosability of exchanged crossed cube under the PMC model

Exchanged crossed cube(ECQ) is one of the latest achievements in the research of topology of novel interconnection networks.ECQ is a more optimized form of organization for multi-processor parallel computers,which retains the advantages of exchanged hypercube and crossed cube in terms of the smaller diameter,fewer links,and lower cost factor,and which indicates more balanced consideration.However,so far,ECQ hadn’t been formally introduced into multi-processor parallel computers.One of the main reasons was that its reliability research wasn’t yet systematic.Among them,the operational reliability represented by diagnosability was the most urgent.ECQ was taken as studying object,after topological analyzing,some important topological properties of ECQ were introduced,which determines the (t,k)-diagnosability of ECQ(s,t) under the PMC model by theoretical deduction and simulation experiments.Simulation results show that ECQ reliability complement and improvement,which provides strong technical support for subsequent application and popularization.     

基于网络模式学习方法的研究

基于网络模式学习方法的基本特征和具体特点进行系统地分析,探讨了授课者与学习者的角色定位和专研型学习策略、个性化学习策略、加盟式学习策略的模式策略。深入地研究了网络模式中的教与学的关系。提出了主动独立学习法、开放创新学习法。     

使用PMC轴功能实现对加工中心刀库的控制

本文主要分析了PMC轴的控制原理,并从实践的角度分析在加工中心刀库控制中,利用PMC轴控制的思路和控制方案。     

云计算环境下的网络安全策略

随着计算机信息技术的飞速发展,云计算技术在互联网领域得到了十分广泛的应用,云计算环境下的网络安全问题也到人们的关注。本文根据笔者对网络安全问题的理解,探讨了云计算环境下的网络安全策略。