Теория вычислительных процессов
Свойства и виды стандартных схем программ. Моделирование автоматов. Аксиоматическое определение операторов языка программирования. Верификация программ. Теоретические модели вычислительных процессов. Графы сетей Петри, их маркировка и свойства.
Подобные документы
Рассмотрение языка программирования общего назначения. Характеристика системного программирования как области его применения. Исследование особенностей составления программ С++ для вычисления различного рода задач. Определение основных блок-схем.
задача, добавлен 21.04.2015Формализация структуры вычислительных компьютерных сетей (ВКС). Рассмотрение рабочей станции как места работы специалиста. Схема иерархической структуры ВКС, отображающая основные элементы сетей. Внутрисетевые связи и уровни сетевого взаимодействия.
статья, добавлен 19.01.2021Алгоритмы трансляционно-циклических обменов информацией в распределенных вычислительных системах. Дифференцированный и коллективный обмен информацией между ветвями параллельных программ. Исследование эффективности алгоритма Bruck на кластере СибГУТИ.
контрольная работа, добавлен 26.01.2013Определение исходного графа графическим, матричным и аналитическим способами. Установление центров и периферийных вершин. Задача о максимальном потоке и потоке минимальной стоимости. Анализ сетей Петри. Элементы математической логики и теории автоматов.
контрольная работа, добавлен 11.10.2013Техника общих вычислений на графическом процессоре. Архитектура NVIDIA и AMD ATI Stream Technology. Технология программирования модулей памяти CUDA. Описание алгоритма расчета схем адвекции. Распараллеливание видеоданных с помощью библиотеки OpenMP.
дипломная работа, добавлен 30.11.2016Предмет и задачи информатики. Постановка, решение задач на компьютере. Информационные ресурсы и информационное общество. Архитектура вычислительных систем. Концепции: построения вычислительных систем и развития информатики. Пакет программ MS Office.
курс лекций, добавлен 19.10.2010Особенности построения локальных вычислительных сетей. Активное оборудование структурированных кабельных сетей. Предпосылки расширения и модернизации сети в школе №15. Оценка экономической эффективности и технико-экономические показатели проекта.
дипломная работа, добавлен 11.06.2014Понятие и свойства алгоритма, примеры его предоставления и записи. Специфика алгоритмического языка, их уровни и примеры. Примеры стандартных математических функций для некоторых языков программирования. Эволюция развития программирования как науки.
лекция, добавлен 12.02.2013Теория распознавания образов, основные понятия. Оптимизация алфавита классов и словаря признаков. Построение продукционной системы, диагностирующей миому матки и внутренний эндометриоз. Практическое применение продукционной модели, алгоритм сети Петри.
курсовая работа, добавлен 05.02.2016Характеристика протоколов мониторинга вычислительных сетей. Компоненты и команды SNMP. Оценка функционирования ЛВС со случайным методом доступа к моноканалу на базе программы, моделирующей работу ВС. Устранение неисправностей в электронных блоках ВТ.
контрольная работа, добавлен 01.02.2020Практическое освоение типовых вычислительных методов прикладной математики. Определение аппроксимирующей функции. Разработка алгоритмов и программ на языке высокого уровня. Основные принципы модульного программирования и техника использования подпрограмм.
курсовая работа, добавлен 11.11.2013Анализ локально-вычислительных сетей, их актуальность и применение. Значение локально-вычислительных сетей в производственной практике. Проектирование постановки задачи для автоматизированного получения документа. Классификация экономических реквизитов.
контрольная работа, добавлен 03.10.2011Понятие, сущность и предназначение вычислительных систем с программируемой структурой. Характеристика и особенности основной функционально-структурной единицы вычислительных ресурсов. Описание принципов построения вычислительных систем, их специфика.
реферат, добавлен 16.10.2015- 64. Принципы интерпретации программ языка программирования, ориентированного на обработку баз знаний
Унифицированная логико-семантическая модель машины интерпретации программ базового языка программирования, ориентированного на обработку sc-моделей баз знаний. Базовой язык программирования технологии проектирования интеллектуальных систем OSTIS.
статья, добавлен 07.03.2019 Функционирование современных вычислительных сетей, их защита от деструктивных программных воздействий при некорректной фрагментации пакетов сообщений. Алгоритмизация задачи обнаружения компьютерных атак в масштабируемой информационно-вычислительной сети.
дипломная работа, добавлен 21.12.2012Процесс применимости технологии Test-Driven Development, сущность моделирования сетями Петри, их верификация. Характеристика и предназначение функции загрузки сети из файла, описание и отличительные черты методов выявления, разработки бизнес процессов.
дипломная работа, добавлен 27.08.2016Автоматизация проектирования локальных сетей Ethernet и ATM при построении вычислительных сетей, предназначенных для передачи разнородного трафика. Синтез структур Ethernet и ATM с помощью генетических алгоритмов нейронных сетей. Типы коммутации пакетов.
статья, добавлен 06.05.2018Имитационное моделирование как метод исследования вычислительных систем. Реализация элемента памяти в среде MATLAB. Структура сети и способ задания связей между элементами по выходам. Реализация блока System Time в MATLAB, длительность моделирования.
контрольная работа, добавлен 28.10.2013Классификация вычислительных систем по разным признакам. Организация функционирования вычислительных систем и их различия по виду параллелизма обработки. Особенности программного обеспечения многомашинных и многопроцессорных вычислительных систем.
контрольная работа, добавлен 20.06.2015Исследование простых компьютерных моделей и вычислительных экспериментов, позволяющих изучить волновые процессы в одномерных линейных и нелинейных средах. Построение математической модели и создание компьютерной программы, имитирующей изучаемое явление.
статья, добавлен 07.03.2019Проектирование программного продукта, способного помочь студентам в изучении математического аппарата моделирования сетей Петри. Структура и динамическое поведение моделируемой системы. Алгоритм реализации программы. Построение сети вида клиент-сервер.
курсовая работа, добавлен 04.07.2018Математическое и информационное моделирование задач. Тестирование и отладка программ. Система обозначений и правил, предназначенная для единообразной записи алгоритмов. Функции базового программирования и основные элементы алгоритмического языка.
презентация, добавлен 29.11.2016Исследование вопросов, связанных с оценкой эффективности средств мониторинга технического состояния информационно-вычислительных сетей. Определение уровня надежности, производительности и быстродействия отдельных элементов системы военного назначения.
статья, добавлен 27.02.2019Рассмотрение основных компьютерных программ, используемых электриками в профессиональной деятельности, основные возможности и функции данных программ. Использование компьютерных программ для моделирования электрических схем различной сложности.
статья, добавлен 21.02.2018Создания высококачественных программ кодирования-декодирования для построения трактов передачи данных на базе микропроцессоров в распределенных вычислительных системах. Разработка и внедрение алгоритмов аппаратной (схемной) реализации кодеков в программу.
статья, добавлен 27.11.2018