Теория вычислительных процессов
Свойства и виды стандартных схем программ. Моделирование автоматов. Аксиоматическое определение операторов языка программирования. Верификация программ. Теоретические модели вычислительных процессов. Графы сетей Петри, их маркировка и свойства.
Подобные документы
Характеристики, применяемые для оценок параметров электронных вычислительных машин. Архитектурные свойства сети и описание процессов ее функционирования. Обоснование транзитивных операций дизъюнкции и конъюнкции. Внешние и внутренние замыкания в матрице.
шпаргалка, добавлен 18.10.2014Функционирование моделей расчетов и управления средствами в распределенных вычислительных средах. Особенности способов взаимодействия вычислительных процессов в параллельных системах: обмена сообщениями, разделения памяти и доступа к удаленной памяти.
статья, добавлен 17.12.2016Мультипроцессорный и мультипрограммный способы организации вычислительных процессов в компьютерных системах. Схемы арбитража, алгоритмы работы планировщиков и диспетчеров процессов и потоков. Использование изменения приоритетов потоков при планировании.
методичка, добавлен 18.10.2014Основные понятия теории вычислимости и разрешимости. Способ вычисления функций с помощью машины Тьюринга. Конечные детерминированные полностью определённые одноленточные автоматы, алгоритм проверки эквивалентности. Стандартные, рекурсивные схемы программ.
методичка, добавлен 01.02.2013Предназначение теории сетей Петри для работы с параллельными и асинхронными системами. Определение входного и выходного мультимножества. Графическая форма сетей Петри, композиционный подход к их построению. Способы преобразования простых сетей в цветные.
реферат, добавлен 02.04.2011Денотационная семантика как наиболее строгий и широко известный метод описания значения программ. Знакомство с основными особенностями определения семантики языка программирования. Общая характеристика методов доказательства правильности программ.
курсовая работа, добавлен 18.01.2015Сущность языка программирования С++, его особенности, недостатки и преимущества. Изучение интегрированной Среды разработки программ и исполняемого файла, типов данных и операторов ввода-вывода системы TURBO Cи. Исследование операторов и операций, функций.
методичка, добавлен 16.01.2010Понятие компьютерных сетей и их виды: локальные, глобальные и региональные. Распределение данных и программ с помощью ЛВС. Типы серверов в зависимости от способов использования. Топологии вычислительных сетей. Сетевые устройства и средства коммуникаций.
методичка, добавлен 23.11.2014Организация диспетчеризации в распределенных вычислительных системах. Использование математического аппарата теории сетевого анализа. Употребление нейронных сетей для оптимизации процесса перераспределения ресурсов в РС. Методы адаптивного управления.
статья, добавлен 04.09.2013Связь логического программирования и языка Пролог. Принципы выбора формальной знаковой системы для записи компьютерных программ на основе абстрактного интерпретатора. Структура данных логических программ. Эффективность программирования на Прологе.
реферат, добавлен 26.02.2015Составляющие информатики как науки: теория кодирования информации, разработка методов и языков программирования, математическая теория процессов передачи и обработки данных. Создание первых вычислительных машин, компьютеров и интегральных микросхем.
реферат, добавлен 14.06.2012Этапы эволюции, функции и основы функционирования операционных систем локальных вычислительных сетей. Сравнительная характеристика современных операционных систем рабочих станций локальных вычислительных сетей и основные критерии оценки их возможностей.
дипломная работа, добавлен 23.04.2016Преимущества создания виртуальных локальных вычислительных сетей в объединенной сети. Осуществление контроля широковещательной рассылки. Проблемы обеспечения безопасности маршрутизатором. Определение границ виртуальных локальных вычислительных сетей.
лабораторная работа, добавлен 12.04.2015Искусственный язык, предназначенный для записи программ для вычислительных устройств. Развитие программного обеспечения и языков программирования. Рассмотрение истории создания программы-браузера. Изучение интерфейса современных языков программирования.
презентация, добавлен 01.10.2014Классификация вычислительных сетей. Эволюция компьютерных сетей, их элементы. Аппаратное обеспечение вычислительных сетей. Физическая среда передачи данных. Средства связи и способы передачи сигналов. Основные группы программного обеспечения сетей.
презентация, добавлен 16.04.2013Планировщики мультипроцессорных, мультикомпьютерных и распределенных систем. Обзор различных видов параллельных вычислительных систем. Изучение возможности модификации современного алгоритма планировщика задач с целью повышения его эффективности.
реферат, добавлен 14.04.2021Принципы архитектуры вычислительных машин Дж. фон Неймана. Отличие архитектуры вычислительного средства от его структуры. Трудности в создании первых вычислительных машин и их недостатки. Различия между теорией автоматов фон Неймана и кибернетикой Винера.
реферат, добавлен 15.11.2015Общая классификация и обзор существующих принципов построения локальных вычислительных сетей. Понятие и виды структурированных кабельных систем, преимущества волоконно-оптического кабеля. Назначение и характеристика коммутационного оборудования.
курсовая работа, добавлен 12.02.2013Проблемы синтеза распределенных вычислительных сред на базе компьютерных сетей. Архитектура, надёжность, безопасность, скорость передачи каналов связи и производительность компьютеров как ключевые факторы создания распределенных вычислительных сред.
статья, добавлен 30.10.2016Сущность вопросов планирования вычислительных процессов в системе. Рассмотрение требований к дисциплине обслуживания. Анализ верхнего и среднего (диспетчеризации) уровней планирования. Разработка структуры функционирования работ в вычислительной системе.
курсовая работа, добавлен 16.04.2013Классификация вычислительных сетей по степени территориальной рассредоточенности, по способу управления ресурсами сети и по методу передачи данных. Отличительные черты крупномасштабных, региональных и локальных сетей. Файловые серверы и коммутаторы.
контрольная работа, добавлен 21.05.2013Изучение алгоритмов поиска инвариантных соотношений в программах с простыми переменными, относящимся к методам анализа потоков данных и верификации. Анализ языка типа равенств для программ над абсолютно свободными алгебрами данных и кольцами полиномов.
статья, добавлен 29.01.2016Увеличение коэффициента использования листового металла. Математический аппарат модифицированных нейро-нечетких сетей Петри. Построение моделей алгоритмов на базе нейро-нечетких сетей Петри. Моделирование механизма приоритетного выбора деловых остатков.
научная работа, добавлен 14.12.2019Проведение исследования сети информационно-аналитических центров, техническую основу которой составляют вычислительные сети. Способы защиты вычислительных сетей от внутренних угроз. Объекты реализации угрозы анализа трафика в вычислительных сетях.
статья, добавлен 22.08.2020Определение, назначение, специфика работы вычислительных сетей, их классификация. Обзор аппаратных средств для проектирования "домашней" локальной сети, выбор сетевого оборудования для нее. Подходы к классификации топологий локальных вычислительных сетей.
курсовая работа, добавлен 21.02.2016