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.     

A model for evaluation and administration of security inobject-oriented databases

The integration of object-oriented programming concepts with databases is one of the most significant advances in the evolution of database systems. Many aspects of such a combination have been studied, but there are few models to provide security for this richly structured information. We develop an authorization model for object-oriented databases. This model consists of a set of policies, a structure for authorization rules, and algorithms to evaluate access requests against the authorization rules. User access policies are based on the concept of inherited authorization applied along the class structure hierarchy. We propose also a set of administrative policies that allow the control of user access and its decentralization. Finally, we study the effect of class structuring changes on authorization     

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.     

On the interaction impedance of the coupled cavity structure

The formula and program for calculating the total and negative first harmonic interaction impedance from the data of “large perturbation measurement” are given. This program is a part of the programs for CCTWT design.     

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.     

数字电视传输流的实时码率变换系统

数字视频压缩后通常是打包成传输流的形式进行传送，年个传输流有其固定的发送码率，在某些应用场合，比如信道调制前端，需要对输入传输流码率进行改变以适应该信道要求，描述了一种全硬件实现，双路输出，实时，节目可选择的码率变换系统的原理及具体实现。