Adapting data processing to compare model and experiment accurately: A discrete element model and magnetic resonance measurements of a 3d cylindrical fluidized bed

Discrete element modeling is being used increasingly to simulate flow in fluidized beds. These models require complex measurement techniques to provide validation for the approximations inherent in the model. This paper introduces the idea of modeling the experiment to ensure that the validation is accurate. Specifically, a 3D, cylindrical gas-fluidized bed was simulated using a discrete element model (DEM) for particle motion coupled with computational fluid dynamics (CFD) to describe the flow of gas. The results for time-averaged, axial velocity during bubbling fluidization were compared with those from magnetic resonance (MR) experiments made on the bed. The DEM-CFD data were postprocessed with various methods to produce time-averaged velocity maps for comparison with the MR results, including a method which closely matched the pulse sequence and data processing procedure used in the MR experiments. The DEM-CFD results processed with the MR-type time-averaging closely matched experimental MR results, validating the DEM-CFD model. Analysis of different averaging procedures confirmed that MR time-averages of dynamic systems correspond to particle-weighted averaging, rather than frame-weighted averaging, and also demonstrated that the use of Gaussian slices in MR imaging of dynamic systems is valid. © 2013 American Chemical Society.

Reversible CO2 absorption by the 6H perovskite Ba 4Sb2O9

A novel compound for carbon capture and storage (CCS) applications, the 6H perovskite Ba4Sb2O9, was found to be able to absorb CO2 through a chemical reaction at 873 K to form barium carbonate and BaSb2O6. This absorption was shown to be reversible through the regeneration of the original Ba4Sb 2O9 material upon heating above 1223 K accompanied by the release of CO2. A combined synchrotron X-ray diffraction, thermogravimetric, and microscopy study was carried out to characterize first the physical absorption properties and then to analyze the structural evolution and formation of phases in situ. Importantly, through subsequent carbonation and regeneration of the material over 100 times, it was shown that the combined absorption and regeneration reactions proceed without any significant reduction in the CO2 absorption capacity of the material. After 100 cycles the capacity of Ba4Sb2O9 was ∼0.1 g (CO 2)/g (sorbent), representing 73% of the total molar capacity. This is the first report of a perovskite-type material showing such good properties, opening the way for studies of new classes of inorganic oxide materials with stable and flexible chemical compositions and structures for applications in carbon capture. © 2013 American Chemical Society.

Novel fluid grid and voidage calculation techniques for a discrete element model of a 3D cylindrical fluidized bed

A discrete element model (DEM) combined with computational fluid dynamics (CFD) was developed to model particle and fluid behaviour in 3D cylindrical fluidized beds. Novel techniques were developed to (1) keep fluid cells, defined in cylindrical coordinates, at a constant volume in order to ensure the conditions for validity of the volume-averaged fluid equations were satisfied and (2) smoothly and accurately measure voidage in arbitrarily shaped fluid cells. The new technique for calculating voidage was more stable than traditional techniques, also examined in the paper, whilst remaining computationally-effective. The model was validated by quantitative comparison with experimental results from the magnetic resonance imaging of a fluidised bed analysed to give time-averaged particle velocities. Comparisons were also made between theoretical determinations of slug rise velocity in a tall bed. It was concluded that the DEM-CFD model is able to investigate aspects of the underlying physics of fluidisation not readily investigated by experiment. © 2014 The Authors.

CO2-gasification of a lignite coal in the presence of an iron-based oxygen carrier for chemical-looping combustion

Chemical-looping combustion (CLC) has the inherent property of separating the product CO2 from flue gases. Instead of air, it uses an oxygen carrier, usually in the form of a metal oxide, to provide oxygen for combustion. All techniques so far proposed for chemical looping with solid fuels involve initially the gasification of the solid fuel in order for the gaseous products to react with the oxygen carrier. Here, the rates of gasification of coal were compared when gasification was undertaken in a fluidised bed of either (i) an active Fe-based oxygen carrier used for chemical looping or (ii) inert sand. This enabled an examination of the ability of chemical looping materials to enhance the rate of gasification of solid fuels. Batch gasification and chemical-looping combustion experiments with a German lignite and its char are reported, using an electrically-heated fluidised bed reactor at temperatures from 1073 to 1223 K. The fluidising gas was CO2 in nitrogen. The kinetics of the gasification were found to be significantly faster in the presence of the oxygen carrier, especially at temperatures above 1123 K. A numerical model was developed to account for external and internal mass transfer and for the effect of the looping agent. The model also included the effects of the evolution of the pore structure at different conversions. The presence of Fe2O3 led to an increase in the rate of gasification because of the rapid oxidation of CO by the oxygen carrier to CO2. This resulted in the removal of CO and maintained a higher mole fraction of CO2 in the mixture of gas around the particle of char, i.e. within the mass transfer boundary layer surrounding the particle. This effect was most prominent at about 20% conversion when (i) the surface area for reaction was at its maximum and (ii) because of the accompanying increase in porosity and pore size, intraparticle resistance to gas mass transfer within the particle of char had fallen, compared with that in the initial particle. Excellent agreement was observed between the rates predicted by the numerical model and those observed experimentally. ©2013 Elsevier Ltd. All rights reserved.

Phycobilisome-Deficient Strains of Synechocystis sp. PCC 6803 Have Reduced Size and Require Carbon-Limiting Conditions to Exhibit Enhanced Productivity.

Reducing excessive light harvesting in photosynthetic organisms may increase biomass yields by limiting photoinhibition and increasing light penetration in dense cultures. The cyanobacterium Synechocystis sp. PCC 6803 harvests light via the phycobilisome, which consists of an allophycocyanin core and six radiating rods, each with three phycocyanin (PC) discs. Via targeted gene disruption and alterations to the promoter region, three mutants with two (pcpcT→C) and one (ΔCpcC1C2:pcpcT→C) PC discs per rod or lacking PC (olive) were generated. Photoinhibition and chlorophyll levels decreased upon phycobilisome reduction, although greater penetration of white light was observed only in the PC-deficient mutant. In all strains cultured at high cell densities, most light was absorbed by the first 2 cm of the culture. Photosynthesis and respiration rates were also reduced in the ΔCpcC1C2:pcpcT→C and olive mutants. Cell size was smaller in the pcpcT→C and olive strains. Growth and biomass accumulation were similar between the wild-type and pcpcT→C under a variety of conditions. Growth and biomass accumulation of the olive mutant were poorer in carbon-saturated cultures but improved in carbon-limited cultures at higher light intensities, as they did in the ΔCpcC1C2:pcpcT→C mutant. This study shows that one PC disc per rod is sufficient for maximal light harvesting and biomass accumulation, except under conditions of high light and carbon limitation, and two or more are sufficient for maximal oxygen evolution. To our knowledge, this study is the first to measure light penetration in bulk cultures of cyanobacteria and offers important insights into photobioreactor design.

Modelling and comparison of trapped fields in (RE)BCO bulk superconductors for activation using pulsed field magnetization

The ability to generate a permanent, stable magnetic field unsupported by an electromotive force is fundamental to a variety of engineering applications. Bulk high temperature superconducting (HTS) materials can trap magnetic fields of magnitude over ten times higher than the maximum field produced by conventional magnets, which is limited practically to rather less than 2 T. In this paper, two large c-axis oriented, single-grain YBCO and GdBCO bulk superconductors are magnetized by the pulsed field magnetization (PFM) technique at temperatures of 40 and 65 K and the characteristics of the resulting trapped field profile are investigated with a view of magnetizing such samples as trapped field magnets (TFMs) in situ inside a trapped flux-type superconducting electric machine. A comparison is made between the temperatures at which the pulsed magnetic field is applied and the results have strong implications for the optimum operating temperature for TFMs in trapped flux-type superconducting electric machines. The effects of inhomogeneities, which occur during the growth process of single-grain bulk superconductors, on the trapped field and maximum temperature rise in the sample are modelled numerically using a 3D finite-element model based on the H-formulation and implemented in Comsol Multiphysics 4.3a. The results agree qualitatively with the observed experimental results, in that inhomogeneities act to distort the trapped field profile and reduce the magnitude of the trapped field due to localized heating within the sample and preferential movement and pinning of flux lines around the growth section regions (GSRs) and growth sector boundaries (GSBs), respectively. The modelling framework will allow further investigation of various inhomogeneities that arise during the processing of (RE)BCO bulk superconductors, including inhomogeneous Jc distributions and the presence of current-limiting grain boundaries and cracks, and it can be used to assist optimization of processing and PFM techniques for practical bulk superconductor applications. © 2014 IOP Publishing Ltd.

Magnetic characterisation of large grain, bulk Y-Ba-Cu-O superconductor-soft ferromagnetic alloy hybrid structures

Large grain, bulk Y-Ba-Cu-O (YBCO) high temperature superconductors (HTS) have significant potential for use in a variety of practical applications that incorporate powerful quasi-permanent magnets. In the present work, we investigate how the trapped field of such magnets can be improved by combining bulk YBCO with a soft FeNi, ferromagnetic alloy. This involves machining the alloy into components of various shapes, such as cylinders and rings, which are attached subsequently to the top surface of a solid, bulk HTS cylinder. The effect of these modifications on the magnetic hysteresis curve and trapped field of the bulk superconductor at 77 K are then studied using pick-up coil and Hall probe measurements. The experimental data are compared to finite element modelling of the magnetic flux distribution using Campbell's algorithm. Initially we establish the validity of the technique involving pick-up coils wrapped around the bulk superconductor to obtain its magnetic hysteresis curve in a non-destructive way and highlight the difference between the measured signal and the true magnetization of the sample. We then consider the properties of hybrid ferromagnet/superconductor (F/S) structures. Hall probe measurements, together with the results of the model, establish that flux lines curve outwards through the ferromagnet, which acts, effectively, like a magnetic short circuit. Magnetic hysteresis curves show that the effects of the superconductor and the ferromagnet simply add when the ferromagnet is saturated fully by the applied field. The trapped field of the hybrid structure is always larger than that of the superconductor alone below this saturation level, and especially when the applied field is removed. The results of the study show further that the beneficial effects on the trapped field are enhanced when the ferromagnet covers the entire surface of the superconductor for different ferromagnetic components of various shapes and fixed volume. © 2014 Elsevier B.V. All rights reserved.

A trapped field of 17.6 T in melt-processed, bulk Gd-Ba-Cu-O reinforced with shrink-fit steel

The ability of large-grain (RE)Ba2Cu3O7-δ ((RE)BCO; RE = rare earth) bulk superconductors to trap magnetic fields is determined by their critical current. With high trapped fields, however, bulk samples are subject to a relatively large Lorentz force, and their performance is limited primarily by their tensile strength. Consequently, sample reinforcement is the key to performance improvement in these technologically important materials. In this work, we report a trapped field of 17.6 T, the largest reported to date, in a stack of two silver-doped GdBCO superconducting bulk samples, each 25 mm in diameter, fabricated by top-seeded melt growth and reinforced with shrink-fit stainless steel. This sample preparation technique has the advantage of being relatively straightforward and inexpensive to implement, and offers the prospect of easy access to portable, high magnetic fields without any requirement for a sustaining current source. © 2014 IOP Publishing Ltd.

构建度量区间时序逻辑的时间自动机

实时系统的安全性至关重要，使用模型检测工具对其进行形式化分析是提高 其安全性的重要手段。我们已有的实时系统模型检测工具CTAV 目前可以验证 LTL 描述的性质。本文工作的最终目的是让CTAV 能够验证实时时序逻辑，即， 使得CTAV 同样可以直接验证由实时时序逻辑描述的连续时间域上的实时性质。 度量区间时序逻辑MITL 是常用的一种关于实时系统的性质规范语言。已有 不少文献讨论过MITL 到时间Büchi 自动机的转换，但由于过程较复杂，大多数 仅限于理论研究，并没有与时间Büchi 自动机的空性判定过程结合成为一个可用 的关于MITL 的模型检测工具。 为了开发可用的关于MITL 性质的模型检测工具，本文采用与CTAV 中待验 证系统模型一致的pointwise 语义模型，选取了MITL 的一个可以较高效的进行模型检测的子类——MITL≤/<。在表达能力方面，这个子集能够描述实时系统模 型检测实际过程中常见的实时性质。 本文给出了将MITL≤/<公式转化为等价的基于迁移的扩展时间Büchi 自动机 的算法过程，并讨论了转化中逻辑公式重写规则的正确性和完备性问题。基于迁 移的扩展时间Büchi 自动机是时间Büchi 自动机的一种变体。二者最主要的区别在于它们采用了不同类型的Büchi 接受条件。文中给出的构造算法是将原先应用于非实时领域的Tableau 方法扩展调整，并应用于实时连续领域。Tableau 方法的关键之一是公式重写规则。而为了保证结果自动机仅存在有限多个状态，在重写规则中定义不动子公式是至关重要的。本文给出的在pointwise 语义模型下的公式重写规则，借用了此前在continuous 语义模型下已有的将时钟变量作为时序算子的约束直接引入公式中来保证重写规则中存在不动子公式的思想，并对其进行了修改，使原先性质自动机的时钟递减变为时钟递增，与系统自动机中的时钟行走方式一致。这省去了下一步将性质自动机和系统自动机相乘判空时，因为时钟行走方式不一致而引起的麻烦。另外，本文将MITL≤/<中的某些公式扩展为包含时钟约束的新的公式。这样，在定义重写公式时，不仅保证重写规则中存在不动子公式，也保证结果自动的前进性。 本文还根据构造算法实现了转化工具MITLCon。与Marc Geilen 和Dennis Dames 实现的逻辑转化工具相比，MITLCon 显著地减少了结果自动机节点和迁 移的数量，从而降低了结果自动机的大小，有利于进一步的模型检测过程。

Levantamento faunístico e avaliação da biodiversidade em agroecossistemas da Bacia do Rio Pardo.

O presente trabalho apresenta um preliminar esforço de detectar, identificar e avaliar globalmente a biodiversidade (riquezas específicas), nos principais usos agrícolas existentes na bacia do Rio Pardo. Essa região do Estado situa-se em um grande bolsão de agroecossistemas intensivos, capitalizados e contribui significativamente para o agronegócio brasileiro. As principais culturas perenes estão representadas pela citricultura e cafeicultura, seguidas pela silvicultura com eucalipto, pinus e seringueira. As pastagens também estão bem representadas e suportam um grande rebanho destinado ao corte. A cana-de-açúcar ocupa uma enorme porção da área estudada e está vinculada a produção açucareira e de biocombustíveis. As culturas anuais são representadas por soja, milho, feijão, arroz, algodão, entre outras.