От рутин к теории в управлении организацией

Πηγή: Стратегическое планирование и развитие предприятий.

Θεματικοί όροι: теория организации, онтология, представление явных знаний, неявное знание, формальная модель, рутина

Модель экспертной системы поддержки принятия решения о методах реабилитации геологической среды, загрязненной нефтепродуктом

Θεματικοί όροι: экспертная система, формальная модель, реабилитация геологической среды, системы поддержки решений, загрязнение нефтепродуктами

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

Σύνδεσμος πρόσβασης: https://elib.belstu.by/handle/123456789/63909

Сравнение способов моделирования механизмов управления доступом ОС и СУБД на формализованном языке метода Event-B с целью их верификации инструментами Rodin и ProB

Πηγή: Прикладная дискретная математика. Приложение. 2022. № 15. С. 90-99

Θεματικοί όροι: формальная модель управления доступом, метод проверки моделей, дедуктивная верификация, верификация

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

Σύνδεσμος πρόσβασης: https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000899242

О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB

Πηγή: Прикладная дискретная математика. Приложение. 2021. № 14. С. 126-132

Θεματικοί όροι: Event-B, формальный метод, Astra Linux Special Edition, операционная система специального назначения, формальная модель управления доступом, требования доверия, верификация

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

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000719741

A TEFSM-based Framework for QoE Evaluation of OTT Services

Συγγραφείς: D. Rivera, N. Kushik, C. Fuenzalida, A. Cavalli, N. Yevtushenko

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

Θεματικοί όροι: качество сервиса (qos), качество удовлетворенности пользователя (qoe), качество бизнеса (qobiz), отт сервис, формальная модель, расширенный конечный автомат с таймаутами, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/858; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Σύνδεσμος πρόσβασης: https://doaj.org/article/ec39e667ccb747b9b85d2423dab9fb8b

Formal Representation of the Model of Realization of the Functions of System Engineering Based on the Principle of the Necessary Diversity of Structural Connections

Συγγραφείς: Kulikov, G.G., Antonov, V.V., Fakhrullina, A.R., Rodionova, L.E.

Πηγή: Bulletin of the South Ural State University. Ser. Computer Technologies, Automatic Control & Radioelectronics. 17:146-153

Θεματικοί όροι: УДК 004.4, обработка данных, теория категорий, structural analysis and synthesis, предметная область, category theory, subject area, структурный анализ и синтез, формальная модель, кадровый резерв, standards of system engineering, formal model, personnel reserve, стандарты системной инженерии, data processing, CALS

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

Σύνδεσμος πρόσβασης: https://vestnik.susu.ru/ctcr/article/download/6284/5816
https://vestnik.susu.ru/ctcr/article/download/8821/7384
https://vestnik.susu.ru/ctcr/article/view/6284
https://cyberleninka.ru/article/n/formalnoe-predstavlenie-modeli-realizatsii-funktsiy-sistemnoy-inzhenerii-na-osnove-printsipa-neobhodimogo-raznoobraziya-strukturnyh
http://dspace.susu.ru/xmlui/handle/0001.74/26728

Модель экспертной системы поддержки принятия решения о методах реабилитации геологической среды, загрязненной нефтепродуктом

Συγγραφείς: Бурмакова, Анастасия Владимировна

Θεματικοί όροι: формальная модель, экспертная система, системы поддержки решений, загрязнение нефтепродуктами, реабилитация геологической среды

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

Relation: https://elib.belstu.by/handle/123456789/63909; 665.7:502.51

Διαθεσιμότητα: https://elib.belstu.by/handle/123456789/63909
https://doi.org/10.52065/2520-6141-2024-278-10

Концепция формирования теоретических основ диагностирования и безмедикаментозной саморегуляции психоэмоциональных состояний личности. (Обзорно-постановочная статья)

Θεματικοί όροι: эмоциональная экспрессия, теории эмоций, theories of emotions, fundamental emotions, фундаментальные эмоции, формальная модель эмоций, emotional expression, formal model of emotions

Formal Representation of the Model of Realization of the Functions of System Engineering Based on the Principle of the Enough Diversity of Structural Connections ; Метод формального онтологического моделирования и реализации функций системной инженерии на основе принципа достаточного разнообразия структурных связей

Συγγραφείς: Антонов, Вячеслав Викторович, Бельтюков, Анатолий Петрович, Куликов, Григорий Геннадьевич, Родионова, Людмила Евгеньевна

Πηγή: Computer Technologies, Automatic Control, Radioelectronics; Том 19, № 4 (2019); 13-26 ; Компьютерные технологии, управление, радиоэлектроника; Том 19, № 4 (2019); 13-26 ; 2409-6571 ; 1991-976X

Θεματικοί όροι: cartesian closed category, formal model, chomsky hierarchy, software analytical complex, formal ontological model, system engineering, декартово замкнутая категория, формальная модель, иерархия Хомского, программный аналитический комплекс, формальная онтологическая модель, системная инженерия

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

Relation: https://vestnik.susu.ru/ctcr/article/view/8821/7384; https://vestnik.susu.ru/ctcr/article/downloadSuppFile/8821/1377; https://vestnik.susu.ru/ctcr/article/view/8821

Διαθεσιμότητα: https://vestnik.susu.ru/ctcr/article/view/8821
https://doi.org/10.14529/ctcr190402

Формальная модель проверки совместимости компонентов IoT-системы

Συγγραφείς: Tmenko, A.V., Timenko, A.V., Тименко, А.В., Şkarpilo, V.V., Shkarupylo, V.V., Шкарупило, В.В., Oleinik, A.A., Oliinyk, A.O., Олейник, А.А., Grușko, S.S., Hrushko, S.S., Грушко, С.С.

Πηγή: Problemele Energeticii Regionale 40 S (1-1) 69-78

Θεματικοί όροι: Internet of Things, Web service, formal model, specification, verification, composition, interoperability, consistency, Model checking, big data, Internet de lucruri, serviciu web, model formal, specificație, verificare, compoziţie, compatibilitate, consistenţă, verificare model, date mari, интернет вещей, веб-сервис, формальная модель, спецификация, верификация, композиция, совместимость, согласованность, проверка на модели, большие данные

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

Relation: https://ibn.idsi.md/vizualizare_articol/88404; urn:issn:18570070

Διαθεσιμότητα: https://ibn.idsi.md/vizualizare_articol/88404
https://doi.org/10.5281/zenodo.3239196

Формалізована модель оцінки гарантій інформаційної безпеки комплексної системи захисту інформації ; Формальная модель оценки гарантий информационной безопасности комплексной системы защиты информации ; Formalized model of assessment of information security guarantees of the integrated information security system

Συγγραφείς: Д.С. Комін, О.В. Чечуй, М.А. Левченко, О.С. Панхонін, В.А. Павловський, Д.С. Комин, А.В.Чечуй, O.С. Панхохин, В.А. Павловский, D. Komin, O. Chechui, M. Levchenko, A. Pankhokhin, V. Pavlovskyi

Πηγή: Системи озброєння і військова техніка. — 2018. — № 4(56). 92-99 ; Системы вооружения и военная техника. — 2018. — № 4(56). 92-99 ; Systems of Arms and Military Equipment. — 2018. — № 4(56). 92-99 ; 1997-9568

Θεματικοί όροι: Теоретичні основи розробки та експлуатації систем озброєння, УДК 629.735, комплексна система захисту інформації, інформаційно-телекомунікаційна система, інформаційна безпека, суб’єкт експертизи, об’єкт експертизи, формалізована модель, експерт, комплексная система защиты информации, информационно-телекоммуникационная система, информационная безопасность, субъект экспертизы, объект экспертизы, формальная модель, эксперт, integrated information security system, information and telecommunication system, information security subject of expertise object of expertise, formalized model, expert

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

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

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

SOFTWARE AGENTS IN E-LEARNING SYSTEMS ; ПРОГРАММНЫЕ АГЕНТЫ В СИСТЕМАХ ЭЛЕКТРОННОГО ОБУЧЕНИЯ ; ПРОГРАМНІ АГЕНТИ В СИСТЕМАХ ЕЛЕКТРОННОГО НАВЧАННЯ

Συγγραφείς: Шубін, Ігор Юрійович, Кириченко, Ірина Віталіївна

Πηγή: Bulletin of the National Technical University "KhPI". Series: Strategic management, portfolio, program and project management; No. 1(1277) (2018); 57-63 ; Вестник Национального технического университета "ХПИ". Серия: Стратегическое управление, управление портфелями, программами и проектами; № 1(1277) (2018); 57-63 ; Вісник Національного технічного університету «ХПІ». Серія: Стратегічне управління, управління портфелями, програмами та проектами; № 1(1277) (2018); 57-63 ; 2413-3000 ; 2311-4738

Θεματικοί όροι: agent, multi-agent system, e-learning, information technology, operational data processing, agents interaction, formal model, algorithm, dynamic system, агент, мультиагентная система, электронное обучение, информационная технология, оперативная обработка данных, взаимодействие агентов, формальная модель, алгоритм, динамическая система, мультиагентна система, електронне навчання, інформаційна технологія, оперативна обробка даних, взаємодія агентів, формальна модель, динамічна система

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

Relation: http://pm.khpi.edu.ua/article/view/2413-3000.2018.1277.9/119640

Διαθεσιμότητα: http://pm.khpi.edu.ua/article/view/2413-3000.2018.1277.9
https://doi.org/10.20998/2413-3000.2018.1277.9

A formal model and verification problems for software defined networks

Συγγραφείς: R. L. Smelyansky, Eugene V. Chemeritsky, Vladimir A. Zakharov

Πηγή: Моделирование и анализ информационных систем, Vol 20, Iss 6, Pp 36-51 (2013)

Θεματικοί όροι: 0211 other engineering and technologies, контроллер, packet, Information technology, 02 engineering and technology, T58.5-58.64, model checking, программно-конфигурируемая сеть, правило коммутации, specification, пакет, формальная модель, спецификация, 0202 electrical engineering, electronic engineering, information engineering, верификация моделей, forwarding rule, switch, controller, formal model, software defined network, коммутатор

Σύνδεσμος πρόσβασης: https://www.mais-journal.ru/jour/article/download/156/157
https://doaj.org/article/c9d04b35f3c04432b6f0f7f10dc81674
https://doaj.org/article/6c872a8460184cab9bd07f28bad2dfe2
https://publications.hse.ru/articles/161299000
https://dblp.uni-trier.de/db/journals/accs/accs48.html#ZakharovSC14
https://link.springer.com/article/10.3103/S0146411614070165
https://rd.springer.com/article/10.3103%2FS0146411614070165
https://publications.hse.ru/en/articles/161304177
https://www.mais-journal.ru/jour/article/view/156
https://www.mais-journal.ru/jour/article/download/156/157

A Formal Model and Verification Problems for Software Defined Networks

Συγγραφείς: V. A. Zakharov, R. L. Smelyansky, E. V. Chemeritsky

Πηγή: Моделирование и анализ информационных систем, Vol 20, Iss 6, Pp 36-51 (2013)

Θεματικοί όροι: программно-конфигурируемая сеть, коммутатор, контроллер, правило коммутации, пакет, формальная модель, спецификация, верификация моделей, Information technology, T58.5-58.64

Περιγραφή αρχείου: electronic resource

Relation: http://mais-journal.ru/jour/article/view/156; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

Σύνδεσμος πρόσβασης: https://doaj.org/article/c9d04b35f3c04432b6f0f7f10dc81674

SOFTWARE AGENTS IN E-LEARNING SYSTEMS

Πηγή: Bulletin of NTU "KhPI". Series: Strategic Management, Portfolio, Program and Project Management; № 1(1277) (2018); 57-63
Вестник НТУ "ХПИ". Серия: Стратегическое управление, управление портфелями, программами и проектами; № 1(1277) (2018); 57-63
Вісник НТУ «ХПІ». Серія: Стратегічне управління, управління портфелями, програмами та проектами; № 1(1277) (2018); 57-63

Θεματικοί όροι: агент, мультиагентна система, електронне навчання, інформаційна технологія, оперативна обробка даних, взаємодія агентів, формальна модель, динамічна система, мультиагентная система, электронное обучение, информационная технология, оперативная обработка данных, взаимодействие агентов, формальная модель, алгоритм, динамическая система, agent, multi-agent system, e-learning, information technology, operational data processing, agents interaction, formal model, algorithm, dynamic system

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

Σύνδεσμος πρόσβασης: http://pm.khpi.edu.ua/article/view/125148

MODELS OF QUALITATIVE ESTIMATION OF AIR TRAFFIC FLOWS AND CAPACITY IN TERMINAL CONTROL AREAS ; Модели количественной оценки потоков воздушного движения и пропускной способности в терминальных диспетчерских районах ; Моделі кількісної оцінки потоків повітряного руху та пропускної здатності в термінальних диспетчерських районах

Συγγραφείς: Kharchenko, Volodymyr, Chynchenko, Yuriy

Πηγή: Proceedings of National Aviation University; Vol. 69 No. 4 (2016); 7-13 ; Успехи авиакосмической техники; Том 69 № 4 (2016); 7-13 ; Вісник Національного авіаційного університету; Том 69 № 4 (2016); 7-13

Θεματικοί όροι: aeronautical system, air traffic flows models, air traffic flow and capacity management, air traffic services, safety of flights, terminal control area descriptive model, uncertainty factors, 656.7.052(045), аэронавигационная система, безопасность полетов, модели потоков воздушного движения, обслуживание воздушного движения, управление потоками воздушного движения и пропускной способностью, формальная модель терминального диспетчерского района, аеронавігаційна система, безпека польотів, моделі потоків повітряного руху, обслуговування повітряного руху, управління потоками повітряного руху та пропускною здатністю, фактори невизначеності, формальна модель термінального диспетчерського району

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

Relation: https://jrnl.nau.edu.ua/index.php/visnik/article/view/11048/14696; https://jrnl.nau.edu.ua/index.php/visnik/article/view/11048/14697; https://jrnl.nau.edu.ua/index.php/visnik/article/view/11048/14698; https://jrnl.nau.edu.ua/index.php/visnik/article/view/11048

Διαθεσιμότητα: https://jrnl.nau.edu.ua/index.php/visnik/article/view/11048
https://doi.org/10.18372/2306-1472.69.11048

Текстовые признаки электронных резюме

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

Θεματικοί όροι: ЭЛЕКТРОННЫЕ РЕЗЮМЕ,ТЕКСТ,ТЕКСТОВЫЕ ПРИЗНАКИ,ФОРМАЛЬНАЯ МОДЕЛЬ ТЕКСТА&SHY,DIGITAL RESUME,TEXT,TEXT PROPERTIES,FORMAL TEXT MODEL

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

Διαθεσιμότητα: http://cyberleninka.ru/article/n/tekstovye-priznaki-elektronnyh-rezyume
http://cyberleninka.ru/article_covers/16912395.png

О РЕЗУЛЬТАТАХ ФОРМИРОВАНИЯ ИЕРАРХИЧЕСКОГО ПРЕДСТАВЛЕНИЯ МРОСЛ ДП-МОДЕЛИ

Συγγραφείς: ДЕВЯНИН ПЕТР НИКОЛАЕВИЧ

Θεματικοί όροι: КОМПЬЮТЕРНАЯ БЕЗОПАСНОСТЬ,ФОРМАЛЬНАЯ МОДЕЛЬ,ИЕРАРХИЧЕСКОЕ ПРЕДСТАВЛЕНИЕ,LINUX,COMPUTER SECURITY,FORMAL MODEL,HIERARCHICAL DESCRIPTION

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

Διαθεσιμότητα: http://cyberleninka.ru/article/n/o-rezultatah-formirovaniya-ierarhicheskogo-predstavleniya-mrosl-dp-modeli
http://cyberleninka.ru/article_covers/16938534.png

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

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

Θεματικοί όροι: ERP-СИСТЕМА,УПРАВЛЕНИЕ ПРОИЗВОДСТВОМ,ИНТЕГРАЛЬНЫЙ КРИТЕРИЙ ЭФФЕКТИВНОСТИ,ИНДИКАТОР И ИЗМЕРИТЕЛЬ УРОВНЯ ОРГАНИЗАЦИИ УПРАВЛЕНИЯ,ФОРМАЛЬНАЯ МОДЕЛЬ,ИНТЕГРИРОВАННАЯ ОБРАБОТКА ИНФОРМАЦИИ,ERP SYSTEM,PRODUCTION MANAGEMENT,INTEGRATED CRITERION OF EFFICIENCY,INDICATOR AND MEASURING INSTRUMENT OF A LEVEL OF CONTROL MANAGEMENT,FORMAL MODEL,INTEGRATED INFORMATION PROCESSING

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

Διαθεσιμότητα: http://cyberleninka.ru/article/n/oborachivaemost-oborotnyh-proizvodstvennyh-sredstv-kak-klyuchevoy-indikator-i-izmeritel-urovnya-organizatsii-protsessov-upravleniya
http://cyberleninka.ru/article_covers/16484881.png

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

Συγγραφείς: ДЕВЯНИН ПЕТР НИКОЛАЕВИЧ

Θεματικοί όροι: КОМПЬЮТЕРНАЯ БЕЗОПАСНОСТЬ,COMPUTER SECURITY,ФОРМАЛЬНАЯ МОДЕЛЬ,FORMAL MODEL,ИНФОРМАЦИОННЫЙ ПОТОК,INFORMATION FLOW,LINUX

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

Διαθεσιμότητα: http://cyberleninka.ru/article/n/neobhodimye-usloviya-narusheniya-bezopasnosti-informatsionnyh-potokov-po-vremeni-v-ramkah-mrosl-dp-modeli
http://cyberleninka.ru/article_covers/16455310.png