- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Моделирование вычислительных процессов средствами пропозициональных логик
Тип роботи:
Докторская
Рік:
1998
Артикул:
1000197077 179 грн
Рекомендовані дисертації
- Разработка и исследование моделей и алгоритмов анализа информации о воздушной обстановке на базе встраиваемых аппаратно-программных комплексов
- Марковские цепи на разбиениях и бесконечномерные диффузионные процессы
- Модели многомерного представления и обработки данных на основе алгебры кортежей в информационно-аналитической системе
- Создание открытой системы автоматизированной обработки текста и инструментальных средств его анализа
- Математические модели и алгоритмы эффективного поиска текстовой информации на основе кластеризации по нечетким коллокациям
- Методы распознавания 3D изображений на основе их кватернионных моделей
- Расширение предикатных формул линейными неравенствами и списками для спецификации программ
- Разработка и оценки числа шагов алгоритмов решения задач распознавания образов при логико-аксиоматическом подходе
- Методика и средства повышения помехоустойчивости приёмовычислителей спутниковых навигационных систем
- Метод обеспечения помехоустойчивости информационных коммуникаций при субполосной передаче информации