September 2006, Volume 6, Number 3

TURÁN, J, Šiškovičová D., TURÁN, J. Jr., FILO, P., OVSENÍK, Ľ:
Trace Transform and KLT Based Invariant Features and Image Recognition System

KRATMÜLLER, M., MURGAŠ, J.
B-Spline Fuzzy Adaptive System
ŘÍČNÝ, V.:
Analyse of Parameters of Transmitted Signals in Analogue CATV Systems

PIETRIKOVÁ, A., BUJALOBOKOVÁ, M., BANSKÝ, J
Reliability Evaluation Procedure of Thick Film Inductors Manufactured by Various Techniques

Martínek, Z.Novák, P.Nechanický, M.Noháčová, L.
Practical Experiences with Power Utilization of Biomass Energy in Germany

NOVITZKÁ, V., MIHÁLYI, D., SLODIČÁK, V.:
Linear Logical Reasoning on Programming

Dudrik,J.
Soft-Switching PS-PWM DC-DC Converter for Arc Welding

VARGA, M., HUŇADY, M., HAVLICE, Z.:
Agent-Oriented Modeling and Design Methods for E-Services/Web Services

CVETKOVIC, Z., Aleksic, S., Markovic, V., Javor, V.:
Synthesis of Loss Exponential Transmission Line

KOSAR, T., MERNIK, M.:
Embedded Domain-Specific Languages in Prolog

Vysoký, m.
Debugging of Parallel Programs

MESSAAD, M., BELARBI, A.W., LEFORT, A., ABBAOUI, M.:
Formal Model for a Low Current Vacuum Arc Cathode Region Effect of the Electronic Temperature

Summary:
TURÁN, J, Šiškovičová D., TURÁN, J. Jr., FILO, P., OVSENÍK, Ľ:
Trace Transform and KLT Based Invariant Features and Image Recognition System [full paper]

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.


KRATMÜLLER, M., MURGAŠ, J.:
B-Spline Fuzzy Adaptive System [full paper]

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.


ŘÍČNÝ, V.
Analyse of Parameters of Transmitted Signals in Analogue CATV Systems [full paper]

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.


PIETRIKOVÁ, A., BUJALOBOKOVÁ, M., BANSKÝ, J.:
Reliability Evaluation Procedure of Thick Film Inductors Manufactured by Various Techniques [full paper]

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.


Martínek, Z., Novák, P., Nechanický, M., Noháčová, L.:
Practical Experiences with Power Utilization of Biomass Energy in Germany [full paper]

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.


NOVITZKÁ, V., MIHÁLYI, D., SLODIČÁK, V.:
Linear Logical Reasoning on Programming [full paper]

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.


Dudrik, J.:
Soft-Switching PS-PWM DC-DC Converter for Arc Welding [full paper]

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.


VARGA, M., HUŇADY, M., HAVLICE, Z.:
Agent-Oriented Modeling and Design Methods for E-Services/Web Services [full paper]

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.


CVETKOVIC, Z., Aleksic, S., Markovic, V., Javor, V.:
Synthesis of Loss Exponential Transmission Line [full paper]

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.


KOSAR, T., MERNIK, M.:
Embedded Domain-Specific Languages in Prolog [full paper]

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.


Vysoký, m.:
Debugging of Parallel Programs [full paper]

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.


MESSAAD, M., BELARBI, A.W., LEFORT, A., ABBAOUI, M.:
Model for a Low Current Vacuum Arc Cathode Region Effect of the Electronic Temperature [full paper]

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.


 

Publisher

    Faculty of Electrical Engineering and Informatics, Technical University of Košice, Slovak Republic

    Reg. No.: EV 2921/09,
    thematic group B1,
    ISSN 1335-8243
    The editorial board assumes no responsibility for damages suffered due to use of acts, methods, products, instructions for use or other ideas published by the article authors whatsoever.
EAN 9771335824005