From LTL to unambiguous Büchi automata via disambiguation of alternating automata

Formal Methods in System Design - Due to the high complexity of translating linear temporal logic (LTL) to deterministic automata, several forms of “restricted” nondeterminism have been...     

Frequency- and depth-dependent compensation of ultrasonic signals

The resolution in ultrasonic images decreases with depth when using traditional time-gain compensation (TGC) of the received signal. To reduce this effect, both frequency-dependent and depth-dependent compensation is introduced. A time-varying digital filtering method is presented for this purpose, which is based on Wiener filtering. Images obtained from a simulated tissue equivalent are presented and the frequency-compensated images are compared to conventional TGC-compensated images. It is shown that the improvement in resolution using frequency-dependent compensation is considerable when the signal-to-noise ratio in the received signal is high.     

Solubility of helium in melts of the metallic glass system Pd-Ni-P and in related systems

Glass melts of the metallic alloy system Pd_10–70Ni_10–70P_14–26 were saturated with helium gas during the melt-spinning process. Some melts with platinum substituted for palladium; manganese, iron or cobalt for nickel; and boron for phosphorus could also be saturated. The helium could be extracted from the glasses and the amount of gas was quantitatively measured with a mass spectrometer. The helium solubilities, obtained between 750 and 1250° C, varied between about 2 and 45 (l He per mol glass) (T/273). These solubilities turned out to be strongly composition-dependent. This fact is discussed in terms of different short-range order structure units which are directly related to the free volume available for the gas solution process.     

Polymer melt elongation—methods,results, and recent developments

For film blowing of polyethylene it has been shown previously that melt elongation is very powerful for polymer characterization. With two types of rheometers, simple (also called “uniaxial”) elongational tests as well as creep tests can be performed homogeneously. In simple elongation, the melts of branched polyethylene show a remarkable strain hardening. With respect to their advantages and disadvantages, these rheometers complement each other. For multiaxial elongations the various modes of deformation can be performed by means of the rotary clamp technique. With the strain rate components ordered such that \documentclass{article}\pagestyle{empty}\begin{document}$ \dot \varepsilon $\end{document}₁₁ ? \documentclass{article}\pagestyle{empty}\begin{document}$ \dot \varepsilon $\end{document}₂₂ ≥ \documentclass{article}\pagestyle{empty}\begin{document}$ \dot \varepsilon $\end{document}₃₃, the ratio m = \documentclass{article}\pagestyle{empty}\begin{document}$ \dot \varepsilon $\end{document}₂₂/\documentclass{article}\pagestyle{empty}\begin{document}$ \dot \varepsilon $\end{document}₁₁ characterizes the test mode. The Stephenson definition of the elongational viscosities makes use of the linear viscoelastic material equation and proves to be very efficient because the linear shear viscosity (t) (“stressing” viscosity) can act as the reference for the nonlinear behavior in elongation. Results are given for polyisobutylene measured not only in simple, equibiaxial, and planar elongations, but also in new test modes with a change of m during the deformation. This allows one to investigate the consequences of a deformation-induced anisotropy of the rheological behavior.     

聚乙烯与聚丙烯单组分复合材料研究进展

综述了聚乙烯、聚丙烯单组分复合材料的发展概况及最新研究动态。介绍了熔融膜压法、粉末浸渍法、溶液浸渍法三类制备聚乙烯单组分复合材料的传统方法。重点介绍了热压法、共挤出热压法两类制备单组分复合材料的创新方法。分析了各制备方法的优缺点:熔融法、粉末法与溶液法效率均较低且复合材料中纤维含量较少,力学性能不佳;热压法由于初始材料为100％纤维,从而综合效率较高,力学性能良好,缺点为加工温度过于苛刻;共挤出热压法效率较高,在具有高的增强相含量的同时拥有较宽的加工温度范围,缺点为增强相强度需进一步提高。最后介绍了单组分复合材料的应用并对其研究与应用前景作了展望。     

A Distributed O(1)-Approximation Algorithm for the Uniform Facility Location Problem

We investigate a metric facility location problem in a distributed setting. In this problem, we assume that each point is a client as well as a potential location for a facility and that the opening costs for the facilities and the demands of the clients are uniform. The goal is to open a subset of the input points as facilities such that the accumulated cost for the whole point set, consisting of the opening costs for the facilities and the connection costs for the clients, is minimized. We present a randomized distributed algorithm that computes in expectation an ${\mathcal {O}}(1)$ -approximate solution to the metric facility location problem described above. Our algorithm works in a synchronous message passing model, where each point is an autonomous computational entity that has its own local memory and that communicates with the other entities by message passing. We assume that each entity knows the distance to all the other entities, but does not know any of the other pairwise distances. Our algorithm uses three rounds of all-to-all communication with message sizes bounded to $\mathcal{O}(\log(n))$ bits, where n is the number of input points. We extend our distributed algorithm to constant powers of metric spaces. For a metric exponent ?≥1, we obtain a randomized ${\mathcal {O}}(1)$ -approximation algorithm that uses three rounds of all-to-all communication with message sizes bounded to $\mathcal{O}(\log(n))$ bits.     

Blocking Grain Boundaries in Yttria-Doped and Undoped Ceria Ceramics of High Purity

CeO₂ samples doped with 10, 1.0, and 0.1 mol% Y₂O₃ and undoped CeO₂ samples of high purity were studied by impedance spectroscopy at temperatures <800°C and under various oxygen partial pressures. According to microstructural investigations by SEM and analytical STEM (equipped with EDXS), the grain boundaries were free of any second phase, providing direct grain-to-grain contacts. An amorphous siliceous phase was detected at only a few triple junctions, if at all; as a result, its contribution to the grain-boundary resistance was negligible. Nevertheless, the specific grain-boundary conductivities were still 2–7 orders of magnitude lower than the bulk conductivities, depending on dopant concentration, temperature, and oxygen partial pressure. The charge carrier transport across the grain boundaries occurred only through the grain-to-grain contacts, whose properties were then determined by the space-charge layer. The space-charge potential in acceptor-doped CeO₂ was positive, causing the simultaneous depletion of oxygen vacancies and accumulation of electrons in the space-charge layer. The very low grain-boundary conductivities can be accounted for by the oxygen-vacancy depletion; the accumulation of electrons became evident in weakly doped and undoped CeO₂ at high temperatures and under low oxygen partial pressures.