A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol

We present a formal model of asynchronous communication between two digital hardware devices. The model takes the form of a function in the Boyer-Moore logic. The function transforms the signal stream generated by one processor into that consumed by an independently clocked processor, given the phases and rates of the two clocks and the communications delay. The model can be used quantitatively to derive concrete performance bounds on communications at ISO protocol level 1 (physical level). We use the model to show that an 18-bit/cell biphase mark protocol reliably sends messages of arbitrary length between two processors provided the ratio of the clock rates is within 5% of unity.     

Some kinetic aspects of unsteady-state partial oxidation reactions. Dynamic processes on metal oxide surfaces

It is shown that steady-state kinetic data do not allow the discrimination between the redox and associated mechanisms of the partial oxidation reactions. A discrimination between these mechanisms was performed using transient experiments. The obtained rate expressions are in agreement with experimental kinetic data for catalytic partial oxidation of o-xylene.

An influence of the conjugate oxidation of a catalyst surface on dynamics and kinetics of the heterogeneous catalytic oxidative reactions is considered. Computing simulation of methane oxidative coupling of methane reaction at lowered temperature and elevated pressure has been performed. It showed that the reaction order with respect to oxygen exceeding unity is consistent with the chain branching mechanism of the reaction in the presence of TiSi₂ and TiB₂ and showed the important role of the branching chain cycles in the low-temperature OCM reaction at elevated pressure.     

外加剂混凝土动态与静态坍落度损失的流变特性

本文对动、静态下混凝土坍落度损失的规律进行了研究,并从流变学的角度分析了外加剂对动、静态下混凝土坍落度损失的影响坍落度损失存在差别的原因.     

Simulation of toxic gases and vapours removal by activated carbon filters

The system ASC carbon filter/cyanogen chloride was studied by simulation. Three filter configurations and several models, taking into account Langmuir adsorption and second-order reaction between the adsorbed toxic vapour and the active metal on the surface, were developed.The effects of axial dispersion, number of reaction units, film mass transfer units and intraparticle mass transfer resistance on the breakthrough time were studied.Simulation results show that a complex model should be used in order to predict with reasonable accuracy the protection imparted by these filters.     

Flow dynamics or ‘quaking’ in gravity discharge from silos

This paper reviews the characteristics of pulsating or cyclic flow of bulk solids during gravity discharge in bins and silos. The dynamic load phenomenon is often referred to as “silo quaking” and is influenced by various factors related to the type of flow pattern developed in the bin and the flow properties of the bulk material. Of particular relevance is the influence of ‘slip-stick’ during shear flow, and the velocity at critical sections in the silo during discharge. An overview of recent and current research on this subject is presented.     

Two-level optimal output feedback stabilizer design

The paper addresses the design of two-level power system stabilizers using an optimal reduced order model whose state variables are torque angles and speeds. The reduced order model retains their physical meaning and is used to design a two-level linear feedback controller that takes into account the realities and constraints of electrical power systems. The two-level control strategy is used, and a global control signal is generated from the output variables to minimize the effect of interactions. The effectiveness of this controller is evaluated and a multimachine system is given as an example to illustrate the advantages of the proposed method. Responses of the system with a two-level scheme and an optimal reduced order scheme are included for comparative analysis.     

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.     

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

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

基于图像数据库的动态场景生成系统

实现各类目标和背景下动态场景的计算机编辑和生成，首先应对组成动态场景的要素进行分析，即目标，目标运动规律和特殊事件四个要素，然后通过编程由四个模块完成相应功能。目标，背景编辑模块可对目标，背景图像进行各种处理，并对重要特征量进行计算，运动路径模块可指定目标的运行规律，包括路线，大小和角度变化等。特殊事件模块可加入独立目标的各类典型事件，如运动的干扰物等。最后通过动态场景合成由计算机自动生成所需的动态场景图像。所需的原始目标，背景图像来源于图像数据库管理系统，通过索引项可便携地找到。     

分布式制造动态调度资源集成系统建模

本文分析了分布式制造动态调度的本质，提出了对分布式制造资源集成系统的要求，并利用多A-gent理论对分布式制造资源集成系统进行建模，给出了系统集成的拓扑图和说明系统的信息流动过程，解决了构造分布式制造动态调度资源集成系统的理论基础。