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.     

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.     

Mobility management for VoIP service: Mobile IP vs. SIP

Wireless Internet access has gained significant attention as wireless/mobile communications and networking become widespread. The voice over IP service is likely to play a key role in the convergence of IP-based Internet and mobile cellular networks. We explore different mobility management schemes from the perspective of VoIP services, with a focus on Mobile IP and session initiation protocol. After illustrating the signaling message flows in these two protocols for diverse cases of mobility management, we propose a shadow registration concept to reduce the interdomain handoff (macro-mobility) delay in the VoIP service in mobile environments. We also analytically compute and compare the delay and disruption time for exchanging signaling messages associated with the Mobile IP and SIP-based solutions.     

Replacement of beef fat in Frankfurters by interesterified palm,cottonseed and olive oils

Three interesterified vegetable oils (IVOs) prepared from palm, cottonseed, and olive oil, respectively, have been studied for application to Frankfurters. Beef fat (10%) was replaced by one of the IVOs at 20, 60 or 100%. Fatty acid composition of the lipid fraction in the Frankfurters and saturated/unsaturated ratios were established for all batches. We found that total or partial replacement of beef fat by IVOs did not lead to significant changes in appearance, colour, texture, flavour or sensory score. We conclude that IVOs may be successfully applied as beef fat substitutes in Frankfurters.     

The organisational learning effects of management accounting information under advanced manufacturing technology

This study empirically examined the organisational learning effects of the nonfinancial performance information provided by management accounting information systems (MAISs) under advanced manufacturing technology (AMT). In this study, a target costing system and the frequent and quick reporting of information were considered the facilitators of learning. First, we examined the relationships between AMT level and the amount of nonfinancial performance information produced by MAISs. The empirical results showed that there are significant positive relationships between the level of AMT and nonfinancial performance information. With a systems approach, we also proved the impact of the relationships among AMT levels, nonfinancial performance information and learning facilitators on the organisational performance of a firm. The results of our research suggest that under a high level of AMT, for the provision of information to result in an increase of performance through organisational learning, a target costing system must be introduced and a large amount of information should be provided frequently and quickly. The results of this study also showed that although AMT level may be low, fairly well-arranged facilitators and a moderately large amount of information may be necessary for the improvement of performance. In conclusion, effective organisational learning depends on the provision of relevant information as well as efficient learning support mechanisms.     

Nondestructive evaluation of the characteristics of degraded materials using backward radiated ultrasound

The frequency dependency of Rayleigh surface wave is investigated indirectly by measuring the angular dependency of the backward radiation of the incident ultrasonic wave in two kinds of degraded specimens by scuffing or corrosion. Then, the frequency dependency is compared with the residual stress distribution or the corrosion-fatigue characteristics for the scuffed or corroded specimens, respectively. The width of the backward radiation profile increases with the increase of the variation in residual stress distribution for the scuffed specimens. In the corroded specimens, the profile width decreases with the increase of the effective aging layer thickness and is inversely proportional to the exponent, m, in the Paris’ law that can predict the crack size increase due to fatigue. The result observed in this study demonstrates high potential of backward radiated ultrasound as a tool for nondestructive evaluation of subsurface gradient of material degradation generated by scuffing or corrosion.