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.     

能量"三环节"理论在原油蒸馏装置扩能改造中的应用

中国石化扬子石化股份有限公司炼油厂在第一套常减压蒸馏装置扩能改造中，使用了多项节能技术以实现能量的优化利用。本文以标定数据为基础，运用能量“三环节”理论对该装置的用能状况进行了计算和分析，从能量利用角度对装置的扩能改造效果进行了评价，并为装置的进一步优化能量利用提出了相应措施。     

Modelling topology optimization problems as linear mixed 0–1 programs

This paper deals with topology optimization of discretized continuum structures. It is shown that a large class of non‐linear 0–1 topology optimization problems, including stress‐ and displacement‐constrained minimum weight problems, can equivalently be modelled as linear mixed 0–1 programs. The modelling approach is applied to some test problems which are solved to global optimality. Copyright © 2003 John Wiley & Sons, Ltd.     

OFDM技术及其应用

首先对OFDM的发展以及应用做了简要的介绍,然后讨论了当前OFDM研究过程中的两个关键技术问题,最后展望了OFDM的未来发展。     

Experimental investigations of the effect of new passive safety systems on the temperature state of fuel elements

Results of experiments conducted on a large-scale integral PSB-VVéR bench and directed toward investigation of the performance of new passive safety systems for nuclear plants with a water-cooled power reactor, an additional system for passive flooding of the active zone, and a system for the passive removal of heat from steam generators are presented. __________ Translated from élektricheskie Stantsii, No. 9, September 2007, pp. 7–10.     

火电机组运行优化系统的现状与展望

简单回顾了国内外在火电机组运行优化领域的研究历程，列举了目前国内外市场上针对火电机组的各种主流运行优化产品的功能特点和应用情况，分析了国外引进产品和国内自主研发产品在中国当前市场环境下各自的优势和劣势。介绍了当前运行优化系统在国内电站机组的应用现状，阐述了国内外运行优化系统在实际应用中存在的问题，并提出了相应的改进意见。对机组运行优化系统的未来发展进行了展望，指出机组运行优化系统将利用先进技术设备和信息平台，与电站管理紧密结合，在日益规范的市场中不断发展完善，为提高电站经济性发挥更大的作用。     

Silicon power MOSFET at low temperatures: A two-dimensional computer simulation study

Understanding how the structure of the unit-cell affects the cryogenic performance of a Si power Metal Oxide Semiconductor Field Effect Transistor (MOSFET) is an important step toward optimizing of the device for cryogenic operations. In this paper, numerical simulations of the Si power Double Diffused MOSFET’ (DMOS) are performed at room temperature and cryogenic temperatures. Physically based models for temperature dependent silicon properties are employed in the simulations. The performances of power DMOS’ with various unit-cell structures are compared at both room temperature and low temperatures. The effect of the cell structure on the on-resistance and breakdown voltage of the device are analyzed. The simulation results suggest that the device optimized for room temperature operation can be further optimized at cryogenic temperatures.     

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/.     

基于Agent的分布式查询优化研究

Internet上异构的软硬件环境以及多种并行机制对分布式查询优化技术提出了新的挑战，文章将分布式人工智能与数据库管理系统两个研究领域相结合，给出了基于Agent的分布式查询优化系统模型，在该系统中，Agent采用了典型的慎思型体系结构，即BDI模.Agent具有信念库，目标库并在此基础上进行学习和推理，多个Agent之间通过协调，协作以及协商以支持分布式数据库系统的动态查询优化和规划的执行，提高系统的查询效率。