真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

带延迟约束单机排序的改进算法

给出了带延迟排序的一个改进启发式算法,从而解决了Wikum等提出的一个问题。并且此算法可以最优求解单位加工时间的问题,进一步对另一个问题,此算法亦被证明好于Wikum等原来的算法。     

超稳Y沸石制备技术对沸石铝分布的影响 Ⅱ.均匀铝分布的超稳Y沸石的制备

对水热处理后得到的USY沸石作进一步的酸处理以及采用改进的氟硅酸盐溶液骨架富硅工艺,分别得到了经XPS剖面分析证实为铝分布均匀的超稳Y沸石HAY-Ⅰ和HAY-Ⅱ。IR分析表明,在酸处理过程中从USY沸石中去掉的那部分非骨架铝类与3690cm~(-1)处羟基有关,仍残留在HAY-Ⅰ沸石中的那部分非骨架铝类与3670cm~(-1)和3600cm~(-1)处羟基有关。XRD和化学分析表明HAY-Ⅰ沸石仍含有约50％的非骨架铝类,而HAY-Ⅱ沸石则基本上不含非骨架铝类,HAY-Ⅱ沸石还显示更高的结晶保留度。DTA分析表明,HAY-Ⅰ和HAY-Ⅱ两种沸石的热稳定性均高于USY沸石。     

Novel optical techniques for the analysis of polymer surfaces and thin films

Summary We report on novel optical techniques, based on evanescent waves, for the characterization of polymer surfaces and thin films. We first describe photo-ablation studies with polysilane films investigated by surface plasmon microscopy, a technique which is particularly well-suited for ultrathin samples. Thicker films that are homogeneous enough to carry optical waveguide modes can be characterized with high lateral resolution by the recently developed waveguide microscopy. We demonstrate this for a thin film of a solid polyelectrolyte. Finally, we report on surface plasmon field-enhanced Raman-spectroscopic and -imaging investigations of ultrathin Langmuir-Blodgett-Kuhn-layers of cadmium arachidate.W. Hickel is now with HOECHST AG, Angewandte Physik, W-6230 Frankfurt 80     

Magnetic resonance imaging and pulsed Doppler sonography of poststenotic jets: Correlation between signal void and flow velocity distribution

To correlate the appearance of poststenotic jets on gradient echo images with features of localized Doppler spectra of the jets, we studied an in vitro model of steady flow-through stenoses of 86, 96, and 99% area reduction. As fluids, water and a 40% glycerol solution in water were used. MRI was performed with a 1.5 T whole body imager and gradient echo images were obtained in planes parallel to the direction of flow. Doppler spectra were acquired separately from the MR measurements at 1 cm intervals for a distance of 10 cm downstream from the stenosis. Poststenotic signal void was observed for water and for the 40% glycerol solution only if the mean velocity within the stenosis exceeded a limit of 50–60 cm/sec. On the MR images, the jets could be divided into two segments: A proximal jet segment of uniform width equal to the diameter of the stenosis, followed by a distal jet segment which was characterized by broadening and then dissipating signal void. Except for the 99% stenosis, a high signal intensity core was present within the proximal jet segment. In the proximal jet segment, the Doppler measurements showed a low temporal fluctuation of the maximal flow velocity and only little flow opposite to the main flow direction. In the distal jet segment, the velocity fluctuation and the intensity of reverse flow increased sharply. The high signal intensity core of the jet was associated with a poststenotic zone of constant maximal flow velocity. The results demonstrate a close relationship between characteristic features of poststenotic jets in MRI and pulsed Doppler sonography.     

Characteristic values of the integral equation satisfied by the Mathieu functions and its application to a system with chirality-pair interaction on a one-dimensional lattice

We investigate low-temperature behaviors of a system with chirality-pair interaction on a one-dimensional lattice. In the course of the investigation, we evaluate asymptotic forms of the characteristic values of the integral equation satisfied by the Mathieu functions. It turns out that the low-temperature behavior of correlation length of the chirality-pair correlation function is different from the one for the Ising model of spin ±1 but akin to the one for the Ising model of infinite spin.     

On the retrograde condensation of one or two liquids

This contribution discusses the phenomena of retrograde condensation of one or two liquids. It w1 be shown that both phenomena can be well understood. Also the relation of retrograde condensation of one liquid phase with the condensation behavior of natural gas will be discussed. Similarly that of two liquid phases with multiple phase behavior occurring in low temperature reservoir fluids will be pointed out.     

Certified reference materials for the quality control of analysis in the environment

Summary The Community Bureau of Reference (BCR) has undertaken the production of a wide range of certified reference materials (CRMs) for the improvement of accuracy and measurement harmony in various areas of concern at European Community level. This paper provides an overview of the sectors of the BCR-programme in the field of environment i.e. for water systems (water, sediment, biota), soil analysis (soil, fertiliser, waste), plant analysis (aquatic and terrestrial plants), analysis related to animals (e.g. muscle or liver) or man (e.g. industry and food).