Теория вычислительных процессов

Свойства и виды стандартных схем программ. Моделирование автоматов. Аксиоматическое определение операторов языка программирования. Верификация программ. Теоретические модели вычислительных процессов. Графы сетей Петри, их маркировка и свойства.

Подобные документы

  • Основы информатики: предмет и задачи, информационные системы, классификация информации. Развитие и классификация ЭВМ, локальные и глобальные сети. Классы программных продуктов, алгоритмизация вычислительных процессов, элементы языка программирования.

    курс лекций, добавлен 14.06.2009

  • Главная отличительная черта вычислительных систем 90-х годов. Основные недостатки DOS: ограничение памяти, доступной DOS-программ, сложность в обучении, отсутствие стандартного интерфейса для прикладных программ, полное отсутствие мультизадачности.

    реферат, добавлен 08.07.2011

  • Характеристика экспоненциального закона распределения наработки до отказа оборудования. Оценка структурной схемы питания собственных нужд электростанции. Составление алгоритма сетевого срабатывания при помощи матричного подхода к анализу сетей Петри.

    статья, добавлен 25.10.2016

  • Использование сети Петри для формализации процессов взаимодействия программных агентов адаптивного пользовательского интерфейса. Преимущества применения подобного подхода для описания сложных динамических процессов взаимодействия компонентов системы.

    статья, добавлен 19.01.2018

  • Разработка современных вычислительных систем. Определение характеристик функционирования аппаратных средств на различных алгоритмических структурах. Оценка эффективности и сравнительный анализ алгоритмов. Эффективность архитектур вычислительных машин.

    статья, добавлен 25.08.2020

  • История создания и развития операционных систем (ОС), их основные виды и функции. ОС, основанные на графическом интерфейсе, предназначенные для организации работы вычислительных сетей. Модульная структура ОС. Режимы работы вычислительных систем.

    курсовая работа, добавлен 29.03.2015

  • Внедрение компьютерной техники в процессы проектирования и управления производством. Использование программ автоматического инженерного анализа для выполнения вычислительных экспериментов при решении исследовательских и проектных задач в машиностроении.

    реферат, добавлен 13.04.2020

  • Определение целей, задач для реорганизации бизнес-процессов. Функциональная диагностика организационных структур. Основы функционально-стоимостного анализа и сбалансированной системы показателей. Организация и контроль выполнения целевых программ.

    курс лекций, добавлен 19.01.2017

  • Параллельное вычисление, проектирование программного обеспечения и моделировании бизнес-процессов при помощи математического аппарата сети Петри. Реализация возможностей добавления элементов сети, позиций, переходов, их изменение, удаление и рисование.

    курсовая работа, добавлен 19.01.2017

  • Распределенная обработка данных. Обобщенная структура компьютерной сети. Классификация вычислительных сетей. Понятие и основные компоненты локальных вычислительных сетей. Сетевая операционная система. Топологии сети и методы доступа к передающей среде.

    курсовая работа, добавлен 03.10.2011

  • Аналитический обзор моделирования и его методов. Характеристика средств моделирования: PIPE2 20, Petri.Net Simulator 2, DCnet, МСУсП, СPN Tools. Расширение математического аппарата сетей Петри и функционала CPN Tools. Разработка класса нейронной позиции.

    дипломная работа, добавлен 04.07.2018

  • Аппаратные средства вычислительных сетей: состав, назначение. Понятие интерфейса системной шины. Методы классификации компьютеров. Уникальность "белых" адресов и "подмена" IP-адреса. Двоичная система Лейбница. Классификация прикладных программных средств.

    реферат, добавлен 17.01.2013

  • Рассмотрение понятия языка программирования для вычислительных машин (ЯП высокого и ЯП низкого уровней). Технологии программирования (структурное, модульное, объектно-ориентированное). Характеристика CASE-систем. Индустрия искусственного интеллекта.

    реферат, добавлен 01.03.2011

  • История появления и свойства электронных вычислительных машин. Особенности операционной системы DOS. Символы, операторы и возможности языка программирования Pascal. Преимущества среды Windows. Разработка программы для работы с базой данных склада.

    курсовая работа, добавлен 11.05.2011

  • Пути повышения эффективности итерационных процессов функционирования нейросетей и их обучения. Представление моделей в виде двухуровневых иерархических структур. Использование аппарата теории графов, теории нейронных сетей, механизма клеточных автоматов.

    статья, добавлен 25.05.2017

  • Общая характеристика локальных вычислительных сетей, анализ их назначения и классификации. Изучение структурных особенностей размещения узлов в сети и связей между ними. Устройства межсетевого интерфейса: повторители, мосты, маршрутизаторы и шлюзы.

    контрольная работа, добавлен 14.05.2014

  • Особенность разработки сетей Петри для моделирования систем, которые содержат взаимодействующие параллельные компоненты, а также социальные и биологические системы. Характеристика представления сети Петри в виде графа и в виде структуры сети Петри.

    презентация, добавлен 03.05.2023

  • Анализ проблем проектирования программного обеспечения для вычислительных систем специального назначения. Определение основных этапов процесса создания функционального программного обеспечения. Особенности выбора языка программирования и системы контроля.

    статья, добавлен 10.03.2018

  • Исследование особенностей визуального программирования. Изучение практических возможностей языка программирования Delphi 7. Составление простых и сложных программ. Способы исправления массива, изменения данных. Принципы использования справочной поддержки.

    отчет по практике, добавлен 23.12.2014

  • Особенности структуры локальных вычислительных сетей как объединения компьютеров, сосредоточенных на небольшой территории, которые используют простые методы доступа к общей среде передачи данных. Анализ и оценка их главных преимуществ и недостатков.

    статья, добавлен 17.04.2019

  • Понятие локальных вычислительных сетей. Основная задача, решаемая при создании локальных компьютерных сетей. Принцип работы и применение маршрутизаторов. Принцип работы сетевого коммутатора, их возможности и разновидности. Типы коаксиальных кабелей.

    реферат, добавлен 22.11.2016

  • Синтез концепции вычислительных сетей. Создание стандартных технологий локальных сетевых систем. Анализ оборудования для подключения коаксиального кабеля. Суть радиопередачи в рассеянном спектре. Изучение цифрового кодирования дискретной информации.

    презентация, добавлен 15.09.2017

  • Общая характеристика процессов сбора, передачи, обработки и накопления информации. Технические и программные средства реализации информационных процессов, модели решения функциональных и вычислительных задач. Результативность и правильность алгоритма.

    контрольная работа, добавлен 29.09.2017

  • Изучение свойств, характеристик и способов задания алгоритма. Рассмотрение линейных, разветвляющихся и циклических вычислительных процессов. Описание работы с пакетами обработки текстовых документов. Ознакомление с устройствами ввода информации.

    контрольная работа, добавлен 01.02.2014

  • Характеристика организации вычислительных процессов в автоматизированной информационной библиотечной системе. Совместимость Access со сторонними источниками данных. Разработка лингвистического обеспечения системы, расчет вычислительных ресурсов.

    курсовая работа, добавлен 14.06.2016

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.