Aerospace and Electronic Systems Magazine January 2018 - 64

Is Formal Proof of seL4 Sufficient for Avionics Security?
phenomenon. Special attention was paid to researching the characteristics of a receive antenna that functioned in the random
LDTP field. The SAT concepts were widely used to interpret
correctly the observed effect. The monograph Experimental Investigations of Long-Distance Tropospheric Ultra-Short Wave
Propagation (1964) summarized the results of this research and
appeared to be the first monograph in the world to address this
problem.

THEORY OF ANTENNAS WITH NONLINEAR ELEMENTS (ANE)
The third directions of Prof. Shifrin's pioneering research and that
of his disciples was the development of the theory of Antennas
with Nonlinear Elements (ANE). Creation of this theory was necessitated by the introduction of different ANE types into the practice of radio engineering. One important result of his work was a
detailed elaboration of the theory and practice of building antenna
systems. The key results of the investigations are published in the
Handbook on antenna engineering (1997).

PHASED ANTENNA ARRAYS (PAA)
The fourth directions of Shifrin and his disciples' research focused
on phased antenna arrays (PAA). Two new efficient methods for
phase-less PAA diagnostics were proposed. Of practical importance is the experimental method they developed for finding a matrix of PAA radiators' reciprocal influence. By knowing this matrix,
it is possible even at the stage of developing the PAA, to foresee
the algorithmic compensation of effects of radiators' interaction,
which will result in allowing the widening of the scanning sector
for PAAs.

CONTRIBUTIONS TO EDUCATION
For over 50 years, Prof. Shifrin has been a lecturer at ARTA and
KNURE and for 30 years, he has been the Head Chair at these institutions. Prof Shifrin is an author or co-author of over 370 scientific publication including 16 monographs. Under his supervision, about 25 of
theses for Dr. SCI degree and about 50 theses for PhD were defended.
He deserves high recognition for his scientific and organizational activities and the help he rendered to a number of higher
schools of post-USSR countries. He is an Honored Professor of 5
Universities of the Ukraine and Russia.
After the collapse of the USSR, he organized the Ukrainian antenna workshop in 1991 and the Ukrainian National antenna association in 1993 with the aim of uniting Ukrainian antenna specialists.
By facilitating the creation of the IEEE East-Ukrainian Chapter in
1995 and the Kharkiv IEEE Chapter in 2000, he aided the integration of Ukrainian scientists into a single unit. Prof. Shifrin chaired
the East Ukrainian Chapter for several years and he was the driving
force behind the establishment of the Kharkiv Chapter.
Especially noteworthy is Prof. Shiffrin's organization of the international antenna conferences ICATT in the Ukraine. So far, 10
conferences have been held.
The international scientific community recognizes the scientific and organizational merits of Prof. Shifrin. In 2014, the European
Microwave Association conferred him the "EuMA 2014 Outstanding Carrier Award". This, such an award was granted, for the first
time, to a scientist of the former USSR.
Y. S. Shifrin's service to Motherland and science was marked
by 23 orders and medals; the A.D. Popov Prize AS USSR (1983);
and the title of Honorary Worker of Science and Technology of
Ukraine (1991).

IEEE A&E SYSTEMS MAGAZINE

JANUARY 2018

Table of Contents for the Digital Edition of Aerospace and Electronic Systems Magazine January 2018