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

• Методика анализа защищенных систем IP-телефонии
  1999 Родионов, Дмитрий Евгеньевич
• Методы анализа и оптимизации характеристик технологических алгоритмов при проектировании распределенных систем реального времени
  1999 Погребной, Дмитрий Владимирович
  Второй важной особенностью встроенной системы является то, что ее функционирование осуществляется не по заранее заданному сценарию, а подчинено событиям, происходящим в окружающей системе. Динамика событий в окружающей системе полностью переносится на встроенную систему и в конечном итоге определяет правила функционирования ее программного
• Методы и инструменты создания интегрированных цифровых библиотек
  1999 Бездушный, Анатолий Николаевич
  В связи с вышесказанным значительный интерес представляет разработка и реализация распределенной информационной системы интегрированных ресурсов (ИСИР), ключевыми направлениями которой являются интеграция разнотипных ресурсов, идентификации ресурсов, использование метаданных, применение открытых стандартов взаимодействия систем, поиска, обмена и
• Методы интеграции логического программирования и программирования в ограничениях
  1999 Петров, Евгений Сергеевич
• Методы организации систем управления данными на основе нумерационных методов и интервальных вычислений
  1999 Белоусов, Алексей Леонидович
• Методы построения автоматизированных информационных систем для финансового менеджмента
  1999 Тарасенко, Владимир Феликсович
  Управление экономической системой в условиях нарушения ее функционирования является сложной проблемой. Её решение зависит от применяемых методов анализа и оценивания состояния для прогнозирования кризисов. Л
• Методы построения экономически эффективных региональных компьютерных сетей
  1999 Шевчук, Юрий Владимирович
  Но в регионах недостаточно ресурсов для того, чтобы развить полномасштабные региональные сети на основе стандартных решений и оборудования, которое по сегодняшним российским меркам оказывается чрезмерно дорогим. Поэтому ак
• Методы проектирования операционных систем реального времени и их применение
  1999 Егоров, Геннадий Алексеевич
• Методы реализации графориентированных инструментальных сред и их применение для создания приложений
  1999 Фролова, Наталья Владимировна
  Перспективы развития новых архитектур вычислительных систем, рассчитанных не только на линейные структуры данных, достигнутые успехи в понимании природы графовых преобразований, развитие новых направлений информатики, связанных с визуальными языками, визуальными базами данных и знаний, сетями, гипертекстовыми распределенными информационными
• Методы спецификации и верификации параллельных моделей с непрерывным временем
  1999 Покозий, Екатерина Александровна
  Наиболее популярными среди формализмов систем реального времени являются как интерливинговые модели: временные автоматы [9], временные системы переходов [26], алгебры временных процессов [45], так и модели "истинного параллелизма": временные структуры событий [29], временные причинно-следственные структуры [7], временные и стохастические сети
• Модели распознаваемых объектов в системе компьютерного стереозрения реального времени
  1999 Матвеев, Иван Алексеевич
• Новый подход к межпроцедурному анализу программ
  1999 Антонов, Александр Сергеевич
• Применение метода недоопределенных вычислений в математическом моделировании
  1999 Кашеварова, Тамара Петровна
  Определение (CSF). CSP - это тройка {X, D, С), где Х = {х1Ух2, ., хи)- множество переменных, Z)={DXi, DXi,., Д. } - множество значений переменных X, (xj eDx ), С = {с,, с2,., ст ] - множество ограничений
• Принципы и методы создания компилятора переднего плана Стандарта Cu ++
  1999 Зуев, Евгений Александрович
• Программная система КВАНТ/1 для автоматического доказательства теорем
  1999 Черкашин, Евгений Александрович
  В этом же 1960 г. Ван Хао создал ряд программ АДТ [7], первая из которых "переборола" программу "Логик — Теоретик" по количеству доказанных теорем исчисления высказываний из "Principia Mathematica". Программа осуществляла доказательство в секвенциальном исчислении с оди-надцатью правилами вывода и одной схемой аксиом. Наряду с этим, она
• Программно-методические средства экспресс-диагностики и контроля функционального состояния человека
  1999 Корниенко, Алексей Викторович
• Разработка и исследование методов, моделей и программных систем управления реорганизацией предприятий
  1999 Калянов, Георгий Николаевич
  Создание подобного рода консалтинговых проектов представляет собой широкую область научно-технической деятельности, поскольку эффективное функционирование современных предприятий в условиях возрастающей сложности решаемых ими задач и быстрой смены предъявляемых к ним требований потребителей во многом определяется возможностями использования мощных
• Разработка интеллектуальной информационно-управляющей системы оценки ядерной деятельности стран
  1999 Беленький, Александр Григорьевич
  При решении поставленной задачи использовались методы теории интеллектуальных систем, нечеткой математики, прикладной семиотики, теории измерений, психологии, дискретной математики. Научная новизна
• Разработка математического и программного обеспечения генерации тестовых последовательностей и верификации сложных цифровых схем
  1999 Зизин, Георгий Валентинович
  Но доминирующим направлением в проблеме сокращения времени проектирования является совершенствование алгоритмов генерации тестовых последовательностей и способов верификации проекта
• Разработка математического и программного обеспечения процедур непараметрической идентификации текущего состояния дискретных каналов информационно-вычислительных сетей
  1999 Новиков, Геннадий Александрович

• Назад
• 1
• ...
• 64
• 65
• 66
• 67
• 68
• ...
• 88
• Вперед