Menu
Publications
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
Editor-in-Chief
Nikiforov
Vladimir O.
D.Sc., Prof.
Partners
Summaries of the Issue
ПЛЕНАРНОЕ ЗАСЕДАНИЕ
СОВРЕМЕННОЕ СОСТОЯНИЕ И ПЕРСПЕКТИВЫ РАЗВИТИЯ ТОМОГРАФИИ
Marusina Maria Ya., Anna O. Kaznacheeva
3
В докладе представлены различные виды томографических технологий, их аналитические возможности, достоинства и недостатки. Подробно рассмотрены основные виды томографии: рентгеновская компьютерная (РКТ), магнитно-резонансная (МРТ), позитронно-эмиссионная (ПЭТ) томография, ПЭТ/КТ сканеры. Проведена классификация томографических комплексов по назначению. Проанализированы тенденции развития томографических комплексов. Приведены результаты комплексного мониторинга рынка томографических технологий в Санкт-Петербурге.
ФУНДАМЕНТАЛЬНЫЕ ИССЛЕДОВАНИЯ В РАМКАХ ТЕМАТИЧЕСКОГО ПЛАНА НАУЧНО-ИССЛЕДОВАТЕЛЬСКИХ РАБОТ УНИВЕРСИТЕТА, ФИНАНСИРУЕМЫХ ФЕДЕРАЛЬНЫМ АГЕНТСТВОМ ПО ОБРАЗОВАНИЮ, И НАУЧНО-ИССЛЕДОВАТЕЛЬСКИХ РАБОТ ПО КОНТРАКТАМ
ОПТИМИЗАЦИЯ ИНФОРМАЦИОННЫХ ПОДСИСТЕМ СЛЕДЯЩИХ ЭЛЕКТРОПРИВОДОВ ПРЕЦИЗИОННЫХ КОМПЛЕКСОВ СЛЕЖЕНИЯ
Ivan Zhdanov, Домрачев В. М., Konstantin M. Denisov
14
В докладе представлены различные виды томографических технологий, их аналитические возможности, достоинства и недостатки. Подробно рассмотрены основные виды томографии: рентгеновская компьютерная (РКТ), магнитно-резонансная (МРТ), позитронно-эмиссионная (ПЭТ) томография, ПЭТ/КТ сканеры. Проведена классификация томографических комплексов по назначению. Проанализированы тенденции развития томографических комплексов. Приведены результаты комплексного мониторинга рынка томографических технологий в Санкт-Петербурге.
ОПТИКО–ГЕОМЕТРИЧЕСКИЙ МЕТОД ИССЛЕДОВАНИЯ НАПРЯЖЕННО-ДЕФОРМИРОВАННЫХ СОСТОЯНИЙ ЭЛЕМЕНТОВ МИКРОЭЛЕКТРОНИКИ И МИКРОСЕНСОРНОЙ ТЕХНИКИ
Korobeynikov Anatoliy Grigorievich, Tkalich Vera L.
21
На базе поляризационно-оптического метода предлагается оптико-геометрический метод определения напряженно-деформированных состояний элементов микроэлектроники и микросенсорной техники. Статья подготовлена по результатам НИР “Разработка неразрушающих бесконтактных оптических методов исследования стереометрии и внутренних структурных дефектов элементной базы микроэлектроники и микросенсорной техники”
РАЗРАБОТКА АВТОМАТИЗИРОВАННОЙ СИСТЕМЫ КОНТРОЛЯ КАЧЕСТВА МИКРО- И НАНОСТРУКТУР
Korobeynikov Anatoliy Grigorievich, Tkalich Vera L., Papchenko Boris P.
24
На базе интерферометрического метода разработана автоматизированная система определения параметров шероховатости микро – и наноструктур. Статья подготовлена по результатам НИР “Разработка методов исследования качественных и количественных характеристик наносистемных структур”.
ТЕКСТОВЫЙ ЯЗЫК АВТОМАТНОГО ПРОГРАММИРОВАНИЯ
Vadim Gurov, Maxim Mazin, Shalyto Anatoly A.
29
В статье описывается текстовый язык автоматного программирования, созданный с помощью системы метапрограммирования JetBrains MPS. Этот язык дополняет визуальное инструментальное средство автоматного программирования UniMod текстовым входом. При этом диаграммы состояний строятся по мере набора текста программы автоматически, что позволяет назвать предлагаемый подход к построению программ текстововизуальным
ВВЕДЕНИЕ В ВЕРИФИКАЦИЮ АВТОМАТНЫХ ПРОГРАММ НА ОСНОВЕ МЕТОДА MODEL CHECKING
Sergey Velder, Shalyto Anatoly A.
33
В статье применительно к автоматным программам (их поведение описывается одним конечным автоматом) излагается техника верификации, которая базируется на темпоральных логиках и называется Model Checking. Для автоматных программ удается автоматизировать процесс построения модели программы, подлежащей верификации.
АЛГОРИТМ АДАПТАЦИИ С АСТАТИЗМОМ ПЕРВОГО ПОРЯДКА ДЛЯ СТАБИЛИЗАЦИИ ЛИНЕЙНОГО ВОЗМУЩЕННОГО НЕСТАЦИОНАРНОГО ОБЪЕКТА
Bobtsov Alexey A., Наговицина А. Г., Nikiforov Vladimir O
49
Данная статья посвящена проблеме управления по выходу линейными нестационарными системами с неизвестными быстроизменяющимися параметрами. Предполагая, что объект управления подвержен влиянию внешнего неизвестного постоянного возмущения, представлен подход, обеспечивающий решение задачи стабилизации выходной переменной. Теоретические результаты проиллюстрированы на практическом примере.
ФОРМИРОВАНИЕ НАНОСВИТКОВ В ВЯЗКОЙ ЖИДКОСТИ
Irina V. Blinova , Igor Yu. Popov, Svitenkov Andrey, Sergey A. Chivilikhin
56
Процесс получения нанотрубок гидротермальным методом, основанный на скручивании предварительно напряженного слоя в вязкой жидкости, является предметом многочисленных экспериментальных исследований последних лет. В настоящей работе построена математическая модель этого процесса.
ФУНДАМЕНТАЛЬНЫЕ ИССЛЕДОВАНИЯ В ОБЛАСТИ ЕСТЕСТВЕННЫХ, ТЕХНИЧЕСКИХ И ГУМАНИТАРНЫХ НАУК. НАУЧНО-МЕТОДИЧЕСКОЕ ОБЕСПЕЧЕНИЕ РАЗВИТИЯ ИНФРАСТРУКТУРЫ ВУЗОВСКОЙ НАУКИ
60
Разработано программное обеспечение для регистрации излучения зонда в дальнем поле с расширенным диапазоном регистрируемой освещенности. Распределения освещенности в дальней зоне сопоставлены с качеством зондов. Реализован метод компьютерного моделирования структуры ближнего поля на основе математической обработки полученной экспериментальной информации.
ИСПОЛЬЗОВАНИЕ АВТОМАТОВ С ФЛАГАМИ ДЛЯ РЕШЕНИЯ
Pavel Lobanov, Shalyto Anatoly A.
67
Предложен метод реализации флибов, моделирующих поведение простейших живых существ в простейшей среде, с помощью автоматов с флагами. Выполнены вычислительные эксперименты, демонстрирующие эффективность предложенного метода по сравнению с известным.