Моделирование арифметико-логического устройства для вычитания УДЦ
Моделирование арифметико-логического устройства для вычитания УДЦ для 18 разрядов. Операционная и аксиоматическая семантика команды ассемблера. Верификация линейного участка программы, участка, содержащего ветвления, цикла. Сети Петри для подпрограммы.
Подобные документы
Построение математической модели программы, одноленточного автомата над алфавитом, допускающего различные множества слов. Алфавит терминальных символов, множество состояний и переходов. Определение начального и конечного состояний. Понятие сети Петри.
контрольная работа, добавлен 17.09.2013Создание модели, позволяющей пользователю наблюдать за созданием процессов, требующих структуризации операционных систем. Организация доступа к ресурсу оперативной памяти. Использование методов имитационного моделирования для решения поставленной задачи.
курсовая работа, добавлен 23.05.2013Создание систем имитационного моделирования AnyLogic, Arena, SimuLab, Simbigraph и Forio. Серверная и клиентская часть. Разработка модели работы отдела банка, участка цеха, движения автобуса по маршруту и социальной сети. Описание web-приложения.
дипломная работа, добавлен 25.05.2015Моделирование различных систем событий. Особенности мультиагентной платформы JADE. Использование агентов, нарушающих принятый порядок работы системы. Реализация программы на языке Java. Вычислительная модель агента. Моделирование игры в "наперстки".
курсовая работа, добавлен 30.01.2016Главная идея LaTeX, возможности системы. Структура документа - текстового файла, содержащего специальные команды языка разметки. Формат текста и вспомогательные программы. Отображение математических и других формул, символы функций и исходные команды.
курсовая работа, добавлен 21.02.2015Моделирование работы мастерской с использованием языка GPSS Wоrld. Определение основныx xарактеристик моделируемой системы: средней длины очереди неисправныx аппаратов; коэффициента загрузки мастеров. Описание машинной программы решения задачи.
курсовая работа, добавлен 28.06.2011Разработка гипотетической машины при помощи макросредств ассемблера. Разработка алгоритма для реализации обязательных команд: сравнения двух символьных строк; их обмена; определения длины слова. Основные функции обработки строки, листинг программы.
курсовая работа, добавлен 14.07.2012Расчет годового пробега автомобилей парка. Коэффициенты корректирования нормативов технического обслуживания и ремонта. Программа технологического расчета. Зависимость площади участка от количества автобусов. Нормативный фонд рабочего времени участка.
курсовая работа, добавлен 18.03.2013Гносеологическая специфика модели, ее определение и классификация. Основные цели и процесс моделирования как средства экспериментального исследования. Трехмерная графика, назначение и обзор интерфейса программы Gmax. Моделирование простейшего объекта.
курсовая работа, добавлен 25.06.2014Структура программы PL/SQL. Секция заголовка блока. Элементы, объявленные в секции объявлений базового блока. Приоритет операций выражения. Управление выполнением программы. Конструкция и синтаксис цикла LOOP. Оператор GOTO и метки, пример использования.
лекция, добавлен 14.02.2014Базис класса стандартных схем программ. Стандартная схема в линейной форме. Протокол выполнения программы рекурсивной схемы. Слабейшие предусловия операторов программы в линейной форме. Верификация программы с помощью метода индуктивных утверждений.
контрольная работа, добавлен 09.11.2010Разработка программы моделирования объекта в среде пакета MathCAD с использованием встроенных функций. Стехиометрический анализ и модель кинетики. Моделирование режима запуска и вывода аппарата на нужный режим. Математическая модель динамики объекта.
курсовая работа, добавлен 19.11.2011Устройство персонального компьютера. Устройства ввода графических данных и вывода данных. Устройства хранения данных. Устройства обмена данными. Цели создания сетей. Многомашинные вычислительные комплексы и компьютерные сети.
дипломная работа, добавлен 18.06.2007Общие сведения о языке ассемблера. Назначение команды прерывания INT число. Описание логической структуры программы: алгоритм работы, используемые методы, входные и выходные данные. Структура и тестирование программы. Руководство оператора программы.
курсовая работа, добавлен 01.12.2009Изучение основных стилей программирования: процедурного, функционального, логического, объектно-ориентированного. Язык Ассемблера, предназначенный для представления в символической форме программ, записанных на машинном языке. Многоцелевой язык Basic.
презентация, добавлен 23.03.2011Азартные игры и наблюдение за спортивными состязаниями. Моделирование методом Монте-Карло - мощное средство, позволяющее определять вероятность событий в азартных играх и спорте. Моделирование вероятности событий с помощью программы Microsoft Excel.
реферат, добавлен 13.05.2009Технологический процесс изготовления детали "вал вторичный". Разработка алгоритма системы управления гибким автоматизированным комплексом обработки детали, обеспечивающего однозначность условий формирования управляющих команд. Проектирование сети Петри.
курсовая работа, добавлен 06.11.2013Моделирование как основная функция вычислительных систем. Разработка концептуальной модели для системы массового обслуживания и ее формализация. Аналитический расчет и алгоритмизация модели, построение блок-диаграмм. Разработка и кодирование программы.
курсовая работа, добавлен 18.12.2011Программирование как процесс описания последовательности действий решения задачи средствами конкретного языка и оформление результатов описания в виде программы. Этапы разработки программы, требования к ее функциональности, направления использования.
контрольная работа, добавлен 10.01.2016Обзор методов и подходов решения поставленной задачи аппроксимации логического вывода экспертной системы. Разработка и описание метода сетевого оператора для решения данной задачи. Разработка алгоритма решения. Проведение вычислительного эксперимента.
дипломная работа, добавлен 23.02.2015Принцип работы транслятора. Исследование формата данных объектного файла шестнадцатиразрядной системы DOS для последующего преобразования его в файл программы. Используемые директивы и команды ассемблера. Алгоритмы программы и таблицы компилятора.
контрольная работа, добавлен 07.07.2012Понятие и функциональные особенности программируемого логического контроллера, внутренняя структура и взаимосвязь элементов данного устройства. Advantech - контроллеры и модули ввода / вывода, ПТК КОНТАР производства МЗТА, ОВЕН (ПЛК ОВЕН), Сегнетикс.
реферат, добавлен 22.03.2014Управление процессами операционных систем. Разработка программы, моделирующей обслуживание множества вычислительных процессов в системе с 4 очередями, определяемыми значениями приоритетов. Выполнение инструкций компьютерной программы на процессоре.
контрольная работа, добавлен 06.08.2013Описание области применения устройства релаксационного воздействия на человека "Лампа хорошего настроения". Выбор микроконтроллера устройства. Алгоритм функционирования программы, её тестирование. Правила и нормы охраны труда при работе с компьютером.
дипломная работа, добавлен 28.09.2015Назначение операционных систем. Windows ХР - операционная система Microsoft с настраиваемым интерфейсом. Функции стандартных прикладных программ: блокнота, графического редактора Paint, текстового процессора WordPad. Команды "меню" и их использование.
курсовая работа, добавлен 23.05.2009