An important problem in invariant image recognition is automatic extraction of invariant features, which are able to describe an object invariant under translation, rotation and scale. Elegant solution of this problem is using Trace transform based on Triple Features. To compute invariant Triple Features a sophisticated combination of three functionals (Trace, Circus and Diametric) is needed. The paper overline the properties of the functionals must have in order to extract invariant features. The problem of high dimensionality and selecting of optimal combinations of functionals is solved using Karhunen – Loeve transform (KLT). The new architecture of invariant image recognition system based on Trace transform and KLT is presented. The system performance was tested in image recognition experiments.

In this paper, we introduce Model Reference Adaptive Fuzzy Control (MRAFC) scheme which provide controller with perfect model-tracking capability. In section 1 we review the development of fuzzy control and state out the need for adaptive fuzzy control. In section 2 we define the type of fuzzy controller, plant and reference model. In section 3 we show the derivation of the MRAFC adaptive laws. In section 4 a simulation is provide for showing the performance with a linear state-feedback controller.

The paper deals with analyse and simplified optimization of the transmission of analogue television and radio signals in broadband cable distribution networks (CATV). Optimization is realized with a view to obtaining the required parameters of output signals – namely signal level, signal-to-noise ratio and dynamic range. Results of these analyses are valid partially for digital cable distribution too. There is no need to pursue the dynamic range of signal in that case, because digital signals are very resistant to the nonlinear distortions.

The paper deals with reliability evaluation procedure of thick film inductors manufactured by various techniques. Thick film inductors belong to the specific electronic passive components, which properties are known as a component „tailored“according to the application, structure and construction. Evaluation methodology principle of thick film inductors issues from entities of standardized reliability evaluation procedure of classical electronic equipments. Influence of various factors to the level of quality and reliability of thick film inductors play considerable role according with manufacturing technology. The combination of climatic factors (e.g. temperature, humidity) with manufacturing conditions of thick film inductors influenced the electrical performance of inductors: inductance L, quality factor Q and parasitic parameters: serial resistance Rs and self capacitance Cp. Various reliability test were realized based on the comparison of influence of various climatic factors: accelerated ageing thermal stress test, damp heat test cyclic, dry heat test and thermal shock. This paper shows on manufacturing possibilities of thick film inductors that were manufactured by three various techniques: conventional thick film technology, application of photosensitive paste Fodel® and etching in combination with photolitography process.

This paper shows the experiences with processing and utilization of biomass energy in Germany. In the first parts of the paper are general described the most important methods of biomass processing and its characters. Further are mentioned the rules for grid connection of these distributed sources with two examples of such power calculations. Finally are described two power plants in Bayern, which represent two most frequent utilizations of biomass energy.

In our paper we follow the development of our approach of regarding programming as logical reasoning in intuitionistic linear logic. We present basic notions of linear logic and its deduction system and we define categorical semantics of linear logic as a symmetric monoidal closed category. Then we construct linear type theory over linear Church’s types involving linear calculus with equational axioms. We conclude with the interpretation of the linear type theory in symmetric monoidal closed category. Defined entities included in our whole linear logical system give us a possible mean for deduction and reduction of problem solving in the framework of mathematics and computer science.

Soft-switching DC-DC converter using Phase-Shifted Pulse Width Modulation (PS-PWM) on secondary side of high-frequency transformer is described in the paper. The converter consists of a full-bridge inverter fitted with fast IGBT transistors. The output power of the converter is controlled by rectifier made up of two snap-off diodes in series with MOSFET transistors which is connected on secondary side of high-frequency power transformer. This topology can easily achieve soft-switching operation also under low commutating current. The conduction losses are substantially reduced compared with conventional soft-switching DC/DC converters. The converter has been designed for arc welding with output power of 1.5 kW and switching frequency of 50 kHz.

The component modeling offers the potential to assemble applications much more rapidly than ever before. Agents can be viewed as specialized distributed components, offering greater flexibility than traditional components when developing certain applications. Different kinds of agents have different amounts of personality, mobility, interaction, collaboration, persistence and intelligence. Web services and service-based architectures are quickly becoming the standard development model for software applications. Agent-oriented software engineering techniques are becoming more popular which offer a new perspective to developing applications. Agents are an excellent technology for implementing web services or e-services. Web services and agents integration brings benefits both technologies.

Loss exponential transmission line as impedance transformer, with capacitance per unit length approximated by power series, is considered in this paper. The values of input impedance transformed through exponential and the considered trans­mission line are presented. Dependence of input impedance at arbitrary distance along the approximated line, its deviation from exponential function for different frequencies and for different taper ratio is observed. Standing wave ratio at input end is calculated for different length of the line and different taper ratio and the results are presented in tables.

A domain-specific language is a language tailored to a specific application domain and precisely capture the domain's semantics. It can be implemented by the traditional or by the embedded approach. While for embedding mainly functional languages are used, it is shown in the paper that Prolog is also suitable as a ''host'' language. The advantages of using Prolog in embedding are declarativeness, unification, nondeterminism, and ''natural'' looking syntax of domain-specific languages.

How to debugging programs running in concurrency environment using log files. Types of record in log file. Generating statistic report of using data source, detecting of logical mistakes, detecting of very used data source, detecting errors of recourses allocation by using curve of failed access in critical section. Detecting possible dead lock state from log files converting log files to database and using SQL query.

Experimental and theoretical studies of arc cathode region have been made during several decades and the task is not yet completed, in spite of many efforts and progress. In this work, a numerical model describing the arc cathode region is developed. The model is then applied to a vacuum arc discharge interacting with a Cu cathode at low current (4-50A). The model yields the temperature and electric field strength at the cathode surface, electrons emitted and total current density, cathode spot radius, different kinds of power densities heating and cooling the cathode, and the plasma electron density. The comparison with experimental results shows good agreements.