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.     

An algebraic theory of object-oriented systems

The paper presents an algebraic specification of net objects. By net objects we mean those that are defined in object-oriented paradigms and those defined with nested relations in complex database models. An algebraic specification is set up that involves structures of net objects, accesses of net objects, and some features of object-oriented programming, such as multiple inheritance and polymorphism. Objects and their relationships are then characterized formally in the modeling, which utilizes the hierarchical approach in the algebraic theory of abstract data types, and is further developed by adding mechanisms from existing object systems. Categories of net objects are presented with the properties of accesses among them     

聚氧乙烯油酸酯的合成与物性

论述了合成聚氧乙烯油酸酯的较佳反应条件,探讨了不同EO加成数的聚氧乙烯油酸脂的表面物性规律。     

COATES GRAPH APPROACH FOR GENERATING SYMBOLIC NETWORK FUNCTION

In this paper, symbolic code matrix ,constant matrix and count matrix are defined .The first twomatrices are used to describe the elemental expression of augmented matrix and the nede admittance equa-tion is thus obtained. The third matrix is used to obtain the incoming degree matrix, and according to thematrix all the 1- factors of the Coates graph are given. By using the data code, the determinant is expandedand the same items in the expansion are merged. Thus the symbolic network function in which no term can-cellation occurs is generated.     

新疆伊犁托海水电站拱坝坝体变形监测分析

根据托海拱坝5号坝段、7号坝段例垂线实测资料分析，说明了新疆寒冷地区坝体采取聚胺脂喷涂施工措施后对坝体变形的影响，以及右坝肩渗漏对右坝肩岩体的影响，分析结果为托海水电站通过国家电力公司大坝安全监察中心大坝安全首次定检提供了科学依据。     

薄板坯连铸工艺液芯压下的有限元分析

简要介绍世界几种主要薄板坯连铸工艺。着重叙述应用大型通用商业软件MSC.MARC。模拟液芯压下时铸坯的变形，确定最佳压下方案的有限元分析，液芯压下应该在结晶器出口处及二冷区扇形段开始部分进行，这样能减小铸坯的应变。     

LDPC-based space-time coded OFDM systems over correlated fadingchannels: Performance analysis and receiver design

We consider a space-time coded (STC) orthogonal frequency-division multiplexing (OFDM) system with multiple transmitter and receiver antennas over correlated frequency- and time-selective fading channels. It is shown that the product of the time-selectivity order and the frequency-selectivity order is a key parameter to characterize the outage capacity of the correlated fading channel. It is also observed that STCs with large effective lengths and ideal built-in interleavers are more effective in exploiting the natural diversity in multiple-antenna correlated fading channels. We then propose a low-density parity-check (LDPC)-code-based STC-OFDM system. Compared with the conventional space-time trellis code (STTC), the LDPC-based STC can significantly improve the system performance by exploiting both the spatial diversity and the selective-fading diversity in wireless channels. Compared with the previously proposed turbo-code-based STC scheme, LDPC-based STC exhibits lower receiver complexity and more flexible scalability. We also consider receiver design for LDPC-based STC-OFDM systems in unknown fast fading channels and propose a novel turbo receiver employing a maximum a posteriori expectation-maximization (MAP-EM) demodulator and a soft LDPC decoder, which can significantly reduce the error floor in fast fading channels with a modest computational complexity. With such a turbo receiver, the proposed LDPC-based STC-OFDM system is a promising solution to highly efficient data transmission over selective-fading mobile wireless channels     

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.