The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The paper presents an approach to Boolean satisfiability checking. The work is based on fuzzy default logic (FDL) introduced by one of the authors on HIS'09 conference. The starting point of the presented approach is WalkSAT algorithm. Authors discuss heuristic variable flipping techniques that employ commonsense reasoning methodology (FDL) and searching space pruning techniques implemented in the...
Based on the Spartan 3E evaluation module, a flexible platform for the implementation of different algorithms for A/D conversion was created. The aim of presented work was to develop the concept of the sampling rate adaptation to the input signal rate of change in terms of practical issues including synchronization of delta codecs. The new, original synchronization method, useful in systems dedicated...
In the design of coils for magnetic resonance imaging devices the radial field component is usually neglected, and in the optimization procedure the currents and positions of simple coils are found to minimize the error between the axial component and the required magnetic field in the region of interest. In this work, we consider two cases of the required magnetic field both of which are needed in...
The paper discusses differences between the approaches to optimization of wireless analog feedback communication systems (AFCS) and digital communication systems (DCS). There is shown that “one mile zone” transmission of the analog signals can be realized by optimal AFCS more efficiently than by DCS.
A method for visual detection of lip contours in frontal recordings of speakers is described and evaluated. The purpose of the method is to facilitate speech recognition with visual features extracted from a mouth region. Different Active Appearance Models are employed for finding lips in video frames and for lip shape and texture statistical description. Search initialization procedure is proposed...
In this paper the issue of teaching the mesh current method and node voltage method by a workshop teaching technique is presented. To this end, a didactic experiment was made, in order to compare traditional teaching method based on the individual student's work at the blackboard with alternative one using teamwork techniques connected with the presentation of reached results. Six groups of students...
The analytic method for calculation of inductance and magnetic characteristics of conducting ring with finite radial width has been proposed. The method permits: 1) to calculate the radial distribution of magnetic fields, being formed in the internal space of the ring by the direct current; 2) to evaluate the value of magnetic flux, intersecting the internal surface of the ring; 3) to calculate the...
The analytic method for calculation of inductance and magnetic characteristics of infinitely long circular and tubular conductors has been proposed. The method permits: 1) to calculate radial distribution of vector potential and induction of magnetic fields, being formed by direct current in the internal and external areas of conductor; 2) to determine the value of magnetic flux in the internal and...
This document presents a description of modern solutions dedicated to power substations which apply technologies compliant with the IEC 61850-9-2 standard. It provides information about, among others, a new group of devices which are currently developed by Mikronika which functionality will be extended with transmitting samples of analog and binary signals using efficient communication connections...
Circuit design method for flattening voltage gain of differential stages at radiation action is considered. The main direction to compensate of voltage gain radiation dependence is a special circuit design of the current reference, that form a predetermined radiation dependent current of differential stages is shown. The results of simulation of radiation effects in differential stages circuits based...
In this paper a system for measuring temperature in an FPGA structure is proposed. In this arrangement the Spartan-3 XC3S200 programmable FPGA device was tested and the popular small educational microcomputer Raspberry Pi, was employed as a control unit for the whole system. Part of the system was implemented inside the tested structure. There was an array of ring oscillators as temperature sensors...
The article deals with a subject of energy scavenging of small pieces of heat and vibrations by means of custom made energy converters. The harvested energy could be next used for powering battery-less microelectronic systems and Internet of Things components. The described customized transducers of waste heat and electromagnetic field were designed and tested. An ultra-low voltage converter and power...
Thermal Imaging can be really valuable to military, other users of surveillance camera and physicians. Contrary to the usual sampling process where weavers want to sample at the Nyquist rate the Compressive Sensing provides a stricter sampling condition when the signal is known to be sparse or compressible. It turned out that the Nyquist-Shannon theorem is a sufficient condition but not a necessary...
This paper describes new results of the research on quasi-anechoic measurement of loudspeakers in ordinary room. Proposed method is a combination of MLS (Maximum Length Sequence) algorithm and adaptive beamforming based on LCMV (Linearly Constrained Minimum Variance) algorithm. Application of the adaptive beamforming algorithm allows the extension measure of impulse response by damping reflections...
This paper presents a universal hardware implementation of a pseudorandom number generator family based on a multiplicative congruential generator (MCG) with modulus 231-1. The algorithm optimised both the multiplication and modulo 231-1 operation. The design was specified in Verilog and implemented on a Xilinx Field Programmable Gate Array (FPGA) device XC6SLX45. A single generator takes up about...
While the robotics is becoming the more important branch of technology and industry, the teaching of industrial robotics has remained rather limited and expensive due to high cost of the industrial equipment and workrooms. Those drawbacks may be overcome by using the reduced size educational robot arm and the remote control of it via the interactive e-learning environment. The present paper describes...
In this paper we propose a novel architecture of chaotic pseudo-random number generator (PRNG) based on the pipelined processing and frequency dependent negative resistances (FDNR). The design of PRNG has been optimized to achieve maximum output rate of pseudo-random sequences. The PRNG has been tested for 16-, 32-, 48-, and 64-bit precision of arithmetic by NIST 800-22 tests performed for each individual...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.