Recent trends in the development of reactor systems for hydrogen production via methanol steam reforming

Hydrogen is currently receiving significant attention as an alternative energy resource, and among the various methods for producing hydrogen, methanol steam reforming (MSR) has attracted great attention because of its economy and practicality. Because the MSR reaction is inherently activated over catalytic materials, studies have focused on the development of noble metal-based catalysts and the improvement of existing catalysts with respect to performance and stability. However, less attention has been paid to the modification and development of innovative MSR reactors to improve their performance and efficiency. Therefore, in this review paper, we summarize the trends in the development of MSR reactor systems, including microreactors and membrane reactors, as well as the various structured catalyst materials appropriate for application in complex reactors. In addition, other engineering approaches to achieve highly efficient MSR reactors for the production of hydrogen are discussed.     

Critical state model for structured soil

Structure is an evident determinant for macroscopic behaviors of soils. However, this is not taken into account in most constitutive models, as structure is a rather complex issue in models. For this, it is important to develop and implement simple models that can reflect this important aspect of soil behavior. This paper tried to model structured soils based on well-established concepts, such as critical state and sub-loading. Critical state is the core of the classic Cam Clay model. The sub-loading concept implies adoption of an inner (sub-loading) yield surface, according to specific hardening rules for some internal strain-like state variables. Nakai and co-workers proposed such internal variables for controlling density (ρ) and structure (ω), using a modified stress space, called t_ij. Herein, similar variables are used in the context of the better-known invariants (p and q) of the Cam Clay model. This change requires explicit adoption of a non-associated flow rule for the sub-loading surface. This is accomplished by modifying the dilatancy ratio of the Cam Clay model, as a function of the new internal variables. These modifications are described and implemented under three-dimensional (3D) conditions. The model is then applied to simulating laboratory tests under different stress paths and the results are compared to experiments reported for different types of structured soils. The good agreements show the capacity and potential of the proposed model.     

Scalable and Structured Scheduling

Scheduling a program (i.e. constructing a timetable for the execution of its operations) is one of the most powerful methods for automatic parallelization. A schedule gives a blueprint for constructing a synchronous program, suitable for an ASIC or VLIW processor. However, constructing a schedule entails solving a large linear program. Even if one accepts the (experimental) fact that the Simplex is almost always polynomial, the scheduling time is of the order of a large power of the program size. Hence, the method does not scale well. The present paper proposes two methods for improving the situation. First, a large program can be divided into smaller units (processes), which can be scheduled separately. This is structured scheduling. Second, one can use projection methods for solving linear programs incrementally. This is specially efficient if the dependence graph is sparse.     

一种基于树形结构显示关联数据的设计

论述了在程序设计过程中 ,使用树形控件、SQL 语句、临时表等多种手段 ,达到多个关联数据库的数据由一个可视化树形结构控件显示的方法和技巧     

Analysis of culture fluorescence by a fiber-optic sensor inNicotiana tabacum plant cell culture

The on-line sensing of viable cell weight in plant cell culture process is applied to analysis and control of process. The fiber-optic fluorescence sensor was constructed to measure the NADH-dependent fluorescence inNicotiana tabacum plant cell culture and the analysis of fluorescence signal was done to be correlated with the viable cell weight. The structured kinetic model for cell growth was proposed to estimate the theoretical viable cell weight. The dimensional analysis was proposed for the interpretation of fluorescence signal, in which the path length, the inner filter effect and the hydrodynamic conditions were considered as the key factors on fluorescence signal. The dimensional analysis and empirical correlation of fluorescence signal to viable cell weight was applied to the interpretation of the detected fluorescence signal during cultivation. The proposed interpretation of fluorescence signal using dimensional analysis was well correlated with the viable cell weight estimated by the structured kinetic model as well as by empirical correlation.     

A Shortcut Method for Estimating the HETP of Structured Packed Distillation Columns at Elevated Pressure

A shortcut model is developed for predicting the HETP of a structured packed distillation column operating at elevated pressure. The proposed model incorporates the geometrical parameters of the packing, physical properties of the vapor and liquid phases, and the hydrodynamics of the two‐phase flow. The proposed model is tested and validated by comparing the predicted results with the present experimental data and some published HETP data. The results show that the proposed model can predict the experimental data with a deviation smaller than 20 %.     

The effect of support morphology on the reaction of oxidative dehydrogenation of ethane to ethylene at short contact times

The oxidative dehydrogenation of ethane is carried out in short contact time reactors over Pt and LaMnO₃ based catalysts supported on a large number of different ceramic substrates (45, 60 and 80 ppi foam monoliths and 200, 400, 600, 900 and 1200 cpsi honeycomb monoliths). Experimental results, obtained under the same conditions at varying the C₂H₆/O₂ ratio, showed that the highest performance in terms of ethylene selectivity and yield is always attained on LaMnO₃ catalysts. Furthermore, the results are significantly influenced by the morphology and cell density of the support, with 45 and 60 ppi foams and 400 and 600 cpsi honeycombs giving the best performance. The experimental results are explained by means of geometrical and fluid dynamic considerations on the support, and by means of a 2D mathematical model, which clearly indicates an optimal intermediate cell density for maximising ethylene selectivity and yield.     

浅谈软件开发过程中的方法问题

先进的制造模式要求信息集成和功能集成贯穿于产品生命周期的每一阶段,功能的集成需要软件系统的支持,从而推动先进制造模式的实现。软件开发过程是建造软件解决方案的关键要素。本文详细讨论了两类主要的过程开发方法,即面向对象方法和结构化方法。     

A survey of support for structured communication in concurrency control models

The two standard models used for communication in concurrent programs, shared memory and message passing, have been the focus of much debate for a long time. Still, we believe the main issue at stake should not be the choice between these models, but rather how to ensure that communication is structured, i.e., it occurs only in syntactically restricted code regions. In this survey, we explore concurrency control models and evaluate how their characteristics contribute positively or negatively to the support for structured communication. We focus the evaluation on three properties: reasonability, which is the main property we are interested in and determines how easily programmers can reason about a concurrent program’s execution; performance, which determines whether there are any distinct features which can prevent or facilitate efficient implementations; and composability, which determines whether a model offers constructs that can be used as building blocks for coarser-grained, or higher-level, concurrency abstractions.