New salts based on imidazolium, pyrrolidinium, phosphonium, guanidinium, and ammonium cations together with the 5‐cyanotetrazolide anion [C2N5]? are reported. Depending on the nature of cation–anion interactions, characterized by XRD, the ionic liquids (ILs) have a low viscosity and are liquid at room temperature or have higher melting temperatures. Thermogravimetric analysis, cyclic voltammetry, viscosimetry, and impedance spectroscopy display a thermal stability up to 230 °C, an electrochemical window of 4.5 V, a viscosity of 25 mPa s at 20 °C, and an ionic conductivity of 5.4 mS cm?1 at 20 °C for the IL 1‐butyl‐1‐methylpyrrolidinium 5‐cyanotetrazolide [BMPyr][C2N5]. On the basis of these results, the synthesized compounds are promising electrolytes for lithium‐ion batteries. 相似文献
The dinuclear zinc complex reported by us is to date the most active zinc catalyst for the co‐polymerization of cyclohexene oxide (CHO) and carbon dioxide. However, co‐polymerization experiments with propylene oxide (PO) and CO2 revealed surprisingly low conversions. Within this work, we focused on clarification of this behavior through experimental results and quantum chemical studies. The combination of both results indicated the formation of an energetically highly stable intermediate in the presence of propylene oxide and carbon dioxide. A similar species in the case of cyclohexene oxide/CO2 co‐polymerization was not stable enough to deactivate the catalyst due to steric repulsion. 相似文献
We report morphologic changes of metallic surfaces at the onset of ablation, starting from gentle ablation to the emergence of ablation craters. The evolution of both observed melting zones and of ablation craters therein are investigated in dependence of the ablation laser fluence for nanosecond ultraviolet laser pulses. Further, consequences of crater formation for cluster synthesis within the released atomic vapor are pointed out. PACS 52.38.Mf; 79.20.Ds; 65.40.De 相似文献
We introduce a new construction algorithm for digital nets for integration in certain weighted tensor product Hilbert spaces. The first weighted Hilbert space we consider is based on Walsh functions. Dick and Pillichshammer calculated the worst-case error for integration using digital nets for this space. Here we extend this result to a special construction method for digital nets based on polynomials over finite fields. This result allows us to find polynomials which yield a small worst-case error by computer search. We prove an upper bound on the worst-case error for digital nets obtained by such a search algorithm which shows that the convergence rate is best possible and that strong tractability holds under some condition on the weights.
We extend the results for the weighted Hilbert space based on Walsh functions to weighted Sobolev spaces. In this case we use randomly digitally shifted digital nets. The construction principle is the same as before, only the worst-case error is slightly different. Again digital nets obtained from our search algorithm yield a worst-case error achieving the optimal rate of convergence and as before strong tractability holds under some condition on the weights. These results show that such a construction of digital nets yields the until now best known results of this kind and that our construction methods are comparable to the construction methods known for lattice rules.
We conclude the article with numerical results comparing the expected worst-case error for randomly digitally shifted digital nets with those for randomly shifted lattice rules.
Based on a modification of Moss' and Parikh's topological modal language [8], we study a generalization of a weakly expressive fragment of a certain propositional modal logic of time. We define a bimodal logic comprising operators for knowledge and nexttime. These operators are interpreted in binary computation structures. We present an axiomatization of the set T of theorems valid for this class of semantical domains and prove – as the main result of this paper – its completeness. Moreover, the question of decidability of T is treated. 相似文献
The structure and magnetism of thin epitaxial Fe layers grown on Cu(0 0 1) is investigated by grazing scattering of fast H and He atoms. Information on the atomic structure of the film and substrate surfaces is obtained by making use of ion beam triangulation with protons. The magnetic behavior is studied via the polarization of light emitted after capture of spin-polarized electrons into excited atomic terms during scattering of He atoms. For the formation of bcc(1 1 0)-like Fe films at higher coverages, we detect differences in structural and magnetic properties for room and low temperature growth. We suggest that the crystalline structure depends on the film morphology and that Cu impurities affect the magnetic properties. 相似文献