Аннотации номера Научно-Технический Вестник информационных технологий, механики и оптики

2007 , ТОМ 07, НОМЕР 8 ( НОЯБРЬ )

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

Меню

Публикации

Главный редактор

НИКИФОРОВ
Владимир Олегович
д.т.н., профессор

Партнеры

Аннотации номера

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

СОВРЕМЕННОЕ СОСТОЯНИЕ И ПЕРСПЕКТИВЫ РАЗВИТИЯ ТОМОГРАФИИ Марусина М. Я., Казначеева А. О.

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

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

ОПТИМИЗАЦИЯ ИНФОРМАЦИОННЫХ ПОДСИСТЕМ СЛЕДЯЩИХ ЭЛЕКТРОПРИВОДОВ ПРЕЦИЗИОННЫХ КОМПЛЕКСОВ СЛЕЖЕНИЯ Жданов И. Н., Домрачев В. М., Денисов К. М.

ОПТИКО–ГЕОМЕТРИЧЕСКИЙ МЕТОД ИССЛЕДОВАНИЯ НАПРЯЖЕННО-ДЕФОРМИРОВАННЫХ СОСТОЯНИЙ ЭЛЕМЕНТОВ МИКРОЭЛЕКТРОНИКИ И МИКРОСЕНСОРНОЙ ТЕХНИКИ Коробейников А. Г., Ткалич В. Л.

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

РАЗРАБОТКА АВТОМАТИЗИРОВАННОЙ СИСТЕМЫ КОНТРОЛЯ КАЧЕСТВА МИКРО- И НАНОСТРУКТУР Коробейников А. Г., Ткалич В. Л., Папченко Б. П.

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

ТЕКСТОВЫЙ ЯЗЫК АВТОМАТНОГО ПРОГРАММИРОВАНИЯ Гуров В. С., Мазин М. А., Шалыто А. А.

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

ВВЕДЕНИЕ В ВЕРИФИКАЦИЮ АВТОМАТНЫХ ПРОГРАММ НА ОСНОВЕ МЕТОДА MODEL CHECKING Вельдер С. Э., Шалыто А. А.

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

АЛГОРИТМ АДАПТАЦИИ С АСТАТИЗМОМ ПЕРВОГО ПОРЯДКА ДЛЯ СТАБИЛИЗАЦИИ ЛИНЕЙНОГО ВОЗМУЩЕННОГО НЕСТАЦИОНАРНОГО ОБЪЕКТА Бобцов А. А., Наговицина А. Г., Никифоров В. О.

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

ФОРМИРОВАНИЕ НАНОСВИТКОВ В ВЯЗКОЙ ЖИДКОСТИ Блинова И. В., Попов И. Ю., Свитенков А. И., Чивилихин С. А.

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

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

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

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

ИСПОЛЬЗОВАНИЕ АВТОМАТОВ С ФЛАГАМИ ДЛЯ РЕШЕНИЯ Лобанов П. Г., Шалыто А. А.

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