Алгоритмы построения трехмерных моделей объектов с регулярной структурой по фотографиям при взаимодействии с пользователем для виртуальных сред
На основе предложенных алгоритмов и методов разработана система построения трехмерных моделей объектов с регулярной структурой по фотографиям, требующая существенно меньшего объема взаимодействия с пользователем, чем существующие аналоги. Система разрабатывалась в лаборатории компьютерной графики и мультимедиа (ЛКГиМ) кафедры автоматизации систем и вычислительных комплексов (АСВК) факультета…
Диссертация
Анализ корректности дискретных систем с асинхронными взаимодействиями
В диссертации для проверки ПГСА на корректность применяется третий из перечисленных подходов. Хотя переход сети не уменьшает экспоненциальную вычислительную сложность проверки на корректность, он (этот переход) имеет кроме ранее перечисленных достоинств использования сетей Петри для моделирования еще одно. А именно, сложность анализа сети Петри можно существенно уменьшить, сократив сеть…
Диссертация
Декомпозиция в задачах оптимального управления с запаздываниями
Же в математические модели запаздывающих аргументов может качественно изменить их свойства и поведение. Так, уже классическими являются примеры задержки сгорания топлива в камере жидкостного ракетного двигателя как причине неустойчивости горения /36 /, запаздывающая обратная связь является принципиальным звеном в системах автоматического регулирования (А.А.Красовский, Г. С. Поспелов В работе А…
Диссертация
Алгоритмическая сложность решения некоторых задач в многозначных логиках
Появление быстродействующих электронно-вычислительных машин усилило требования к алгоритмам, поскольку различные усовершенствования алгоритмов стали приносить существенный выигрыш во времени их работы. Поэтому, в настоящее время возникла необходимость построения алгоритмов решения задач распознавания выразимости и полноты в Р (с возможно меньшей сложности. Отказ от сложных алгоритмов переборного…
Диссертация
Алгоритмические и программные средства интеграции данных при создании электронных медицинских карт
Материалы диссертационной работы использованы в рамках проектов, разработанных в компании UMSson, которая занимается разработкой программных продуктов, предназначенных для решения задач здравоохранения. В текущее время МИС «Аврора» внедряется в рамках МЛПМУ «Больница № 2» и МЛПУ «Поликлиника № 2» в городе Томске. Одним из частей данного проекта являются следующие программные модули: «Редактор…
Диссертация
Алгоритмическое и программное обеспечение построения области реализуемости термодинамических систем
Целый класс систем различной природы характерен тем, что каждая из них состоит из большого числа элементов, поведение которых носит неуправляемый стохастический характер. Однако можно менять условия на макроуровне, влияющие на все множество этих элементов и определяющие усредненные характеристики систем. Такие системы называют макроуправляемы-ми системами или просто макросистемами. Классическим…
Диссертация
Алгоритмическое обеспечение для маршрутизации с поддержкой качества обслуживания данных в беспроводных вычислительных сетях
Несмотря на достаточно большое количество существующих протоколов маршрутизации для МЭБЛВС, описанных в литературе, необходимо отметить, что нахождение маршрута в них сводится лишь к отысканию кратчайшего пути с обеспечением доставки данных только «по возможности». При этом передача данных приложений, чувствительных к величинам пропускной способности, задержки и потерь пакетов, становится…
Диссертация
Блочные символьные матричные алгоритмы
Среди известных форматов хранения матриц подходящим может быть древовидный формат, основанный на идее представления матрицы в виде дерева, из каждой вершины которого исходит не более четырех ребер quadtree). Термину «quadtree» («region quadtree») в данной работе будет соответствовать термин «кватернарное дерево». Это — структура хранения данных, используемая не только для алгебраических…
Диссертация
Динамическая верификация цифровой аппаратуры на основе формальных спецификаций
Решению задачи тщательного тестирования НБЬ-описаний посвящено много работ. Многие из проблем, перечисленных выше, решены, например, в методе верификации ГГОЬ-описаний, основанном на формальных спецификациях, описывающих ожидаемое поведение тестируемой аппаратуры, в форме программных контрактов, наложенных на все операции и микрооперации (Камкин, А. С. Метод автоматизации имитационного…
Диссертация
Генераторы случайных и псевдослучайных чисел для статистического моделирования и защиты информации
Предложен комбинированный ГСП, использующий совместное функционирование ГПСЧ и датчиков случайных сигналов. При формировании случайных сигналов в цепи обратной связи ГПСЧ образуется дополнительный замкнутый контур из сумматоров по модулю два, способный генерировать высокочастотный случайный процесс. Непрерывные флуктуации в контуре соответствуют непрерывной миграции входов сумматора по выходам…
Диссертация
Исследование и разработка прямых и обратных преобразователей кода модулярных вычислительных структур для устройств цифровой обработки сигналов
За последние годы исследователями значительные усилия были приложены для исследования возможности применения модулярных вычислительных систем в высокопроизводительных сигнальных процессорах. Высокий интерес исследователей подпитывается тем, что модулярные системы обеспечивают параллелизм на уровне арифметических операций, а также предоставляют возможность проводить контроль и коррекцию ошибок…
Диссертация
Исследование и разработка средств автоматического контроля геометрических параметров экструдируемых заготовок в шинном производстве
Устройства контроля толщины протекторных заготовок и ширины легкодеформируемых заготовок ездовых камер испытывалось в технологических условиях ПО «Омскшина». Испытания показали, что метрологические характеристики устройств контроля ширины камерных заготовок не отличались от результатов лабораторных испытаний. Устройство без дополнительных корректировок нормально функционировало в течении 3-х…
Диссертация
Инструментальная поддержка CASE-технологий
В мире существует около пятисот CASE-систем. Из них лишь несколько отнесены производителями в категорию мета-CASE. С другой стороны, технология мета-CASE в последнее время вызывает все больший интерес. Действительно, не надо доказывать, что в крупных компаниях информационные технологии играют огромную роль. И часто невозможно на уровне корпорации применять традиционную «жесткую» CASE-систему без…
Диссертация
Инструментальная поддержка распределенного обучения и принятия решений в открытых сетях агентов
Разработан, реализован программно и исследован экспериментально итеративный Р2Р алгоритм обучения объединению решений и принятия решений в открытых сервисных сетях агентов, которые взаимодействуют на основе парных взаимодействий. Следует отметить, что на сегодняшний день исследования в области Р2Р анализа и обработки данных в открытых Р2Р сетях агентов с динамической топологией находятся в стадии…
Диссертация
Методы и средства обработки сигналов многоканальных детекторов устройствами, управляемыми потоком данных
Разработана полномасштабная прототипная специализированная многоканальная микросхема для считывания сигналов микрополосковых кремниевых детекторов с архитектурой, управляемой потоком данных. В данной микросхеме реализован полный тракт считывания и обработки сигналов, развито архитектурное решение, апробированное на первой партии опытных микросхем. Улучшены характеристики блоков микросхемы…
Диссертация
Математические методы анализа и синтеза систем стабилизации формы плазмы в токамаках
Одним из наиболее интенсивно развиваемых в настоящее время направлений автоматизации научных исследований, исследовательского и конструкторского проектирования сложных технических объектов является исключительно широкое применение разнообразных комплексов математических моделей, методов и алгоритмов, реализуемых с использованием современных средств вычислительной техники. Особую значимость…
Диссертация
Методы построения автоматизированных информационных систем для финансового менеджмента
Там же приводятся примеры целесообразного использования ЦСП-моделей некоторых базовых подструктур бизнес-процессов. Описан разработанный метод графического представления временных ЦСП-моделей, что делает применимым на практике теоретически обоснованный нами математический аппарат. Создан метод построения пользовательского интерфейса и описана его реализация. На основе положения о выпуске…
Диссертация
Методы повышения точности ионно-меточных измерительных преобразователей кинематических параметров потока газа
Разработка и исследование ионно-меточных измерительных преобразователей кинематических параметров потока (ИМИПКПП) газа с 1975 года проводятся в Отраслевой научно-исследовательской лаборатории «Измерительные преобразователи» Казанского авиационного института им. А. Н. Туполева (ныне государственный технический университет) под руководством В А. Ференца и В. М. Солдаткина. Исследования…
Диссертация
Методы пространственного индексирования в СУБД
Пространственные методы доступа являются основой геоинформационных систем, а также широко применяются в других областях, таких как временные базы данных, компьютерное зрение, базы знаний, САПР и др., требующих многоатрибутного индексирования. Важным требованием к таким системам является необходимость эффективной обработки очень больших объемов данных, имеющих пространственную природу, что делает…
Диссертация
Прогнозирование дозовых эффектов в цифровых КМОП микросхемах на структурах «кремний-на-сапфире» при импульсном ионизирующем воздействии
Результаты диссертации внедрены в ОАО «НЛП Сапфир», ОАО «Ангстрем», ФГУП «ФНПЦ НИИИС», ОАО «ЭНПО СПЭЛС» при разработке и радиационных испытаниях большинства отечественных КМОП КНС БИС серий 1825, 1620. Результаты диссертации вошли в отчетные материалы по многочисленным НИР и ОКР («Врач», «Микроскоп», «Мурена», «Корвет», «Сапфир», «Мелисса», «Микология» и др.), выполняемых по заказам Минобороны…
Диссертация
Распараллеливание программ для суперкомпьютеров с параллельной памятью и открытая распараллеливающая система
Предложен метод минимизации межпроцессорных пересылок на основе алгоритмов переразмещения данных. Получены новые общие алгоритмы переразмещения данных в параллельной памяти для различных коммуникационных систем. Для таких важных случаев, когда в качестве коммуникационной системы выступает полнодоступный коммутатор или п-мерный куб — доказана оптимальность (неулучшаемость) разработанных…
Диссертация
Разработка и исследование методов достижения высокой степени масштабируемости суперкомпьютерных приложений
Суперкомпьютерные приложения, работающие на многих тысячах узлов разделяются на два класса: вычислительно интенсивные и коммуникационно интенсивные (Data-Intensive или DIS-класс). В настоящее время все больший интерес начинают привлекать приложения второго класса, которые часто относят к области высокопроизводительных вычислений, называемой Big Data. В приложениях первого класса накладные расходы…
Диссертация
Стохастические алгоритмы внешних аппроксимаций для решения выпуклых задач полубесконечной оптимизации
В случае, когда функции /(х) и д (х, у) в задаче предполагаются непрерывно дифференцируемыми и выпуклыми по х на выпуклом компакте Х° для любого у? У" 0, то задача Р° называется выпуклой задачей полубесконечной оптимизации. Отметим, что вогнутости по у не предполагается. Среди методов, предназначенных для решения таких задач следует отметить методы «отсекающих плоскостей», которые изначально были…
Диссертация
Повышение релевантности периодического тематического поиска информации в Web
В качестве перспективного направления развития области диссертационного исследования следует отметить интеграцию систем автоматизированного периодического тематического поиска с тематическими сообществами, получившими широкое распространение в Web. С помощью такой интеграции можно добиться синергетического эффекта от объединения концепций совместного обучения (collaborative learning) и машинного…
Диссертация
Разработка методов и программных средств полунатурного моделирования систем управления динамическими объектами
Практическая ценность. Проведенные исследования и разработанные методы и средства построения РСМ высокого уровня позволили реализовать многомашинную СМ для комплекса, включающего мини-ЭВМ типа СМ-4 и микро-ЭВМ типа Электроника-60. Система включает подсистему моделирования непрерывных динамических объектов с проблемно-ориентированным языком высокого уровня для универсальной ЭВМ и ядро подсистемы…
Диссертация
Разработка модели и реализация тезаурусов в Интегрированной системе информационных ресурсов
Реализация портала — Интегрированная Система Информационных Ресурсов Вьетнамского Министерства Образования и Подготовки (ВМОиП) с использованием технологий ИСИР портала. Система должна строиться на основе объектной схемы данных, отображаемой в конкретные базы данных разных типов. Такой подход позволяет легко расширять систему и интегрировать свои данные с данными других систем. Система должна…
Диссертация
Разработка программно-аппаратных средств на базе нечетких методов моделирования для повышения эффективности функционирования систем центрадизованной охраны
Разработаны отдельные конструктивные элементы системы и интерфейсные связи между ними, что позволило синтезировать в целом систему принятия решений. Разработаны: блок предварительной обработки информации. блок выдачи управляющего воздействия, реализованный как блок управляемых источников тока. устройство трансляции, включающее блок принятия решений, блок хранения эталонных ситуаций, блок…
Диссертация
Устройство контроля обращений и процедур доступа к секторам жесткого магнитного диска
Выполнено математическое моделирование марковскими цепями с вложенными подграфами процессов функционирования УКОС в режиме информационного обмена с УПО и стандартном режиме обмена данными с ЖМД, позволившее обосновать достигаемые показатели его обнаруживающей способности, определить характеристики функций хеширования кодов команд и преобразования содержимого ключевых полей команд и выбрать…
Диссертация
Устройства преобразования информации о нагруженности для автоматизированной системы управления испытаниями тракторов
Поскольку при внедрении в практику ускоренных испытаний машин внимание исследователей акцентировалось на задачах анализа динамических процессов с применением статистических методов / 36−40 /, требующих большего количества экспериментального материала, то имеющиеся в настоящее время недостатки в организации измерений и оперативной обработке их результатов становятся серьезным препятствием…
Диссертация
Разработка и исследование технических средств автоматизированных обучающих систем
Выполненный в диссертации обзор литературы показал, что в настоящее время ТСО можно разбить на следующие крупные классы: ТСО с применением ЭВМ и ТСО без применения ЭВМ. ТСО без применения ЭВМ появились раньше, но в настоящее время развивается неуклонно, будет развиваться и в дальнейшем оснащать парк ТСО. Наиболее перспективным и эффективным направлением разработки АОС являются системы, созданные…
Диссертация