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.     

GUIDELINES FOR DESIGNING EIS INTERFACES Meeting Executives' Information Needs

For users of an executive information system (EIS), the EIS interface is the system and is crucial to the EIS's success. These guidelines for designing EIS interfaces are based on studies of actual EIS interfaces that meet the unique information needs of executives.     

Application of the methylene blue test to cement raw materials

Characterisation of raw materials for Portland cement manufacture by use of the methylene blue adsorption method is discussed. The method is shown to be a simple, convenient ‘rule of thumb’ procedure. It provides a guide to the quantity and type of argillaceous minerals present in a given raw material sample.     

Wear in check valves due to flow induced motion

Experiments showing the frequency and amplitude of the flow induced motion of the gate for a 2- and a 4-in. swing check valve have been performed. The gate motion is due to turbulence in approach flow. We have found the dominant turbulent frequency of the approach flow is about half the natural frequency of the valves. The valves appear to be almost critically damped. Because of this, the valves respond almost as they would to a static force of the magnitude characteristic of the turbulent fluctuation in the flow. Both the dimensionless exciting force and the damping ratio have been found to be independent of valve size so the above statements are true for larger valves also. The recommended valve oscillation amplitudes and frequencies are used to calculate the wear at the shaft and at the stop. For an unpegged check valve, such as one of the 10-in. valves which was used at the San Onofre Nuclear Generation Station, it was found that shaft bearing wear would amount to 0.27 in.³/year and stop wear to 0.03 in.³/year.     

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.     

Automatic conversion from lexical words to prosodic words for mandarin text-to-speech system

In real speech, not like lexical words (LWs), prosodic words (PWs) are basic rhythmic units. The naturalness of a Text-to-Speech (TTS) system is directly influenced by the segmentation of the PWs. Most of the PWs are the combination of several LWs. In this paper, three Lexical Combination Models are proposed to combine LWs into PWs, including a Directed Acyclic Graph Model, a Segmentation Model and a Markov Model (MM). To cope with the situation where some long LWs should be segmented into two or more PWs, a Lexical Split Model (LSM) is applied to the long LWs. Experimental results prove that relatively constant results with various training data can be obtained from a MM. The Transformation-Based Error Driven Learning (TBED) algorithm, for its high performance of individual property, is applied in combination with the MM to improve the precision of PW segmentation. Experiments show that among the three proposed models, the MM combined with TBED and LSM, leads to the best performance, in which a precision of 93.00% and a recall of 93.23% are achieved. The perception test indicates that by using PWs as the lowest prosodic units a speech sounds more natural and acceptable than by using LWs. This paper is supported by NSFC Project (60503071); 973 Natural Basic Research Program of China (2004CB318102); Postdoctor Science Foundation of P. R. China (20070420275).