Личный кабинет

Дипломная работаИнформатика

Готовая работа №77255 от пользователя Разгуляев Денис Николаевич

Разработка программного средства моделирования процессов верификации

Name: Разработка программного средства моделирования процессов верификации
Price: 2220.00 RUB

2 220 ₽

Файл с работой можно будет скачать в личном кабинете после покупки

Страниц: 101

Год написания: 2024

Разгуляев Денис Николаевич

Сообщить о нарушении авторских прав

Гарантия безопасной покупки

Уникальность текста выше 50%

Возможность снять с продажи

Не подходит эта работа?

Укажите тему работы или свой e-mail, мы отправим подборку похожих работ

содержание

ВВЕДЕНИЕ 3
1. ОБЗОРНО-АНАЛИТИЧЕСКАЯ ОЦЕНКА 7
1.1 Типовые схемы цифровых систем 7
1.2 Обзор программных средств моделирования 15
1.3 Основные требования к программному средству 21
2. РАЗРАБОТКА ПРОГРАММНОГО СРЕДСТВА МОДЕЛИРОВАНИЯ ПРОЦЕССОВ ВЕРИФИКАЦИИ ПРИ ЦИФРОВОМ РЕГУЛИРОВАНИИ 23
2.1 Формулы расчёта управляющего воздействия цифрового регулятора 23
2.2 Алгоритм верификации в каждой точке кривой при цифровом регулировании 26
2.3 Диаграмма вариантов использования 30
3. СТРУКТУРА ПРОГРАММНОГО СРЕДСТВА 32
3.1 Модульная организация 32
3.2 Описание основных функциональных модулей 34
3.3 Моделирование 46
ЗАКЛЮЧЕНИЕ 53
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ 54
Приложение А 56

Весь текст будет доступен после покупки

Показать еще текст

ВВЕДЕНИЕ

Регулятор – устройство, посредством которого производится выработка управляющего сигнала, воздействующего на объект управления с целью поддержания минимального отклонения выходной величины от требуемого значения. С помощью средства измерения — датчика — в зависимости от метода регулирования регулятор получает регулируемую величину и вырабатывает управляющее воздействие на объект управления при помощи преобразовательного или вычислительного устройства, которое зависит от метода регулирования. Основная масса регуляторов основана на принципе отрицательной обратной связи, которая должна компенсировать действующие на объект управления внешние возмущения и использовать установленный или заложенный в системе метод управления, намного меньше регуляторов, основанных на использовании прямой связи.
Выделяют линейные и нелинейные регуляторы по линейности закона управления. Регуляторы, реализованные на линейных операциях пропорциональности, интегрирования и дифференцирования над функцией рассогласования во времени, называются линейными.
В ходе перехода от аналогового к цифровому регулированию появляются дополнительные искажения и ошибки, связанные с временной задержкой при процессорной (последовательной, алгоритмической) обработке вычислений. Эти искажения и ошибки изменяются во времени, могут быть обусловлены внешними факторами цепи регулирования и существенно чувствительны к состояниям объекта регулирования. Поэтому для обеспечения качественного регулирования требуется текущая верификация функционирования аппаратных и программных средств цепей регулирования.

Весь текст будет доступен после покупки

Показать еще текст

отрывок из работы

1. ОБЗОРНО-АНАЛИТИЧЕСКАЯ ОЦЕНКА
1.1 Типовые схемы цифровых систем
В наиболее общем виде простейшая цифровая система автоматического регулирования выглядит так, как это представлено на рисунке 3.

Рисунок 3 – Функциональная схема цифровой системы регулирования
Под ЭВМ здесь понимается любая цифровая система, реализованная либо в виде управляющей мини-ЭВМ, либо на базе микропроцессора, либо даже на универсальной ЭВМ. Интерфейсом между ЭВМ и управляемым объектом, который, как правило, является аналоговым устройством, служат аналогоцифровой и цифроаналоговый преобразователи (АЦП и ЦАП). Делая акцент на связи с объектом, дадим эту схему более подробно, конкретизируя представление ЭВМ в виде микропроцессорной системы (МПС) с микропроцессором (МП) в основе (рисунок 4).
Поскольку входной и выходной сигнал объекта может быть вектором, то на рисунке 4 выделена совокупность исполнительных механизмов (ИМ), непосредственно воздействующих на объект, и датчиков (Д), измеряющих значения выходных переменных объекта. Для разнесения параллельно поступающей с датчиков информации во времени служит мультиплексор (М), а для обратной операции, т.е. распределения последовательно поступающей с ЦАП информации на соответствующие исполнительные механизмы, предназначен демультиплексор (ДМ).

Весь текст будет доступен после покупки

Показать еще текст

Список литературы

1) Aagard M.D., Jones R.B., Kaivola R., Kohatsu K.R., Seger C.-J.H. Formal Verification of Iterative Algorithms in Microprocessors, Proceedings of the 37th Conference on Design Automation, 2020.
2) Baresi L., Heckel R., Thone S., Varro D. Modeling and Validation of Service-oriented Architectures: Application vs. Style, Proceedings of the 9th European Software Engineering Conference, 2018.
3) bestnewcars.loan [Электронный ресурс] – Режим доступа: http://bestnewcars.loan.
4) Bhargavan K., Obradovic D., Gunter C.A. Formal Verification of Standards for Distance Vector Routing Protocols, Journal of the ACM, 49(4), July 2020.
5) Bourabai Research [Электронный ресурс] – Режим доступа: http://bourabai.ru/.
6) Chamillard A.T., Clarke L.A. Improving the Accuracy of Petri Net-based Analysis of Concurrent Programs, Proceedings of the International Symposium on Software Testing and Analysis, San Diego, 2019.
7) Huget M.-F., Wooldridge M. Model Checking for ACL Compliance Verification, Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems, 2018.
8) International Standard ISO/IEC 9126. Information Technology - Software Product Evaluation - Quality Characteristics and Guidelines for their Use. International Organization for Standardization, International Electrotechnical Commission, Geneva, 2019.

Весь текст будет доступен после покупки

Показать еще текст

Купить и скачать работу

Разработка программного средства моделирования процессов верификации

Почему студенты выбирают наш сервис?

Работаем круглосуточно

24 часа в сутки

7 дней в неделю

Гарантия

Возврат средств в случае проблем с купленной готовой работой

Мы лидеры

LeWork является лидером по количеству опубликованных материалов для студентов

не подошла эта работа?

В нашей базе 78761 курсовых работ – поможем найти подходящую

Ответы на часто задаваемые вопросы

Как оплатить заказ?

Чтобы оплатить заказ на сайте, необходимо сначала пополнить баланс на этой странице - https://lework.net/addbalance

На странице пополнения баланса у вас будет возможность выбрать способ оплаты - банковская карта, электронный кошелек или другой способ.

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

Если у вас возникли проблемы при пополнении баланса на сайте или остались вопросы по оплате заказа, напишите нам на support@lework.net. Мы обязательно вам поможем!

Есть ли услуга безопасной покупки, и какой срок гарантии?

Да, покупка готовой работы на сайте происходит через "безопасную сделку". Покупатель и Продавец финансово защищены от недобросовестных пользователей. Гарантийный срок составляет 7 дней со дня покупки готовой работы. В течение этого времени покупатель имеет право подать жалобу на странице готовой работы, если купленная работа не соответствует описанию на сайте. Рассмотрение жалобы занимает от 3 до 5 рабочих дней.

Что означает возможность снять с продажи готовую работу ?

У покупателя есть возможность снять готовую работу с продажи на сайте. Например, если необходимо скрыть страницу с работой от третьих лиц на определенный срок. Тариф можно выбрать на странице готовой работы после покупки.

Как вернуть средства за некачественную работу?

Гарантийный срок составляет 7 дней со дня покупки готовой работы. В течение этого времени покупатель имеет право подать жалобу на странице готовой работы, если купленная работа не соответствует описанию на сайте. Рассмотрение жалобы занимает от 3 до 5 рабочих дней. Если администрация сайта принимает решение о возврате денежных средств, то покупатель получает уведомление в личном кабинете и на электронную почту о возврате. Средства можно потратить на покупку другой готовой работы или вывести с сайта на банковскую карту. Вывод средств можно оформить в личном кабинете, заполнив соответствущую форму.

Как связаться со службой поддержки, если возникли вопросы?

Мы с радостью ответим на ваши вопросы по электронной почте support@lework.net