基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

关于收缩算子的异步迭代收敛性

论证了Ｆ为收缩算子时,求解Ｘ＝Ｆ（Ｘ）的异步迭代方法初值选取范围,提出了异步迭代的大范围收敛方法。     

多机环境下系统程序并行化的实现方法

本文给出了多处理机环境对系统程序的要求,阐述了系统程序并行化研制过程中遇到的问题和解决办法,给出了实现临界段互斥的三种处理方法及其性能评价。     

GKD-l RRC 机器人控制器与力反馈顺应控制研究

GKD-1 RRC是为开展机器人力反馈顺应控制的研究而设计的新型机器人实时控制器。本文介绍了它的主要性能、特点,并对用它在PUMA 562机械手上完成的几个典型的力/位置混合控制实验及其控制策略、实验结果进行了说明。实验表明,以GKD-1 RRC为核心的机器人力控制系统,控制周期仅为4.88ms,力控制稳态误差平均小于100g,位置控制精度不低于机械手原有水平,证明GKD-1 RRC控制器性能优越。     

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

调度感知同步数据流建模

对流应用系统进行吞吐量分析需要将周期静态顺序调度建模到数据流图中,吞吐量分析效率依赖于数据流图的规模及建模时间。为了提高吞吐量分析效率,提出基于同构同步数据流图的调度感知同步数据流模型及相应建模方法。通过利用应用模型结构特征及周期静态顺序调度,可减少模型中的任务、边和初始符号数目;可以使用已有分析方法对模型进行吞吐量分析。实验结果表明,所提建模方法优于已有方法,可有效提高吞吐量分析效率。     

一种用于 UWB 雷达实时信号处理的可重构多处理机结构

超宽带（UWB）雷达信号处理是个多任务、大运算量的过程，必须采用多处理机并行处理技术。本文对UWB雷达实时信号处理系统的特点进行了深入的分析，在比较各种多处理机系统优缺点的基础上，提出了一种可重构的UWB雷达实时信号处理系统结构。将此结构应用于实际系统表明，该结构具有良好的性能，并具有可重构性和扩展性。     

一种多处理机集束总线互连结构性能分析

针对紧耦合多处理机系统中采用的集束总线结构 ,对系统中单个处理机的处理效率进行了分析 ,据此 ,提出了关于该类互连结构中总线和存储器设置方面的建议。最后 ,对集束总线结构、共享总线结构和分布式总线结构系统的性能进行了比较分析。     

Transputer 处理机在连续系统并行仿真中的应用

Transputer是最近几年由lnmos公司研制推出的一种新型VLSI单片计算机,它具有价格低廉,处理能力强,方便灵活等特点,其应用广泛。作者将连续系统仿真应用中的一个典型实例——某型号飞机六自由度飞行的仿真——在Transputer,YH—F1,YH—1等各种类型计算机上求解。结果表明,Transputer多机系统具有很高的性能价格比,比大型机约高一个数量级。     

Parallel machine scheduling with job assignment restrictions

In the classical multiprocessor scheduling problem independent jobs must be assigned to parallel, identical machines with the objective of minimizing the makespan. This article explores the effect of assignment restrictions on the jobs for multiprocessor scheduling problems. This means that each job can only be processed on a specific subset of the machines. Particular attention is given to the case of processing times restricted to one of two values, 1 and λ, differing by at most 2. A matching based polynomial time ε‐approximation algorithm is developed that has a performance ratio tending to . This algorithm is shown to have the best possible performance, tending to 3/2, for processing times 1 and 2. For the special case of nested processing sets, i.e., when the sets of machines upon which individual jobs may be assigned are non‐overlapping, the behavior of list scheduling algorithms is explored. Finally, for assignment restrictions determined by just one characteristic of the machines, such as disc storage or memory constraint in the case of high performance computing, we contribute an algorithm that provides a 3/2 worst case bound and runs in time linear in the number of jobs. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2007