Proactive resource allocation for asynchronous real-time distributed systems in the presence of processor failures

We present two proactive resource allocation algorithms, RBA^*-FT and OBA-FT, for fault-tolerant asynchronous real-time distributed systems. The algorithms consider an application model where task timeliness is specified by Jensen's benefit functions and the anticipated application workload during future time intervals is described by adaptation functions. In addition, we assume that reliability functions of processors are available a priori. Given these models, our objective is to maximize aggregate task benefit and minimize aggregate missed deadline ratio in the presence of processor failures. Since determining the optimal solution is computationally intractable, the algorithms heuristically compute sub-optimal resource allocations, but in polynomial time. Experimental results reveal that RBA^*-FT and OBA-FT outperform their non-fault-tolerant counterparts in the presence of processor failures. Furthermore, RBA^*-FT performs better than OBA-FT, although OBA-FT incurs better worst-case and amortized computational costs. Finally, we observe that both algorithms robustly withstand errors in the estimation of anticipated failures.     

半导体晶圆制造车间层控制的内容及方法

半导体晶圆制造企业是资本密集、技术密集型产业,晶圆制造厂也是公认生产最为复杂的工厂之一。产品更新换代快、市场竞争激烈等特点使得投资者对设备产能和设备利用率高度重视。这已不仅仅是技术问题,而是生产制造过程管理的问题。本文介绍了半导体晶圆制造车间层控制的内容及方法。     

Implementation and experimental studies of an adaptive self-optimizing power system stabilizer

This paper describes the implementation and experimental studies of an adaptive self-optimizing pole shifting power system stabilizer. Using an Intel iSBC386/21 single-board computer, the adaptive power system stabilizer has been tested on a physical model of a single-machine infinite-bus power system. Under different operating conditions and disturbances, the behavior of the proposed adaptive stabilizer was investigated. Comparison has also been made to a digital-type conventional fixed-parameter power system stabilizer. Results of the experimental studies show that the proposed adaptive stabilizer outperforms the conventional stabilizer.     

DSP-based digital FM demodulation for GMSK signals

Demodulation of Gaussian Minimum Shift Keying (GMSK) using a limiter-discriminator is a low complexity alternative to coherent demodulation. This so-called digital FM demodulation is followed by clock recovery, sampling, and thresholding. Conventionally, clock recovery is done in hardware, and matched filtering is usually not possible when the Gaussian pulse is wider than a bit duration. We propose a clock recovery technique based on discrete-time processing of the demodulated baseband signal. This technique couples very nicely with a new maximum likelihood sequence estimator for the data that uses a whitening filter followed by a Viterbi decoder. The entire detection algorithm can be implemented in an efficient manner on a Digital Signal Processor (DSP). Computer simulation results are presented to show that the new algorithm performs better than the conventional slicer by as much as 5.5 dB.     

Synthesizing Energy-Efficient Embedded Systems with LOPOCOS

In this paper, we introduce the LOPOCOS (Low Power Co-synthesis) system, a prototype CAD tool for system level co-design. LOPOCOS targets the design of energy-efficient embedded systems implemented as heterogeneous distributed architectures. In particular, it is designed to solve the specific problems involved in architectures that include dynamic voltage scalable (DVS) processors. The aim of this paper is to demonstrate how LOPOCOS can support the system designer in identifying energy-efficient hardware/software implementations for the desired embedded systems. Hence, highlighting the necessary optimization steps during design space exploration for DVS enable architectures. The optimization steps carried out in LOPOCOS involve component allocation and task/communication mapping as well as scheduling and dynamic voltage scaling. LOPOCOS has the following key features, which contribute to this energy efficiency. During the voltage scaling valuable power profile information of task execution is taken into account, hence, the accuracy of the energy estimation is improved. A combined optimization for scheduling and communication mapping based on genetic algorithm, optimizes simultaneously execution order and communication mapping towards the utilization of the DVS processors and timing behaviour. Furthermore, a separation of task and communication mapping allows a more effective implementation of both task and communication mapping optimizationsteps. Extensive experiments are conducted to demonstrate the efficiency of LOPOCOS. We report up to 38% higher energy reductions compared to previous co-synthesis techniques for DVS systems. The investigations include a real-life example of an optical flow detection algorithm.     

实时中间件的研究与实现

解决分布式应用日益增多的实时问题需要实时中间件.实时中间件是分布式实时应用的支撑平台,它为应用提供表达实时约束的手段,并提供调度请求的机制和多种控制资源的方法,从而为分布式应用实现执行时间的可预测性提供方法.本文给出了实时中间件的概念体系,在分析中间件的体系结构模型的基础上,提出了一个多级线程池实时中间件体系结构,该模型不仅具有较强的并发处理能力,而且可以控制网络和请求使用的各种资源,能够提高系统的时间可预测性.采用该体系结构,我们实现了一个遵循实时CORBA规范的实时ORB,并通过详细的对比测试验证了多级线程池实时中间件模型的有效性.     

Optimal Operation of Reservoir Systems using Simulated Annealing

A stochastic search technique, simulated annealing (SA), is used to optimize the operation of multiple reservoirs. Seminal application of annealing technique in general to multi-period, multiple-reservoir systems, along with problem representation and selection of different parameter values used in the annealing algorithm for specific cases is discussed. The search technique is improved with the help of heuristic rules, problem-specific information and concepts from the field of evolutionary algorithms. The technique is tested for application to a benchmark problem of four-reservoir system previously solved using a linear programming formulation and its ability to replicate the global optimum solution is examined. The technique is also applied to a system of four hydropower generating reservoirs in Manitoba, Canada, to derive optimal operating rules. A limited version of this problem is solved using a mixed integer nonlinear programming and results are compared with those obtained using SA. A better objective function value is obtained using simulated annealing than the value from a mixed integer non-linear programming model developed for the same problem. Results obtained from these applications suggest that simulated annealing can be used for obtaining near-optimal solutions for multi-period reservoir operation problems that are computationally intractable.     

船艇电站仿真与综合管理系统

论文介绍了船艇电站模拟器的组成和实时仿真功能,着重描述了多层次的图形管理系统及其仿真界面。课题将多媒体课件制作与模拟器有机地结合,涵盖了船舶主要电气设备的控制电路,既利于实践训练又便于原理的讲解,并在实践中取得了良好的效果。     

Processor Utilization Bounds for Real-Time Systems With Precedence Constraints

This paper presents a novel approach to computing tight upper bounds on the processor utilization for general real-time systems where tasks are composed of subtasks and precedence constraints may exist among subtasks of the same task. By careful analysis of preemption effects among tasks, the problem is formulated as a set of linear programming (LP) problems. Observations are made to reduce the number of LP problem instances required to be solved, which greatly improves the computation time of the utilization bounds. Furthermore, additional constraints are allowed to be included under certain circumstances to improve the quality of the bounds.     

功率管焊接质量射线检测

介绍采用射线方法检测功率管芯片与基座之间的焊接质量。试验证明，选用合适的透照参数可使X射线照相和X射线实时成像对焊接部位的检测均得到较高的对比灵敏度，但X射线照相法成本低廉，一次可透照多个工件，效率高，为该功率管焊接质量的理想检测方法。