Scheduling constraint generation for communicating processes

This paper describes a new algorithm for generation of scheduling constraints in networks of communicating processes. Our model of communication intertwines the schedules of the machines in the network: timing constraints of a machine may affect the schedules of machines communicating with it. This model of communication facilitates the modular specification of timing constraints. A feasible solution to the set of constraints generated gives a schedule for each machine in the network such that all internal constraints of each machine are satisfied and communication between machines is statically coordinated whenever possible. Static scheduling of communication saves on the cost of handshake associated with dynamic synchronization. Our algorithm can handle complex, state-dependent and cyclic timing constraints. Experimental results show that our algorithm is both effective and efficient     

乙醇电氧化的研究进展

简要地叙述了国内外乙醇电催化氧化的研究进展，着重介绍不同电极材料对乙醇电氧化的影响及目前所提山的机理，并对其可能的研究方向提出了建议。     

Background memory area estimation for multidimensional signalprocessing systems

Memory cost is responsible for a large amount of the chip and/or board area of customized video and image processing system realizations. In this paper, we present a novel technique-founded on data-flow analysis which allows one to address the problem of background memory size evaluation for a given nonprocedural algorithm specification, operating on multidimensional signals with affine indexes. Most of the target applications are characterized by a huge number of signals, so a new polyhedral data-flow model operating on groups of scalar signals is proposed. These groups are obtained by a novel analytical partitioning technique, allowing to select a desired granularity, depending on the application complexity. The method incorporates a way to tradeoff memory size with computational and controller complexity     

A study of ionic defects in modified lead titanate ceramics

Pb_1–x Ca _x [(Co_0.5W_0.5)_0·05Ti_0.95]O₃ ceramics with x = 0.24, 0.30 and 0.35, are prepared by a solid state reaction of oxides. Deviations from nominal chemical compositions and formation of segregated phases different from modified lead titanate perovskites, are studied. Pyro- and non-pyroelectric currents excited in the material by a thermal wave are investigated and related to mobility of electrical charges in the materials.     

A framework for a limitation policy of the population exposure to natural radiation in Belgium

The conclusions are put forward that are adopted by a discussion group preparing the framework for a limitation policy of the radon problem in Belgium. Existing and future situations are treated in a coherent policy that is adequate for practical implementation. An action level is defined, together with a hierachy of levels for new constructions. The decision logic for the acceptance of building materials is explained.     

The forward muon detector of the DELPHI experiment at LEP

The layout and construction of the muon drift chambers equipping the end caps of the DELPHI detector are described. The performance of this forward muon detection system, determined from cosmic ray tests and data collected during the first year of LEP operation, is presented.     

Cyclic variations in the permeability of the cell wall of Saccharomyces cerevisiae.

To study cell-cycle-related variations in wall permeability of Saccharomyces cerevisiae, two approaches were used. First, an asynchronous culture was fractionated by centrifugal elutriation into subpopulations containing cells of increasing size. The subpopulations represented different stages of the cell cycle as judged by light microscopy. Cell wall porosity increased when these subpopulations became enriched with budded cells. Secondly, synchronous cultures were obtained by releasing MATa cells from alpha-factor induced G1-arrest. These cultures grew synchronously for at least two generations. The cell wall porosity increased sharply in these cultures, shortly before buds became visible and was maximal during the initial stages of bud growth. It decreased in cells which had completed nuclear migration and before abscission of the bud had occurred. The porosity reached its lowest value during abscission and in unbudded cells. We examined the incorporation of mannoproteins into the wall during the cell cycle. SDS-extractable mannoproteins were incorporated continuously. However, the incorporation of glucanase-extractable mannoproteins, which are known to affect cell wall porosity, showed cyclic oscillations and reached its maximum after nuclear migration. This coincided with a rapid decrease in cell wall porosity, indicating that glucanase-extractable mannoproteins might contribute to this decrease.     

明渠湍流床面附近跃移层面颗粒浓度垂线分布

本文以动理学理论的Boltzmann方程为基础，考虑明渠湍流床面附近猝发喷射和清扫运动对跃移层内运动颗粒的不同作用，分析了明渠中泥沙颗粒浓度垂线分布问题，得到了适用于包括跃移层、悬移层在内的统一浓度垂线分布公式。文中着重研究了跃移层内运动颗粒的浓度垂线分布，并将本文结果与实测跃移层内浓度垂线分布及实测跃移层顶部浓度进行了对比，结果表明理论与实验两者符合较好。     

彩色等离子体显示器的新进展

扼要地介绍了近年来世界上各大公司对彩色PDP的结构和驱动方法的改进 ,将现今彩色PDP的亮度、对比度和色纯度等主要性能与过去相比 ,得到明显的改善 ,达到了与高清晰度CRT相当的性能。     

锅炉炉膛红外成像温度实时检测系统研究

说明电厂锅炉炉膛温度及结焦直接影响锅炉正常运行及安全；给出了基于多探测器的锅炉反应温度红外成像实时测温系统的系统结构、系统原理、系统标定和温度测定方法。