Suchergebnisse - "скінченні автомати"

Identifying the efficiency of applying of finite automata in encryption and decryption

Autoren: Zhanat Saukhanova Altynbek Sharipbay Gulmira Shakhmetova et al.

Quelle: Eastern-European Journal of Enterprise Technologies; Vol. 3 No. 9 (135) (2025): Information and controlling system; 65-78
Eastern-European Journal of Enterprise Technologies; Том 3 № 9 (135) (2025): Інформаційно-керуючі системи; 65-78

Schlagwörter: криптографія з кінцевими автоматами, скінченні автомати, automata composition, statistical cryptanalysis, статистичний криптоаналіз, автомати мілі, finite automata, mealy automata, cryptography with finite automata, композиція автоматів

Dateibeschreibung: application/pdf

Zugangs-URL: https://journals.uran.ua/eejet/article/view/331044

METHODS AND MEANS OF APPLYING ONTOLOGICAL MODELS IN THE PROGRAM SYSTEMS LIFECYCLE OF FLIGHT CONTROL

Autoren: Igor Raichev Nataliia Denisenko

Quelle: Science-based technologies; Vol. 65 No. 1 (2025); 3-20
Наукоемкие технологии; Том 65 № 1 (2025); 3-20
Наукоємні технології; Том 65 № 1 (2025); 3-20

Schlagwörter: автоматні моделі, program quality requirements, software, concepts, criteria and constraints, вимоги до безпеки, iterpretation functions, finite automata, safety requirements, automated models, critical program systems, функції інтерпретації, скінченні автомати, концепти, онтологія, критерії та обмеження, критичні програмні системи, вимоги до якості програм, ontology, flight control, контроль польотів, задача прийняття рішення, програмне забезпеченя, decision-making task

Dateibeschreibung: application/pdf

Zugangs-URL: https://jrnl.nau.edu.ua/index.php/SBT/article/view/19923

МОДЕЛЮВАННЯ АДАПТИВНОЇ ПОВЕДІНКИ РОЮ БЕЗПІЛОТНИХ ЛІТАЛЬНИХ АПАРАТІВ В АНТАГОНІСТИЧНОМУ СЕРЕДОВИЩІ

Quelle: Наука і техніка Повітряних Сил Збройних Сил України, Iss 4(57) (2025)

Schlagwörter: Military Science, автономне управління, антагоністичне середовище, безпілотні літальні апарати, дерева поведінки, машинне навчання, рій безпілотних літальних апаратів, скінченні автомати

Zugangs-URL: https://doaj.org/article/5d87c94339e34c7fb2637b22ef4e522b

SELECTION AND COMPARATIVE ANALYSIS OF MODELING METHODS FOR A LIQUID DOSING TEST BENCH

Quelle: Energy saving. Power engineering. Energy audit.; No. 7 (210) (2025): Energy saving. Power engineering. Energy audit; 3-21
Энергосбережение. Энергетика. Энергоаудит.; № 7 (210) (2025): Енергозбереження. Енергетика. Енергоаудит; 3-21
Загальнодержавний науково-виробничий та інформаційний журнал «Енергозбереження. Енергетика. Енергоаудит»; № 7 (210) (2025): Енергозбереження. Енергетика. Енергоаудит; 3-21

Schlagwörter: BPMN/SFC, mathematical modelling method, finite state machines, дискретні динамічні системи, PLC/SCADA, Petri nets, паралелізм процесів, gravimetric liquid dosing, discrete-event systems, discrete dynamic systems, мережі Петрі, скінченні автомати, timed/colored Petri nets, process parallelism, PLC/SCADA integration, DEVS, formal verification, методи математичного моделювання, дозування рідин за вагою, формальна верифікація

Dateibeschreibung: application/pdf

Zugangs-URL: http://eee.khpi.edu.ua/article/view/338715

SELECTION AND COMPARATIVE ANALYSIS OF MODELING METHODS FOR A LIQUID DOSING TEST BENCH

Quelle: Energy saving. Power engineering. Energy audit.; No. 7 (210) (2025): Energy saving. Power engineering. Energy audit; 3-21
Энергосбережение. Энергетика. Энергоаудит.; № 7 (210) (2025): Енергозбереження. Енергетика. Енергоаудит; 3-21
Загальнодержавний науково-виробничий та інформаційний журнал «Енергозбереження. Енергетика. Енергоаудит»; № 7 (210) (2025): Енергозбереження. Енергетика. Енергоаудит; 3-21

Schlagwörter: BPMN/SFC, mathematical modelling method, finite state machines, дискретні динамічні системи, PLC/SCADA, Petri nets, паралелізм процесів, gravimetric liquid dosing, discrete-event systems, discrete dynamic systems, мережі Петрі, скінченні автомати, timed/colored Petri nets, process parallelism, PLC/SCADA integration, DEVS, formal verification, методи математичного моделювання, дозування рідин за вагою, формальна верифікація

Dateibeschreibung: application/pdf

Zugangs-URL: http://eee.khpi.edu.ua/article/view/338715

Identifying the efficiency of applying of finite automata in encryption and decryption

Autoren: Saukhanova, Zhanat Sharipbay, Altynbek Shakhmetova, Gulmira et al.

Quelle: Eastern-European Journal of Enterprise Technologies; Vol. 3 No. 9 (135) (2025): Information and controlling system; 65-78
Eastern-European Journal of Enterprise Technologies; Том 3 № 9 (135) (2025): Інформаційно-керуючі системи; 65-78

Schlagwörter: криптографія з кінцевими автоматами, скінченні автомати, automata composition, statistical cryptanalysis, статистичний криптоаналіз, автомати мілі, finite automata, mealy automata, cryptography with finite automata, композиція автоматів

Dateibeschreibung: application/pdf

Zugangs-URL: https://journals.uran.ua/eejet/article/view/331044

Формальні мови, граматики та автомати

Autoren: Гавриленко, Світлана Юріївна

Schlagwörter: навчальний посібник, порожня мова, синтаксичний розбір, ліве виведення, праве виведення, форма Наура-Бекуса, синтаксичні діаграми, скінченні автомати, спадні розпізнавачі, висхідні LR(k)-розпізнавачі, граматики передування

Dateibeschreibung: application/pdf

Relation: Гавриленко С. Ю. Формальні мови, граматики та автомати [Електронний ресурс] : навч. посібник / С. Ю. Гавриленко; Нац. техн. ун-т "Харків. політехн. ін-т". – Електрон. текст. дані. – Харків, 2021. – 133 с. – URI: http://repository.kpi.kharkov.ua/handle/KhPI-Press/52125; http://repository.kpi.kharkov.ua/handle/KhPI-Press/52125

Verfügbarkeit: http://repository.kpi.kharkov.ua/handle/KhPI-Press/52125

Формальні мови, граматики та автомати

Schlagwörter: скінченні автомати, порожня мова, ліве виведення, синтаксичні діаграми, спадні розпізнавачі, висхідні LR(k)-розпізнавачі, синтаксичний розбір, праве виведення, граматики передування, навчальний посібник, форма Наура-Бекуса

Dateibeschreibung: application/pdf

Zugangs-URL: http://repository.kpi.kharkov.ua/handle/KhPI-Press/52125

Дослідження методів аналізу скінченних темпоральних автоматів

Autoren: Горбенко, В. М.

Schlagwörter: скінченний автомат, тестування скінченних автоматів, конформність, часові скінченні автомати

Dateibeschreibung: application/pdf

Relation: https://openarchive.nure.ua/handle/document/20893

Verfügbarkeit: https://openarchive.nure.ua/handle/document/20893

Синтез та моделювання автомату Мілі

Autoren: Грищук, Ілля Ігорович

Schlagwörter: 123 Комп’ютерна інженерія, схема електрична принципова автомату Мілі, схема електрична функціональна автомату Мілі, проектування схеми автомату Мілі в середовищі Quartus II, автомат Мілі, синтез автомату Мілі, мінімізація автомату Мілі, скінченні автомати

Dateibeschreibung: application/pdf

Relation: Грищук І. І. Синтез та моделювання автомату Мілі : кваліфікаційна робота бакалавра : 123 Комп’ютерна інженерія / І. І. Грищук; Хмельниц. нац. ун-т. – Хмельницький, 2021. – 70 с.; http://elar.khmnu.edu.ua/jspui/handle/123456789/10310

Verfügbarkeit: http://elar.khmnu.edu.ua/jspui/handle/123456789/10310

Розробка підсистеми ігрового штучного інтелекту

Autoren: Велігурський, Олександр Глибовець, Андрій

Weitere Verfasser: Велігурський, Олександр Глибовець, Андрій

Schlagwörter: Алгоритми ігрового штучного інтелекту, Прийняття рішень, скінченні автомати, магістерська робота

Dateibeschreibung: application/pdf

Relation: https://ekmair.ukma.edu.ua/handle/123456789/18245

Verfügbarkeit: https://ekmair.ukma.edu.ua/handle/123456789/18245

Розробка алгоритму апроксимації завдання траєкторії руху колісного мобільного робота в динамічному середовищі

Autoren: Череділін, М. В.

Schlagwörter: аналізатор, апроксимація, регулятор, скінченні автомати

Dateibeschreibung: application/msword

Relation: http://openarchive.nure.ua/handle/document/10771

Verfügbarkeit: http://openarchive.nure.ua/handle/document/10771