事件反馈与状态反馈的混合模监控

在监控理论中 ,处理状态膨胀的标准方法之一是基于语言或谓词的模监控 .但文献中没有涉及同时基于语言与谓词的混合模监控 .本文研究混合模监控综合及其性质 .通过提出状态反馈与某一事件反馈的等价关系 ,给出了两者相连接的定义 ,进而得到了混合模监控器等价于子监控器与子控制器的连接 .并讨论了混合模监控器具有非阻塞性与无死锁性所满足的条件 ,即基于语言的闭环系统行为的封闭性与谓词的Σu-不变性 ,而其是无死锁的充要条件是子监控器与子控制器必须均是无死锁的并满足d-不变关系     

带有部分可观察的无死锁模监控

讨论了带有部分可观察的无死锁模监控的综合问题．通过用可辨识语言来代替可观察语言引入无死锁的，可控闭语言中，利用一对监控器间的d-不变关系，得到带有部分可观察的无死锁模监控的充分必要条件是两个子监控器满足d-不变关系．最后，又给出了带有部分可观察无死锁模监控的综合过程．     

一个高效完全自适应路由器的设计

路由器在大规模并行处理机（MPP）系统中对互连网络通信性能和系统性能的发挥起着关键作用。根据全自适应路由算法BNP设计框架,给出Mesh上一类基于BNP的全自适应路由算法BBFAM（thBNR-based fully adaptive algorithms on mesh);同时提出并采用动态优先级流控,“自由度”通道选择策略,设计了一个基于BNR,简洁,低代价的高效完全自适应路由器BFR（the BNR-based fully adaptive router),并采用Aletera CPLD器件构造了原型系统。     

基于局部扭曲立方体的多播路由算法

局部扭曲立方体是一种新提出来用于并行计算的互联网络。经研究发现,局部扭曲立方体中已有最小路由算法存在着死锁。因此,在原有算法的基础上,提出了一种新的无死锁路由算法并给出了无死锁证明。利用将物理通道分成两条虚拟通道进而形成两个不相交的虚拟网络,将不同的点对之间的路由限定在某一个虚拟网络中,从而有效地避免了死锁的产生。同时,利用一个局部扭曲立方体可由两个低维子立文体和2-扭曲立方体构成这一性质,在局部的低维子立方体和2-扭曲立方体中均采用自适应路由,从而提高了算法的自适应性。在此基础上提出了一种多播路由算法。     

双层二维网格结构间的Wormhole路由算法

二维网格结构由于其较好的可扩 展性而被越来越广泛地应用,因此对于二维网格结构多处理机间的数据通信,寻找一个好的路由算法也越来越重要。以Intel公司的Option Red机器为背景,分析了双层二维网格结构多处理机间的通信机制,并且针对该实际结构,根据单层二维网格结构中以Wormhole原理为基础的Unicast自适应路由算法,提出了适用于双层二维网格结构的无死锁的Wormhole路由算法。根据该算法得出的数据传输路径是无死锁的最短传输路径。     

对角网格中的无死锁自适应路由算法

网格是多计算机中应用广泛的互连结构,提出了一种新的互连结构－对角网格。并在这种结构上提出了一类自适应无死锁的路由算法－负优先算法,证明了此算法的无死锁性。对角网格是可平面图,其结构简单,可扩充性非常好。负优先自适应路由算法的突出优点是对硬件逻辑要求简单,无须增加虚拟通道即可达 死锁和自适应。     

光刻设备TRACK系统的无死锁调度算法

为使半导体生产线光刻设备的TRACK系统正常运行,有效的避免死锁,提高设备利用率,提出一种无死锁调度算法,在不会引发死锁的条件下为需要调度的工件确定加工组件,同时考虑到组件发生故障的情况,及时排除故障的影响,并通过仿真证明了算法的有效性。     

BNR：最短路径无死锁全自适应路由算法的分析与设计工具

1 引言大规模并行计算机(MPP)系统性能的发挥极大程度上依赖于互连网络的通信性能,互连网络采用的路由算法决定了消息在网络中如何选取路径,其性能对网络效率的发挥起着重要作用,根据允许选择路径的不同,路由算法有最短路径和非最短路径以及确定性和自适应性之分,自适应又有部分自适应和完全     

面向对象范型体系结构中构件行为相容性研究

软件体系结构(SA)为基于构件的软件开发提供了一种高层次的抽象.如何有效描述体系结构中构件的对外交互行为、验证组装构件间的行为相容及保证整个体系结构行为无死锁是其中较为重要的研究内容.在基于面向对象范型这类重要的软件体系结构中,构件组装通常是通过接口方法调用加以实现.针对这样一类基于软件体系结构的构件组装问题,形式描述与定义了构件及其对外交互协议,分析了服务请求构件与服务提供构件所能展示的不同行为,给出了组装交互的构件在请求/提供接口上协议级行为相容的一组验证规则及相关定理.最后,通过一个电子商务应用实例来说明所提出途径的可用性和针对性.