Материалы международной научно-практической конференции. С.–Петербург: Изд-во Политехнического университета, 2011. – 184 с.В сборнике публикуются материалы докладов студентов, аспирантов, молодых ученых и сотрудников Политехнического университета, вузов Санкт-Петербурга, России, СНГ, а также учреждений РАН, представленные на научно-практическую конференцию, проводимую в рамках ежегодной XL Недели науки Санкт-Петербургского государственного политехнического университета. Доклады отражают современный уровень научно-исследовательской работы участников конференции в области фундаментальных, технических, экономических, социальных и гуманитарных наук.
Представляет интерес для специалистов в различных областях знаний, учащихся и работников системы высшего образования и Российской академии наук.Факультет технической кибернетики
Секция «Компьютерные системы и программные технологии»
Подсекция «Автоматика и управление»
Никитин А.А., Галибин А.А., Балтруков Н.Н. Разработка HDL-AMS модели управляемого генератора систем фазовой автоподстройки частоты
Скворцов А.Н., Балтруков Н.Н. Разработка высокоскоростного передатчика дифференциальных сигналов стандарта LVDS с пониженным напряжением питания
Хромов И.Б, Шилов М.М. Разработка аппаратно-программного обеспечения лабораторного стенда
Мурго А.И., Донцова А.В., Васильев А.Е. Разработка и исследование программной реализации алгоритма нечеткого логического вывода для встраиваемых микроконтроллеров
Тямушев И.Н., Леонтьев А.Г. Разработка и исследование мехатронной мобильной системы шарового типа
Братолюбова А.И., Мурго А.И., Шилов М.М. Разработка и исследование учебного комплекса
Беляева А.Ю., Васильев А.Е. Разработка и исследование программных средств автоматизации документооборота деканата при работе с иностранными учащимися
Дорогов А.И., Туркин Е.А., Мурго А.И., Васильев А.Е. Разработка и исследование средств передачи данных по каналу Wi-Fi для задач управления мобильными роботами
Ульзутуев П.С., Мурго А.И., Шилов М.М. Разработка аппаратного и программного обеспечения для обмена информацией по каналу GSM для задач управления мобильными роботами
Подсекция «Вычислительная техника и программные технологии»
Голубев И.Ю., Богатырев В.А. Исследование структуры отказоустойчивой вычислительной сети
Баун П.И., Ицыксон В.М. Система конфигурационного управления программным проектом
Кобахидзе Н.А., Черкесов Г.Н. Методы расчёта показателей надёжности восстанавливаемых систем при наличии ЗИП
Коссаковский А.Р., Глухих М.И. Разработка прототипа системы автоматического составления расписания с использованием генетического алгоритма
Крикун Т.С., Егоров И.В., Глухих М.И. Разработка модели для анализа надежности структурно-сложной системы
Радзивиллович М.В, Филиппов А.С. Организация верификации систем-на-кристалле в мобильной системе тестирования
Ступак А.Г., Тышкевич А.И. Система защиты Ethernet-сетей на канальном уровне
Верт Т.С., Глухих М.И. Обнаружение дефектов в программах на языке C методом статического анализа с использованием дедуктивной верификации
Зайченко Е. А.,Ицыксон В. М. Предметно-ориентированный язык для решения логических задач и транслятор в формат SMT-Lib
Голубев И.Ю., Беззубов В.Ф., Богатырѐв В.А. Эффективность двухмашинных вычислительных комплексов
Киров Д.А., Ожиганов А.А. Перспективы применения беспроводных сенсорных сетей в задачах позиционирования и управления
Секция «Системный анализ и управление»
Рябов Г.А., Козлов В.Н. Исследование аварийных режимов в ЭЭС с использованием полных математических моделей в фазных координатах
Холодных П.В., Симаков И.П. Развитие программного комплекса для системного анализа и управления надежностью и безопасностью структурно-сложных систем
Колоколова В.А., Симаков И.П. Методы выбора функционально-топологических структур управляющих систем при различной степени информированности о внешних аварийных разрушающих воздействиях
Васильев A.Ю., Куприянов В.Е. Синтез регуляторов по выходу на основе редукции
Ефремов В.А., Козлов В.Н. Негладкие операторы в задачах моделирования адаптивных систем управления
Рябов Г.А., Симаков И.П. О хрупкости оптимальных регуляторов, синтезированных методами Н – теории
Холодных П.В., Симаков И.П. Расчет показателей безотказности сложных технических систем с учетом алгоритмов управления их структурой при отказах элементов
Шеховцов И.И., Птицина Л.К. Анализ и выбор средств визуализации инфраструктур
Пахомов Д.И., Птицина Л.К. Исследование систем управления кэшированием информации при отражении атак
Здасюк Д.И., Птицина Л.К. Организация и поддержка распределенных вычислений в системе виртуальных машин беспроводной локальной сети
Дубовник Е.С., Птицина Л.К. Аналитико-программный комплекс для анализа динамических профилей деятельности интеллектуальных информационных агентов
Бербеков Э.В., Станкевич Л.А. Адаптивное управление автономным агентом с помощью поведенческих сетей
Гончарова П.А., Сагалов М.С., Фирсов А.Н. Приближенная оценка области устойчивости линейной динамической системы при однопараметрическом возмущении ее матрицы
Сизов Д.К., Вагина Е.И., Хлобыстина Ю.Н., Симаков И.П. Применение новых типов обратных связей в системах управления неопределенными объектами
Панькин С.В., Лаврухин А.А. Решение задачи идентификации тензора импеданса в методе магнитотеллурического зондирования
Голуб Н.В. Целостное образовательное пространство как результат современных информационных технологий
Липатникова С.А., Быкова О.Г. Решение уравнения Лапласа в табличном процессоре Microsoft Excel
Секция «Системы автоматического управления»
Нацин Г.В., Шестаков В.М. Динамика трехроторной вибрационной установки с наклонной платформой
Белокузов Е.В., Шестаков В.М. Динамика взаимосвязанных электромеханических систем двухроторных вибрационных установок
Беляева Н.И., Курмашев А.Д. Сравнительный анализ регуляторов траектории в замкнутых системах программного управления
Григорьев Н.И., Курмашев А.Д. Электротехнический комплекс для исследования материалов на длительную механическую прочность
Штакельберг И.Е., Ростов Н.В. Виртуальное моделирование системы управления дифферентом
Рябков Т.М., Ростов Н.В. Нейросетевая следящая система с нелинейной эталонной моделью
Гималетдинов Д.Э., Факадей П.А., Логинов А.Л. Решение траекторных задач с использованием системы MoviAxis
Трофимчук В.С., Щербина А.Н. Принцип удаленного управления в распределенных АСУ ТП, реализованных на базе сети Ethernet
Онуфриенко М.В., Викторов О.А. Экспериментальное исследование синхронного движения электроприводов
Галицкая В.А., Горлатов Д.В., Томчина О.П. Алгоритм кратной синхронизации для многороторной виброустановки
Яицкая Е.С., Ушаков А.В. Возможности двоичного динамического наблюдения в задаче нелинейного формирования сигнала коммутации структуры пространства линейных двоичных динамических систем
Поклад П.М. Алгоритм фазового сравнения частотно-фазовых дискриминаторов с плавающей системой координат
Поклад П.М. Особенности реализации цифровых фильтров на базе сдвигающих регистров для подавления помех в контуре управления электропривода с импульсным датчиком положения
Поклад П.М. Внедрение информационных технологий в процессы жизненного цикла высокотехнологичного промышленного оборудования
Сыров Е.В. Разработка высокоэффективных энергосберегающих конструкций роликовых сепараторов на основе математического моделирования
Секция «Информационные и управляющие системы»
Подсекция «Программное обеспечение и автоматизированные системы обработки информации и управления»
Пронин Д.В., Воскобойников С.П. Разработка и исследование программных реализаций граничного условия первого рода в задачах моделирования
Гаркуша Н.В., Фёдоров С.А. Собственный интерфейс Java для библиотеки численных методов FNML
Гуревич А.А., Фёдоров С.А. Генерация кода Ada 2005 для ANTLR
Макаров В.А., Лоханов Н.С., Морозов Д.А., Фёдоров С.А. Проблема больших базовых адресных регистров памяти в PCI-E
Югарова О.Ю., Фёдоров С.А., Комаров А.В. Разработка сайта молодых учёных научно-исследовательского университета СПбГПУ
Чуркин В.В., Зотов А.А. Разработка системы мониторинга информационных систем
Ким Р.И., Дробинцев П.Д. Подход к покрытию тестами модели системы, описанной в нотации UCM
Васин А.А., Дробинцев П.Д. Универсальный графический интерфейс автоматизации тестирования
Воскобойников А.С., Черноруцкий И.Г. Исследование методов пакета MatLab для решения задачи параметрической оптимизации
Поддубный И.Е., Черноруцкий И.Г. Проблема идентификации объектов, описываемых жёсткими системами дифференциальных уравнений
Овчинникова О.Ю. Разработка базовых математических моделей обработки заявок службой технической поддержки петербургского филиала ОАО «Ростелеком»
Коротченко А. Ф., Фёдоров С. А. Стыковка бортового оборудования общественного транспорта Санкт-Петербурга с радиопередатчиком для незрячих системы «Говорящий город»
Лисицын П.В., Маховиков А.Б. Проектирование Интернет-сервиса организации SMS-рассылок для оповещения студентов
Подсекция «Технологии разработки программного обеспечения»
Никифоров И.В., Петров А.В., Котляров В.П. Особенности трансляции исключений и прерываний UCM в базовые протоколы
Прийма Л.В., Синицкий Г.Ю., Котляров В.П. Метод конкретизацмм символьных тестовых сценариев
Васин А.А., Никифоров И.В., Котляров В.П. Анализатор последовательности событий, интерпретируемых элементами UCM
Здробилко С.Н., Воинов Н.В., Дробинцев П.Д., Котляров В.П. Метод генерации эвристик для оптимизации процесса обхода дерева поведения системы
Когинов С.Ю., Кауров И.В., Дробинцев Д.Ф., Бутенко И.В. Разработка архитектуры аналитического модуля автоматизированной системы управления инкассации коммерческого банка
Фёдоров С.А., Амосов В.В. Богатое математическое и программное обеспечение для высокоскоростных камер и автоматизированных систем научных исследований
Объединённая секция «Измерительные информационные технологии. Информационные системы экологической безопасности»
Окрепилов М.В. Актуальность разработки концепции метрологического обеспечения испытаний углеводородной газовой продукции в РФ
Селиверстов М.В., Венгер А.В. Многоканальная система измерения температуры
Клецко Г.Б., Слабнов А.А. Пример реализации процесса синхронизации измерений в многоканальной системе
Яковлева И.А., Лозицкий В.А. Выбор оптимальных параметров измерения тахеометром размера деталей машиностроения
Ажоткин С.В., Лобан В.И. Алгоритмизация применения методов слежения и математической статистики при обработке инфракрасного изображения для бесконтактной детекции лжи
Мачихин Е.Д., Сальников В.Ю. Клиент-серверная архитектура для обмена защищенными мгновенными сообщениями
Шаляпин П.В., Богач Н.В. Блочное шифрование на ПЛИС
Цветков Е.А., Перепелица С.А. Определение оптимальной топологии сети ZigBee на основе анализа потока данных
Лукьянов А.С., Мешалкина М.Н. Оценка качества реформера с применением инфракрасной Фурье-спектроскопии
Стерельников И.К., Курчин И.В. Комплекс испытательной аппаратуры для определения коэффициента проникания через лицевые части средств индивидуальной защиты органов дыхания
Александров Н.Ю., Кувандыков Р.Э. Анализатор пыли ИКП-5
Пивоварова И.И. Применение геоинформационных технологий для создания цифровой картографической основы в нормативно-технической документации
Секция «Распределенные вычисления и компьютерные сети»
Горбунов А.Ю., Ивановский Р.И. Анализ корреляционного подхода применительно к проверке гипотез
Комягин А.Д., Карпов Ю.Г. Исследование возможности использования идеалов над булевыми кольцами в задачах символьной верификации
Лебедь Д.О., Глебовский А.Ю. Разработка и программная реализация системы управления мультимедийным контентом и режимами вещания в корпоративной информационной видеосети
Марков А.О., Глебовский А.Ю. Редизайн веб-портала: от требований к разработке
Милославская В.Д., Трифонов П.В. Быстрое декодирование полярных кодов
Мишина А.С., Трифонов П.В. Мягкое декодирование обобщенных каскадных кодов
Морачевский В.Н., Глебовский А.Ю. Разработка ПО системы видеоконференцсвязи с использованием клиентских станций на базе ПК и инструментария с открытым кодом
Морозов Р.А., Шошмина И.В. Верификация программ методом Флойда-Хоара с использованием пакета Microsoft VCC
Пчелко П.В., Карпов Ю.Г. Прогнозирование последовательностей, порождаемых неизвестным источником, с помощью теоретико-информационного подхода
Топтыгин А.В., Самочадин А.В. Визуализация процессов получения государственных услуг
Аль-Таяр Б.А., Музанна М.М., Яковлев С.А. Критерии эффективности внедрения сетей доставки контента
Аль-Таяр Б.А., Музанна М.М., Яковлев С.А. Оптимальный выбор места размещения узлов сети
Осипов А.В., Фролова Н.И., Богатырев В.А. Оптимальная сегментация пакетов в беспроводных сетях
Секция «Информационная безопасность компьютерных систем»
Абдрахманов А.В., Платонов В.В. Анализ применения полиномиальных ядер метода опорных векторов для обнаружения сетевых атак
Дзьоба А.В., Калинин М.О. Разработка высокопроизводительного криптографического шлюза на базе универсальной сетевой вычислительной платформы
Дьяков С.Н., Москвин Д.А. Проблемы обеспечения безопасности SCADA-систем в сети Интернет
Ефремов В.Б., Москвин Д.А. Удаление нежелательного контента из Web-страниц в сетевом трафике
Коноплев А.С., Калинин М.О. Применение логического моделирования при проверке правил политик информационной безопасности в грид-системах
Кулаков А.Н., Маховенко Е.Б. Анализ схем групповой передачи данных с использованием алгоритмов личностной криптографии
Мизюкин А.В., Ростовцев А.Г. Подходы к решению задачи анализа блочного шифра
Селянин Д.Е., Москвин Д.А. Методы противодействия буткитам
Сиваков И.И., Михайлов М.Ю., Ростовцев А.Г. Некоторые вычислительные алгоритмы на конечных ненаправленных графах
Сиваков И.И., Михайлов М.Ю., Ростовцев А.Г. Вычисление числа несвязных подграфов в графе
Скворцов Д.Л., Москвин Д.А. Удаленное определение программного состава хоста локальной сети на основе информации о запущенных RPC-службах
Тихонов Д.Д., Москвин Д.А. Использование социальных сетей в качестве транспорта при управлении информационными системами через сеть Интернет
Юшкевич И.А., Платонов В.В. Лексикографические методы анализа данных прикладного уровня для обнаружения аномалий
Секция малого факультета технической кибернетики
Гаврилова Н.М., Грецова М.В., Сениченков Ю.Б. Разработка компьютерных моделей в среде Rand Model Designer
Рябых Р.А., Окунев Е.И. Пример логической игры на смешивание элементов без подключения сторонних библиотек и классов для графической обработки
Смольский А.Л., Окунев Е.И. Генератор карт на PascalABC с использованием модуля GraphABC
Харфуш Х.А., Окунев Е.И. Причины использования двоичной системы счисления в вычислительной технике и её преимущества относительно других позиционных систем счисления
Шолмов А.К., Окунев Е.И. Сравнительный анализ простейших шифров, используемых для шифрования информации
Линд В., Ованесян Г., Максименко С.Л. Разработка цифрового устройства на ПЛИС
