Засоби автоматизованого формулювання умов працездатності складних технічних систем
Розробка алгоритмів та програмного забезпечення для автоматизованого формулювання умов працездатності складних технічних систем. Програмне забезпечення візуалізації структурних схем надійності та автоматизованого формулювання умов працездатності систем.
Подобные документы
Основи теорії моделювання та базові принципи моделювання складних технічних та економічних систем. Характеристика моделей систем масового обслуговування, мережі Петрі і програмних генераторів випадкових величин і процесів. Шляхи імітаційного моделювання.
учебное пособие, добавлен 12.06.2011Розробка засобів для створення інтелектуальних компонентів систем дистанційної освіти. Створення діалогової процедури автоматизованого набуття знань від експерта та методу автоматичного генерування співвідношень питання-відповідь для контролю знань учня.
автореферат, добавлен 29.08.2014Призначення систем автоматизованого проектування. Напрями застосування інформаційних систем в наукових дослідженнях. Використання електронних таблиць. Принципи функціонування растрових і векторних графічних редакторів. Системи керування базами даних.
реферат, добавлен 30.08.2009Розгляд процесів, які відбуваються в інформаційній системі. З'ясування елементів апаратної складової інформатичних систем. Принцип дії пристроїв введення інформації. Класифікація програмного забезпечення. Визначення основних функцій системних програм.
презентация, добавлен 24.10.2019Алгоритм формування оптимальних множин елементів, які беруть участь в процесі моделювання відмов та відновлень складних технічних об'єктів. Методика прогнозування надійності складного технічного об'єкта на стадії його проектування або модернізації.
статья, добавлен 23.09.2020Мета, задачі та принципи створення інформаційних систем. Структура проектної документації. Методи і засоби організації збирання та обробки матеріалів обстеження об’єкта. Основні поняття автоматизованого робочого місця. Види інформаційних масивів.
учебное пособие, добавлен 18.11.2014- 57. Проектування тестів для послiдовносних функціональних схем, що реалізованi у програмованiй логіці
Розробка та загальний опис структурно-функціональних моделей послiдовних схем і удосконалення методів генерації тестів для зменшення часу верифікації цифрових систем на стадіях їхнього автоматизованого проектування й імплементації в кристалах ПЛIС.
автореферат, добавлен 25.06.2014 Розробка інформаційної технології забезпечення швидкого однокритеріального пошуку даних на основі використання ієрархічних ключів для адекватного відображення ієрархічної структури системи. Розгляд технології автоматизованого формування запитів.
автореферат, добавлен 27.07.2015Шляхи оптимізації структур інформаційно-управляючих систем для забезпечення ефективності і безпеки польотів на літаках нового покоління. Використання технологій процесного аналізу навантаження членів екіпажу в складних та аварійних умовах польоту.
автореферат, добавлен 17.07.2015Аналіз математичного і програмного забезпечення процесів набору та редагування формул алгоритмів засобами універсальних і спеціалізованої комп’ютерних систем. Синтез та мінімізація математичного забезпечення редактора, його програмна реалізація.
автореферат, добавлен 26.07.2014Забезпечення оптимального розподілу робіт в сфері навчання. Розробка алгоритму розкладу занять в університеті з урахуванням вимог викладачів та студентів. Створення математичної моделі. Використання еволюційних алгоритмів при оптимізації цільової функції.
статья, добавлен 20.04.2021Класифікація та аналіз структур і функцій автоматизованих систем управління. Автоматизований вибір структур процесів механообробки, управління генерацією і вибором структурних схем. Розробка забезпечень АСУ і комплекс оптимального прийняття рішень.
автореферат, добавлен 27.09.2014Оцінка загальних рекомендацій по розробці графічного інтерфейсу програмного додатку. Компоненти головної віконної форми програми. Опис випливаючих підказок, що розміщені на компонентах інформаційної системи. Алгоритм обробки подій клавіатури і миші.
курсовая работа, добавлен 19.07.2017Проект комплексу спеціального програмного забезпечення автоматизованого робочого місця підприємця. Вимоги замовника до продукту. Розробка моделі на основі платформи ARIS, побудова діаграми взаємодії і діяльності. Оцінка якості ПЗ інформаційної системи.
курсовая работа, добавлен 08.12.2021Програмне забезпечення автоматизованих систем керування виробничих підприємств. Основні задачі інформаційного обслуговування АСУ. Створення структурованих баз даних та інтегрованих модулів усіх напрямів діяльності та систем управління базами даних.
реферат, добавлен 19.07.2017Автоматизація інформаційно-бібліотечних процесів. Створення автоматизованого робочого міста бібліотечного працівника, який виконує функції по формуванню баз даних електронного каталогу. Розробка концептуальної моделі та алгоритму функціонування АРМ.
дипломная работа, добавлен 29.08.2014Класифікація прикладного програмного забезпечення. Частини програмного забезпечення для додатків в САПР. Генерація прикладного програмного забезпечення. Бази даних САПР. Графічні стандарти. Рівні зв'язку графічних стандартів. Зв'язок через формат IGES.
реферат, добавлен 10.01.2009Варіанти вирішення задачі автоматизованого створення термінологічного словника предметної області за допомогою розробленої авторами інформаційної системи автоматизованого формування лексикографічних ресурсів. Оцінка ефективності результатів дослідження.
статья, добавлен 29.07.2016Розробка структурно-логічної моделі процесів тестування несправностей технічних засобів паралельних програмно-технічних комплексів. Організація й проведення діагностичного обслуговування із застосуванням умовних й безумовних алгоритмів пошуку дефектів.
автореферат, добавлен 24.07.2014Розробка нових і удосконалення існуючих методів, моделей і алгоритмів формування зображень позакабинної обстановки в реальному масштабі часу. Створення на їх основі програмно-технічних систем для тренажерних комплексів різноманітних транспортних засобів.
автореферат, добавлен 28.08.2015Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
автореферат, добавлен 27.08.2015Розробка математичних моделей, методів й обчислювальних алгоритмів для моделювання широкого класу задач поширення акустичної енергії в нескінченних хвилеводах. Формулювання нових математичних моделей хвильових процесів. Створення програмного забезпечення.
автореферат, добавлен 12.02.2014Оцінка непараметричних моделей прогнозування показників надійності програмного забезпечення на етапах його тестування та експлуатації на основі нейронних мереж. Розробка методу подання марковського процесу вищого порядку у еквівалентному вигляді.
автореферат, добавлен 27.03.2016Аерофотознімання за допомогою системи ASCOT, визначення та основні поняття. Технічні засоби системи ASCOT. Аерофотокамера RC-30, топографічна аерофотозйомка і програмне забезпечення для складання маршрутів. Розрахунок параметрів планової аерофотозйомки.
отчет по практике, добавлен 26.05.2014Аналіз засобів автоматизованого виправлення орфографічних помилок в природномовних текстових даних. Розробка контекстно-асоціативних методів орфокорекції для підвищення роботи програмного забезпечення за показниками швидкості виправлення помилок.
автореферат, добавлен 26.09.2015