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.     

插补法CAI研究

数字程序控制计算机辅助教学是将计算机技术用于数字程序控制的教学过程，它帮助学生学习并模拟教学实验．本文介绍了数字程序控制中直线插补和圆孤插补的ＣＡＩ实现方法．     

Magnetization and rotation of MTG HTSC ring in magnetic field

The magnetization of a melt-texture growth (MTG) HTSC ring has been studied. It is shown that the magnetic field inside the ring is larger than the external field under a certain range of external magnetic fields. We have also investigated the magnetic field dependence of the response of a detective coil near a rotating superconducting ring. The responses of the MTG sample are different for different cooling methods.     

C/O能谱测井数据预处理的两点改进意见

简单介绍了碳氧比测井的原理及通常的数据处理方法。分析了由常规数据处理所得曲线仍然存在的问题及可能的成因 ,并给出了可行的修正办法。讨论了另一种可行的曲线异常数据的检测、剔除方法。实践表明 :文章讨论的两点建议都是可行的 ,并且在提高测量曲线质量的同时也提高了地层含油饱和度的解释精度。     

A concise process technology for 3-D suspended radio frequency micro-inductors on silicon substrate

In this letter, a concise process technology is proposed for the first time to enable the fabrication of good quality three-dimensional (3-D) suspended radio frequency (RF) micro-inductors on bulk silicon, without utilizing the lithography process on sidewall and trench-bottom patterning. Samples were fabricated to demonstrate the applicability of the proposed process technology.     

基于规则的光学邻近矫正中规则的相关处理

讨论了如何选择适当的规则,如何建立简洁实用的规则库,如何应用规则库.提出了四种主要的光学邻近矫正规则,在实验结果中列举了规则库中的部分数据.利用规则矫正后的版图光刻得到的硅片图形有了明显的改善.规则库的自动建立部分 (OPCL)是基于规则的光学邻近矫正系统的重要组成部分.     

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.