Алгоритмы безопасного перехода в сетях Петри для лицензионной защиты программных систем
Разработанные модели лицензионной защищенности и спроектированная модель лицензионной безопасности на основе сетей Петри позволяют перейти к решению следующей частной задаче диссертационного исследования — разработке программной реализации системы лицензионной безопасности на основе сетей Петри. Для того чтобы система лицензионной защищенности программного продукта была применима на практике…
Диссертация
Анализ взаимовлияний при интеграции новой функциональности в существующую систему средствами верификации и тестирования
Проведенный анализ предметной области показал, что текущее применение формальных подходов к интеграционному тестированию затруднено по причине отсутствия методов и средств настройки на тестирование интерфейса взаимодействия, в отрыве от тестирования всей системы. В существующих подходах интеграционного тестирования требуется создание полной модели всех компонентов, что для промышленных систем…
Диссертация
Архитектура и схемотехника аналоговых микросхем с собственной и взаимной компенсацией импедансов
Полученные результаты в теоретических исследованиях, эффектов-собственной^-взаимной компенсации паразитных импедансов С. Г. Крутчинского позволяют на базе отечественных технологических процессов с обеспечить" выпуск конкурентоспособных аналоговых микросхем различного функционального назначения и частично решить проблему импортозамещения этого класса микросхем. Кроме этого, новые схемотехнические…
Диссертация
Динамическая адаптация вычислительного процесса микропроцессорного терминала для управления
Выносной интеллектуальный пульт (ВИЩ — предназначен для обмена текстовой информацией между несколькими подобными устройствами, по выделенному каналу связи (в том числе по радиоканалу). ВИП подключается на линейный вход выделенного канала и к любым серийно выпускаемым радиостанциям KB и УКВ диапазонов без изменений в их конструкции, при этом сохраняются все штатные режимы работы радиосредств…
Диссертация
Исследование и разработка инфологического подхода для построения тематических антологий при мониторинге интернет-среды
Проведена экспериментальная апробация методов построения глоссариев предметных областей, ассоциативного поиска и аналитического реферирования на полнотекстовых версиях научно-технических материалов электронных фондов библиотеки академии наук (Санкт-Петербургский научный центр) и на архиве полнотекстовых электронных версий научных публикаций по астрофизике (), которая подтверждает применимость…
Диссертация
Исследование и разработка методики автоматического обнаружения уязвимостей в исходном коде программ на языке Си
Согласно последнему отчету компании Symantec около 69% всех уязвимостей связаны с технологиями web-приложений, являющихся главным источником мест несанкционированного проникновения в компьютерную систему. Также в отчете отмечается изменение характера угроз. Организаторы атак постепенно отказываются от крупных, многоцелевых атак, направленных против периметра сети, и все чаще осуществляют…
Диссертация
Методология поддержки разработки эффективных параллельных программ
Практическая значимость работы определяется тем, что разработанные инструментальные средства позволяют существенно уменьшить накладные расходы на разработку параллельных приложений, как по времени разработки, так и по используемым ресурсам. Кроме того, была реализована масштабируемая параллельная программа, моделирующая развитие интенсивных атмосферных вихрей в трехмерной сжимаемой…
Диссертация
Методы анализа несобственных задач математического программирования
Результаты диссертационной работы являются новыми и получены автором самостоятельно. Основные результаты диссертации опубликованы в, j и докладывались на семинарах в Институте математики и механики УНЦ АН СССР, на У Сибирской школе-семинаре «Методы оптимизации и их приложения» (г.Иркутск, 1980 г.), на конференции «Методы математического программирования и их программное обеспечение…
Диссертация
Методы интеграции данных компьютерных систем на основе универсального формата обмена данными
Разработана математическая модель преобразования данных между различными структурами с применением универсального конвертора данных в различных форматах на основе задания шаблона преобразования, что позволяет производить подключение новых систем в единое интегрированное информационное пространство путем задания одного шаблона преобразования при подключении каждой новой системы. Предложен метод…
Диссертация
Математическое и программное обеспечение для поиска информационных шаблонов в хранилищах и потоках транзакций
В течение нескольких последующих лет основной тенденцией будет дальнейший рост хранилищ, увеличение плотности потоков, объединения в рамках одного информационного поля объектов, порожденных различными системами и, как следствие, усиление потребности в использовании автоматизированных средств анализа информации. Разработан алгоритм поиска элементных множеств в потоке данных. Предложена новая…
Диссертация
Математическое и программное обеспечение электронного социального паспорта гражданина Российской Федерации региональной системы предоставления электронных государственных услуг
Для преодоления ведомственных ограничений функциональности были созданы интегрированные распределенные региональные системы на базе социальных карт региона. Система «Социальная карта региона» — региональная автоматизированная информационная система, обеспечивающая использование социальных карт и инфраструктуры системы для предоставления населению государственных услуг, доступа к персональным…
Диссертация
Методика и информационно-вычислительный комплекс интеллектуальной поддержки принятия решений на основе механизма немонотонного логического вывода и нейросетевых технологий
Разработана архитектура информационно-вычислительного комплекса и осуществлена его программная реализация. Комплекс предназначен для определения наличия вредных веществ и их концентрации в воздушной среде с использованием данных, полученных от систем лазерного ИК зондирования. Данный информационно-вычислительный комплекс может быть использован в системах экологического мониторинга и контроля…
Диссертация
Математическое обеспечение и алгоритмы обработки геофизической информации в частично когерентных оптико-электронных вычислительных системах
Актуальность. Во многих областях науки и техники и в частности, в геофизике, встает задача изучения объектов, исходная информация о которых регистрируется в виде пространственно-временных полей. При этом объемы информации достигают больших размеров, а сложность решаемых задач повышается. Перспективы обработки таких полей связывают с развитием высокопроизводительных вычислительных систем…
Диссертация
Объектно-продукционная модель знаний для построения параллельных экспертных систем реального времени для производственных и организационных комплексов
Большинство автоматизируемых процессов в производственных комплексах электронной промышленности и организационных системах торгово-финансового профиля являются пока практически неформализованными и связаны, как правило, со сбором, анализом и контролем большого объема сложноструктурированной информации. Ее обработка носит преимущественно параллельный событийно-качественный характер, при этом она…
Диссертация
Поиск сценариев событий на гриде источников данных об окружающей среде
В настоящее время наблюдаются быстрые глобальные изменения в окружающей среде, во многом определяя характер деятельности человека. Поэтому большое внимание уделяется сбору, анализу и прогнозу данных об окружающей среде. Полвека насчитывает история глобальных цифровых сетей наблюдений изменений среды и космического зондирования: сейсмология, метеорология, магнитосфера и ионосфера, космическая…
Диссертация
Создание методики и прототипа инструментальной системы автоматизации проектирования проблемно-ориентированных систем обработки информации
Общий объем разработанного программного обеспечения, вошедшего в прототип инструментальной системы автоматизации проектирования, составил 67К строк исходного кода на языке С++, объем документации на прототип — более 120 страниц. Методы разработки современного программного обеспечения коммерческого качества преследуют цель — получить в минимальные сроки программный продукт, удовлетворяющий всем…
Диссертация
Разработка и исследование методов и средств формального специфицирования моделей и метрик программ
Актуальность проблемы. Основной целью любого программного проекта является разработка высококачественного программного обеспечения. На достижение этой цели направлены усилия специалистов различного профиля, участвующих в проекте. В частности, менеджер качества формирует требования к качеству будущего продукта, разработчики применяют технологию, обеспечивающую удовлетворение этих требований…
Диссертация
Разработка и исследование методов решения вырожденных задач оптимизации
Для большинства из упоминавшихся методов теоретическое обоснование было проведено лишь для задачи минимизации выпуклой негладкой функции. Однако в связи с результатами о существенной неулучшаемости этих методов представляет интерес попытаться расширить их область применения. С другой стороны, для эффективного использования этих методов на практике, необходимо иметь четкое представление о том, как…
Диссертация
Разработка и исследование моделей, методов и средств оценивания процесса производства программного обеспечения
Актуальность проблемы. В последние .два десятилетия основной целью промышленного производства программных средств считается достижение их высокого качества. Первоначально эта задача решалась, в «основном, применением соответствующих методов контроля качества программных продуктов. В настоящее время разработчики программных средств сосредоточили свое внимание на методах организации такого процесса…
Диссертация
Разработка и исследование преобразователей давления и силы на основе оптического туннельного эффекта
Для реализации задач создания высокоэффективных информационно-измерительных систем управления и контроля требуется создание широкой номенклатуры измерительной аппаратуры с высокими метрологическими и эксплуатационными характеристиками. Отличия технических требований к измерительной аппаратуре авиационных систем привели к тому, что, начиная с 1980;х годов более 90% измерительной аппаратуры было…
Диссертация
Разработка интегрированной концептуальной модели природно-технических комплексов и методов ситуационного управления их структурой
Кроме использования знаний экспертов при конструировании КМПО, для моделирования компонентов объекта, которым по разным причинам не могут быть сопоставлены имитационные модели, предлагается непосредственно встроить средства логической обработки данных в ПСМ. Для решения этой задачи разработана специализированная оболочка экспертной системы (ОЭС), которая, наряду с традиционными задачами обработки…
Диссертация
Разработка программных средств повышения уровня автоматизации и качества семантического поиска мультимедиа ресурсов
Разработана и исследована обучаемая онтологическаярекомендательная. система «Аннотатор», обеспечивающая высокую скорость и, повышение: качества аннотирования, 5 допускающая? интерактивные режимы"'.работы. Система обеспечивает сокращение сроков создания аннотации засчет автоматического обнаружения концептуализируемых элементов мультимедийного ресурса, и повышение качества получаемых аннотаций…
Диссертация
Технологии и программное обеспечение информационно-аналитических систем на основе геоинформационного интернет-сервера
Разработана модель данных для описания наборов пространственных данных интерактивных геоинформационных Интернет-систем. В соответствии с этой моделью, каждый слой геоданных имеет свой набор атрибутов и может содержаться в нескольких картах одновременно. Атрибуты слоя обеспечивают различные способы визуального представления (тематические раскраски, картодиаграммы и проч.) и. взаимосвязи…
Диссертация
Разработка специального математического и программного обеспечения управления многозвенными Интернет-ориентированными системами обработки данных
Исследования. В последние годы стремительное развитие получили web-технологии, под которыми понимают группу форматов и технологий передачи мультимедийных документов, используемых в крупнейшей электронной информационной системе World Wide Web, входящей в глобальную сеть Интернет. WWW является распределенной средой существования разнородных информационных ресурсов, обмен информацией между которыми…
Диссертация
Технология комплексной оценки качества интеллектуальных программных продуктов двойного применения в процессе сертификационных испытаний
Проведен анализ факторов, приводящих к нарушению качества и безопасности ИПП, изучены их структурно-функциональные особенности и дана оценка степени уязвимости элементов ИПП. На основе полученных данных сформулирована задача оценки качества ИПП при их сертификации. В работе показано, что при любой форме представления знаний (фреймы, сети, продукции) в процессе сертификации в испытуемой программе…
Диссертация
Применение теории компьютерной семантики русского языка и статистических методов к построению системы машинного перевода
Построение онтологии и анализ текста документа на её основе (ontology based information extraction) становится всё более популярным' методом семантического и прагматического анализа документа. Исследователи преследуют несколько целей: вычисления мнений в тексте {sentiment recognition), распознавание свойств текста, таких как дата публикации, разрешение темпоральных ссылок (например, в прошлый…
Диссертация
Цифровые сеточные процессоры с импульсно-управляемыми параметрами для решения нелинейных задач теплопроводности
В настоящее время для решения указанных задач наиболее универсальными являются численные методы, позволяющие решать линейные и нелинейные задачи в телах сложной конфигурации. Для реализации численных методов используются аналоговые (АШ), цифровые (ЦВМ) вычислительные машины и гибридные вычислительные системы (ГВС). Эффективность применения тех или иных вычислительных средств определяется в каждом…
Диссертация
Устройство регистрации места утечки воздуха из модуля космической станции
Кроме того средства должны позволять определение характеристик источников утечки: а) отверстие (или трещина) в гермокорпусеб) утечка через уплотнениев) утечка через иллюминатор и т. д.- г) утечка через клапаны. Проводимые в настоящее время исследования направлены на создание регистрирующей аппаратуры, с помощью которой определяется место утечки воздуха с внешней и внутренней стороны космического…
Диссертация
Метод, алгоритмы синтеза и структурно-функциональная организация отказоустойчивых нейросетевых логических устройств
Личный вклад автора. В работах, опубликованных в соавторстве лично соискателем проведен анализ взаимосвязи между внутренней критосложностью и структурной сложностью нейросетевых систем шифрования, предложен алгоритм, позволяющий рассчитывать кофигурацию такой системы, соответствующую максимальной критосложности при заданном ограничении на структурную сложность- детальный анализ математической…
Диссертация
Выделение и анализ структуры чертежно-графических изображений при решении задач их автоматизированной обработки
На основе новой постановки задачи определения средних осей линий изображения разработаны эффективные по быстродействию и требуемым затратам памяти итерационный и однопроходный алгоритмы составления структурного описания графических изображений. Определен экономный формат представления в виде графа данных об изображении на выходе алгоритмов. Это представление сохраняет всю необходимую информацию…
Диссертация