Summaries of the Issue

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

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

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

14
В докладе представлены различные виды томографических технологий, их аналитические возможности, достоинства и недостатки. Подробно рассмотрены основные виды томографии: рентгеновская компьютерная (РКТ), магнитно-резонансная (МРТ), позитронно-эмиссионная (ПЭТ) томография, ПЭТ/КТ сканеры. Проведена классификация томографических комплексов по назначению. Проанализированы тенденции развития томографических комплексов. Приведены результаты комплексного мониторинга рынка томографических технологий в Санкт-Петербурге.
21
На базе поляризационно-оптического метода предлагается оптико-геометрический метод определения напряженно-деформированных состояний элементов микроэлектроники и микросенсорной техники. Статья подготовлена по результатам НИР “Разработка неразрушающих бесконтактных оптических методов исследования стереометрии и внутренних структурных дефектов элементной базы микроэлектроники и микросенсорной техники”
24
На базе интерферометрического метода разработана автоматизированная система определения параметров шероховатости микро – и наноструктур. Статья подготовлена по результатам НИР “Разработка методов исследования качественных и количественных характеристик наносистемных структур”.
29
В статье описывается текстовый язык автоматного программирования, созданный с помощью системы метапрограммирования JetBrains MPS. Этот язык дополняет визуальное инструментальное средство автоматного программирования UniMod текстовым входом. При этом диаграммы состояний строятся по мере набора текста программы автоматически, что позволяет назвать предлагаемый подход к построению программ текстововизуальным
33
В статье применительно к автоматным программам (их поведение описывается одним конечным автоматом) излагается техника верификации, которая базируется на темпоральных логиках и называется Model Checking. Для автоматных программ удается автоматизировать процесс построения модели программы, подлежащей верификации.
49
Данная статья посвящена проблеме управления по выходу линейными нестационарными системами с неизвестными быстроизменяющимися параметрами. Предполагая, что объект управления подвержен влиянию внешнего неизвестного постоянного возмущения, представлен подход, обеспечивающий решение задачи стабилизации выходной переменной. Теоретические результаты проиллюстрированы на практическом примере.
ФОРМИРОВАНИЕ НАНОСВИТКОВ В ВЯЗКОЙ ЖИДКОСТИ Irina V. Blinova , Igor Yu. Popov, Svitenkov Andrey, Sergey A. Chivilikhin
56
Процесс получения нанотрубок гидротермальным методом, основанный на скручивании предварительно напряженного слоя в вязкой жидкости, является предметом многочисленных экспериментальных исследований последних лет. В настоящей работе построена математическая модель этого процесса.

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

60
Разработано программное обеспечение для регистрации излучения зонда в дальнем поле с расширенным диапазоном регистрируемой освещенности. Распределения освещенности в дальней зоне сопоставлены с качеством зондов. Реализован метод компьютерного моделирования структуры ближнего поля на основе математической обработки полученной экспериментальной информации.
67
Предложен метод реализации флибов, моделирующих поведение простейших живых существ в простейшей среде, с помощью автоматов с флагами. Выполнены вычислительные эксперименты, демонстрирующие эффективность предложенного метода по сравнению с известным.
Copyright 2001-2024 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

Яндекс.Метрика