Abstracts of number Journal Scientific and Technical Of Information Technologies, Mechanics and Optics

, VOLUME , NUMBER ( )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Publications

2024

Editor-in-Chief

Nikiforov
Vladimir O.
D.Sc., Prof.

Partners

Summaries of the Issue

ПЛЕНАРНОЕ ЗАСЕДАНИЕ

СОВРЕМЕННОЕ СОСТОЯНИЕ И ПЕРСПЕКТИВЫ РАЗВИТИЯ ТОМОГРАФИИ Marusina Maria Ya., Anna O. Kaznacheeva

В докладе представлены различные виды томографических технологий, их аналитические возможности, достоинства и недостатки. Подробно рассмотрены основные виды томографии: рентгеновская компьютерная (РКТ), магнитно-резонансная (МРТ), позитронно-эмиссионная (ПЭТ) томография, ПЭТ/КТ сканеры. Проведена классификация томографических комплексов по назначению. Проанализированы тенденции развития томографических комплексов. Приведены результаты комплексного мониторинга рынка томографических технологий в Санкт-Петербурге.

ФУНДАМЕНТАЛЬНЫЕ ИССЛЕДОВАНИЯ В РАМКАХ ТЕМАТИЧЕСКОГО ПЛАНА НАУЧНО-ИССЛЕДОВАТЕЛЬСКИХ РАБОТ УНИВЕРСИТЕТА, ФИНАНСИРУЕМЫХ ФЕДЕРАЛЬНЫМ АГЕНТСТВОМ ПО ОБРАЗОВАНИЮ, И НАУЧНО-ИССЛЕДОВАТЕЛЬСКИХ РАБОТ ПО КОНТРАКТАМ

ОПТИМИЗАЦИЯ ИНФОРМАЦИОННЫХ ПОДСИСТЕМ СЛЕДЯЩИХ ЭЛЕКТРОПРИВОДОВ ПРЕЦИЗИОННЫХ КОМПЛЕКСОВ СЛЕЖЕНИЯ Ivan Zhdanov, Домрачев В. М., Konstantin M. Denisov

ОПТИКО–ГЕОМЕТРИЧЕСКИЙ МЕТОД ИССЛЕДОВАНИЯ НАПРЯЖЕННО-ДЕФОРМИРОВАННЫХ СОСТОЯНИЙ ЭЛЕМЕНТОВ МИКРОЭЛЕКТРОНИКИ И МИКРОСЕНСОРНОЙ ТЕХНИКИ Korobeynikov Anatoliy Grigorievich, Tkalich Vera L.

На базе поляризационно-оптического метода предлагается оптико-геометрический метод определения напряженно-деформированных состояний элементов микроэлектроники и микросенсорной техники. Статья подготовлена по результатам НИР “Разработка неразрушающих бесконтактных оптических методов исследования стереометрии и внутренних структурных дефектов элементной базы микроэлектроники и микросенсорной техники”

РАЗРАБОТКА АВТОМАТИЗИРОВАННОЙ СИСТЕМЫ КОНТРОЛЯ КАЧЕСТВА МИКРО- И НАНОСТРУКТУР Korobeynikov Anatoliy Grigorievich, Tkalich Vera L., Papchenko Boris P.

На базе интерферометрического метода разработана автоматизированная система определения параметров шероховатости микро – и наноструктур. Статья подготовлена по результатам НИР “Разработка методов исследования качественных и количественных характеристик наносистемных структур”.

ТЕКСТОВЫЙ ЯЗЫК АВТОМАТНОГО ПРОГРАММИРОВАНИЯ Vadim Gurov, Maxim Mazin, Shalyto Anatoly A.

В статье описывается текстовый язык автоматного программирования, созданный с помощью системы метапрограммирования JetBrains MPS. Этот язык дополняет визуальное инструментальное средство автоматного программирования UniMod текстовым входом. При этом диаграммы состояний строятся по мере набора текста программы автоматически, что позволяет назвать предлагаемый подход к построению программ текстововизуальным

ВВЕДЕНИЕ В ВЕРИФИКАЦИЮ АВТОМАТНЫХ ПРОГРАММ НА ОСНОВЕ МЕТОДА MODEL CHECKING Sergey Velder, Shalyto Anatoly A.

В статье применительно к автоматным программам (их поведение описывается одним конечным автоматом) излагается техника верификации, которая базируется на темпоральных логиках и называется Model Checking. Для автоматных программ удается автоматизировать процесс построения модели программы, подлежащей верификации.

АЛГОРИТМ АДАПТАЦИИ С АСТАТИЗМОМ ПЕРВОГО ПОРЯДКА ДЛЯ СТАБИЛИЗАЦИИ ЛИНЕЙНОГО ВОЗМУЩЕННОГО НЕСТАЦИОНАРНОГО ОБЪЕКТА Bobtsov Alexey A., Наговицина А. Г., Nikiforov Vladimir O

Данная статья посвящена проблеме управления по выходу линейными нестационарными системами с неизвестными быстроизменяющимися параметрами. Предполагая, что объект управления подвержен влиянию внешнего неизвестного постоянного возмущения, представлен подход, обеспечивающий решение задачи стабилизации выходной переменной. Теоретические результаты проиллюстрированы на практическом примере.

ФОРМИРОВАНИЕ НАНОСВИТКОВ В ВЯЗКОЙ ЖИДКОСТИ Irina V. Blinova , Igor Yu. Popov, Svitenkov Andrey, Sergey A. Chivilikhin

Процесс получения нанотрубок гидротермальным методом, основанный на скручивании предварительно напряженного слоя в вязкой жидкости, является предметом многочисленных экспериментальных исследований последних лет. В настоящей работе построена математическая модель этого процесса.

ФУНДАМЕНТАЛЬНЫЕ ИССЛЕДОВАНИЯ В ОБЛАСТИ ЕСТЕСТВЕННЫХ, ТЕХНИЧЕСКИХ И ГУМАНИТАРНЫХ НАУК. НАУЧНО-МЕТОДИЧЕСКОЕ ОБЕСПЕЧЕНИЕ РАЗВИТИЯ ИНФРАСТРУКТУРЫ ВУЗОВСКОЙ НАУКИ

РАЗРАБОТКА АЛГОРИТМИЧЕСКОГО И ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ДЛЯ МОДЕЛИРОВАНИЯ АПЕРТУРЫ СБОМ – ЗОНДОВ НА ОСНОВЕ ЭКСПЕРИМЕНТАЛЬНОГО ИССЛЕДОВАНИЯ ДАЛЬНЕПОЛЬНОЙ ОСВЕЩЕННОСТИ Ле З. Т.

Разработано программное обеспечение для регистрации излучения зонда в дальнем поле с расширенным диапазоном регистрируемой освещенности. Распределения освещенности в дальней зоне сопоставлены с качеством зондов. Реализован метод компьютерного моделирования структуры ближнего поля на основе математической обработки полученной экспериментальной информации.

ИСПОЛЬЗОВАНИЕ АВТОМАТОВ С ФЛАГАМИ ДЛЯ РЕШЕНИЯ Pavel Lobanov, Shalyto Anatoly A.

Предложен метод реализации флибов, моделирующих поведение простейших живых существ в простейшей среде, с помощью автоматов с флагами. Выполнены вычислительные эксперименты, демонстрирующие эффективность предложенного метода по сравнению с известным.