Presupposition failure — A comedy of errors

Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition.     

Measurements and correlation of effect of cosolvents on the solubilities of complex molecules in supercritical carbon dioxide

A new transparent microscale circulation-type high pressure equilibrium cell with on-line sampling was devised. With this apparatus, experimental solubility of molecularly complex species such as steroids (cholesterol, stigmasterol and ergosterol) and fatty acids (palmitic acid and stearic acid) in supercritical carbon dioxide(sc-C0₂) were measured. Also, to find an appropriate substance for enhancing both the polarity and the solubility power of the SC-CO₂ solvent, we arbitrarily selected three polar substances such as acetone, methanol and water and the effect of these cosolvents on the solubility of solutes in SC-CO₂ are examined. The supercritical phase equilibrium data of solute-cosolvent-sc-CO₂ systems were quantitatively correlated using a new equation of state based on the lattice fluid theory incorporated with the concept of multibody interaction. We found that the addition of tracer amount of acetone or methanol to SC-CO₂ enhances the solubility of all solutes about thirty to sixty times when compared with the case of pure sc-CO₂ However, for the case of cosolvent water, no further enhancement of the solubility of solutes was realized. Also, the versatile fittability of the equation of state proposed in this work was demonstrated with the newly measured ternary supercritical equilibrium data.     

A novel cyclic process using CaSO<Subscript>4</Subscript>/CaS pellets for converting sulfur dioxide to elemental sulfur without generating secondary pollutants: Part I. Feasibility and kinetics of the reduction of sulfur dioxide with calcium-sulfide pellets

Certain new sulfide-smelting processes and coal-gasification processes generate high-strength sulfur dioxide streams, for which a new process for converting sulfur dioxide to elemental sulfur needs to be developed because no process exists that is generally and economically applicable to the treatment of such streams. A thermodynamic and experimental investigation to develop a new process for converting sulfur dioxide to elemental sulfur by a cyclic process involving calcium sulfide and calcium sulfate without generating secondary pollutants was carried out. In this process, the starting raw material, calcium sulfate, is reduced by a suitable reducing agent, such as hydrogen, to produce calcium sulfide, which is used to reduce sulfur dioxide to elemental sulfur vapor and calcium sulfate. The latter is, in turn, reduced to regenerate calcium sulfide. In this Part I, detailed experimental results are presented on the kinetics of the reaction between sulfur dioxide and calcium-sulfide pellets, which produces elemental sulfur and calcium sulfate. The experiments were carried out at temperatures between 1023 and 1088 K and sulfur-dioxide partial pressures between 9 and 60 kPa by the use of a thermogravimetric analysis (TGA) technique. The rate of this reaction was demonstrated by the conversion of 40 pct calcium-sulfide pellets obtained from the hydrogen reduction of fresh calcium sulfate in 10 minutes at 1073 K under a sulfur-dioxide partial pressure of 43 kPa. The reactivity decreased somewhat during the first three cycles but remained largely unchanged thereafter up to the tenth cycle. This characteristic of the pellets is important because the solids must be reusable for repeated cycles to avoid generating secondary pollutants. A pore-blocking model was found to fit the reaction rate. The reaction is first order with respect to sulfur-dioxide partial pressure and has an activation energy of 101 to 134 kJ/mol (24 to 32 kcal/mol) for calcium-sulfide pellets reacted and regenerated several different times. Sulfur dioxide-containing streams from certain sources, such as the regenerator off-gas from an integrated-gasification, combined-cycle, desulfurization unit and new sulfide-smelting plants, contain much higher partial pressures of SO₂. In these cases, the rate of the first reaction is expected to be proportionally higher than in the test conditions reported in this article. The reduction kinetics of calcium-sulfate pellets with hydrogen gas is reported in the accompanying Part II.     

Microbiological denitrification of red beet juice

The purpose of study was the determination of optimal conditions for red beet juice denitrification by Paracoccus denitrificans bacteria as well as the evaluation of the usefulness of microbiologically treated juice for the production of a natural colouring preparation for foods. Total reduction of nitrates was found during bacterial culturing at 25 and 30 °C, at an initial pH of 7.0-8.0 and juice osmotic pressure of 900-1100 mOsm/kg. Microbiological denitrification procedure affected colour, taste and aroma of the juice. However, the use of juice as food colouring and component was made feasible by acidification and partial evaporation of water together with volatile substances.     

Bandwidth Adaptation Algorithms for Adaptive Multimedia Services in Mobile Cellular Networks

The fluctuation of available link bandwidth in mobilecellular networks motivates the study of adaptive multimediaservices, where the bandwidth of an ongoing multimedia call can bedynamically adjusted. We analyze the diverse objectives of theadaptive multimedia framework and propose two bandwidth adaptationalgorithms (BAAs) that can satisfy these objectives. The firstalgorithm, BAA-RA, takes into consideration revenue and``anti-adaptation' where anti-adaptation means that a user feelsuncomfortable whenever the bandwidth of the user's call ischanged. This algorithm achieves near-optimal total revenue withmuch less complexity compared to an optimal BAA. The secondalgorithm, BAA-RF, considers revenue and fairness, and aims at themaximum revenue generation while satisfying the fairnessconstraint defined herein. Comprehensive simulation experimentsshow that the difference of the total revenue of BAA-RA and thatof an optimal BAA is negligible. Also, numerical results revealthat there is a conflicting relationship between anti-adaptationand fairness.     

Evaluation of Monkman-Grant parameters for type 316LN and modified 9Cr-Mo stainless steels

The Monkman-Grant (M-G) and its modified parameters were evaluated for type 316LN and modified 9Cr-Mo stainless steels prepared with minor element variations. Several sets of creep data for the two alloy systems were obtained by constant-load creep tests in 550-650°C temperature range. The M-G parameters,m, m’,C, andC’ were proposed and discussed for the two alloy systems. Them value of the M-G relation was 0.90 in type 316LN steel and 0.84 in modified 9Cr-Mo steel. Them’, value of the modified relation was 0.94 in type 316LN steel and 0.89 in 9Cr-Mo steel. Although creep fracture modes and creep properties between type 316LN and modified 9Cr-Mo steels showed a basic difference, the M-G and its modified relations demonstrated linearity quite well. Them’ of modified relation almost overlapped regardless of the creep testing conditions and chemical variations in the two alloy systems, and the parameterm’ was closer to unity than that of the M-G relation.     

Suspension force and mechanism of debris flows

The paper discusses the postulated suspension force, by which it is possible to explain some enigmatic phenomena observed in different types of mass movements. This force is generated in thick suspensions as a result of friction between sinking solid particles and static water. The suspension force is related to the seepage force but they have opposite directions. Both forces form flow networks. Having explained the suspension force, the paper describes how this influences the movement of material, particularly in debris flows. Enigmatic features and the mechanism of debris flows and lahars are explained by virtue of the suspension force. Electronic Publication     

Modeling of laser keyhole welding: Part I. mathematical modeling,numerical methodology,role of recoil pressure,multiple reflections,and free surface evolution

A three-dimensional laser-keyhole welding model is developed, featuring the self-consistent evolution of the liquid/vapor (L/V) interface together with full simulation of fluid flow and heat transfer. Important interfacial phenomena, such as free surface evolution, evaporation, kinetic Knudsen layer, homogeneous boiling, and multiple reflections, are considered and applied to the model. The level set approach is adopted to incorporate the L/V interface boundary conditions in the Navier-Stokes equation and energy equation. Both thermocapillary force and recoil pressure, which are the major driving forces for the melt flow, are incorporated in the formulation. For melting and solidification processes at the solid/liquid (S/L) interface, the mixture continuum model has been employed. The article consists of two parts. This article (Part I) presents the model formulation and discusses the effects of evaporation, free surface evolution, and multiple reflections on a steady molten pool to demonstrate the relevance of these interfacial phenomena. The results of the full keyhole simulation and the experimental verification will be provided in the companion article (Part II).