The flow behaviour of shallow fluidised beds

The flow behaviour of shallow gas-fluidised beds was studied. experimentally using a rotational viscometer, and an inclined open channel. Initially, tests were carried out with the viscometer in order to establish qualitative trends in the flow properties of a variety of materials over a wide range of fluidising conditions. Also, a technique was developed which enabled quantitative viscosity data to be extracted from the experimental results. The flow properties were found to be sensitive to the size, size-range and density of the fluidised material, the type of distributor used, and the moisture content of the fluidising gas. Tests in beds up to 120 mm deep showed that the fluidity of the bed improves with reduction in depth; and indicated a range of flow behaviour from shear-thinning to Newtonian, depending chiefly on fluidising velocity .. Later, an apparatus was built which provided for a steady, continuous flow of fluidised material down an inclined open channel of 3m length x 0.15m square, up to a mass flowrate of 10 kg/s (35 ton/hr). This facility has enabled data to be obtained that is of practical value in industrial applications; which is otherwise difficult in view of the present limited understanding of the true mechanism of fluidised flow. A correlation has been devised, based on analogy with laminar liquid flow, which describes the channel flow behaviour with reasonable accuracy over the whole range of shear-rates used. 1he channeI results indicated that at low fluidiising velocities the flow was adversely affected by settlement of a stagnant layer of particles on to the distributor, which gave rise to increased flow resistance. Conversely, at higher fluidising velocities the resistance at the distributor appeared to be less than at the walls. In view of this, and also because of the disparity in shear-rates between the two types of apparatus, it is not possible as yet to predict exactly the flow behaviour in an open channel from small-scale viscometer tests.

A desalination system with efficiency approaching the theoretical limits

The objective of this project is to design a new desalination system with energy efficiency approaching the theoretical thermodynamic limit—even at high recovery ratio. The system uses reverse osmosis (RO) and a batch principle of operation to overcome the problem of concentration factor which prevents continuous-flow RO systems from ever reaching this limit and thus achieving the minimum possible specific energy consumption, SEC. Batch operation comprises a cycle in three phases: pressurisation, purge, and refill. Energy recovery is inherent to the design. Unlike in closed-circuit desalination (CCD), no feedwater is added to the pressure circuit during the pressurisation phase. The batch configuration is compared to standard configurations such as continuous single-stage RO (with energy recovery) and CCD. Theoretical analysis has shown that the new system is able to use 33% less energy than CCD at a recovery ratio of 80%. A prototype has been constructed using readily available parts and tested with feedwater salinities and recovery ratios ranging from 2,000 to 5,000 ppm and 17.2–70.6%, respectively. Results compare very well against the standard configurations. For example, with feedwater containing 5,000 ppm NaCl and recovery ratio of 69%, a hydraulic SEC of 0.31 kWh/m3 was obtained—better than the minimum theoretically possible with a single-stage continuous flow system with energy recovery device.

Practical secure information flow in programming languages

If we classify variables in a program into various security levels, then a secure information flow analysis aims to verify statically that information in a program can flow only in ways consistent with the specified security levels. One well-studied approach is to formulate the rules of the secure information flow analysis as a type system. A major trend of recent research focuses on how to accommodate various sophisticated modern language features. However, this approach often leads to overly complicated and restrictive type systems, making them unfit for practical use. Also, problems essential to practical use, such as type inference and error reporting, have received little attention. This dissertation identified and solved major theoretical and practical hurdles to the application of secure information flow. ^ We adopted a minimalist approach to designing our language to ensure a simple lenient type system. We started out with a small simple imperative language and only added features that we deemed most important for practical use. One language feature we addressed is arrays. Due to the various leaking channels associated with array operations, arrays have received complicated and restrictive typing rules in other secure languages. We presented a novel approach for lenient array operations, which lead to simple and lenient typing of arrays. ^ Type inference is necessary because usually a user is only concerned with the security types for input/output variables of a program and would like to have all types for auxiliary variables inferred automatically. We presented a type inference algorithm B and proved its soundness and completeness. Moreover, algorithm B stays close to the program and the type system and therefore facilitates informative error reporting that is generated in a cascading fashion. Algorithm B and error reporting have been implemented and tested. ^ Lastly, we presented a novel framework for developing applications that ensure user information privacy. In this framework, core computations are defined as code modules that involve input/output data from multiple parties. Incrementally, secure flow policies are refined based on feedback from the type checking/inference. Core computations only interact with code modules from involved parties through well-defined interfaces. All code modules are digitally signed to ensure their authenticity and integrity. ^

Nutrients of pore water in sediments of the central equatorial Pacific

Shipboard whole-core squeezing was used to measure pore water concentration vs depth profiles of [NO3]-, O2 and SiO2 at 12 stations in the equatorial Pacific along a transect from 15°S to 11°N at 135°W. The [NO3]- and SiO2 profiles were combined with fine-scale resistivity and porosity measurements to calculate benthic fluxes. After using O2 profiles, coupled with the [NO3]- profiles, to constrain the C:N of the degrading organic matter, the [NO3]- fluxes were converted to benthic organic carbon degradation rates. The range in benthic organic carbon degradation rates is 7-30 ?mol cm**-2 y**-1, with maximum values at the equator and minimum values at the southern end of the transect. The zonal trend of benthic degradation rates, with its equatorial maximum and with elevated values skewed to the north of the equator, is similar to the pattern of primary production observed in the region. Benthic organic carbon degradation is 1-2% of primary production. The range of benthic biogenic silica dissolution rates is 6.9-20 µmol cm**-2 y**-1, representing 2.5-5% of silicon fixation in the surface ocean of the region. Its zonal pattern is distinctly different from that of organic carbon degradation: the range in the ratio of silica dissolution to carbon degradation along the transect is 0.44-1.7 mol Si mol C**-1, with maximum values occurring between 12°S and 2°S, and with fairly constant values of 0.5-0.7 north of the equator. A box model calculation of the average lifetime of the organic carbon in the upper 1 cm of the sediments, where 80 +/- 11% of benthic organic carbon degradation occurs, indicates that it is short: from 3.1 years at high flux stations to 11 years at low flux stations. The reactive component of the organic matter must have a shorter lifetime than this average value. In contrast, the average lifetime of biogenic silica in the upper centimeter of these sediments is 55 +/- 28 years, and shows no systematic variations with benthic flux.