JAVED, F. — MERNIK, M. — GRAY, J. — ZHANG, J. — BRYANT, B. R. — ROYCHOUDHURY, S.:
Using a Program Transformation Engine to Infer Types in a Metamodel Recovery System [full paper]
Domain-Specific Modeling (DSM) allows domain experts to concentrate on the essential characteristics of a problem space without being overwhelmed by the complexities that may occur in the solution space. DSM is focused on the creation of a metamodel for a specific domain, from which instances pertaining to specific configurations of that domain can be constructed. However, as the metamodel undergoes evolutionary changes, repositories of instance models (also called domain models) can become orphaned from their defining metamodel. Within the context of model-driven engineering (MDE), we have developed the Metamodel Recovery System (MARS) which addresses the problem of “metamodel drift” and recovers the design knowledge in a repository of legacy models. MARS is a semi-automatic system that uses grammar inference techniques to recover a metamodel by mining instance models. In addition to the instance models, there are other artifacts that can be investigated in the modeling repository. In this paper we describe an extension to MARS in the form of a type inference capability that is accomplished by the use of a program transformation engine that mines the model compiler code and recovers the type information of fields (orattributes) of metamodel entities.
|
MARCHEVSKÝ, S. — MOCHNÁČ, J.:
Hybrid Concealment Mechanisms [full paper]
Video transmission over noisy channel leads to errors on video, which degrades the visual quality noticeably and makes error concealment an indispensable job. One approach that is especially suited for applications with real-time constraints, limited bandwidth, or multicast distribution, is to conceal the information loss at the receiver. In this paper we focused on hybrid concealment mechanism. Effectiveness of this algorithm was tried on several video sequences and the results are quite satisfying.
|
KOVÁČOVÁ, I. — KOVÁČ, D.:
EMC – Capacitive Coupling [full paper]
The paper is dealing with some electromagnetic compatibility (EMC) problems of converters and inverters, which are utilized for feeding of electric machines and its analyzing by PSPICE program. The main attention is focused on implications of parasitic capacitance and capacitive coupling existence.
|
NOVÁK, O. — PLÍVA, Z. — JENÍČEK, J. — MADER, Z. — JARKOVSKÝ, M.:
Self-Testing SoC with Reduced Memory Requirements and Minimized Hardware Overhead [full paper]
This paper describes a methodology of creating a built-in diagnostic system of a System on Chip and experimental results of the system application on the AT94K FPSLIC with cores designed according to the IEEE 1500 standard. The system spares memory and keeps acceptable test access mechanism requirements. The diagnostic system uses a built-in processor for test control, the embedded RAM memory for storing both the compressed test vectors and the partial reconfiguration bit streams and the FPGA (Fieldprogrammable gate array) part of the chip for the wrapped cores implementation. The highly compressed test vectors are transferred from the memory to those selected cores that are reconfigured into the embedded tester cores. The patterns are decompressed within the internal scan chains of the embedded tester cores and they are simultaneously fed into the parallel scan chains of the cores under test through Test Access Mechanism (TAM) and standard wrappers. After having tested the first cores under test the TAM of the System on Chip (SoC) is partially reconfigured with the help of the partial reconfiguration bitstreams stored in the RAM memory and the till now untested cores are tested by those cores that start to serve as embedded testers. By this traveling reconfiguration and testing the whole circuit can be tested. For test data compression we use a test pattern compaction and compression algorithm called COMPAS. It reorders and compresses test patterns previously generated in an Automatic Test Pattern Generation (ATPG) in such a way that they are well suited for decompression by the scan chains in the embedded tester cores. The algorithm compresses the test patterns by overlapping patterns originally generated by an ATPG. The volume of test data stored in the embedded RAM is substantially lower than the compacted ATPG test data that are compressed by other compression method. The COMPAS algorithm spares the CPU time and CPU memory requirements; both of these parameters are linearly dependent with the complexity of the tested core.
|
BABIČ, F. — BEDNÁR, P. — FURDIK, K. — PARALIČ, J. — PARALIČ, M. — WAGNER, J.:
Trialogical Learning in Practice [full paper]
In the article presented we deal with an innovative approach to collaborative work and learning. This approach is called trialogical learning and has emerged from several theories that describe the creation of new knowledge, e.g. Carl Bereiter’s knowledge building approach, Yrjö Engeström’s theory of expansive learning based on Activity Theory and Nonaka and Takeuchi’s model of organizational knowledge creation. Trialogical learning is not supposed to be a ”super-theory” on the basis of these background theories but it pinpoints certain kinds of phenomena which are prevalent and central nowadays: how people organize their work for developing some shared, concrete objects.
Trialogical learning is a relative new approach in education area. Theoretical as well as practical aspects of this innovative learning approach started to be researched and developed in Finland, at the University in Helsinki. From this institution the idea is being distributed now in the (not only) European educational community, e.g. within the KP-Lab project. KP-Lab project presents a unifying view (knowledge-creation perspective) of human cognition based on an assumption that learning is not just individual knowledge acquisition or social interaction, but shared efforts of transforming ideas and social practices.
The KP-Lab team from Technical University of Košice (TUK) is working within the Centre for Information Technologies, Faculty of Electrical Engineering and Informatics, cooperating also with the Faculty of Economics of the same university. TUK is involved in all technological workpackages, playing as such an important role in the technological aspects of the KP-Lab integrated research activities.
.
|
POPŁAWSKI, T.:
The Short-Term Fuzzy Load Prediction Model [full paper]
This article describes the influence of the kind of membership function on the accuracy of fuzzy logic forecasting model in the local power system. Fuzzy logic approach overcomes some problems related to practical implementations of traditional modelling and forecasting methods. This qualitative method of load forecasting can incorporate imprecise and ambiguous information in reasoning. The combination of fuzzy logic and other deterministic or stochastic methods which has recently emerged as a highly promising approach for electric load forecasting is also discussed. This paper describes the prediction algorithms and methods employed and points out the benefits gained by the use of the method.
|
KHATIR, M. — ZIDI, S. A. — HADJERI, S. — FELLAH, M. K.:
Analysis of Recovery from Commutation Failures in an HVDC Inverter connected to a Weak Receiving AC system [full paper]
The performance of an HVDC link is significantly impacted by the relative strength of the AC system to which it is connected. However, the interaction between AC and DC systems and the associated problems are very much dependent on the strength of the AC system relative to the capacity of the DC link. This paper explores the effect of the DC control on recovery from commutation failures in an HVDC inverter following AC system fault in line commutated thyristor inverter feeding a weak AC system. The AC system fault to which the study system is subjected is a single phase ground fault. MATLAB Simulink is used for the simulation studies.
|
AZAIZ, A. — RAMDANI, Y. — MEROUFEL, A. — BELABBES, B.:
H∞ Design of Controllers Ensuring the Regulation of Currents of the Decoupled Field Orientation Control Applied to a PMS Motor [full paper]
The dynamics neglected during the identification of the process, the variation of stator resistances and cyclic inductances induce a difference between the process and the nominal mathematical model.
These drifts are due to the temperature, the saturation of the magnetic circuit and the skin effect. In this case, the traditional methods such as Bode design, Nyquist design, and Nichols chart design fail to satisfy robust stability and performance. To solve this problem, an efficient robust method called the H∞ design method is used. This approach permits to achieve a successfully designed control system, which is able to maintain stability and performance level in spite of uncertainties in system dynamics. In this article, we present the field orientation control (FOC) of the permanent magnets synchronous machine (PMSM) fed by a voltage source inverter with regulated currents on the d and q axes.
The field orientation control consists in regulating the flux by one component of the current and the torque by the other component. So, it is necessary to consider a reference frame attached to the rotor with direct and quadrature axes and a control law that ensure the decoupling of the torque and flux. In the case of the permanent magnets synchronous machine, if the current id is maintained null, the stator reaction flux is in quadrature with the flux produced by the permanent magnets, then the torque becomes directly proportional to the current iq and the model of the machine becomes equivalent to that of the DC machine. As a result, the model of the PMS machine is divided into two independent SISO systems.
|
LIZÁK, F. — KOLCUN, M.:
Improving Reliability and Decreasing Losses of Electrical System with Infrared Thermography [full paper]
Temperature and the resulting thermal behavior of electric power generation and distribution equipment and industrial electrical systems and processes are the most critical factors in the reliability of any operation or facility. Temperature is by far the most measured quantity in any industrial environment. For these reasons, monitoring the thermal operating condition of electrical and electromechanical equipment is considered to be key to increasing operational reliability and decreasing electrical losses.
|
JAKAB, F. — JANITOR, J. — GENČI, J. —KNIEWALD, K. — NAGY, M. — SIDIMÁK, V.:
Community Based Translation of eLearning Materials [full paper]
Cisco Networking Academy proves to be a viable project in the area of education of networking professionals. All educational materials are presented in English and students are required to study in English too. Our experience shown that it is worth for the students to have a localized curriculum as well. Official translations are extremely expensive. On the other hand, many Local Academies provide some form of translation of curricula to their students.
We decided to develop an environment based on Web 2.0 technologies, to provide community tools for collaborative translation of curricula and its distribution to Academy students. The paper describes basic ideas of the developed solution and presents some results in the translation of the CCNA curricula.
|
|