Optimal task allocation in hypercube multiprocessor ensembles

Criteria are established to determine the optimal policy for allocating a set of uniform tasks onto a multiprocessor hypercube ensemble. It is shown that the optimal policy depends on the ratio of computation to intertask communication required by the distributed program, and that based on this ratio, tasks should be placed either all on one processor or uniformly distributed over the largest possible hypercube.     

Performance of in-call buffer/window allocation schemes for short intermittent file transfers over broadband packet networks

While static open loop rate controls may be adequate for handling continuous bit rate (CBR) traffic, relatively smooth data traffic, and relatively low speed bursty data traffic over broadband integrated networks, high speed bursty data sources need more dynamic controls. Burst level resource allocation is one such dynamic control. Potential benefits and other issues for burst level resource parameter negotiations for bursty data traffic over high speed wide area packet networks have been discussed earlier.^1–6 A detailed analysis of an adaptive buffer/window negotiation scheme for long file transfers using these concepts is presented in Reference 1. In this paper we discuss two burst level buffer/window negotiation schemes for short intermittent file transfers, focusing on the specific needs of such traffic streams. We develop closed network of queues models to reflect the behaviour of the proposed schemes. These models, while being simple, capture essential details of the control schemes. Under fairly general assumptions, the resulting network of queues is of product form and can be analysed using the mean value analysis. We use such an analysis to compare the proposed schemes and to determine appropriate sizes of trunk buffers to achieve the desired balance between bandwidth utilization and file transfer delay. The effects of other parameters on the performance of these schemes as well as on the buffer sizing rules are also discussed. Burst level (in-call) parameter negotiation may be carried out by the end system with the network elements or by an interface system (access controller) with the broadband network elements. We discuss implications of this location as well as the needed protocol features. Finally, the service discrimination capabilities desired at the trunk controllers in switching nodes are briefly discussed.     

基于小波基优化和动态比特分配的数字音频压缩编码方案

提出了一种新颖的基于自适应小波基优化选择和心理声学模型相结合的数字音频信号的透明质量编码方法，保证固定失真水平上使每帧信号的变换系数的动态分配的比特数最少，并且利用动态码本的方法来消除音频信号的统计冗余，进一步压缩比特率，对于抽样率为４４．１ｋＨｚ每样值用１６比特线性码表示的光盘单声道音乐信号可以压缩到６４ｋＢＰＳ左右。     

浅谈机械化施工的组织管理与设备调配

结合公路机械化施工的意义和作用，介绍了施工机械调配的基本要求，阐述了机械设备的运行规律及其调配原则，提出了主导机械的调配方法及相关注意事项。     

浅析当前环境下国有资产的现状和管理对策

改革开放使中国经济实现了持续高速的发展。然而,随着改革的不断深入,国有资产面临着在新经济环境下的角色转换,在此过程中由于各种原因每年有数百亿元的国有资产流失,所以,国有资产的保值增值成为现阶段乃至将来一段时间我国政府的重大经济课题。本文对国有资产的历史和现状进行了分析并从多角度提出了一些管理方面的看法。     

润滑油资源与环境

解释了资源及环境的概念,讨论了润滑油资源与环境的关系,评述了润滑油如何适应环境保护的要求.     

3G中的QoS结构及无线资源分配策略

在3G（第3代移动通信系统）中，为了给不同类型的业务提供不同级别的端到端QoS，网络资源必须进行合理分配。QoS和资源分配是密不可分的，而无线资源分配显得尤为重要。文中提出了UMTS的QoS结构，分3部分对空中接口部分的QoS（即无线资源分配策略问题）进行了讨论：首先提出了一种RRA算法，接着讨论了W－CDMA和TD－CDMA系统的无线资源分配问题，最后讨论了下行链路及上行链路的呼叫允许控制（CAC）。     

河南油田提高难采储量动用程度的做法

河南油田主力开发区已进入高含水开发后期,后备资源接替严重不足成为制约油田发展的瓶颈。“九五”期间,河南油田加大了难采储量评价和动用的工作力度,按照“整体研究、系统解剖、优选目标、重点突破、滚动发展”的工作思路,对目标区进行综合地质研究,同时运用简易开发、大斜度定向井、稠油冷采等多种开采方式动用难采储量,使资源利用程度逐年提高。“九五”期间共系统开发难采储量437×104t,增加可采储量63.3×104t,建成原油生产能力6.6×104t。文中以张店、新庄油田为重点,探讨了提高难采储量动用程度的途径。     

Model checker aided design of a controller for a wafer scanner

For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems. Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained using only a single model. Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/.