Спецификация и анализ распределенных систем с использованием инструментальных средств, поддерживающих модели сетей Петри
Разработка языков описания и изучения параллельной структуры управления. Анализ преимуществ структурированного и модульного программирования. Совершенствование методов компаративной семантики. Программная реализация компонента транслятора языка Барс.
Подобные документы
Аналитический обзор моделирования и его методов. Характеристика средств моделирования: PIPE2 20, Petri.Net Simulator 2, DCnet, МСУсП, СPN Tools. Расширение математического аппарата сетей Петри и функционала CPN Tools. Разработка класса нейронной позиции.
дипломная работа, добавлен 04.07.2018Общее исследование набора спецификаций синтаксиса и семантики языков программирования в рамках их стандартизации. Изучение основных типов и структур языков программирования. Основная характеристика процедурных языков программирования: Basic, Pascal и Си.
курсовая работа, добавлен 18.09.2012Характеристика метода создания текстовых предметно-ориентированных языков. Расчет трудоемкости разработки компонента проверки синтаксиса. Проектирование архитектуры языкового инструментария и программная реализация компонента проверки синтаксиса.
дипломная работа, добавлен 01.08.2017Моделирование расписания выполнения программного проекта с помощью сетей Петри. Определение правил перехода от сетевого графика или диаграммы Ганта к сетевой модели Петри. Оценка структуры расписания работ проекта с использованием стохастических сетей.
статья, добавлен 28.01.2020Общее исследование набора спецификаций синтаксиса и семантики языков программирования в рамках их стандартизации. Изучение основных типов и структур языков программирования. Реализация денотационных определений языков. Основные элементы теории Скотта.
учебное пособие, добавлен 17.08.2015Характеристика предприятия и структуры его управления. Описание разработки приложений с использованием инструментальных средств Анализ программного продукта и его назначение, требований к программному обеспечению. Представление листинга программы.
отчет по практике, добавлен 10.06.2014Разработка и реализация комбинированной модели повышения транзакционной надежности распределенных систем обработки информации и управления. Формирование и исследование моделей транзакционной структуры распределенных систем по обработке информации.
диссертация, добавлен 11.04.2013Особенность разработки сетей Петри для моделирования систем, которые содержат взаимодействующие параллельные компоненты, а также социальные и биологические системы. Характеристика представления сети Петри в виде графа и в виде структуры сети Петри.
презентация, добавлен 03.05.2023Определение компилятора, интерпретатора и транслятора. Изучение классификации языков программирования и различных компиляторов для языка программирования Basic. Характеристика соотношения классов языков программирования и программных интерпретаторов.
курсовая работа, добавлен 17.10.2013Определение сущности языка программирования — формальной знаковой системы, предназначенной для записи компьютерных программ. Рассмотрение понятия транслятора и компилятора. Характеристика высокоуровневых и низкоуровневых языков программирования.
реферат, добавлен 20.09.2014Исследование класса контекстно-свободных языков строго вкладываемых в класс тупиковых языков вложенных рекурсивных сетей Петри. Изучение алгоритма построения сети, порождающей данный контекстно-свободный язык в сравнении с обыкновенными сетями Петри.
статья, добавлен 17.01.2018Исследование истории возникновения и классификации языков программирования. Характеристика структуры и способов описания языков программирования высокого уровня в их реализации на Паскале. Анализ требований к качеству прикладных и системных программ.
курсовая работа, добавлен 28.12.2010Множественные методы исследования систем. Моделирование и исследование природы сложных систем с помощью сетей Петри. Типовые звенья систем автоматического управления, правила эквивалентных преобразований структурных схем САУ. Алгебра логики; карты Карно.
курсовая работа, добавлен 20.12.2021Создание лексики и грамматики заданного учебного языка. Расширение синтаксического анализатора. Интерпретатор учебного языка. Применение теоретических основ проектирования трансляторов с языков программирования. Разработка элементов транслятора.
курсовая работа, добавлен 29.03.2022Анализ основных табличных инструментальных средств описания цифровых устройств. Разработка транслятора из табличного формата на языке THDL в язык Verilog. Обеспечение возможностей практического применения гибкого и универсального табличного языка THDL.
статья, добавлен 29.11.2016Обоснование преимуществ использования графического языка "SDL" при разработке телекоммуникационных и компьютерных сетей. Преобразование вычислительных алгоритмов в автоматные. Проектирование объектов с помощью средств автоматного программирования.
диссертация, добавлен 13.08.2014Выбор подходящего способа проектирования веб-приложения, его этапы и критерии. Разработка концептуальной схемы БД будущей системы. Программная реализация веб-приложения для заказа товаров через Интернет с использованием средств CGI-программирования.
курсовая работа, добавлен 07.08.2011Характеристика параллельных распределительных систем в вычислительных процессах. Применение компонентной сети Петри, используя бисимуляционную эквивалентность полученных моделей Крипке. Методы и способы спецификации и верификации параллельных процессов.
научная работа, добавлен 28.02.2016Анализ вопросов, связанных с использованием управляемой моделями архитектуры при проектировании цифровых систем управления (ЦСУ). Анализ возможности использования MDA при проектировании ЦСУ. Использование машинно-ориентированных средств описания моделей.
статья, добавлен 01.07.2018Исследование опыта практического применения сетей Петри для моделирования работы сердца. Анализ параллельных процессов взаимодействия гемодинамики и электрической активности сердца. Определение структуры и элементов комбинированной модели сердца.
статья, добавлен 30.01.2017Комплекс инструментальных программных средств, предназначенный для работы с программами на одном из языков программирования или система программирования, язык, как ее ядро. Классификация языков программирования. Трансляция программ и подпрограмм.
реферат, добавлен 09.02.2009Проектирование реляционных баз данных с использованием декомпозиционного и ER–методов. Вопросы поддержки целостности, защиты информации и параллельной обработки данных. Приложения для работы с базами данных с использованием СУБД Access и языка VBA.
учебное пособие, добавлен 01.03.2011Предназначение теории сетей Петри для работы с параллельными и асинхронными системами. Определение входного и выходного мультимножества. Графическая форма сетей Петри, композиционный подход к их построению. Способы преобразования простых сетей в цветные.
реферат, добавлен 02.04.2011Свойства и виды стандартных схем программ. Моделирование автоматов. Аксиоматическое определение операторов языка программирования. Верификация программ. Теоретические модели вычислительных процессов. Графы сетей Петри, их маркировка и свойства.
методичка, добавлен 03.03.2012Рассмотрение основных языков программирования, их классов. Изучение типов и структуры данных. Выявление главной сути понятия семантики компилируемых и интерпретируемых языков программирования. Характеристика интерпретирующих и компилирующих систем.
контрольная работа, добавлен 02.03.2015