### Requirements Specification Language

Michał Smiałek Albert Ambroziewicz Jacek Bojarski Wiktor Nowakowski Tomasz Straszak
Requirements are currently undervalued in the software modelling world. Most of the model transformation approaches ignore
requirements as not being precise enough to offer the possibility to construct certain uniform transformation and reuse mechanisms. In this
paper we introduce a proposition of a unified language to specify requirements. This language allows for unambiguous transformation fro
[...]

### INNE PUBLIKACJE W TYM ZESZYCIE

**2.5D tomographic imaging for ultrasonic investigations **
Tomography image is obtained on the basis of measurements (of the average value) got during projections, using reconstruction
algorithm based on Radon transform. For this reason the geometry of tomography measurements plays an important part during reconstruction of
the object.In presented case an algorithm using algebraic reconstruction techniques (based on function approximation through finite

więcej »
**A time-varying capacitance: control function of active power filters**
This paper proposes new fixed switching frequency control techniques for power active filters. The method is based on an auxiliary
capacitance function. This function is equivalent to time-varying capacitance. Such capacitance function can be computed when reference signal is
known. The fixed switching frequency control techniques for PWM voltage source inverter can be easy obtained when the aux

więcej »
**A Visibility Matrix determination using space subdivision methods for Diffuse Optical Tomography**
Analysis of the Visibility Matrix determination algorithm will be presented in this paper. Algorithm is compared with reference to
two space subdivision schemes. The space that encloses considered objects is partitioned into regular or binary grid. The Visibility Matrix
defines whether nodes of given object see each other. It results from process of detection whether along straight line between

więcej »
**Active source localization in 3D BEM multilayer model**
Boundary Element Method for simulation of spatially heterogeneous objects of electroencephalography is presented in this paper. The
four layer spherical model (representing skin, skull, CSF layer and brain) of the real head approximated with isoparametric six nodes triangles was
consist. Forward and invers problem for active source localization was presented in this paper.
Streszczenie. W artyk

więcej »
**Ambiguity groups in linear dynamic analog circuit **
The method for finding ambiguity groups in linear dynamic analog circuits is presented in the paper. This method is derived using
sensitivity of the circuit response in time and frequency domain. The sensitivity analysis of the circuit in time domain as well as in frequency domain
is performed with usage of the state-space description of the circuit.
Streszczenie. W referacie zaprezentowano met

więcej »
**Analysis of electromagnetic processes in power system elements on the basis of unique-flux methodology**
The paper deals with analysis of electromagnetic processes in power system elements based on unique-flux methodology. The said
methodology allows avoiding the complicated task of definition of boundary conditions that is essential in field models as well as applying of
simplifying assumptions concerning the field distribution what serves as an utmost cause of circuit models -inaccuracy. Th

więcej »
**Analysis of reliability of power supply system on the basis of macro-modeling**
Parametrical macromodel of voltage stabilizer was synthesized. The model allows determining the area of workability in the space of
model parameters.
Abstract. Przedstawiono syntezę parametrycznego makromodelu stabilizatora napięcia. Proponowany model umożliwia określenie obszaru pracy
przy uwzględnieniu założonych parametrów. (Analiza niezawodności systemów zasilania bazująca na modelowaniu w

więcej »
**Analysis of second order LTV section with exponentially varying parameters**
In this paper the model of second order parametric section with exponential varying parameters has been presented. The effect of analyze
is the formula describing the section response to any excitation with finite average power. The physical implementation of section has also been
showed. The results have been illustrated by simulation example.
Streszczenie. W artykule zaproponowano model sekcj

więcej »
**Application of equivalent circuits in power theory for systems with nonsinusoidal waveforms - critical remarks**
The goal of this paper consists in analysis of a newly emerged power theory based on equivalent circuits. The theory assumes
approximation of all electrical systems with T-periodical waveforms by series or parallel connections of a linear resistor, an inductor and a capacitor.
The disadvantages of the theory have been presented. Theoretical considerations have been illustrated by an example.
St

więcej »
**Application of equivalent circuits in power theory for systems with nonsinusoidal waveforms - new optimization concept**
This work is a continuation of a previous paper containing critical analysis of a newly emerged power theory. The theory assumes
approximation of all electrical systems with T-periodical waveforms by series or parallel connections of a linear resistor, an inductor and a capacitor.
The paper shows a proposition of its modification which fixes most of the problems. Theoretical considerations have

więcej »
**Automatic cell counting in neuroblastoma**
The paper presents a method of automatic cell counting on the basis of the pathology images. The evaluated images are microscope
slides of neuroblastoma disease in Ki-67 (MIB-1) staining. This disease is recognized as the fourth in frequency of appearance of the malignant
tumours for people under 15 years old. This evaluation was introduced by Shimada and it is important factor in the stroma-poo

więcej »
**Calculus of total losses in three-levels voltage source converters**
Static converters design has to guarantee that in all specific operating conditions the junction temperature of power devices does not
exceed admitted limits. The temperature of different components depends on losses distribution and on the number of switches in IGBT modules.
This paper investigates the losses balancing in the most popular 3L conversion structures: 3L-Stacked Cells, 3L-Neutral P

więcej »
**Characterization of particular circuit elements requisite for studying the electrochemical processes**
Electrochemical Impedance Spectroscopy (EIS) is reported to equivalent circuit models which fit the data obtained for some chemical
processes. EIS data and the equivalent circuit model provide a useful approach for effective studies of electrochemical problems. Equivalent circuit
models are not limited to “classical" electrical components (resistors, capacitors, and inductors) but need of

więcej »
**Comparison between classical and fuzzy optimization in one-phase electrical circuits**
In the paper a comparison between classical and fuzzy optimization in relation to electrical circuits is presented. It is considered onephase
system with linear load and non-ideal voltage source with a sinusoidal waveform. The fuzziness of the system is represented by RMS values
of the voltage source described as fuzzy numbers. The solution of this problem is based on the frequency domain. This

więcej »
**Control of movement of artificial satellites by geomagnetic field**
The paper deals with a possibility of influencing the movement of artificial satellites of the Earth by its geomagnetic field using "tethers",
i.e. long, direct current carrying superconductive cables moving together with the satellite. Derived is the continuous mathematical model of the
problem consisting of an ordinary nonlinear differential vector equation. Its solution is carried out n

więcej »
**Development in power quality specification using Time- Frequency Analysis**
In the era of technological development power quality issues have more and more crucial meaning. An example can be the scope of
actual research concerning influence of dispersed energy sources on power quality, especially including wind power plants. This paper proposes
time-frequency analysis as complex method for investigations of transient states in wind power plants. Investigated phenomena c

więcej »
**Differential eddy current transducer with high spatial resolution **
In this paper FEM simulations of two differently sized eddy current differential transducers are presented. A 3D-finite element software
package was used to analyse various configurations of the excitation coils and select optimal design. Numerical analysis was verified by
measurements of INCONEL thin plates. A set of experiments were carried out in order to prove usability of the transducer.
S

więcej »
**Dynamic system decomposition for diagnosis of mechatronic systems**
The paper proposes a unified methodology for fault diagnosis of mechatronic systems. System models including electronic, mechanical
and coupling subparts are developed. A diagnosis algorithm originally introduced for electronic circuits, is extended to mechatronic systems.
Differences of the application are also pointed out: large spread in time constants, different levels of measurement noise i

więcej »
**Economical mathematical model for Ukrainian electroenergetic complex management**
A closed model of the material and financial balance is developed for electrical energetics of Ukraine. The model is verified by the current
branch information of 2003-2006. The links between consumer's income and energy payment level are investigated.
Streszczenie. W artykule przedstawiono wyprowadzenie zamkniętego modelu bilansu finansowo-materiałowego dla systemu elektroenergetycznego

więcej »
**Eddy currents induced in the screen of a non-coaxial cable**
Expanding the logarithmic vector potential into Fourier series we determine the source magnetic field generated in the screened noncoaxial
cable as a function of two variables r and Θ of the cylindrical co-ordinate system. In the non-conducting areas, internal and external, the
electric field is described by Laplace equation, while in the conducting area by Helmholtz equation for two variab

więcej »
**Effective computation of high-frequency plane waves field scattered on electrically resistive strip**
A thin electrically resistive strip is in a uniform background (in two-dimensional Euclidean space) and subjected to an incident
plane harmonic wave. Using the representation theorem for the tangential component of the electric field the related boundary-value problem
is formulated as a matrix Wiener-Hoph equation that is solved though Khrapkov method. High frequency asymptotics for the scattere

więcej »
**Electrodes modeling in the copper electrocrystallization process**
In the article will be presented usefulness of the computer-aided modeling of electrochemical technologies. Modeling of the electrolytic
surface deposits needs solutions of problems connected with current distribution in the electrolyte, with electrodes shape and composition of
electrochemical environments in which the process takes place. Adapted methodology is used to analyze the coating layer

więcej »
**Electromagnetic torque, power losses analysis for spherical electromechanical converters with anisotropy rotor**
The paper deals with the problem of electromagnetic field analysis for the electromechanical converter with anisotropic rotor. Field
distribution is evaluated analytically with the help of non-standard separation method. The electromagnetic torque are calculated and power balance
is checked. Power losses and electromagnetic torque are evaluated.The results obtained can be used as test tasks for

więcej »
**Epileptic seizure detection using single-class SVM**
The paper presents the application of single-class Support Vector Machine (SVM) for the detection of the epileptic seizure using the EEG
waveform. On the basis of the registered EEG signals the diagnostic features are generated first. These features are applied as the input signals to
the single-class SVM, serving as the classification tool. Single class SVM is learned using only the baseline se

więcej »
**Estimation of transients' parameters in wind converter systems using advanced signal processing algorithms**
The impact of wind generation on the electrical system should be assessed to figure out potential hazards to system operation and
deterioration of power quality indicia. In this paper signal processing algorithms has been applied to analyze switching transients within wind
generation units. A Prony model of the signal and a nonlinear regression method were applied to determine transients'

więcej »
**Evaluation of 2D Model of Vagus Nerve Stimulation with Harmonic Magnetic Field**
The aim for the research presented hereby is to determine whether it is feasible to evaluate the effect of Vagus Nerve Stimulation
with harmonic magnetic field and conduct the initial optimization of the design and position of the excitation coil basing on the 2D model. The
approach to implement efficient method for the task was made with use of complex vector magnetic potential ~A in two dimens

więcej »
**Evaluation of bidomain model parameters for simulation of a nerve bundle**
The results presented in the paper are a part of research aimed on the development of realistic and physiologically justified model of a
nerve. The electrical activation of neural tissue can be simulated with bidomain model. Bidomain is a multiscale model in which the macroscopic
PDE model of tissue is combined with microscopic model of the cell membrane. In the presented paper we study in detai

więcej »
**Experimental validation of diagnostic symptoms for technical state estimation of several units of rotary electric-power machines**
Were validated some of diagnostic symptoms for technical state estimation of several units of rotary electric-power machines on basis of
the probabilistic analysis results of physical vibration processes and of speed rotation nonuniformity for these machines. Using the statistical
diagnostic model ІВС was experimentally validated qualitative and quantitative estimations of diag

więcej »
**Fading channels modelation in digital communication systems**
In this paper, a MATLAB based approach for mobile radio channels modeling is presented. Specifically, the paper introduces the basic
concepts for modeling flat fading channels in MATLAB by means of user-defined m-files. Typical small-scale fading channel models are derived such
as uncorrelated Rician fading channel and Rayleigh fading channel with Doppler shift. Further, simple and useful MATLAB

więcej »
**Fast orthogonal neural networks for 2D signal processing **
The paper presents a method of constructing fast orthogonal neural networks suitable for two-dimensional data processing. The
neural connection scheme is based on a two-stage fast cosine transform algorithm. Two processing variants applicable to the proposed architecture
are discussed. A substantial acceleration of the learning process, as compared to a classical linear neural network, is demons

więcej »
**Features of subcircuits matching with components described by discrete parameters during analysis of electric circuits transient processes**
In the paper features of solutions matching of subcircuits with distributed and lumped parameters which should be integrated explicit and
implicit numerical schemes. Usage of multirate method using test example of long line in no-load condition with respective limitations of integration
step.
Streszczenie. W artykule przedstawiono właściwości dopasowywania rozwiązań podukładów z rozproszonymi o

więcej »
**Finding operating points of the diode-transistor circuits via homotopy approach**
The paper is devoted to DC analysis of circuits containing diodes and the Ebers-Moll modelled transistors. The basic question, how to find
efficiently the operating points is considered. For this purpose a method is developed, based on the homotopy idea and the Padé approximation of
the diodes characteristics. Two numerical examples are given confirming efficiency of the method.
Streszczenie. W

więcej »
**Finding parametric characteristics in diode-transistor circuits**
The paper is devoted to the analysis of transistor circuits having multiple DC solutions. A method for tracing multivalued parametric
characteristics expressing output signals in terms of some parameters is offered. The proposed approach utilizes the previously developed method
for finding all the DC solutions of circuits containing the Ebers-Moll modeled transistors and the Newton-Raphson algor

więcej »
**GA optimization of wavelet analysis of dynamic current supply applied to fault diagnosis**
A wavelet transform based dynamic supply current analysis technique for detecting catastrophic faults in analog circuits is described in
the paper. Some methods for improving fault detection sensitivity are proposed and verified. A special goal function for GA optimization has been
formulated and tested. An algorithm for choosing the best set of continuous wavelet transform (CWT) parameters was

więcej »
**Generalized robust parameters distribution model **
The quality and adequacy of mathematical models on base of Gram-Charlier and Edeworth rows was shown.In spite of great number of theoretical and .practical
investigation, that were made as in Ukraine as in the other
countries of the world in the area of analysis and synthesis
of electronic devices components parameters, present
methods, approaches and software are deficient of stateof-
the-ar

więcej »
**High-pass elliptic filter using the wide-band biquadratic structure VES OPA-RC "b" - 02**
In this paper it was presented the wide-band biquadratic elliptic structure named as VES OPA-RC "b"-02. In cascade of these structures it
is realized the high-pass elliptic filter. Characteristic feature of describing structure is big band-width, which by suitable choice of elements can
achieve the value that is close to wide-band (fT) of using operational amplifiers (OPA). In this connection th

więcej »
**Increasing of effectiveness of electromagnetic process analysis in nonlinear time-varying circuits due to separation of equivalence classes**
In paper it is appraised state and development prospects of methods of electromagnetic processes analysis in electric energy converters.
Possibility of equivalence classes selection of nonlinear parametric processes types is shown. The example of estimation of equivalence class is
considered regarding to additional integral characteristics.
Abstract. W artykule przedstawiono szacowany stan i pe

więcej »
**Investigations of influence on power quality of superconducting fault current limiter**
Waveforms obtained from a superconducting Fault Current Limiter are investigated using the Prony modelling technique. Comparable
measurements with the use of standard tools of spectral analysis (like FFT) fail because of short data available and low levels of higher spectral
components.
Streszczenie. W pracy przedstawiono wyniki analizy widmowej prądów i napięć zarejestrowanych w obwodach z nad

więcej »
**Level Set Method for capacitor optimization problem**
The optimal shape design of capacitor with Laplace equation of state using level set method is presented in the paper. The inverse
problem solution provides the positions of the capacitor plates, which was optimized to achieve required potential distribution. The forward problem
was approximated by Boundary Elements Method.
Streszczenie. W pracy przedstawiono rozwiązanie zadania odwrotnego dla

więcej »
**Mathematical description of eddy-currents in a non-homogenous area with using electric scalar potential**
The article presents an efficient implementation of mathematical description of eddy-currents excited in human body by external,
time-varying magnetic fields. The description was formulated on the basis of the electric scalar potential with simplifying assumptions allowed
for bioelectromagnetic problems. The new formulation of interface condition on the boundaries of different tissues is present

więcej »
**Mathematical model for M-phases switched reluctance motor**
The constructive schemes of switched reluctance motor and basic electrical scheme of a commutator with capacity buffers of energy are
circumscribed. Is explained a mathematical model to a research of electromechanical processes in electric drives with switched reluctance motor
with buffers of an energy.
Streszczenie. Artykuł prezentuje schematy konstrukcyjne silnika o przełączanej reluktancji i

więcej »
**Mathematical models for wave propagation analysis in distributed and lumped parameter networks**
The approach to wave processes modelling is proposed for power networks. Propagation of overvoltages and current peaks is simulated
at the network lines switching and at emergency regimes.
Streszczenie. Artykuł prezentuje modelowanie propagacji fal w sieciach zasilających. Przedstawiona jest symulacja modelu propagacji przepięć i
szczytów w liniach sieci powstających w przypadkach przełączeń i

więcej »
**Model for forecasting good yield of microcircuit chips by results of test control**
The model is proposed for forecasting good yield of microcircuit chips (IC) and the system of the quality test control of the IC technological
processes. It ensures the veritable spread of the control results of the test structure parameters on the IC chips, makes it possible to perform the
comprehensive quality evaluation of the individual technological fabrication operations of microcircuits,

więcej »
**Modeling and simulation of the interaction of the nonlinear load and traction power system**
The paper presents the results of modeling & simulation of the influence of the rectifier network (6-pulses) on the supply sources in the
traction systems. The simulation results in the form of higher harmonics of voltage and currents have been compared with the measurements mode
in the real substation. The results of comparison confirm good agreement of the developed model with the real measure

więcej »
**Modeling of high currents dismountable contacts**
The paper presents an electro-thermal numerical model which can be used for the modelling and optimization of dismountable contacts of
high currents by neglecting the skin effect (by taking into account of the very large ratio, near to 10, of the dimensions of cross-section of the current
lead for which the skin effect is very weak). The numerical model is obtained by the coupling of the electro

więcej »
**Models of nonlinear one-ports supplied with periodic and discontinuous waveforms**
Analysis of harmonics propagation in electrical systems requires information about nonlinear one-ports which are the main source of
harmonics. A method of determination of parameters of the model of one-port has been described in this article for periodical and discontinuous
excitations. This method has been developed assuming that mathematical description of a nonlinear one-port is known.
Stre

więcej »
**Multistage filtration via blind signal separation for prediction improvement**
In this paper we present a new method for prediction result improvement when many models are tested. In the multivariate variable of
models results we identify the latent components with constructive and destructive impact on prediction results. The filtration of those destructive
components by blind signal separation methods leads to improvement of final prediction. The basis filtration step ca

więcej »
**Numerical research of the electromagnetic fields in powerful transformers and reactors**
The results of numerical research of the electromagnetic fields and parameters of powerful transformers and reactors are discussed. The
calculations were made in ANSYS software environment with the purpose of the equipment reliability increase, the energy losses decrease, the
dimensional and weight parameters reduction. The magnetic system (MS) of transformers and reactors is examined in three t

więcej »
**Open Source Boundary Element Method Library for Diffusion Optical Tomography**
This article presents the project of the new open source Boundary Element Method library. It discusses main goals of the project
and its characteristics consistent with the "good open source project". It covers license conditions, chosen technology, design of the project
as well as development process.
Streszczenie. W artykule została zaprezentowana nowa biblioteka implementuj ˛ aca

więcej »
**Optimal electric power flow computation**
The paper proposes a comparative study of the Optimal Active Power Flow computation for a power delivery system. The main goal of the
paper is to use different Security models for Optimal Power Flow analysis for the case study. Some models allow power flow computing to obtain the
minimum total system generation cost. The comparative study, on the proposed power system, is done considering differ

więcej »
**Optimization of starting characteristics of asynchronous motor with phase rotor**
A method and algorithm for optimizing the resistance of starting characteristics of asynchronous motor with phase rotor has been
proposed. The method enables obtaining dependencies of mode coordinates on resistance value, taking on board saturation of the magnetic path.
Streszczenie. W pracy zaproponowano algorytm optymalizacji rezystancji charakterystyki rozruchowej pierścieniowego silnika asyn

więcej »
**Optimization of time delays in Active Power Filter control algorithm**
In this paper influence of processing delays in active power filter control system on its performance and comparison of the experimental
results with different processing delay time have been presented. Delays in control unit may cause incorrect work of current controller and shifting of
compensating currents. Shortening of processing time by control algorithm optimization resulted in an improve

więcej »
**Output power characteristics of the GaInAs lasers emitting in the spectral range of 1.0 µm**
Luminescence spectra of the quantum-well heterolasers in the GaInAs-GaAs-AlGaAs system are measured, polarization properties of
the radiation are analyzed and theoretical description of the emission characteristics is given.
Streszczenie. Przedstawiono pomiary spektrum luminescencji studni kwantowej w systemie GaInAs-GaAs-AlGaAs. Przeanalizowano włąściwości
polaryzacji promieniowania oraz przed

więcej »
**Parallel computations of transient processes in the electric circuits in cluster systems**
A parallel process of computation of transient processes in the electric circuits is based on a diakoptic theory of the portioning of the circuit
into the sub-circuits, that are computed independent of each other, in the fixed time intervals. Every process is defined by the complexity of
computation. This complexity is changed in the time of process of computations. These properties are utilized

więcej »
**Performance tuning of the ray tracing process running in a multi-processor environment**
Ray tracing is a way of creating photo-realistic images with a very accurate reflection and shadow mapping. Despite high
computational complexity of ray tracing, its work principle allows partitioning and dividing the job for parallel processing in quite simple
way. Theoretically every pixel may be computed separately by a different processor. Virtually each processor is assigned to computing a

więcej »
**Pixel level data fusion based on local correlation in remote sensing systems**
In present paper there was done analysis of possibility to use local correlation at pixel level data fusion in order to increase effectiveness
of multilevel information fusion method.
Streszczenie. W pracy przeanalizowano możliwość zastosowania korelacji lokalnej na poziomie łączenia pikseli w celu zwiększenia efektywności
wielopoziomowej metody integracji informacji. (Zastosowanie integracji i

więcej »
**Positive discrete-time linear Lyapunov systems with delays **
The notion of positive discrete-time linear Lyapunov system with delays is introduced. Necessary and sufficient conditions for the positivity
and the asymptotic stability of this system are established. The necessary and sufficient conditions for reachability are given and the Cayley-
Hamilton theorem is extended for linear Lyapunov systems with delays. The considerations are illustrated on the

więcej »
**Procedures for matrix exponential function derivative in Matlab**
The paper deals with a few approaches how to determine a derivative of the matrix exponential function in the Matlab language. A
usefulness for such the computation appears in many branches of the electrical engineering when various simulation tasks are solved. A Taylor
series expansion, an augmented matrix utilization, an eigenvalues decomposition, a Laplace transform approach, a convolution in

więcej »
**Professor Tadeusz Cholewicki (1907-1988)**

Professor Tadeusz Cholewicki was born on October 23rd 1907 in Warsaw.
After finishing the grammar school he got a humanistic education. In 1925
Tadeusz Cholewicki entered the Mathematical Department of Warsaw
University and after graduating it in 1930 and his military service, he became a
student of the Electrical Department at Warsaw Technical University. Tadeusz
Cholewicki was qualified as

więcej »
**Realization problem for positive 2D hybrid systems with one delay in state and input vectors**
The realization problem for 2D positive hybrid systems with one delay in state and input vectors is formulated and a method for finding
positive realizations of a given proper transfer matrix is proposed. Sufficient conditions for the existence of a positive realization of a given proper
transfer matrix are established. A procedure for computation of a positive realization is proposed and illust

więcej »
**Rotor bar fault diagnosis of induction motor based on single class SVM**
The paper presents a new automatic method of the cage diagnosis of the asynchronous electrical engine by applying the 1-class Support
Vector Machine (SVM). The diagnosis is made on the basis of phase current of the engine. The important point in this solution is the generation of
the diagnostic features, on the basis of which the recognition of the state of the object will be done. In this appro

więcej »
**Segmentation and characterization of grandular ducts in microscopic colon image**
The paper presents the methods of the microscope colon image processing for segmentation and computation of numerical features of
grandular ducts. In the first part we describe the grandular ducts segmentation algorithms applying the morphological functions. The second part
contains the description of the techniques of the grandular ducts features computation algorithm. The paper describes short

więcej »
**Sensitivity analysis of linear regression solution based on modified York's equation**
This paper presents a new approach to York's equation. The problem relies on sensitivity analysing of linear relation measurement data
depending on its uncertainty. The calculated calibration straight line slope is presented using modified York's equation. The modification relies on
considering solution sensitivity versus measurement data uncertainty.
Streszczenie. Praca poświecona

więcej »
**Simplified theoretical analysis of measuring systems for eddy current testing of low conductivity materials**
This paper deals with simplified theoretical analysis of two measuring systems for eddy current testing of low conductivity materials.
Simple mathematical models of the compensating and self-comparing probes have been presented. The expressions obtained can be used in
procedures of reconstruction of the interior structure of an object under investigation.
Streszczenie. Praca poświęcona jest upr

więcej »
**Simulation of physical processes in eddy-current transformer during its interaction with the tested ferromagnetic specimen**
The work contains the results of theoretical research of interaction between a laying-in U-type core eddy-current transformer and
tested ferromagnetic material. There has been developed a mathematical simplified model and received equations for engineering
calculation of introduced real (active) resistance and reactance (reactive resistance) which can used for development eddy-current
defectosc

więcej »
**Stability of parallel computations of transient processes in the electric circuits**
A diakoptic method of the analysis of transient processes in the electric circuits shows a certain lack of asynchrony of the process of
computation. External variables are computed with a delay in relation to internal variables. It means that implicit methods of integration are used in
computation. The main disadvantage of implicit methods is potential instability that may be controlled in the p

więcej »
**Steady state calculation of nonlinear circuits by the secants method**
The effective variant of a secants method of solution of systems of the nonlinear algebraic equations is used for the steady state
calculation of the nonlinear dynamic systems. Efficiency of the developed algorithms is confirmed by the numerical experiments.
Streszczenie. W pracy przedstawiono wariant metody siecznych umożliwiający efektywne rozwiązywanie nieliniowych równań algebraicznych
otrz

więcej »
**The analysis of self-oscillatory processes in a nonlinear electrochemical circuit**
Mathematical model of electrolyzer of metal's deposition has been submitted. On its basis the stability of electromagnetic processes in the
circuit with an electrochemical element which has N - figurative characteristic has been investigated. With the help of the method of variables'
transformation we have received the analytical solution of the equation of an electromagnetic state o

więcej »
**The design of electrical system with microcontroller for the measurement of electrical parameters **
The paper presents an experimental monitoring system, developed by the authors, using a micro-controller within the 8051 family. This
micro-system has two main parts: the acquiring and transfer module and the user interface developed using the facilities specific to Graphic User
Interface of Matlab®. The possible functions of the system are related to the acquiring of the six signals specifi

więcej »
**The magnetic microsensors response**
This paperwork presents the structure, the operating conditions and the main features of some microsensors realised in the bipolar and
the MOS integrated circuits technology. By using numerical simulation, the values of the sensor response for the two analysed devices are
compared and it is also emphasized the way in which choosing the geometry and the material features allows getting high-perfo

więcej »
**The magnetic sensitive MOS structures **
In this paperwork based on the adequate models it is analysed the operating conditions, and are established the noise main characteristic
for MOS Hall plates. By using the numerical simulation the values of the signal-to-noise ratio and the noise-equivalent magnetic induction for
different structure devices are compared and it is also emphasized the way in which choosing the geometry and the mat

więcej »
**The selection of genetic algorithm parameters for soft fault diagnosis**
Some methods for soft fault diagnosis developed in last years use evolutionary computing. Genetic algorithms are the most popular
evolutionary method. The genetic algorithms are very sensitive to parameter settings, hence the selection of these parameters seems to be a very
important problem. This paper deals with the issue of an optimal determination of genetic algorithm parameters for soft fau

więcej »
**Thin toroidal superconducting magnetic energy storage (SMES) with tilted coils: magnetic fields, forces and support system requirements**
A concept of toroidal SMES with tilted coils is considered. A mathematical model of thin toroidal SMES with current sheet composed of
infinite number of current filaments is used. The two components of linear density forces are analyzed: the component in plane of each coil and the
component that directed perpendicularly to plane of coils. Volumes of support system material requirements have been

więcej »
**Using Stochastic Petri Nets for power system dependability computation**
Combining the Generalized Stochastic Petri nets (GSPN) properties and high level Petri nets facilities, a structural simplified model
Logical Explicit Stochastic Petri Nets (LESPN), having the same modeling power as GSPN, is built. LESPN primitive architectural modules are used
in repairable power systems dependability modeling. The paper presents a dependability comparative analysis, used in el

więcej »