Теория вычислительных процессов
Свойства и виды стандартных схем программ. Моделирование автоматов. Аксиоматическое определение операторов языка программирования. Верификация программ. Теоретические модели вычислительных процессов. Графы сетей Петри, их маркировка и свойства.
Подобные документы
Моделирование локально-вычислительных сетей на OPNETModeler 14.0. Сравнительный анализ производительности сети до и после расширения. Разработка методики для проведения статистических исследований в модели для маршрутизатора, коммутатора, пользователей.
статья, добавлен 20.01.2018Написание на языке ассемблер программы, реализующей вычитание двух целых упакованных 128-разрядных чисел. Краткое описание операционной семантики и верификация связной совокупности команд в подпрограмме. Построение сети Петри для данной подпрограммы.
контрольная работа, добавлен 15.07.2012Технические средства реализации информационных процессов. Модели решения функциональных, вычислительных задач. Защита информации, сведений, составляющих государственную тайну. Административные меры борьбы с вирусами, принципы работы антивирусных программ.
курс лекций, добавлен 10.05.2018Характеристика линейных вычислительных процессов, алгоритм установления междугородного телефонного соединения, радиоканалы передачи данных WiMAX, топология и особенности построения локальных вычислительных сетей, линии связи и каналы передачи данных.
контрольная работа, добавлен 25.06.2012Исследование опыта практического применения сетей Петри для моделирования работы сердца. Анализ параллельных процессов взаимодействия гемодинамики и электрической активности сердца. Определение структуры и элементов комбинированной модели сердца.
статья, добавлен 30.01.2017Разработка методики математического моделирования сложных процессов приятия решений с помощью алгебраических сетей с различными алгебрами. Доказательство теоремы, определяющей свойство алгебр порождать функциональные структуры для вычислительных моделей.
автореферат, добавлен 25.07.2018Ознакомление с задачами, возникающими в теории сетей Петри. Освоение компьютерных способов представления сетей и алгоритмов машинной обработки. Исследование программного комплекса "PetriObjects" для имитационного моделирования дискретных процессов.
курсовая работа, добавлен 23.05.2024Характеристика параллельных распределительных систем в вычислительных процессах. Применение компонентной сети Петри, используя бисимуляционную эквивалентность полученных моделей Крипке. Методы и способы спецификации и верификации параллельных процессов.
научная работа, добавлен 28.02.2016Создание большого числа методов, связанных с моделированием локальных вычислительных сетей. Изучение процессов передачи трафика в больших вычислительных сетях. Характеристика маршрутизации трафика, когда он идет через различные коммутационные узлы.
статья, добавлен 20.02.2019Методы оценки локальных вычислительных сетей и их компонентов. Аналитическое и имитационное моделирование. Индексы производительности. Моделирование на основе теории систем. Инструментальные средства моделирования. Примеры моделей вычислительных сетей.
контрольная работа, добавлен 04.12.2009Алгоритм, его определение, основные свойства, способы описания и построения. Виды алгоритмов: линейный, разветвляющийся, циклический. Языки и виды программирования: алгоритмическое или модульное, структурное, объектно-ориентированное программирование.
реферат, добавлен 02.04.2014Процессы сбора, передачи, обработки и накопления информации. Методы ее защиты. Модели решения вычислительных задач. Понятие и свойства алгоритма. Технологии программирования. Виды компьютерных сетей. Программное и аппаратное обеспечение компьютера.
курс лекций, добавлен 21.10.2018Методические рекомендации по решению практических задач автоматизации вычислительных процессов с использованием языка программирования Turbo Pascal в части работы с массивами данных, построения таблиц идентификаторов и алгоритмов, разработки программ.
методичка, добавлен 18.10.2017Методика процесса организации тестирования по дисциплине "Теория вычислительных процессов". Оценка качества выполнения упражнений на компьютерном тренажере перегрузочной машины с использованием нечетких множеств. Разработка заданий и комплекта вопросов.
статья, добавлен 30.05.2017Понятие, структура и функционирование вычислительных сетей. Методика и особенности построения модели сети вычислительных машин, осуществляющей распределение вычислений на основе самоорганизации. Эффект Бенара как традиционный пример самоорганизации.
курсовая работа, добавлен 11.02.2010Основы языка Object Pascal. Примеры простейших программ на языке Delphi с использованием: линейных, разветвляющихся и циклических алгоритмов, массивов, подпрограмм и модулей. Способы организации ветвящихся и циклических вычислительных процессов.
лабораторная работа, добавлен 03.09.2013Классификация распределенных вычислительных систем с позиции взаимодействия процессов внутри них. Изучение характеристик вычислительных модулей, находящихся в узлах мультикомпьютера. Рассмотрение архитектурных организаций вычислительных кластеров.
статья, добавлен 25.10.2016Анализ принципов построения модели сети Петри, используемой при моделировании аппаратного и программного обеспечение ЭВМ. Характеристика графического представления рассматриваемых сетей и их маркировка. Оценка последовательности дискретных событий.
лекция, добавлен 18.10.2013Понятие вычислительной сети, их классификация, типовая топология, логическая и физическая структуры. Особенности организации сетей. Физическая передающая среда вычислительных сетей. Аппаратные и программные компоненты локальных вычислительных сетей.
реферат, добавлен 17.02.2010Понятие о вычислительных системах, метод динамического программирования. Целевые функции в теории распределения. Сущность эвристических алгоритмов, реализация алгоритма имитация отжига, заполнение начального словаря. Демонстрация времени работы программ.
дипломная работа, добавлен 17.05.2018Моделирование расписания выполнения программного проекта с помощью сетей Петри. Определение правил перехода от сетевого графика или диаграммы Ганта к сетевой модели Петри. Оценка структуры расписания работ проекта с использованием стохастических сетей.
статья, добавлен 28.01.2020Понятия качества и надежности вычислительных систем. Требования к телекоммуникационным системам в космонавтике. Создание средств автоматизации проектирования и отладки бортовых программ. Контроль работоспособности аппаратуры космических аппаратов.
автореферат, добавлен 16.02.2018Характеристика процесса создания многопроцессорных вычислительных систем. Анализ использования модели передачи данных для разработки параллельных программ. Двойной интеграл в декартовых координатах. Формат функций, сообщения MPI. Оболочка. Коммуникаторы.
курсовая работа, добавлен 04.04.2016Изучение общих проблем внедрения проблемно-ориентированных комплексов программ на малых коммерческих предприятиях с целью повышения защищенности их вычислительных сетей от вредоносных программ. Особенность исследования эвристического анализатора.
статья, добавлен 27.05.2018Изучение методов программирования вычислительных устройств и написания программ под определенные задачи. Анализ языка программирования Visual Basic for Application. Собственные диалоговые окна. Существование двух возможностей создания диалоговых окон.
курсовая работа, добавлен 04.06.2012