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     

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.     

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.     

Substitution of nickel in Mg2Ni and its hydride with elements from groups XIII and XIV: An ab initio study

We have performed ab initio calculations with equilibrium supercells of the Mg₂Ni compound and its hydride Mg₂NiH₄ doped with elements X = Al, Ga, In, Si, Ge and Sn. Two concentrations of X in both structures have been set: (1) every 16th, and (2) every fourth Ni atom has been substituted by X. Total energy calculations yielded the Mg₂NiH₄ hydrogen absorption enthalpy ΔH_abs according to the chemical reaction Mg₂Ni + 2H₂ → Mg₂NiH₄. Reduction of the hydrogen absorption enthalpy was reported for both concentrations of X. When doping the Mg₂NiH₄ hydride with X = In in a low concentration (1), the value of hydrogen desorption enthalpy decreases from 68.22 to 55.96 kJ(mol H₂)^?1. Doping with X = In in a high concentration (2) further decreases the hydrogen desorption enthalpy to 5.50 kJ(mol H₂)^?1. Further, the electronic structure of Mg₂(Ni–In)H₄ hydride with a low In concentration indicates weaker Ni–H bonds in comparison with the pristine Mg₂NiH₄. Attraction between H and In atoms induced enhanced bonding between Mg and H atoms compared to the pristine Mg₂NiH₄.     

Particle Swarm Optimization and Pure Adaptive Search in Finish Goods’ Inventory Management

Abstract

Inventory management deals with a tradeoff between the benefits of keeping stocks of goods that allows fulfillment of the customer’s demand, and the cost of carrying inventory. Inventory control techniques are very important components and the most organizations can substantially reduce their costs associated with the flow of materials. This paper presents new inventory management model based on particle swarm optimization and pure adaptive search global optimization algorithm in production-inventory system. The proposed model is focusing on planned level of demand for finished goods, production and raw materials cost, production capacity as the norm, change of the production cost and inventory capital cost, all of which are typical factors in automobile manufacture industry. The model determines different factors such as the minimizing inventory quantity, minimizing inventory value, and minimizing production cost based on demand for production items. The model is tested with original real-world dataset obtained from the automotive company Lear from US and its factory in Novi Sad, Serbia.     

What Business Owners Expect From a Crisis Manager? A Competency Model: Survey Results From Czech Businesses

This competency model of a crisis manager has been developed based on cooperation with managers and experts in the field of crisis management. The brainwriting method was used to generate an overview of the competencies expected of a crisis manager. Using a mind map three basic groups of competencies were developed. The participants used Saaty's method to determine the significance of individual competencies. The different attributes of individual competencies according to the level of their development were established. Finally all individual competencies were assigned a target value which indicates the expected level of competence for the position of a crisis manager. The model of competencies is a practical tool for the establishment of crisis management system in a company.     

Production of stable amorphous form by means of spray drying

Spray drying is a very useful method for manufacturing of amorphous solid materials. This is mainly due to the possibility of fast solvent evaporation that leads to a rapid transformation of solution to a solid state. Besides evaporation kinetics, there are various process parameters that influence physical and chemical characteristics of such obtained material. The possibility of obtaining a stable amorphous structure of the active pharmaceutical ingredient in a spray dryer was examined. A solution of the hydrochloride crystalline structure of the active pharmaceutical ingredient in a mixture of water and acetonitrile was dried at different temperatures and flowrates of nitrogen used for atomization, as well as the flowrates of the solution. The influence of the process conditions on the properties of the product was analyzed. The final dried products were characterized and identified with a variety of analytical and physical methods. The results showed that a stable amorphous structure of the high purity active pharmaceutical ingredient is obtained, and that the optimal conditions of the process are defined. The amorphous structure is stable at temperatures below 200°C when it is transformed into a new crystal structure. Conditions of high relative air humidity lead to partial transformation.