Log in

Relevant bibliographies by topics / Формалізований опис

Contents

Journal articles
Dissertations / Theses

Academic literature on the topic 'Формалізований опис'

Author: Grafiati

Published: 28 May 2022

Last updated: 30 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Формалізований опис.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Формалізований опис"

1

Бондаренко, Тетяна, Андрій Ткаченко, Олександр Совік та Тетяна Побережець. "АНАЛІЗ ПОБУДОВИ МОДЕЛІ БЕЗВІДМОВНО СКЛАДНОГО ТЕХНІЧНОГО ОБ'ЄКТА". Young Scientist, № 12 (88) (30 грудня 2020): 223–25. http://dx.doi.org/10.32839/2304-5809/2020-12-88-45.

Full text

Abstract:

У статті наведено опис математичної моделі процесів витрачання та поповнення ресурсу (ПВПР) угрупування складних технічних об'єктів. На додаток до розглянутого авторами раніше опису моделі введено формалізований опис угрупування, який включає до себе безліч технічних об'єктів угрупування; нормативні параметри витрачання та поповнення ресурсу об'єктів і поточний стан угрупування. Стан угрупування значною мірою визначається станом ресурсу об’єктів, що входять до нього. Ресурс окремого об'єкта визначається трьома параметрами: власним ресурсом (залишкове напрацювання), залишковим терміном служби і

APA, Harvard, Vancouver, ISO, and other styles

2

Корченко, Олександр, та Олег Терейковський. "МОДЕЛЬ ПРОЦЕДУРИ РОЗПІЗНАВАННЯ ОСОБИ ЗА ЗОБРАЖЕННЯМ ОБЛИЧЧЯ ТА РАЙДУЖНОЮ ОБОЛОНКОЮ ОКА ПРИ БІОМЕТРИЧНІЙ АВТЕНТИФІКАЦІЇ ПЕРСОНАЛУ ОБ’ЄКТІВ КРИТИЧНОЇ ІНФРАСТРУКТУРИ З ЗАСТОСУВАННЯМ НЕЙРОМЕРЕЖЕВИХ ЗАСОБІВ". Ukrainian Information Security Research Journal 26, № 1 (2024): 157–70. http://dx.doi.org/10.18372/2410-7840.26.18839.

Full text

Abstract:

Виклики сьогодення визначають необхідність вдосконалення засобів біометричної автентифікації персоналу об’єктів критичної інфраструктури. Поширені засоби біометричної автентифікації, що як правило базуються на використанні нейромережевих технологій аналізу зображення обличчя, в багатьох випадках не достатньо адаптовані до умов розпізнавання під час виконання персоналом своїх функціональних обов’язків, що характеризуються впливом різноманітних завад при відеореєстрації та підвищенням ймовірності атак за допомогою муляжів. Ще один перспективний напрямок вдосконалення визначається доступністю суч

APA, Harvard, Vancouver, ISO, and other styles

3

Shylo, Serhii, Ihor Borozenets, Serhii Osiievskyi, Oleksii Nesmiian, Pavlo Open’ko та Oleh Uhrynovych. "Формалізований опис особи, що навчається в системі дистанційного навчання вищого військового навчального закладу". Journal of Scientific Papers "Social development and Security" 12, № 3 (2022): 30–38. http://dx.doi.org/10.33445/sds.2022.12.3.4.

Full text

Abstract:

Мета роботи: є розробка (удосконалення) моделі дистанційного навчання, що дозволить підвищити якість освітнього процесу ВВНЗ та досягти необхідних показників якості навчання з використанням системи дистанційного навчання. Дизайн/Метод/Підхід дослідження: для реалізації мети дослідження запропоновано модель, що враховує особисті інтелектуальні, морально-психологічні, розумові, лінгвістичні, моторні, психо-фізіологічні та інші властивості суб'єктів навчання, а також особливості подання навчального матеріалу на різних етапах навчання та за умов його неповноти і апріорної невизначеності.&#x0

APA, Harvard, Vancouver, ISO, and other styles

4

Селіванов, В. Л., та Гассан Абдель Жаліль Аль-Мріят. "Метод модулярного множення на постійне число для швидкої реалізації криптографії з відкритим ключем в ІоТ". Problems of Informatization and Management 3, № 79 (2024): 50–58. https://doi.org/10.18372/2073-4751.79.19371.

Full text

Abstract:

В статті запропоновано метод прискорення важливої для криптографічних застосувань операції модулярного множення на постійне число за рахунок використання передобчислень. Детально розроблено технологію формування таблиці передобчислень, що залежать від постійного множника і модуля. Наведено формалізований опис запропонованої процедури прискореного модулярного множення з застосуванням передобчислень. Виклад проілюстровано числовим прикладом. Теоретично доведено та експериментально підтверджено, що за рахунок використання передобчислень при виконанні модулярного множення на постійне число за запр

APA, Harvard, Vancouver, ISO, and other styles

5

Ткаченко, О. А. ,., та О. І. Ткаченко. "ДЕЯКІ АСПЕКТИ СИТУАЦІЙНО-СЕМАНТИЧНОГО МОДЕЛЮВАННЯ СКЛАДНИХ ОБ’ЄКТІВ, ПРОЦЕСІВ ТА СИСТЕМ". Vodnij transport, № 1(28) (4 квітня 2019): 145–50. http://dx.doi.org/10.33298/2226-8553.2019.1.28.23.

Full text

Abstract:

Розробка складних систем потребує попереднього моделювання їхніх управліньских, інформаційних та інших складових. Моделювання складних об’єктів, процесів та систем може ґрунтуватися на різних моделях, вибір яких обумовлюється поставленими задачами та предметною областю. Автори пропонують моделювання складних об’єктів, процесів та систем на основі багаторівневої моделі особливого класу семантичних мереж – ситуаційно-семантичних мереж, в яких ситуації обумовлюють не тільки опис моделі на будь-якому її рівні, а й перехід від одного рівня до іншого. Тому метою даної статті є дослідження семантични

APA, Harvard, Vancouver, ISO, and other styles

6

Пушкар, Олександр Іванович, та Євген Миколайович Грабовський. "МЕТОДИКА ТРАНСФОРМАЦІЇ ЗНАНЬ ДЛЯ СИСТЕМ ЕЛЕКТРОННОГО НАВЧАННЯ ФАХІВЦІВ В ГАЛУЗІ ВИДАВНИЦТВА". Information Technologies and Learning Tools 77, № 3 (2020): 186–204. http://dx.doi.org/10.33407/itlt.v77i3.2820.

Full text

Abstract:

У статті проаналізовано методологічні й організаційні аспекти створення та використання формалізованих і неформалізованих знань у процесі навчання на робочому місці. Розроблено методику трансформації знань для систем електронного навчання фахівців галузі видавництва. Цю методику апробовано у вигляді прототипу інформаційної системи автоматизованої перевірки трансформованих знань. Розроблена методика передбачає технологію перетворення неформалізованого знання у формалізоване знання в процесі навчання на робочому місці. Також у структурі методики пропонується автоматизована перевірка трансформова

APA, Harvard, Vancouver, ISO, and other styles

7

Aloshyn, S. "Реалізація розрахунку навчального навантаження в розрізі кількості студентів на навчальну дисципліну мовою SQL". COMPUTER-INTEGRATED TECHNOLOGIES: EDUCATION, SCIENCE, PRODUCTION, № 55 (16 червня 2024): 5–14. http://dx.doi.org/10.36910/6775-2524-0560-2024-55-01.

Full text

Abstract:

В роботі пропонується математична модель та її реалізація щодо розрахунку штатного розкладу для кафедр закладу вищої освіти, що заснована на обсязі навчального навантаження та на кількості здобувачів закладу освіти. В моделі враховується, що здобувачі розподілені по групах закладу, здобувають вищу освіту на певних рівнях, опанують освітні програми за обов’язковими та вибірковими компонентами. Наведено формалізований опис моделі для розрахунку звітного показника на підставі даних зі сховища інформаційної системи, що використовується в закладі. Приведені основні форми запитів мовою SQL для викон

APA, Harvard, Vancouver, ISO, and other styles

8

А., М. БЕЗНАРИТНИЙ, І. ГАВРИЛЮК В. та О. ГОЛОЛОБОВА О. "Аналіз сучасного стану пристроїв автоблокування, методів його обслуговування та контролю". Science and Transport Progress. Bulletin of Dnipropetrovsk National University of Railway Transport, № 1(49) (25 лютого 2014): 22–32. https://doi.org/10.15802/stp2014/22658.

Full text

Abstract:

<strong>Мета.</strong> Розробка формалізованого опису роботи системи числового кодового автоблокування на основі аналізу характерних відмов системи автоблокування та методики його технічного обслуговування. <strong>Методика.</strong> Для проведення досліджень було використано теоретико-аналітичний метод. <strong>Результати. </strong>Проаналізовано характерні відмови систем автоблокування, виявлено основні причини їх виникнення. Встановлено, що більшість відмов виникає через недосконалість системи технічного обслуговування. Проаналізовано переваги та недоліки існуючої т

APA, Harvard, Vancouver, ISO, and other styles

9

Didus, A., та I. Tereikovskyi. "Формалізація процесу розпізнавання ключових слів у голосовому сигналі". COMPUTER-INTEGRATED TECHNOLOGIES: EDUCATION, SCIENCE, PRODUCTION, № 55 (16 червня 2024): 78–86. http://dx.doi.org/10.36910/6775-2524-0560-2024-55-09.

Full text

Abstract:

У даній роботі було здійснено формалізацію процесу розпізнавання ключових слів у голосовому сигналі, що стало основою для розробки деталізованої концептуальної моделі. Запропонована модель надає комплексний і систематизований опис процесу створення ефективних засобів розпізнавання. Модель охоплює критичні компоненти такі як виділення ознак, методологію моделювання, стратегію навчання, процедури тестування, та механізми використання. Значна увага приділяється впровадженню передових методів глибокого навчання, включаючи нейронні мережі, марковські моделі та техніки аугментації даних, що сприяє п

APA, Harvard, Vancouver, ISO, and other styles

10

Ощипок, І. М. "ФОРМАЛІЗАЦІЯ ОПИСУ ХОДУ ФУНКЦІОНУВАННЯ РОБОТИЗОВАНИХ ДІЛЯНОК У ВИРОБНИЧИХ ПРОЦЕСАХ РЕСТОРАННОГО БІЗНЕСУ". Herald of Lviv University of Trade and Economics Technical sciences, № 27 (3 листопада 2021): 63–71. http://dx.doi.org/10.36477/2522-1221-2021-27-09.

Full text

Abstract:

У статті розглянуто роль роботів для сервісного застосування в ресторанному бізнесі. фактором використання роботів у галузі є зменшення діяльності людини та збільшення продуктив- ності праці; особливо актуальним це питання є в сучасній дійсності в умовах пандемії COVID-19. Робот у цьому сегменті розглядається як електромеханічна машина, яка працює разом із комп’ютером, що виконує різні функції. описано виробничу сферу закладу ресторанного господарства в контексті функ- ціонування гнучкої автоматизованої системи. розглянуто питання методології формалізації опису із застосуванням роботизованих к

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Формалізований опис"

1

Неня, Віктор Григорович, Виктор Григорьевич Неня, Viktor Hryhorovych Nenia, Вікторія Петрівна Захарченко, Виктория Петровна Захарченко та Viktoriia Petrivna Zakharchenko. "Формалізований опис процесу проектування насосів". Thesis, Сумський державний університет, 2014. http://essuir.sumdu.edu.ua/handle/123456789/39245.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!