2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON)

A formal proof of properties of a presentation system using Isabelle

2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON) ◽

10.1109/ukrcon.2017.8100431 ◽

2017 ◽

Cited By ~ 3

Author(s):

Taras Panchenko ◽

Ievgen Ivanov

Keyword(s):

Formal Proof

Get full-text (via PubEx)

Method of approximation the magnetizing inductance curves of self-excited induction generators

2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON) ◽

10.1109/ukrcon.2017.8100518 ◽

2017 ◽

Cited By ~ 1

Author(s):

Mykola Pushkar ◽

Nataliya Krasnoshapka ◽

Mykola Pechenik ◽

Vitalii Bovkunovych

Keyword(s):

Induction Generators

Get full-text (via PubEx)

Transient radiation of circle with uniform current distribution

2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON) ◽

10.1109/ukrcon.2017.8100488 ◽

2017 ◽

Cited By ~ 3

Author(s):

Oleksandr Dumin ◽

Rolan Akhmedov ◽

Viktor Katrich ◽

Olga Dumina

Keyword(s):

Current Distribution ◽

Transient Radiation ◽

Uniform Current ◽

Uniform Current Distribution

Get full-text (via PubEx)

Joint innovative double degree master program «energy-saving technologies in transport»

2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON) ◽

10.1109/ukrcon.2017.8100442 ◽

2017 ◽

Cited By ~ 2

Author(s):

Andrey Gnatov ◽

Schasyana Argun ◽

Olga Ulyanets

Keyword(s):

Energy Saving ◽

Master Program ◽

Double Degree

Get full-text (via PubEx)

Operation possibility of grid connected Quasi-Z-Source Inverter with energy storage and renewable energy generation in wide power range

2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON) ◽

10.1109/ukrcon.2017.8100303 ◽

2017 ◽

Cited By ~ 1

Author(s):

Kaspars Kroics ◽

Janis Zakis ◽

Aleksander Suzdalenko ◽

Oleksandr Husev ◽

Kostiantyn Tytelmaier ◽

...

Keyword(s):

Renewable Energy ◽

Energy Storage ◽

Energy Generation ◽

Renewable Energy Generation

Get full-text (via PubEx)

Permanent magnet focusing system optimization for SubMM-waveband clinotrons

2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON) ◽

10.1109/ukrcon.2017.8100312 ◽

2017 ◽

Author(s):

Kostyantyn Ilyenko ◽

Yurii Novosel ◽

Tetyana Yatsenko

Keyword(s):

Permanent Magnet ◽

System Optimization

Get full-text (via PubEx)

Mathematical model of the semiconductor converter with twelve-zone regulation of output voltage

2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON) ◽

10.1109/ukrcon.2017.8100511 ◽

2017 ◽

Author(s):

V. V. Mykhailenko ◽

S. O. Buryan ◽

T. B. Maslova ◽

L. M. Naumchuk ◽

J. M. Chunyak ◽

...

Keyword(s):

Mathematical Model ◽

Output Voltage ◽

Semiconductor Converter

Get full-text (via PubEx)

Analysis of quantization noises in multistage signal processing systems: A case study of digital down converters (DDC)

2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON) ◽

10.1109/ukrcon.2017.8100360 ◽

2017 ◽

Author(s):

Mykola Pavlenko ◽

Alexander Kalyuzhny

Keyword(s):

Signal Processing ◽

Signal Processing Systems

Get full-text (via PubEx)

Parametric synthesis of reservoir capacitor circuits in the thyristor generator of discharge pulses with the controllable voltage feedback

2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON) ◽

10.1109/ukrcon.2017.8100507 ◽

2017 ◽

Author(s):

N. I. Suprunovska ◽

A. A. Shcherba

Keyword(s):

Parametric Synthesis ◽

Voltage Feedback

Get full-text (via PubEx)

Modeling of water tree growth between micro-inclusions in XLPE cable isolation and its effect on electric field distribution

2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON) ◽

10.1109/ukrcon.2017.8100530 ◽

2017 ◽

Author(s):

M. A. Shcherba

Keyword(s):

Electric Field ◽

Field Distribution ◽

Tree Growth ◽

Electric Field Distribution ◽

Xlpe Cable ◽

Water Tree

Get full-text (via PubEx)

2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON)
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

A formal proof of properties of a presentation system using Isabelle

Method of approximation the magnetizing inductance curves of self-excited induction generators

Transient radiation of circle with uniform current distribution

Joint innovative double degree master program «energy-saving technologies in transport»

Operation possibility of grid connected Quasi-Z-Source Inverter with energy storage and renewable energy generation in wide power range

Permanent magnet focusing system optimization for SubMM-waveband clinotrons

Mathematical model of the semiconductor converter with twelve-zone regulation of output voltage

Analysis of quantization noises in multistage signal processing systems: A case study of digital down converters (DDC)

Parametric synthesis of reservoir capacitor circuits in the thyristor generator of discharge pulses with the controllable voltage feedback

Modeling of water tree growth between micro-inclusions in XLPE cable isolation and its effect on electric field distribution

Export Citation Format

2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

A formal proof of properties of a presentation system using Isabelle

Method of approximation the magnetizing inductance curves of self-excited induction generators

Transient radiation of circle with uniform current distribution

Joint innovative double degree master program «energy-saving technologies in transport»

Operation possibility of grid connected Quasi-Z-Source Inverter with energy storage and renewable energy generation in wide power range

Permanent magnet focusing system optimization for SubMM-waveband clinotrons

Mathematical model of the semiconductor converter with twelve-zone regulation of output voltage

Analysis of quantization noises in multistage signal processing systems: A case study of digital down converters (DDC)

Parametric synthesis of reservoir capacitor circuits in the thyristor generator of discharge pulses with the controllable voltage feedback

Modeling of water tree growth between micro-inclusions in XLPE cable isolation and its effect on electric field distribution

2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON)
Latest Publications