Development of scenario modeling of conflict tools in a security system based on formal grammars

Συγγραφείς: Oleksandr Milov, Serhii Yevseiev, Andrii Vlasov, Sergey Herasimov, Oleh Dmitriiev, Maksym Kasianenko, Hennady Pievtsov, Yevhen Peleshok, Yuliia Tkach, Serhii Faraon

Πηγή: Східно-Європейський журнал передових технологій; Том 6, № 9 (102) (2019): Інформаційно-керуючі системи; 53-64
Восточно-Европейский журнал передовых технологий; Том 6, № 9 (102) (2019): Информационно-управляющие системы; 53-64
Eastern-European Journal of Enterprise Technologies; Том 6, № 9 (102) (2019): Information and controlling system; 53-64

Θεματικοί όροι: сценарное моделирование, система безопасности, формальная грамматика, контекстно-свободная грамматика, Бэкуса-Наура форма, scenario modeling, security system, formal grammar, context-free grammar, Backus-Naura form, сценарне моделювання, система безпеки, формальна граматика, контекстно-вільна граматика, Бекуса-Наура форма, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, UDC 681.32:007.5

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://journals.uran.ua/eejet/article/download/184274/189964
https://www.neliti.com/publications/308399/development-of-scenario-modeling-of-conflict-tools-in-a-security-system-based-on
http://journals.uran.ua/eejet/article/download/184274/189964
http://journals.uran.ua/eejet/article/view/184274
http://journals.uran.ua/eejet/article/view/184274

Certified Grammar Transformation to Chomsky Normal Form in F*

Συγγραφείς: POLUBELOVA M.I., BOZHKO S.N., GRIGOREV S.V.

Πηγή: Труды Института системного программирования РАН, Vol 28, Iss 2, Pp 127-138 (2018)

Θεματικοί όροι: сертификационное программирование, Electronic computers. Computer science, контекстно-свободная грамматика, преобразование грамматики, нормальная форма хомского, dependent type, f, СЕРТИФИКАЦИОННОЕ ПРОГРАММИРОВАНИЕ,F*,ВЕРИФИКАЦИЯ ПРОГРАММ,КОНТЕКСТНО-СВОБОДНАЯ ГРАММАТИКА,НОРМАЛЬНАЯ ФОРМА ХОМСКОГО,ПРЕОБРАЗОВАНИЕ ГРАММАТИКИ,CERTIFIED PROGRAMMING,PROGRAM VERIFICATION,CONTEXT-FREE GRAMMAR,CHOMSKY NORMAL FORM,GRAMMAR TRANSFORMATION,DEPENDENT TYPE,REFINEMENT TYPE, QA75.5-76.95, верификация программ, refinement type

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://ispras.ru/proceedings/docs/2016/28/2/isp_28_2016_2_127.pdf
https://doaj.org/article/19d881e5fb4e4087b7436dd483a85a8f
https://ispranproceedings.elpub.ru/jour/article/view/64
https://cyberleninka.ru/article/n/certified-grammar-transformation-to-chomsky-normal-form-in-f
https://www.ispras.ru/en/proceedings/isp_28_2016_2/isp_28_2016_2_127/
http://cyberleninka.ru/article_covers/16873670.png
http://cyberleninka.ru/article/n/certified-grammar-transformation-to-chomsky-normal-form-in-f

Алгоритмы и программное обеспечение извлечения значимых предикторов из электронных медицинских записей

Συγγραφείς: Котюбеев, Роман Радиевич

Συνεισφορές: Аксёнов, Сергей Владимирович

Θεματικοί όροι: медицинские тексты, извлечение информации, первичный осмотр, парсер Yargy, контекстно-свободная грамматика, веб-сервис, medical texts, information extraction, electronic health record, Yargy parser, context-free grammar, web application, 09.04.04, 004.421:004.415.2:61

Περιγραφή αρχείου: application/pdf

Relation: Котюбеев Р. Р. Алгоритмы и программное обеспечение извлечения значимых предикторов из электронных медицинских записей : магистерская диссертация / Р. Р. Котюбеев; Национальный исследовательский Томский политехнический университет (ТПУ), Инженерная школа информационных технологий и робототехники (ИШИТР), Отделение информационных технологий (ОИТ); науч. рук. С. В. Аксёнов. — Томск, 2021.; http://earchive.tpu.ru/handle/11683/67462

Διαθεσιμότητα: http://earchive.tpu.ru/handle/11683/67462

Применение генетических алгоритмов в задачах аппроксимации сложных многомерных зависимостей и идентификации параметров теоретических моделей ; Application of Genetic Algorithms in the Problems of Approximation of Complex Multidimensional Dependences and Identification of the Parameters of Theoretical Models

Συγγραφείς: Глухов, Д. О., Глухова, Т. М., Лукьянов, А. О.

Θεματικοί όροι: Государственный рубрикатор НТИ - ВИНИТИ::ТЕХНИЧЕСКИЕ И ПРИКЛАДНЫЕ НАУКИ. ОТРАСЛИ ЭКОНОМИКИ::Автоматика. Вычислительная техника, Генетические алгоритмы, Популяция, Мутация, Аппроксимация, Контекстно-свободная грамматика, Нечеткая логика, Genetic algorithms, Population, Mutation, Approximation, Context-free grammar, Fuzzy logic

Relation: Веснік Полацкага дзяржаўнага ўніверсітэта. Серыя C, Фундаментальныя навукі; Herald of Polotsk State University. Series C, Fundamental sciences; Вестник Полоцкого государственного университета. Серия C, Фундаментальные науки; Серия C, Фундаментальные науки;2019. - № 12; https://elib.psu.by/handle/123456789/24183; 681.3

Διαθεσιμότητα: https://elib.psu.by/handle/123456789/24183

Теоретические основы, используемые для построения инструментов анализа языков программирования на примере языка Perl

Συγγραφείς: Вендин Александр Сергеевич, Aleksandr S. Vendin

Πηγή: Scientific studies: theory, methodology and practice; № 1; 281-283 ; Научные исследования: теория, методика и практика; № 1; 281-283

Θεματικοί όροι: синтаксический анализ, формальная грамматика, формальный язык, контекстно-свободная грамматика, formal language, formal grammar, context-free grammar, syntax analysis

Περιγραφή αρχείου: text/html

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-5-9500297-4-5; https://interactive-plus.ru/e-articles/410/Action410-461402.pdf; 1. Транслятор [Электронный ресурс]. – Режим доступа: https://ru.wikipedia.org/wiki/Транслятор; 2. Формальный язык [Электронный ресурс]. – Режим доступа: https://ru.wikipedia.org/wiki/Формальный_язык; 3. Формальная грамматика [Электронный ресурс]. – Режим доступа: https://ru.wikipedia.org/wiki/Формальная_грамматика; 4. Контекстно-свободная грамматика [Электронный ресурс]. – Режим доступа: https://ru.wikipedia.org/wiki/Контекстно-свободная грамматика.; 5. Альфред В. Ахо, Моника С. Лам, Рави Сети, Джеффри Д. Ульман. Компиляторы: принципы, технологии и инструментарий: Пер. англ. – 2-е изд. – М.: И.Д. Вильямс, 2008. – 1184 с.; 6. Синтаксический анализ [Электронный ресурс]. – Режим доступа: https://ru.wikipedia.org/wiki/Синтаксический_анализ; 7. ANTLR (генератор синтаксических анализаторов) [Электронный ресурс]. – Режим доступа: http://www.antlr.org/; 8. ANTLR (генератор синтаксических анализаторов) [Электронный ресурс]. – Режим доступа: https://ru.wikipedia.org/wiki/ANTLR

Διαθεσιμότητα: https://interactive-plus.ru/files/Books/Cover-410.jpg?req=461402
https://interactive-plus.ru/article/461402/discussion_platform

Метод визначення граматики проблемно-орієнтованої мови діаграм ; Метод определения грамматики проблемно-ориентированного языка диаграмм ; Domain-specific diagram language grammar definition method

Συγγραφείς: Н.Г. Кеберле, Д.В. Чесановський, N.G. Keberle, D.V. Chesanovsky

Πηγή: Системи обробки інформації. — 2014. — № 5(121). 112-116 ; Системы обработки информации. — 2014. — № 5(121). 112-116 ; Information Processing Systems. — 2014. — № 5(121). 112-116 ; 1681-7710

Θεματικοί όροι: Обробка інформації в складних організаційних системах, УДК 004.4’273 : 004.43 : 81’32, діаграма, проблемно-орієнтована мова діаграм, контекстно-вільна граматика, синтаксичний аналізатор, диаграмма, проблемно-ориентированный язык диаграмм, контекстно-свободная грамматика, синтаксический анализатор, diagram, domain-specific diagram language, context-free grammar, syntax analyzer

Περιγραφή αρχείου: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/11711/soi_2014_5_29.pdf; http://www.hups.mil.gov.ua/periodic-app/article/11711

Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/11711

МЕТОД РЕГУЛЯРИЗАЦИИ ГРАММАТИК В СИСТЕМАХ ПОСТРОЕНИЯ ЯЗЫКОВЫХ ПРОЦЕССОРОВ

Συγγραφείς: ФЕДОРЧЕНКО ЛЮДМИЛА НИКОЛАЕВНА

Θεματικοί όροι: КОНТЕКСТНО-СВОБОДНАЯ ГРАММАТИКА,CONTEXT-FREE GRAMMAR,ЭКВИВАЛЕНТНОЕ ПРЕОБРАЗОВАНИЕ ГРАММАТИКИ,EQUIVALENT TRANSFORMATIONS OF GRAMMARS

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/metod-regulyarizatsii-grammatik-v-sistemah-postroeniya-yazykovyh-protsessorov
http://cyberleninka.ru/article_covers/16469686.png

ФОРМАЛЬНЫЕ ЯЗЫКИ И АВТОМАТЫ VI:ω АЛГЕБРАИЧЕСКИЕ СИСТЕМЫ И ТРАНСДУКТОРЫ

Συγγραφείς: Алешников, С., Болтнев, Ю., Език, З., Ишанов, С., Куих, В.

Θεματικοί όροι: ФОРМАЛЬНЫЙ ЯЗЫК,АВТОМАТ,ПОЛУКОЛЬЦО,ФОРМАЛЬНЫЙ СТЕПЕННОЙ РЯД,МАТРИЦА,НЕПОДВИЖНАЯ ТОЧКА,Ω-АЛГЕБРАИЧЕСКАЯ СИСТЕМА,Ω-АЛГЕБРАИЧЕСКИЕ СТЕПЕННЫЕ РЯДЫ,Ω-КОНТЕКСТНО-СВОБОДНАЯ ГРАММАТИКА,Ω-КОНТЕКСТНО-СВОБОДНЫЙ ЯЗЫК,ТРАНСДУКТОР,РАЦИОНАЛЬНЫЙ ТРАНСДУКТОР,АЛГЕБРАИЧЕСКИЙ ТРАНСДУКТОР,ТРАНСДУКЦИЯ НАД ПАРОЙ ПОЛУКОЛЬЦО СО ЗВЕЗДОЙ ОМЕГА-ПОЛУМОДУЛЬ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/formalnye-yazyki-i-avtomaty-vi-algebraicheskie-sistemy-i-transduktory
http://cyberleninka.ru/article_covers/7232358.png

Генерація сценаріїв подій з використанням формальних граматик

Συγγραφείς: Fisun, Mykola T., Yablonska, Kateryna Yu., Shunevych, Oleh B.

Πηγή: Збірник наукових праць НУК; № 3 (2013): Збірник наукових праць НУК
Сборник научных трудов НУК; № 3 (2013): Сборник научных трудов НУК
Collection of Scientific Publications NUS; № 3 (2013): Collection of Scientific Publications of NUS

Θεματικοί όροι: сценарний аналіз, формальні граматики, контекстно-вільна граматика, проблемно-орієнтована мова опису сценаріїв, вітрова електростанція, scenario analysis, formal grammars, context-free grammar, problem-oriented language of scenario's description, wind power station, 7. Clean energy, сценарный анализ, формальные грамматики, контекстно-свободная грамматика, проблемно-ориентированный язык описания сценариев, ветровая электростанция

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://jnn.nuos.edu.ua/article/view/23196

Метод регуляризации грамматик в системах построения языковых процессоров

Πηγή: Известия высших учебных заведений. Приборостроение.

Θεματικοί όροι: КОНТЕКСТНО-СВОБОДНАЯ ГРАММАТИКА,CONTEXT-FREE GRAMMAR,ЭКВИВАЛЕНТНОЕ ПРЕОБРАЗОВАНИЕ ГРАММАТИКИ,EQUIVALENT TRANSFORMATIONS OF GRAMMARS

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/metod-regulyarizatsii-grammatik-v-sistemah-postroeniya-yazykovyh-protsessorov
http://cyberleninka.ru/article_covers/16469686.png

ФОРМАЛЬНЫЕ ЯЗЫКИ И АВТОМАТЫ VI:ω АЛГЕБРАИЧЕСКИЕ СИСТЕМЫ И ТРАНСДУКТОРЫ

Πηγή: Вестник Балтийского федерального университета им. И. Канта. Серия: Физико-математические и технические науки.

Θεματικοί όροι: ФОРМАЛЬНЫЙ ЯЗЫК,АВТОМАТ,ПОЛУКОЛЬЦО,ФОРМАЛЬНЫЙ СТЕПЕННОЙ РЯД,МАТРИЦА,НЕПОДВИЖНАЯ ТОЧКА,Ω-АЛГЕБРАИЧЕСКАЯ СИСТЕМА,Ω-АЛГЕБРАИЧЕСКИЕ СТЕПЕННЫЕ РЯДЫ,Ω-КОНТЕКСТНО-СВОБОДНАЯ ГРАММАТИКА,Ω-КОНТЕКСТНО-СВОБОДНЫЙ ЯЗЫК,ТРАНСДУКТОР,РАЦИОНАЛЬНЫЙ ТРАНСДУКТОР,АЛГЕБРАИЧЕСКИЙ ТРАНСДУКТОР,ТРАНСДУКЦИЯ НАД ПАРОЙ ПОЛУКОЛЬЦО СО ЗВЕЗДОЙ ОМЕГА-ПОЛУМОДУЛЬ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/7232358.png
http://cyberleninka.ru/article/n/formalnye-yazyki-i-avtomaty-vi-algebraicheskie-sistemy-i-transduktory

Optimisation of the context-free language reachability matrix-based algorithm ; Оптимизация алгоритма контекстно-свободной достижимости, основанного на операциях линейной алгебры

Συγγραφείς: Муравьев Илья Владимирович, Muravev Ila Vladimirovic

Συνεισφορές: Шеметова Екатерина Николаевна, Semetova Ekaterina Nikolaevna, Григорьев Семен Вячеславович, Grigorev Semen Vaceslavovic

Θεματικοί όροι: контекстно-свободная достижимость, поиск путей с контекстно-свободными ограничениями, контекстно-свободная грамматика, достижимость с ограничениями, анализ графов, разреженные матрицы, статический анализ кода, графовые базы данных, context-free language reachability, context-free path querying, context-free grammar, constrained reachability, GraphBLAS, CFPQ, graph analysis, sparse matrices, static code analysis, graph databases

Relation: 086862; http://hdl.handle.net/11701/46282

Διαθεσιμότητα: http://hdl.handle.net/11701/46282

Теоретические основы, используемые для построения инструментов анализа языков программирования на примере языка Perl

Συγγραφείς: Aleksandr S. Vendin, Tikhonov Moscow Institute of Electronics and Mathematics of FSBEI of HE \\'National Research University \\'High School of Economics\\'

Πηγή: Scientific studies: theory, methodology and practice; № 1; 281-283
Научные исследования: теория, методика и практика; № 1; 281-283

Θεματικοί όροι: context-free grammar, syntax analysis, формальный язык, контекстно-свободная грамматика, formal language, formal grammar, синтаксический анализ, формальная грамматика

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: https://interactive-plus.ru/files/Books/Cover-410.jpg?req=461402
https://interactive-plus.ru/article/461402/discussion_platform

Automatic extraction and classification of constructions from syntactically annotated corpus (with regard to disambiguation) ; Автоматическое выделение и классификация конструкций на основе синтаксически размеченного корпуса (в задаче снятия неоднозначности)

Συγγραφείς: Бамбурова Ольга Александровна, Bamburova Olga

Συνεισφορές: Копотев Михаил, Хохлова Мария Владимировна, Khokhlova Mariia Vlаdimirovnа

Θεματικοί όροι: автоматическое извлечение, корпусы текстов, контекстно-свободная грамматика, automatic extraction, text corpora, context-free grammar

Relation: 058661; http://hdl.handle.net/11701/12884

Διαθεσιμότητα: http://hdl.handle.net/11701/12884

Support of extended context-free grammars in Generalised LL parsing algorithm ; Поддержка расширенных контекстно-свободных грамматик в алгоритме синтаксического анализа Generalised LL

Συγγραφείς: Горохов Артем Владимирович, Gorokhov Artem

Συνεισφορές: Авдюхин Дмитрий Алексеевич, Григорьев Семен Вячеславович, Grigorev Semen Viacheslаvovich

Θεματικοί όροι: Синтаксический анализ, Обобщённый синтаксический анализ, Расширенная контекстно-свободная грамматика, Generalised LL, SPPF, EBNF, ECFG, RRPG, Рекурсивный автомат, Parsing, Generalized Parsing, Extended Context-Free Grammar, GLL, Recursive Automata

Relation: 030552; http://hdl.handle.net/11701/10693

Διαθεσιμότητα: http://hdl.handle.net/11701/10693

Учебно-методический комплекс дисциплины 'Лингвистические основы информатики'

Συγγραφείς: Замятин, А. П.

Θεματικοί όροι: ИНФОРМАТИКА, ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ, КОМПЬЮТЕРНАЯ БЕЗОПАСНОСТЬ, ЯЗЫК, КОНЕЧНЫЙ АВТОМАТ, АВТОМАТ С МАГАЗИННОЙ ПАМЯТЬЮ, КОНТЕКСТНО-СВОБОДНАЯ ГРАММАТИКА, АТРИБУТНАЯ ГРАММАТИКА, УЧЕБНО-МЕТОДИЧЕСКИЕ ПОСОБИЯ ДЛЯ ВУЗОВ

Περιγραφή αρχείου: 152654 bytes; application/pdf

Relation: http://elar.urfu.ru/handle/10995/1363

Διαθεσιμότητα: http://elar.urfu.ru/handle/10995/1363

Автоматизированная система построения графа состояний автоматного языка по контекстно-свободной грамматике

Συγγραφείς: Афонина В. А., Литвинов В. Г., Соловьева Я. В., Министерство науки и высшего образования Российской Федерации, Самарский национальный исследовательский университет им. С. П. Королева (Самарский университет)

Θεματικοί όροι: 50.05.09, 004.43

Θέμα γεωγραφικό: автоматный язык, конечный автомат, контекстно-свободная грамматика, теория графов, теория формальных языков и грамматик

Relation: RU\НТБ СГАУ\ВКР20221017144516

Διαθεσιμότητα: http://repo.ssau.ru/handle/Vypusknye-kvalifikacionnye-raboty/Avtomatizirovannaya-sistema-postroeniya-grafa-sostoyanii-avtomatnogo-yazyka-po-kontekstnosvobodnoi-grammatike-99830

Метод визначення граматики проблемно-орієнтованої мови діаграм

Additional Titles: Метод определения грамматики проблемно-ориентированного языка диаграмм
Domain-specific diagram language grammar definition method

Συγγραφείς: Н.Г. Кеберле, Д.В. Чесановський, N.G. Keberle, D.V. Chesanovsky

Πηγή: Системи обробки інформації. — 2014. — № 5(121). 112-116; Системы обработки информации. — 2014. — № 5(121). 112-116; Information Processing Systems. — 2014. — № 5(121). 112-116; 1681-7710

Όροι ευρετηρίου: Обробка інформації в складних організаційних системах, УДК 004.4’273 : 004.43 : 81’32, діаграма, проблемно-орієнтована мова діаграм, контекстно-вільна граматика, синтаксичний аналізатор, диаграмма, проблемно-ориентированный язык диаграмм, контекстно-свободная грамматика, синтаксический анализатор, diagram, domain-specific diagram language, context-free grammar, syntax analyzer, info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, Рецензована стаття

Σύνδεσμος: http://www.hups.mil.gov.ua/periodic-app/article/11711
http://www.hups.mil.gov.ua/periodic-app/article/11711/soi_2014_5_29.pdf
http://www.hups.mil.gov.ua/periodic-app/article/11711/soi_2014_5_29.pdf