Теория вычислительных процессов
Написание на языке ассемблер программы, реализующей вычитание двух целых упакованных 128-разрядных чисел. Краткое описание операционной семантики и верификация связной совокупности команд в подпрограмме. Построение сети Петри для данной подпрограммы.
Подобные документы
Свойства и виды стандартных схем программ. Моделирование автоматов. Аксиоматическое определение операторов языка программирования. Верификация программ. Теоретические модели вычислительных процессов. Графы сетей Петри, их маркировка и свойства.
методичка, добавлен 03.03.2012Составление и подготовка деятельности программы для выполнения системы команд процессора. Разработка программы "Получение данных из командной строки" на языке Ассемблер, работа со строками. Cоздание HTML-документа, вставка изображений, медиафайлов.
учебное пособие, добавлен 16.02.2016Описание основных алгоритмов, используемых в программе, реализующей параллельную работу нескольких процессов. Работа программы с параметрами: kurs.exe и text.txt. Описание основных подпрограмм, переменных, констант и типов. Обзор исходного кода программы.
контрольная работа, добавлен 11.12.2012Этапы развития вычислительной техники. Классическая архитектура и классификация электронных вычислительных машин. Построение таблицы использования памяти и регистров. Постановка задачи, формализация, разработка алгоритма и программы на языке ассемблера.
курсовая работа, добавлен 07.09.2015Моделирование систем, логическое описание и анализ. Графическая интерпретация сети Петри как граф особого вида, состоящий из вершин двух типов: позиций и переходов, соединенных ориентированными дугами. Изменение разметки сети при срабатывании переходов.
статья, добавлен 14.07.2016Построение устройства, позволяющего получать арифметическую сумму двух 4-разрядных чисел, записанных в регистры с внешнего порта. Программа декодера и 8-ми разрядного регистра. Временные диаграммы кодопреобразователя. Схемы блока дешифрации и регистров.
контрольная работа, добавлен 03.10.2017Процесс применимости технологии Test-Driven Development, сущность моделирования сетями Петри, их верификация. Характеристика и предназначение функции загрузки сети из файла, описание и отличительные черты методов выявления, разработки бизнес процессов.
дипломная работа, добавлен 27.08.2016Сети Петри с ингибиторными (запрещающими) дугами. Приоритетные, временные, стохастические, функциональные, автоматные сети Петри, их основные примеры. Цветная или раскрашенная сеть Петри. WF-сети как подкласс называемый также сетями потоков работ.
презентация, добавлен 05.11.2016Разработка и описание алгоритма составления подпрограммы для создания геометрической фигуры - треугольника определенного вида. Написание кода программы, пример построения с вводом разных чисел соответствия смещения, основания и высоты требуемой фигуры.
лабораторная работа, добавлен 12.06.2014Программирование на языке Ассемблер. Эффективность языка программирования. Описание версий Ассемблера. Турбо Ассемблер фирмы Borland и его возможности. Пакет Макро Ассемблер: его программные компоненты и основные функции. Расширенный Ассемблер NASM.
реферат, добавлен 16.09.2010Ассемблер как язык программирования низкого уровня, представляющий собой формат записи машинных команд, удобный для восприятия человеком. Программирование на языке ассемблер: преимущества и недостатки языка. Turbo Assembler, система прерывания программ.
реферат, добавлен 18.12.2013Общая характеристика способов адресации и форматов команд. Проектирование системы команд. Перевод программы на языке ассемблера в исполнимый машинный код. Рассмотрение особенностей команд учебного микропроцессора. Анализ стековой памяти и работы с ней.
реферат, добавлен 13.05.2014Написание надежной и быстрой диагностической программы с использованием машинно-ориентированного языка программирования Ассемблер. Технико-математическая постановка задачи, описание структуры программы, макросов и процедур. Алгоритм решения задачи.
контрольная работа, добавлен 25.05.2010Основные этапы разработки программы на Ассемблере, содержание ее текста. Классификационные признаки системы команд, виды инструкций и способы адресации операндов. Проверка различных клавиш в буфере клавиатуры, порты ее контроллера и функции клавиш.
контрольная работа, добавлен 12.08.2011Блок схема алгоритма решения задачи. Описание программы на языке Ассемблера и в машинных кодах. Сложение 5 двухбайтных чисел, находящихся в адресном пространстве 0800h-0809h, с учетом знака и переноса из старшего бита суммы. Адресное пространство задачи.
курсовая работа, добавлен 15.09.2017Характеристика параллельных распределительных систем в вычислительных процессах. Применение компонентной сети Петри, используя бисимуляционную эквивалентность полученных моделей Крипке. Методы и способы спецификации и верификации параллельных процессов.
научная работа, добавлен 28.02.2016Проектирование программного продукта, способного помочь студентам в изучении математического аппарата моделирования сетей Петри. Структура и динамическое поведение моделируемой системы. Алгоритм реализации программы. Построение сети вида клиент-сервер.
курсовая работа, добавлен 04.07.2018Разработка программы видеоконтроллера с помощью ассемблера. Анализ различий между программами в EXE и COM-файлах. Построение блок-схемы программы, описание ее функций. Анализ типов графических режимов. Рекомендации по дальнейшему развитию программы.
курсовая работа, добавлен 31.10.2017Теоретические аспекты создания компьютерной программы, реализующей вычисления по арифметическому выражению с использованием языка ассемблера. Обзор получения машинных кодов команд для микропроцессорной системы. Ознакомление с листингом трансляции.
лабораторная работа, добавлен 13.11.2013Рассмотрение блок-схемы линейного алгоритма. Особенности программирования на языке Ассемблер. Отладчик в пошаговом режиме в системе Windows. Описание используемых ключей программ ассемблирования. Процесс редактирования программных связей и отладки.
лабораторная работа, добавлен 29.05.2014Написание программы на языке VBA, которая вводит исходные данные, выполняет расчеты и выводит на экран исходные данные. Использование блок-схемы. Описание переменных и алгоритма программы. Листинг программы. Описание входных данных и результат вычисления.
контрольная работа, добавлен 20.12.2011Работа в среде программирования Turbo Pascal: написание программы, понятие ассемблера, подключение графического режима, ввод данных. Определение высокоуровневого языка программирования. Этапы создания программы на электронно-вычислительных машинах.
тест, добавлен 05.10.2015- 23. Микропроцессоры
Особенности и функции микроконтроллера. Разработка модели микроконтроллерной системы на Proteus. Разработка программы на языке С и Ассемблер. Симуляция микроконтроллерной системы с помощью программы написанной на языке программирования Ассемблер.
контрольная работа, добавлен 12.03.2020 Параллельное вычисление, проектирование программного обеспечения и моделировании бизнес-процессов при помощи математического аппарата сети Петри. Реализация возможностей добавления элементов сети, позиций, переходов, их изменение, удаление и рисование.
курсовая работа, добавлен 19.01.2017Использование сети Петри для формализации процессов взаимодействия программных агентов адаптивного пользовательского интерфейса. Преимущества применения подобного подхода для описания сложных динамических процессов взаимодействия компонентов системы.
статья, добавлен 19.01.2018