On a quasiorder on the class of monounary algebras

In the paper we introduce a relation on the class of monounary algebras by means of -homomorphisms. It is a quasiorder. We take a subclass of containing monounary algebras satisfying the property We characterize algebras in by the notions of a degree and properties of their -endomorphisms. We apply the results to finite monounary algebras. Supported by grant VEGA 1/0161/03     

Unexpected products of the allyldiethylamine hydroformylation homogeneously catalyzed by rhodium complexes

Attempts to carry out the hydroformylation of allyldiethylamine homogeneously catalyzed by rhodium complexes led to unexpected formation of N,N,N,N-tetraethyl-1,4-diaminobutane and 4-(diethylamino)-1-butanole as final products. The role of the catalyst on the product formation and the reaction mechanism are briefly discussed.     

Direct magnetic problem solved by quaternion analog of 3-D Cauchy-Riemann system

Contents By applying the quaternion variant of the Cauchy integral formula the general solution of the direct magnetic problem is derived. The applicability of the method presented here is shown by investigating and calculating the outer field of a analytically magnetized sphere.

---

Die Lösung der direkten Aufgabe der Magnetik mit Hilfe des Quaternionen Analogons des 3-D Cauchy-Riemann Systems

Übersicht Die allgemeine Lösung der direkten Aufgabe der Magnetik wird mit Hilfe der Quaternionenvariante des Cauchy-Integrals abgeleitet. Die Anwendbarkeit der vorgestellten, Methode wird am Beispiel des berechneten äußeren magnetischen Feldes einer analytisch magnetisierten Kugel untersucht.

     

Synthesis of ZnO-based varistor precursor powders by means of the reaction spray process

High-purity, fine-grained oxide ceramic powders that are commonly used for ZnO-based varistors were synthesized by means of the reaction spray process. Processing steps included formation of the solutions of zinc nitrate and/or certain metal additives and spraying of the solution into a heated reaction column using a two-phase nozzle. After water evaporation from the droplets, the precursor salts were decomposed at elevated temperatures (up to 1473 K) in order to obtain homogeneous oxide powders with complex compositions corresponding to the final multicomponent varistor system. The decomposition behaviour of the precursors, as well as the characteristics of the resulting powders: crystallinity, phase composition, particle shape, morphology and particle-size distribution, were examined. It was shown that the characteristics of the reaction spray-derived powders can be controlled by adjusting the system and the solutions parameters.     

Conversion electron Mössbauer spectroscopy of the surface crystallization of the Fe75Co9B16 amorphous alloy

Using a new design of helium-methane gas-flow detector of conversion electrons for Mössbauer spectroscopy, non-uniform nucleation of the primary -Fe-Co phase on both contact and free surfaces of the Ar(+H₂) annealed amorphous Fe₇₅Co₉B₁₆ alloy was observed in its early crystallization stage. In this state the amount of crystalline phase on the contact ribbon side surpasses that on the free one by a factor of three, whereas no traces of volume crystallization were observed in the transmission spectra. By applying ion implantation to both ribbon surfaces, a slight reduction of the crystalline phase contribution was found. Magnetic domain structure observations were performed in order to evaluate the influence of surface crystallization on magnetic properties.     

On the probability theory on MV algebras

 The paper contains a review of some results concerning probability theory on MV algebras (laws of large numbers, central limit theorem, martingale convergence theorem). Also some algebraic and methodical aspects are discussed.     

Influence of Particle Size Distribution,Moisture Content,and Particle Shape on the Flow Properties of Bulk Solids

Abstract

There has been a great deal of research on characterising bulk solids. However, some of the characteristics, particularly the time‐dependent and random changes of properties, still remain insufficiently understood. The focus of this article is to study the influence of particle size, size distribution, moisture content, and particle shape on the unconfined yield strength of bulk solids. We present some interesting results about the influence of the particle size distribution on the unconfined yield strength of a bulk solid and a new method for determining the influence of particle shape on the unconfined yield strength of a bulk solid, which was made possible by the design and use of a novel attritor.     

Designing fast LTL model checking algorithms for many-core GPUs

Recent technological developments made various many-core hardware platforms widely accessible. These massively parallel architectures have been used to significantly accelerate many computation demanding tasks. In this paper, we show how the algorithms for LTL model checking can be redesigned in order to accelerate LTL model checking on many-core GPU platforms. Our detailed experimental evaluation demonstrates that using the NVIDIA CUDA technology results in a significant speedup of the verification process. Together with state space generation based on shared hash-table and DFS exploration, our CUDA accelerated model checker is the fastest among state-of-the-art shared memory model checking tools.