Содержание выпусков
журнала
«Известия СПбГЭТУ "ЛЭТИ"»
2016 Вып. 1
Физические явления в твердых телах,
жидкостях и газах
А. Н. Рамазанов, Д. К. Кострин, А. А. Ухов
Санкт-Петербургский государственный электротехнический
университет «ЛЭТИ» им. В. И. Ульянова (Ленина)
А. А. Лисенков
Институт проблем машиноведения Российской академии наук (ИПМаш РАН)
Тлеющий разряд на воздухе
с жидким неметаллическим катодом
Рассмотрен тлеющий разряд на воздухе атмосферного давления в разрядной ячейке с жидким катодом. Приведены вольт-амперные характеристики такой системы при различных расстояниях между электродами. Продемонстрирована спектрограмма излучения плазмы тлеющего разряда.
Тлеющий разряд, жидкий электрод, вольт-амперная характеристика, излучение плазмы
A. N. Ramazanov, D. K. Kostrin, A. A. Uhov
Saint Petersburg Electrotechnical University «LETI»
A. A. Lisenkov
Institute of Problems of Mechanical Engineering of the Russian Academy of Sciences (IPME RAS)
GLOW DISCHARGE IN AIR WITH LIQUID NONMETALLIC CATHODE
In the article the glow discharge in air with atmospheric pressure in the discharge cell with a liquid cathode is considered. Volt-ampere characteristics of such system at different distances between the electrodes are given. Spectrogram of radiation of glow discharge plasma is shown.
Glow discharge, liquid electrode, current-voltage characteristic, plasma radiation
Информатика и компьютерные технологии
Я. А. Бекенева
Санкт-Петербургский государственный электротехнический
университет «ЛЭТИ» им. В. И. Ульянова (Ленина)
Анализ актуальных типов DDoS-атак
и методов защиты от них
Представлен анализ наиболее актуальных типов атак, основанных на отражении и усилении трафика. Приведены методы, рекомендуемые для предотвращения таких атак, а также существующие методы защиты от них. Выявлены преимущества и недостатки этих методов. Поставлены дальнейшие цели по разработке новых методов защиты.
DDoS-атака, DNS, NTP, SSDP, SNMP, методы защиты от DDoS-атак, RRL, RAD
Ya. А. Bekeneva
Saint Petersburg Electrotechnical University «LETI»
ANALYSIS OF DDoS-ATTACKS TOPICAL TYPES AND PROTECTION METHODS AGAINST THEM
In the paper an analysis of popular types of DDoS-attacks based on traffic reflection and traffic amplification is introduced. Existing methods for prevention and protection against such attacks are considered. Advantages and disadvantages of these methods are described. Necessity of new protection methods development is shown.
D DoS-attack, DNS, NTP, SSDP, SNMP, DDoS-attack protection, RRL, RAD
Р. Хаберланд, С. А. Ивановский, К. В. Кринкин
Санкт-Петербургский государственный электротехнический
университет «ЛЭТИ» им. В. И. Ульянова (Ленина)
Верификация объектно-ориентированных программ
с динамической памятью на основе ссылочной модели
Предложен метод аксиоматичной верификации динамической памяти на основе логического языка программирования "Пролог" для объектно-ориентированных программ, использующих ссылочную модель памяти. Формально определены термины: куча, интерпретация кучи и рассмотрены формальные операции над кучами. Обобщенная реализация на Прологе разрешает преодолевать недостатки в выразимости. Сделаны предположения, что представленным подходом можно решить совокупность других актуальных проблем в той же области. Предполагаемая модель была проверена с помощью системы верификации [1], которая, в том числе, способна преобразовывать программы императивных языков с экземплярами классов в промежуточное представление.
Указатели, кучи, анализ псевдонимов, верификация динамической памяти
R . Haberland, S. A. Ivanovskiy, K. V. Krinkin
Saint Petersburg Electrotechnical University «LETI»
|
