Автоматная сложность вычисления формул
Задача синтеза автоматов состоит в построении автомата с наперед заданным поведением или функционированием. К этой задаче примыкают проблемы, связанные с оценкой сложности автоматов, обладающих заданным поведением, а также с построением алгоритмов дающих в определенном смысле оптимальные автоматы. В частности, к данной категории относится задача минимизации автоматов, которая состоит…
Диссертация
Асимптотические свойства оценок параметров стохастических дискретных динамических систем
Модели, о которых шла речь выше — линейные. В практических задачах часто приходится сталкиваться с временными рядами, описываемыми нелинейными моделями. Общего математического аппарата для решения подобных задач в настоящее время не существует. При изучении этих моделей вид нелинейности предполагается известным ?21,36,39] • С другой стороны бывает естественным предположение о малости, в том или…
Диссертация
Исследование информационных зависимостей программ для распараллеливающих преобразований
В ИПС РАН (г. Переславль-Залесский) под руководством С. М. Абрамова разработана Т-система, являющаяся средством автоматического динамического распараллеливания вычислений. Пользователь пишет программы на специально разработанном языке Т-системы Т++ (который является расширением языка С++), указывая потенциальные параллельные фрагменты кода с помощью, так называемых, Т-функций. Т-система…
Диссертация
Интеграция разнородных баз данных на основе многомерных моделей данных: на примере интеграции геоинформационной системы с информационными системами предприятия
Основные положения и результаты диссертационной работы опубликованы в 23 источниках, включающих 15 статей, 3 материала конференций и семинаров, 2 отчёта о НИР, 3 свидетельства о регистрации программ и баз данных. Результаты работы опубликованы в изданиях, входящих в перечень ведущих рецензируемых научных журналов и изданий, выпускаемых в Российской Федерации в соответствии с требованиями ВАК…
Диссертация
Исследование и разработка гидравлических регулирующих устройств с плавающим диском для регуляторов прямого действия
Известно, что изменение параметров технологической среды осуществляется регулирующим органом, в качестве которого используются заслонки, клапаны, шиберы, золотники и т. д. Ввиду больших гидродинамических сил, воздействующих на регулирующий орган со стороны технической среды, для его перемещения используется жестко связанный с ним привод, который является промежуточным звеном между чувствительным…
Диссертация
Исследование и разработка параллельных методов вывода на аналитических таблицах
Диссертационная работа посвящена исследованию и разработке эффективных алгоритмов параллельного дедуктивного вывода. В настоящее время алгоритмы дедуктивного вывода находят свое применение в системах принятия решений, дедуктивных базах данных, информационно-поисковых системах. В числе других областей применения дедуктивного вывода можно назвать верификацию спецификаций компьютерного оборудования…
Диссертация
Исследование и реализация непроцедурных преобразований программ для построения расширяемой системы распараллеливания
Распараллеливающие преобразования в системе прототипирования распараллеливающих компиляторов желательно задавать таким образом, чтобы обеспечить простоту разработки и наглядность данных преобразований. Не4 обходимо иметь возможность описывать нелокальные распараллеливающие преобразования, а также сложные вычисления в составе тех преобразований, где это требуется. Итак, способ задания…
Диссертация
Исследование проблем принятия решений в условиях неполной информации
В диссертации используется новый подход к построению одноэтапных и многоэтапных моделей принятия решений в условиях неопределенности с классическими принципами выбора эгалитаризма и утилитаризма, а также принципами многовариантного компромиссного выбора — линейная комбинация классических принципов выбора, принцип пропорционального развития, принцип равномерного развитии различных направлений. При…
Диссертация
Метод редукции тестового набора для интеграционного тестирования
Диссертационная работа состоит из 3 глав. В первой главе рассматривается понятие регрессионного тестирования, заключающегося в повторном тестировании программного обеспечения с целью убедиться, что внесенные изменения не привели к неожидаемым эффектам, и необходимость проведения регрессионного тестирования в процессе сопровождения программного обеспечения. Отмечается, что важной особенностью…
Диссертация
Методы и инструментальные средства разработки масштабируемых параллельных программ для многопроцессорных систем со структурно-процедурной организацией вычислений
В связи с этим, основываясь на сформулированных ранее базовых принципах технологии разработки масштабируемых параллельных программ, диссертационная работа направлена на развитие существующих и создание новых методов и инструментальных средств разработки масштабируемых параллельных программ, обеспечивающих не только достижение требуемых характеристик вычислительного процесса при решении прикладных…
Диссертация
Методы и средства обнаружения и регистрации источников сбоев в системах и устройствах с кодоимпульсной модуляцией сигналов
Попытка использования идей кодо-импульсной модуляции сигналов в устройствах управления, контроля и диагностики различных систем начались еще с 60-х годов. В первых работах по применению КИМ в устройствах управления была показана возможность использования отдельных кодовых посылок в виде синусоидальных импульсов для разгона и торможения, мощных (десятки киловатт) электродвигателей,. Полученный при…
Диссертация
Метод и аппаратные средства повышения оперативности автоматической модификации ключевых данных
Результаты практического использования разработанной системы подтвердили уменьшение нагрузки на администратора рассмотренной РВС в 4.3 раза и повышение оперативности смены ключевых данных в 7 раз для каждого пользователя по сравнению с системами, использующими ручные операции администратора и набор специализированных утилит. Статистические тесты последовательностей, порождаемых разработанным…
Диссертация
Математические методы, алгоритмы и программные системы для решения прикладных задач качественного характера при логическом представлении нечетких знаний
Автор глубоко признателен за внимание к работе, обсуждение полученных результатов, ценные замечания по существу и полезные указания по оформлению работы профессорско-преподавательскому составу и сотрудникам Московской Государственной Академии приборостроения и информатики, Московского Государственного инженерно-физического института, кафедры информатики РосЗИТЛП, Института геохимии…
Диссертация
Методы планирования вычислений в САПР систем реального времени
При составлении учебного расписания ВУЗа необходимо учесть разнообразие специальностей учебных групп, разнообразные ограничения с точки зрения служебных обязанностей, человеческих возможностей и интересов студентов, преподавателей, иного обслуживающего персонала, наличных помещений и оборудования. При этом должны учитываться директивные сроки проведения занятий и завершения освоения…
Диссертация
Методы последовательного анализа решений в частично целочисленных задачах линейного программирования и их применение
Разработанные алгоритмы включены в пакет прикладных программ «Диалоговая система многокритериальной оптимизации», разработанной в Ж АН УССР в рамках темы «Разработать и ввести в эксплуатацию комплекс прикладных программ на ЕС ЭВМ для решения задач многокритериальной оптимизации» по постановлению ГКНТ СССР от 12.12.80 г. № 472/248 в соответствии с программой работ по проблеме 0.80.21 (задание…
Диссертация
Математическое и программное обеспечение процедур процессов маршрутизации в телекоммуникационных сетях
Применение методов, основанных на диакоптике и учитывающих различные виды трафика позволяет повысить производительность вычислительной сети за счет значительного уменьшения доли информации, требующей повторной маршрутизации, осуществления гибкого механизма маршрутизации пакетов информации различных типов, сокращения таблиц маршрутной информации. Использование этих методов при организации…
Диссертация
Математическое и программное обеспечение задач оптимального управления функционированием и развитием газопроводных сетей и систем
Практическая ценность полученных результатов. Отечественные программные комплексы моделирования и диспетчерского управления трубопроводными системами широко применяются в оперативном управлении газотранспортными предприятиями, являясь основой функциональных задач в АСУ ГТП. Разработанные в диссертации методы оптимизации нестационарных режимов позволяют находить оптимальные решения, которые нельзя…
Диссертация
Методы визуального построения и сопровождения информационных систем на основе иерархического расширения реляционной модели данных
Еще один важный показатель, как для производителя, так и для потребителя системы — стоимость решения. Этот показатель складывается из стоимости разработанной системы, стоимости аппаратного обеспечения, на котором будет работать система, СУБД, стоимости внедрения и сопровождения. Решения на qWORD-XML выигрывают по стоимости у конкурентов. Разработчик может быстро и качественно создать…
Диссертация
Неголономные вариационные задачи
Полученные результаты представляют интерес также для задач экономической динамики, где естественно возникают ограничения в виде полей конусов (см. напр. П5,16]). Неголономные распределения встречаются тавж е в теории гипоэллиптических операторов (см. йли С^З и теорема Л. Хермандера о сумме квадратов). Особо выделены задачи на группах Ли, представляющие стандартную модель общей ситуации. Во второй…
Диссертация
Новые эффективные методы энтропийного кодирования медиаданных
Методы сжатия могут строить модель источника адаптивно по мере обработки потока данных или использовать фиксированную модель, созданную на основе априорных представлений о природе типовых данных, требующих сжатия. Процесс моделирования может быть либо явным, либо скрытым. Но сжатие всегда достигается за счет устранения статистической избыточности в представлении информации с использованием модели…
Диссертация
Совершенствование противоблокировочных систем автомобиля путем повышения точности измерения угловой скорости затормаживаемых колес
Аналогично описанному в § 3.1 колесный датчик, изготовленный по коду Баркера, так же состоит из двух частей — ротора и статора (рис. 2.17). Главным отличием этого класса датчиков от других типов является то, что зубцы ротора состоят из постоянных магнитов, разделенных на секторы с чередованием полюсов магнитов по выбранному коду Баркера с равномерным расположением по периметру ротора. Статор…
Диссертация
Оптимальные по точности алгоритмы решения некоторых многоэкстремальных задач оптимизации
Для последовательного алгоритма поиска глобального минимума функций нескольких переменных, удовлетворяющих условию Липшица, который состоит в вычислении на каждом шаге экстремума нижней огибающей функции, предложен экономичный метод выполнения этих вычислений. Указанный метод основан на последовательном накоплении и корректировке информации о структуре графика огибающей, он требует на Км шаге…
Диссертация
Разработка и исследование бесконтактных децентрализованных устройств адресования систем управления автоматизированными транспортно-складскими комплексами
Разработаны и защищены патентами конструкции весоизмерительных устройств на основе кольцевого упругого элемента и вторичного фотодатчика, определяющих алгоритм работы внутризаводского циклического транспорта и формирующих его скоростную циклограммуоригинальные весоизмерительные устройства обладают малой инерционностью при заданной чувствительности, что обеспечивает их эффективное функционирование…
Диссертация
Средства и методы повышения производительности и снижения энергопотребления систем на кристалле, реализуемых на базе программируемых логических интегральных схем
ЯТЬ-моделирования. получены выражения, определяющие эффективность системы. Проведен сравнительный анализ эффективности синхронной и локально-синхронной схем, на его основе сформулированы рекомендации по выбору одного из вариантов многоканальной схемы при различных временах обработки пакета данных. Показано, что влияние дисперсии времени обработки на эффективность многоканальной схемы в случаях…
Диссертация
Разработка и исследование системы методов повышения эффективности средств оперативного контроля и управления РЛС
Апробация работы. Основные результаты диссертационной работы докладывались и обсуждались на Международных конференциях «XXVII Га-гаринские чтения» (Москва, 2001 г.), «XXVIII Гагаринские чтения» (Москва, 2002), Научно-технической конференции «4 ГЦМП — основоположник развития отечественного ракетостроения» (Москва, 2001), научно-технических семинарах кафедры «Наукоемкие технологии радиоэлектроники…
Диссертация
Разработка и исследование стохастических методов защиты программных систем
Разработан программный комплекс, предназначенный для исследования стохастических алгоритмов и демонстрации принципов построения основных протоколов защищенного взаимодействия удаленных абонентов, основанных на свойствах эллиптических кривых. Достоинством разработанного программного комплекса является наличие встроенных генераторов ПСП, основанных на свойствах эллиптических кривых. Реализованы…
Диссертация
Разработка метода совершенствования сложных информационных систем на основе многоуровневого структурного анализа
Во второй главе изложены основные принципы предлагаемого метода, осуществлён выбор математического описания структуры системы, проведена разработка моделей и алгоритмов определения информационно-технологической страты структуры АСУ для уровней планирования и оперативного управления. Предлагаемые модели построены с учётом таких важных моментов, возникающих при проектировании реальных систем, как…
Диссертация
Разработка синтаксических анализаторов языков программирования с учетом контекстных условий
Одной из основных проблем, связанных с практическим применением грамматик, является проблема распознавания. Эта проблема разрешима, если существует такой алгоритм, который за конечное число шагов дает ответ на вопрос, входит ли произвольная цепочка терминальных символов некоторой грамматики в язык, порождаемый этой грамматикой. Если такой алгоритм существует, то язык называется распознаваемым…
Диссертация
Применение метода линеаризации к задачам большого объема
В функцию Лагранжа, ассоциированную с исходном задачей, включаем только связывающие ограничения. Строим двойственную задачу, размерность которой определяется числом связывающих оградвойственной задачи такой структуры алгоритма наискорейшего спуска, модифицированного с учетом простых ограничений. Эта градиентная процедура рассматривается как координирующий механизм для координатора верхнего…
Диссертация
Отказоустойчивые устройства с реализацией процессов следящего преобразования потоков информационных квантов
Начало разработки и внедрения устройств, преобразующих информацию, представленную с помощью временных интервалов и напряжений, с использованием аналоговой элементной базы относится к 60-ым годам. Несложное преобразование временных интервалов в цифровую величину путем их заполнения импульсами опорной частоты, явилось предпосылкой развития цифровых времяимпульсных устройств (ВИУ), ориентированных…
Диссертация