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.     

Mixed Mode VLSI Implementation of a Neural Associative Memory

A mixed mode digital/analog special purpose VLSI hardware implementation of an associative memory with neural architecture is presented. The memory concept is based on a matrix architecture with binary storage elements holding the connection weights. To enhance the processing speed analog circuit techniques are applied to implement the algorithm for the association. To keep the memory density as high as possible two design strategies are considered. First, the number of transistors per storage element is kept to a minimum. In this paper a circuit technique that uses a single 6-transistor cell for weight storage and analog signal processing is proposed. Second, the device precision has been chosen to a moderate level to save area as much as possible. Since device mismatch limits the performance of analog circuits, the impact of device precision on the circuit performance is explicitly discussed. It is shown that the device precision limits the number of rows activated in parallel. Since the input vector as well as the output vector are considered to be sparsely coded it is concluded, that even for large matrices the proposed circuit technique is appropriate and ultra large scale integration with a large number of connection weights is feasible.     

A novel cyclic process using CaSO<Subscript>4</Subscript>/CaS pellets for converting sulfur dioxide to elemental sulfur without generating secondary pollutants: Part I. Feasibility and kinetics of the reduction of sulfur dioxide with calcium-sulfide pellets

Certain new sulfide-smelting processes and coal-gasification processes generate high-strength sulfur dioxide streams, for which a new process for converting sulfur dioxide to elemental sulfur needs to be developed because no process exists that is generally and economically applicable to the treatment of such streams. A thermodynamic and experimental investigation to develop a new process for converting sulfur dioxide to elemental sulfur by a cyclic process involving calcium sulfide and calcium sulfate without generating secondary pollutants was carried out. In this process, the starting raw material, calcium sulfate, is reduced by a suitable reducing agent, such as hydrogen, to produce calcium sulfide, which is used to reduce sulfur dioxide to elemental sulfur vapor and calcium sulfate. The latter is, in turn, reduced to regenerate calcium sulfide. In this Part I, detailed experimental results are presented on the kinetics of the reaction between sulfur dioxide and calcium-sulfide pellets, which produces elemental sulfur and calcium sulfate. The experiments were carried out at temperatures between 1023 and 1088 K and sulfur-dioxide partial pressures between 9 and 60 kPa by the use of a thermogravimetric analysis (TGA) technique. The rate of this reaction was demonstrated by the conversion of 40 pct calcium-sulfide pellets obtained from the hydrogen reduction of fresh calcium sulfate in 10 minutes at 1073 K under a sulfur-dioxide partial pressure of 43 kPa. The reactivity decreased somewhat during the first three cycles but remained largely unchanged thereafter up to the tenth cycle. This characteristic of the pellets is important because the solids must be reusable for repeated cycles to avoid generating secondary pollutants. A pore-blocking model was found to fit the reaction rate. The reaction is first order with respect to sulfur-dioxide partial pressure and has an activation energy of 101 to 134 kJ/mol (24 to 32 kcal/mol) for calcium-sulfide pellets reacted and regenerated several different times. Sulfur dioxide-containing streams from certain sources, such as the regenerator off-gas from an integrated-gasification, combined-cycle, desulfurization unit and new sulfide-smelting plants, contain much higher partial pressures of SO₂. In these cases, the rate of the first reaction is expected to be proportionally higher than in the test conditions reported in this article. The reduction kinetics of calcium-sulfate pellets with hydrogen gas is reported in the accompanying Part II.     

Microbiological denitrification of red beet juice

The purpose of study was the determination of optimal conditions for red beet juice denitrification by Paracoccus denitrificans bacteria as well as the evaluation of the usefulness of microbiologically treated juice for the production of a natural colouring preparation for foods. Total reduction of nitrates was found during bacterial culturing at 25 and 30 °C, at an initial pH of 7.0-8.0 and juice osmotic pressure of 900-1100 mOsm/kg. Microbiological denitrification procedure affected colour, taste and aroma of the juice. However, the use of juice as food colouring and component was made feasible by acidification and partial evaporation of water together with volatile substances.     

„Patriot“

Ohne Zusammenfassung     

产品最优化:信息是关键

随着技术的进步和信息的日益全球共享化,生产DVD已经变得不再神秘。今天的DVD生产线已经达到了一个相当可靠的程度,凭借这种成熟和可靠的标准,任何制造商均可以向市场提供令人满意的足够数量的DVD产品。最近的技术发展更吸引了大批的新来者纷纷加入复制领域,同时这也为DVD走向大规模生产铺平了道路。当人们攻克了DVD的播放性问题之后,整个DVD行业的焦点目前正在转向另外一个不同的领域:如何在保持生产成本尽可能低的情况下充分满足稳步增长的市场对高质量DVD的需求? 对于这一问题,显而易见的答案就是使生产     

Suspension force and mechanism of debris flows

The paper discusses the postulated suspension force, by which it is possible to explain some enigmatic phenomena observed in different types of mass movements. This force is generated in thick suspensions as a result of friction between sinking solid particles and static water. The suspension force is related to the seepage force but they have opposite directions. Both forces form flow networks. Having explained the suspension force, the paper describes how this influences the movement of material, particularly in debris flows. Enigmatic features and the mechanism of debris flows and lahars are explained by virtue of the suspension force. Electronic Publication     

OC-48、OC-192芯片和系统设计师面临挑战

当今，从事OC-48、OC-192技术的设计师在设计基于因特网协议(IP协议)的下一代系统时，因系统含有诸如ASIC、网络处理器(NP)、高速跟踪器等元件，以及分组SONET物理层(PoS-PHY)接口规范等的演变，而一直面临挑战。抖动和扭斜失真等现象的存在给诸如系统分组接口第4层(SPI-4)和通用交换接口(CSIX)等总线结构本已拥挤的时序容限，以及四元数据率静态RAM传送表访问时间带来极大混乱。再加上诸如低压差分信号(LVDS)、高速收发逻辑和短线串行终端逻辑等超低电压峰-峰信号技术的引入，使数据出错的可能性变得异常之高。而利用仿真技…