Информатика (программирование)
Информатика и вычислительная техника
Дисертация
  • формат pdf
  • размер 9.03 МБ
  • добавлен 07 января 2011 г.
Левченко А.Ю. Разработка нейронных моделей для коррекции ошибок в компьютерных модулярных вычислениях
- Ставрополь, СГУ, - 2005, – 187 стр. Диссертация на соискание ученой степени кандидата физико-математических наук. Специальность - 05.13.18 - Математическое моделирование, численные методы и комплексы программ. (На правах рукописи). Научный руководитель: доктор технических наук, заслуженный деятель науки и техники РФ, профессор Червяков Н. И.

Содержание.
Введение.
Современное состояние теории и практики информационных методов контроля работы ЭВМ.
Анализ и общая классификация информационных методов контроля работы вычислительных средств.
Корректирующий код системы остаточных классов
Система остаточных классов (СОК). Принципы кодирования и обработки данных в СОК.
Корректирующие свойства кода СОК.
Способы обнаружения ошибок.
Методы локализации и исправления (коррекции) ошибок.
AN -коды, их корректирующие способности.
Канонические представления целых чисел.
Арифметический вес и арифметическое расстояние.
AN-коды.
Циклические AN-коды.
Математическая модель гибридного корректирующего кода, обнаруживающего и исправляющего ошибки, возникающие при обработке данных.
Гибридный код AN -СОК, его корректирующие способности.
Действия над числами, представленными в коде AN-СОК.
Геометрические модели кодов СОК и AN-СОК.
Оценка увеличения длины двоичного кода, обусловленного переходом от кода СОК к гибридному коду.
Решение проблемы внутренней избыточности двоичного кода СОК.
Обнаружение, локализация и исправление ошибок в коде AN -СОК.
Нейросетевые модели для обнаружения и исправления ошибок в компьютерных модулярных вычислениях.
Нейронная сеть конечного кольца.
Нейросетевая реализация гибридного кода AN-СОК.
Модифицированная нейронная сеть конечного кольца.
Нейронные сети коррекции ошибок в коде AN-СОК для исправления искаженных остатков.
Коррекция искаженных разрядов двоичного представления AN -остатков.
Сеть Хэмминга. Использование нейронной сети Хэмминга для
обнаружения и исправления ошибок в нейрокомпьютерах, функционирующих в СОК и AN-СОК.
Заключение.
Литература.

Стоимость данного файла составляет 10 баллов
Похожие разделы
Смотрите также

Балабанов П.В., Пономарев С.В. Разработка автоматизированной системы хранения и обработки информации

Практикум
  • формат pdf
  • размер 556.01 КБ
  • добавлен 20 июня 2011 г.
Методические указания - Тамбов: Изд-во Тамб. гос. техн. ун-та, 2008. Дан теоретический и практический материал, необходимый студентам при выполнении ими лабораторных работ по курсу "Разработка и стандартизация программных средств и информационных технологий". Предназначены для студентов 2 курса дневной и 3 курса заочной форм обучения специальности 010502 "Прикладная информатика в юриспруденции".

Вельдер С.Э. и др. Верификация автоматных программ

  • формат pdf
  • размер 3.27 МБ
  • добавлен 08 апреля 2011 г.
Санкт-Петербург: СПбГУ ИТМО, 2011. - 246 с. В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты данно...

Вонг У. Основы программирования для чайников

  • формат pdf
  • размер 24.84 МБ
  • добавлен 30 сентября 2010 г.
4 изд. - 2008. Это одна из самых простых книг, посвященных программированию. Написанная известным автором Уоллесом Вонгом, она позволит вам сделать первые шаги в освоении премудростей написания компьютерных программ. Вы узнаете, что такое язык программирования, и какие языки программирования наиболее популярны на сегодняшний день. Отдельные части книги посвящены использованию языка программирования BASIC, использованию различных структур данных,...

Илюхина А.Г. Теория вычислительных процессов и структур

  • формат docx
  • размер 170.76 КБ
  • добавлен 09 сентября 2010 г.
Метод. рекомендации к лаборат. работам, СПбГУТ. Моделирование процесса рекурсивного вызова Моделирование процесса вычисления логической функции Моделирование работы конечного автомата, реализация автомата как устройства Программная реализация работы конечного автомата Разработка фрагмента синтаксического анализатора Моделирование работы стекового автомата Изучение работы программы LEX, генератора лексических анализаторов Разработка лексического...

Кузин С.Г. Определение, распознавание и преобразование профессиональных языков

Практикум
  • формат doc
  • размер 3.39 МБ
  • добавлен 06 декабря 2011 г.
Методическое руководство лабораторного практикума. / Сост. С.Г. Кузин. Н. Новгород - ННГУ, 2004. Методическое руководство является первой частью пакета методического обеспечения цикла компьютерных лабораторных работ, посвященных практическому изучению проблематики формальных языков. Для определения множества предложений формального языка, а также для задания процессов распознавания и преобразования предложений, используются сетевые модели. Показ...

Лавриненко И.Н. Разработка математических методов моделирования модулярного нейропроцессора цифровой обработки сигналов

Дисертация
  • формат pdf
  • размер 10.76 МБ
  • добавлен 07 января 2011 г.
- Ставрополь, СГУ, - 2005, – 210 стр. Диссертация на соискание ученой степени кандидата физико-математических наук. Специальность - 05.13.18 - Математическое моделирование, численные методы и комплексы программ. (На правах рукописи). Научный руководитель доктор физико-математических наук профессор Л. Г. Каплан Содержание. Обозначения и сокращения. Введение. Аналитический обзор методов цифровой обработки сигналов. Анализ требований, предъявля...

Открытое практическое занятие - Разработка персональной страницы и размещение ее в сети Internet

  • формат pdf
  • размер 1.24 МБ
  • добавлен 15 января 2011 г.
Задание по дисциплине "Информатика и программирование" "Разработка персональной страницы и размещение ее в сети Internet" Тульский институт экономики и информатики, кафедра информационных технологий Тула, 2010 Проверил проф. каф. ИТ А. А. Ильин Страниц: 29

Печенкин Р.В. Методы коррекции несовместных систем со структурными ограничениями

Дисертация
  • формат pdf
  • размер 1.51 МБ
  • добавлен 21 февраля 2011 г.
- Москва. – МПГУ. – 2006 г. – 161 стр. – Диссертация на соискание ученой степени кандидата физико-математических наук. Специальность: 05.13.17 – теоретические основы информатики. (На правах рукописи). Научный руководитель: доктор физико-математических наук, профессор Горелик В. А. Аннотация. Объектом исследования является теория коррекции несовместных систем линейных алгебраических уравнений. Предмет исследования диссертационной работы составля...

Сигал И.Х., Иванова А.П. Введение в прикладное дискретное программирование

  • формат htm, djvu
  • размер 1.74 МБ
  • добавлен 02 февраля 2009 г.
Учеб. пособие. — Изд. 2-е, испр. — М.: ФИЗМАТЛИТ, 2003. — 240 с. Излагаются современные комбинаторные алгоритмы для решения задач дискретной оптимизации с применением компьютерных средств. Рассматриваются: особенности задач дискретной оптимизации и их общие свойства; алгоритмы гарантированного функционирования; алгоритмы типа `greedy`; комбинированные алгоритмы различных типов для приближенного и точного решения задач; задачи большой размерности...

Угринович Н.Д. Исследование информационных моделей

  • формат pdf
  • размер 3.71 МБ
  • добавлен 17 марта 2009 г.
Учебное пособие объёмом в 184 стр. 2004г. Основные разделы этого пособия: 1) основы объективно-ориентированного программирования на языке Visual Basic; 2) основы объективно-ориентированного программирования на языке Delphi; 3) построение и исследование информационных моделей. Это пособие поможет вам создавать и исследовать информационные модели из предметных областей: физики, математики, химии, биологии, географии, экономики, информатики.