Издательство СО РАН

Издательство СО РАН

Адрес Издательства СО РАН: Россия, 630090, а/я 187
Новосибирск, Морской пр., 2

soran2.gif

Baner_Nauka_Sibiri.jpg


Яндекс.Метрика

Array
(
    [SESS_AUTH] => Array
        (
            [POLICY] => Array
                (
                    [SESSION_TIMEOUT] => 24
                    [SESSION_IP_MASK] => 0.0.0.0
                    [MAX_STORE_NUM] => 10
                    [STORE_IP_MASK] => 0.0.0.0
                    [STORE_TIMEOUT] => 525600
                    [CHECKWORD_TIMEOUT] => 525600
                    [PASSWORD_LENGTH] => 6
                    [PASSWORD_UPPERCASE] => N
                    [PASSWORD_LOWERCASE] => N
                    [PASSWORD_DIGITS] => N
                    [PASSWORD_PUNCTUATION] => N
                    [LOGIN_ATTEMPTS] => 0
                    [PASSWORD_REQUIREMENTS] => Пароль должен быть не менее 6 символов длиной.
                )

        )

    [SESS_IP] => 18.117.75.192
    [SESS_TIME] => 1719800242
    [BX_SESSION_SIGN] => 9b3eeb12a31176bf2731c6c072271eb6
    [fixed_session_id] => fc65e3bedea63b7195560632ecd51d70
    [UNIQUE_KEY] => f12c9c5f090bbbdc3544c22d7b96efcf
    [BX_LOGIN_NEED_CAPTCHA_LOGIN] => Array
        (
            [LOGIN] => 
            [POLICY_ATTEMPTS] => 0
        )

    [VOTE] => Array
        (
            [VOTES] => Array
                (
                )

        )

    [SESS_OPERATIONS] => Array
        (
        )

)

Поиск по журналу

Автометрия

2024 год, номер 2

СОБЫТИЙНО-ДИСКРЕТНЫЕ МОДЕЛИ УПРАВЛЕНИЯ ДВИЖЕНИЕМ

Ю.В. Шорников1,2, К.А. Тимофеев2
1Институт автоматики и электрометрии СО РАН, Новосибирск, Россия
shornikov@corp.nstu.ru
2Новосибирский государственный технический университет, Новосибирск, Россия
k.timofeev@corp.nstu.ru
Ключевые слова: компьютерное моделирование, событийно-дискретные модели, модельно-ориентированное проектирование, алгоритм управления, детерминированные конечные автоматы, диаграммы Харела
Страницы: 119-127

Аннотация

Решается задача управления транспортным движением с помощью модельно-ориентированного метода. Для разработки математической модели предложен автоматный формализм. В строгом соответствии с условиями задачи определены состояния детерминированного конечного автомата (ДКА) и предикаты направленных переходов. Для реализации ДКА выполнен переход к диаграмме Харела (statechart) - унифицированному математическому и программному обеспечению современных мировых инструментальных средств моделирования. Решение поставленной задачи доказано конструктивно таблицей состояний с соответствующей динамикой и вычислительными экспериментами выбранного сценария в передовых отечественных и зарубежных инструментальных средах моделирования обозначенного класса событийных систем. Вычислительные эксперименты показали полное совпадение с конструктивным анализом.

DOI: 10.15372/AUT20240214
EDN: LTWEUQ
Добавить в корзину
Товар добавлен в корзину