Темы диссертаций и авторефератов по специальности ВАК РФ 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

Тема диссертации Автор Год
Разработка программно-аппаратных средств на базе нечетких методов моделирования для повышения эффективности функционирования систем централизованной охраны

Слепцов, Александр Федорович 1998
Разработка программного и математического обеспечения ЛВС функционально-ориентированных распределенных информационных систем

Скворцова, Татьяна Ивановна 1998
Расширение линейно-алгебраических возможностей систем компьютерной алгебры

Чугунов, Вадим Николаевич 1998
Системы переписывания формул и их применение в автоматической верификации программ

Ануреев, Игорь Сергеевич 1998
Создание методики и прототипа инструментальной системы автоматизации проектирования проблемно-ориентированных систем обработки информации

Пантелеев, Петр Анатольевич 1998
Трехкомпонентный подход при разработке информационных систем

Баландин, Кирилл Анатольевич 1998
Исследование и разработка методов верификации протоколов распределенных систем на основе бисимуляционной эквивалентности сетей Петри

Поступальский, Павел Алексеевич 1997
Математические методы, алгоритмы и программные системы для решения прикладных задач качественного характера при логическом представлении нечетких знаний

Серов, Владимир Васильевич 1997
Методология разработки и внедрения программно-математического и информационного обеспечения систем органов государственного управления

Клепцов, Михаил Яковлевич 1997
Методы и средства прогнозирования времени выполнения последовательных фрагментов программ на вычислителях с различной архитектурой

Капитонова, Алла Петровна 1997
Объектно-продукционная модель знаний для построения параллельных экспертных систем реального времени для производственных и организационных комплексов

Бураков, Сергей Борисович 1997
Создание прототипа интегрированного пакета оценки трудоемкости программного обеспечения

Токарев, Михаил Валентинович 1995
Композиционные методы разработки протоколов на основе сетей Петри

Анисимов, Николай Александрович 1994
Синтаксический анализатор адаптивной системы общения человека с ЭВМ на естественном языке: Пунктуац. компонент

Полякова, И. Н. 1994
Исследование и разработка принципов построения адаптивных обучающих систем

Норенков, Юрий Игоревич 1993
Создание учебно-исследовательской программной среды в области математических дисциплин

Марьясина, Татьяна Давидовна 1993
Реализация системы логического программирования для персональных компьютеров с ограниченными ресурсами и ее применения

Григорьев, Сергей Георгиевич 1992
Диалоговая система цифровой обработки зашумленных речевых сигналов

Чучупал, Владимир Яковлевич 1985
Разработка методов и программных средств функционального моделирования протоколов межмашинной связи вычислительных сетей

Хачатрян, Геворк Жоржикович 1985
Разработка синтаксических анализаторов языков программирования с учетом контекстных условий

Зо Зон Су, 0 1985