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.     

隧道挖掘中采用补偿灌浆的实例

在英国伦敦多克兰斯轻便铁路刘易舍姆延长线（DLR－LWE）双隧道掘进工程中，在敏感建筑物下进行了补偿灌浆，以防止隧道开挖引起的过度沉降。但是，过度灌浆也会对隧道下部施加超越。介绍了由隧道掘进承包商所编辑的关于地面和建筑物沉降以及由补偿灌浆引起的隧道衬砌变形的详细现场监测数据。     

恢复城市水环境的自然生态

为了确保城市社会经济的可持续发展,城市的水资源管理是重要的一环,而且,这项管理会逐步从防洪、水资源利用的量的管理向水质管理、空间管理和生态体系的保护等综合管理发展,其中恢复河流清澈、优美的自然生态,科学有效地建设城市水环境是个需要研究的大课题.     

预处理工艺对硬质合金与金刚石膜间粘结力的影响

在两种经不同预处理的硬质合金YG8基底上，采用微波等离子体化学气相沉积法，在微波功率2kW，压强4.0kPa和6.5kPa，CH4和H2流量分别为1.6cm/s和100.0cm/s的条件下生长金刚石薄膜。利用X射线衍射检测了金刚石薄膜是否存在，用拉曼光谱分析了薄膜的质量，用金相显微镜观察了薄膜的洛氏硬度压痕，标定并比较了不同预处理工艺膜与基底的结合力。实验结果表明，不同的预处理方法对于粘结力的影响不大，最主要的因素是钴含量的多少。     

铁路冷藏运输运价分析

本文对各种运输方式易腐货物的运价进行了比较分析,对铁路冷藏运输的现行运价和保本运价进行了讨论,提出了铁路冷藏运输运价改革的若干建议,可供铁路进行冷藏运输改革参考。     

二过碘酸合银（Ⅲ）钾引发丙类酸甲酯在淀粉上接枝共聚合反应的研究

研究了由二过碘酸合银（Ⅲ）钾（简称Ag(Ⅲ））与可溶性淀粉组成的氧化还原体系，于碱性介质中引发淀粉的接枝共聚合反应，得到高接枝效率的接枝共聚物，测定了引发剂浓度、单体浓度、pH值和反应温度对接枝参数的影响，并探讨了引发机理。     

An efficient mixed algorithm of L-MEI and DDM for the wavescattering by a concave cylinder

In this paper, a localized MEI method (L-MEI) is developed and combined with the domain decomposition method (DDM) for the simulation of scattering by a concave cylinder. In the L-MEI, the whole domain is decomposed into many subdomains. Different from the conventional MEI method, the MEI coefficients of the L-MEI method in each subdomain are only dependent on the localized metrons that are defined in the subdomain. The localization of metrons has the following advantages: (1) speeding up the calculation of MEI coefficients and saving memory, (2) making the MEI method available for concave structures, and (3) obtaining a band sparse matrix directly without any modification     

纳米α-FeOOH颗粒的形态和结构

以硫酸法钛白的副产物绿矾为原料，采用滴加法制备纳米铁黄（α－FeOOH）颗粒。研究了反应体系的pH值、反应温度、通氧速率、搅拌速率和添加剂等对铁黄颗粒形态结构的影响，采用XRD、TEM等分析手段对颗粒进行表征。结果表明，调节体系pH值能控制铁黄晶型结构和色相；改变通氧速率、搅拌速率、添加剂种类以及反应温度等可以调节纳米α－FeOOH的大小和分散性。