IMPACCT: Methodology and Tools for Power-Aware Embedded Systems

Power-aware systems are those that must exploit a widerange of power/performance trade-offs in order to adapt to the power availabilityand application requirements. They require the integration of many novel powermanagement techniques, ranging from voltage scaling to subsystem shutdown.However, those techniques do not always compose synergistically with eachother; in fact, they can combine subtractively and often yield counterintuitive,and sometimes incorrect, results in the context of a complete system. Thiscan become a serious problem as more of these power aware systems are beingdeployed in mission critical applications.To address the problem of technique integration for power-aware embedded systems, we propose a new design tool framework called IMPACCT and the associated design methodology. The system modeling methodology includes application model for capturing timing/powerconstraints and mode dependencies at the system level. The tool performs power-awarescheduling and mode selection to ensure that all timing/power constraintsare satisfied and that all overhead is taken into account. IMPACCT then synthesizesthe implementation targeting a symmetric multiprocessor platform. Experimentalresults show that the increased dynamic range of power/performance settingsenabled a Mars rover to achieve significant acceleration while using lessenergy. More importantly, our tool correctly combines the state-of-the-arttechniques at the system level, thereby saving even experienced designersfrom many pitfalls of system-level power management.     

一种高效的硬布线控制CPU的设计方法

文章提出了一种硬布线逻辑CPU的设计流程，即以CPU设计工具软件LDF为核心的设计方法，其主要目的的提高硬布线逻辑CPU的设计效率。定义了一种用于描述硬布线控制逻辑的语言-MCDL，对总线优化问题进行了研究，并且给出了解决总线优化问题的近似算法。     

利用系统分析方法进行单井措施优选

油井措施增油一直是油田控制产量递减、含水上升的主要做法，但是随着油田开采程度加深，地下油水分布十分复杂，选择油水井措施难度越来越大。为此，运用系统分析方法进行单井措施优选，通过对区块水驱油、水驱水、井间干扰以及油井的液、油、含水率间关系，综合判断出区块内滞留区、死油区和动用好的区域，指出今后挖潜方向。此方法均应用动态数据，客观性较强、准确性较高，克服了以往选择单井措施的盲目性和主观性。并将该方法在大庆油田杏八、九区基础井网提液试验过程中得到应用，效果较好。     

Modelling the impact of energy taxation

Energy taxation in Sweden is complicated and strongly guides and governs district energy production. Consequently, there is a need for methods for accurate calculation and analysis of effects that different energy tax schemes may have on district energy utilities. Here, a practicable method to analyse influence of such governmental policy measures is demonstrated. The Swedish Government has for some years now been working on a reform of energy taxation, and during this process, several interest groups have expressed their own proposals for improving and developing the system of energy taxation. Together with the present system of taxation, four new alternatives, including the proposed directive of the European Commission, are outlined in the paper. In a case study, an analysis is made of how the different tax alternatives may influence the choice of profitable investments and use of energy carriers in a medium‐sized district‐heating utility. The calculations are made with a linear‐programming model framework. By calculating suitable types and sizes of new investments, if any, and the operation of existing and potential plants, total energy costs are minimized. Results of the analysis include the most profitable investments, which fuel should be used, roughly when during a year plants should be in operation, and at what output. In most scenarios, the most profitable measure is to invest in a waste incineration plant. However, a crucial assumption is, with reference to the new Swedish waste disposal act, a significant income from incinerating refuse. Without this income, different tax schemes result in different technical solutions being most profitable. An investment in cogeneration seems possible in only one scenario. It is also found that particular features of some alternatives seem to oppose both main governmental policy goals, and intentions of the district heating company. Copyright © 2002 John Wiley & Sons, Ltd.     

Influence of the intrinsic layer characteristics on a-Si:H p–i–n solar cell performance analysed by means of a computer simulation

In this paper a set of one-dimensional simulations of a-Si:H p–i–n junctions under different illumination conditions and with different intrinsic layer are presented. The simulation program ASCA permits the analysis of the internal electrical behaviour of the cell allowing a comparison among the different internal configurations determined by a change in the input set. Results about the internal electric configuration will be presented and discussed outlining their influence on the current tension characteristic curve. Considerations about the drift–diffusion and the generation–recombination balance distributions, outlined by the simulation, can be used to explain the correlation between the basic device output, the i-layer characteristics (thickness and DOS), the incident radiation intensity and photon energy.     

复合形法优化内河航道重力式护岸

采用复合形优化法,结合《港口及航道护岸工程设计与施工规范》中推荐的抗滑、抗倾稳定的分项系数计算方法,并考虑了内河航道船形波等作用的影响效应,对重力式护岸断面进行了优化。     

A novel compact circuit for 4-PAM energy-efficient high speed interconnect data transmission and reception

Transmission of signals, whether on-chip or off-chip, places severe constraints on timing and extracts a large price in energy. New silicon device technologies, such as back-plane CMOS, provide a programmable and adaptable threshold voltage as an additional tool that can be used for low power design. We show that one particularly desirable use of this freedom is energy-efficient high-speed transmission across long interconnects using multi-valued encoding. Our multi-valued CMOS circuits take advantage of the threshold voltage control of the transistors, by using the signal-voltage-to-threshold-voltage span, in order to make area-efficient implementations of 4-PAM (pulse amplitude modulation) transceivers operating at high speed. In a comparison of a variety of published technologies, for signal transmission with interconnects of 10-15 mm length, we show up to 50% improvement in energy for on-chip signal transmission over binary encoding together with higher limits for operating speeds without a penalty in circuit noise margin.     

Fuzzy Weirstrass theorem and convex fuzzy mappings

The convexity and continuity of fuzzy mappings are defined through a linear ordering and a metric on the set of fuzzy numbers. The local-global minimum property of real-valued convex functions is extended to convex fuzzy mappings. It is proved that a strict local minimizer of a quasiconvex fuzzy mapping is also a strict global minimizer. Characterizations for convex fuzzy mappings and quasiconvex fuzzy mappings are given. In addition, the Weirstrass theorem is extended from real-valued functions to fuzzy mappings.     

基于MFQ的补丁优先算法的研究与实现

目前采用的视频流调度算法，没有充分利用补丁流满足服务率高而占用系统资源少的优势，系统效率较低．为了提高效率，提出了一种基于MFQ的补丁优先算法，并给出了该算法的系统流程。通过对实验结果的比较，该算法在用户请求撤销率、节目调度不公平性和用户等待时间方面有明显的优越性．