Математическая логика в технике
Роль логической обработки бинарных данных на современном этапе развития вычислительной техники существенно возросла. Это связано, в первую очередь, с созданием технически систем. реализующих в том или ином виде технологии получения и накопления знаний, моделированием отдельных интеллектуальных функций человека. Ядром таких систем являются мощные ЭВМ и вычислительные комплексы. Кроме того, существует большой класс прикладных задач, которые можно свести к решению логических задач, например, обработка и синтез изображений, транспортные задачи. Требуемая производительность вычислительных средств достигается путем распараллеливания и конвейеризации вычислительных процессов. Это реализуется, как правило, на основе сверхбольших интегральных, схем (СБИС). Однако технология СБИС и их структура предъявляет ряд специфических требований к алгоритмам, а именно: регулярность, параллельно—поточная организация вычислений, сверхлинейная операционная сложность (многократное использование каждого элемента входных данных), локальность связей вычислений, двумерность пространства реализации вычислений. Эти требования обусловливают необходимость решения проблемы эффективного “погружения” алгоритма в вычислительную среду, или, как еще принято говорить, — отображение алгоритма в архитектуру вычислительных средств. В настоящее время доказана ошибочность ранее широко распространенных взглядов, состоящих в том, что переход на параллельно—конвейерные архитектуры ЭВМ потребуют лишь небольшой модификации известных алгоритмов. Оказалось, что параллелилизм и конвейеризация вычислительных процессов требует разработки новых алгоритмов даже для тех задач, для которых существовали хорошо изученные и апробированные методы и алгоритмы решения, но ориентированные на последовательный принцип реализации. По прогнозам специалистов, в ближайшее десятилетие следует ожидать появления новых концепций построения вычислительных средств. Основанием для прогнозов являются результаты проводимых в настоящее время перспективных исследований, в частности, в области биочипов и органических переключающих элементов. Некоторые направления ставят своей целью создание схем в виде слоев органических молекул и пленок с высокоразвитой структурой. Это позволит, по мнению исследователей, “выращивать” компьютеры на основе генной инженерии и усилить аналогию между элементами технических систем и клетками мозга. Тем самым реальные очертания приобретают нейрокомпьютеры, которые имитируют интеллектуальные функции биологических объектов, в том числе человека. По-видимому, молекулярная электроника станет основой для создания ЭВМ шестого поколения. Все это объективно обусловливает интенсивные работы по методам синтезов алгоритмов обработки логических данных и их эффективному погружению в операционную среду бинарных элементов. Очевидно, что бинарные элементы и бинарные данные наиболее полно соответствуют друг другу в плане представления и обработки последних на таких элементах, если рассматривать их по отдельности. Действительно, положим, алгебра логики над числами (0,1) реализуется на бинарном элементе полном использовании его операционного ресурса. Другими словами, ставится вопрос об эффективности, а иногда вообще возможности реализации данного алгоритма на такой сети (структуре). В этом состоит суть погружения алгоритма в структуру.
Статьи по теме:
Интерфейс глобальных сетейКорпоративные Информационные Системы (Crm, Erp, Системы Мобильной Торговли)Программа электронной записной книжкиПонятие и концепции информационного общества Что такое сжатые дискиРазработка Баз Данных На Msde 2000, Работа С Бесплатной Базой Данных MssqlКак выбрать жесткий дискОСНОВНЫЕ ПРИНЦИПЫ ПОСТРОЕНИЯ САПРОПЕРАЦИИ СОХРАНЕНИЯ ТЕКСТАПерсональный компьютер Ошибки регистратуры Windows починкиЭргономичная организация рабочего местаАтака На Infinity Gb V2 2База знанийПРЕСТУПЛЕНИЕ В СФЕРЕ КОМПЬЮТЕРНОЙ ИНФОРМАЦИИМетрики Кода И Их Практическая Реализация В Subversion И Clearcase. Часть 1 - МетрикиКопирование данных с компакт-диска Микширование аудиодорожек Открытие документа с Рабочего стола Программирование контроллера НГМДЧарльз БэббиджИстория Браузера OperaМикропроцессорЖесткие дискиТеория фреймовКонцентраторы Fast Ethernet NetGearЗагрузочная записьДополнительные программы Microsoft Internet ExplorerЯзыки программирования системного уровняЭлектромагнитные поляОпределение структурированной кабельной системыТИПЫ ЛКСКонвертЗАЩИТА СУЩЕСТВУЮЩИХ ЕХЕ-ФАЙЛОВОбмен данными через буфер обмена Популярно Про Ddos-АтакиПростые меры защитыТехнология работы данной ЭСМетод простой итерацииПРЕДУПРЕЖДЕНИЕ КОМПЬЮТЕРНЫХ ПРЕСТУПЛЕНИЙОсновные стимулы трудовой деятельности в индустриальном, постиндустриальном и информационном обществеМногие споры вокруг проблемы "кибернетика и мышление" Мышление и информацияОпределение ЭВМ как объекта конструированияКомпания «Антивирусные Решения» Удостоена «Золотого» Диплома За Ежегодное Участие В Выставке «Infosecurity Russia»Общая характеристика преступлений в сфере компьютерной информацииНосители информацииЗао «Лайт Коммуникейшн» Подтвердила Свой Статус «Microsot Gold Certified Partner» В 2008 ГодуPlasma monitorsОсновы работы в среде Microsoft Windows XPWordPad: Выделение текста гарнитурой шрифта Зао «Лайт Коммуникейшн» Сообщает О Начале Производства Устройств Netping Pwr-220 V2 И Netping 2/Pwr-220 V2Информационные технологии в управлении банкомКомпьютеры как средство общения людейТребования, предъявляемые к техническим средствам ЭВМ