Верификация моделей надежности программного обеспечения
Сравнение моделей надежности на основе теории динамики программных систем. Управление транспортом, связью и энергетикой. Компьютерные ошибки, потеря работоспособности систем мобильной связи и энергетических систем. Создание надежных компьютерных систем.
Подобные документы
Понятие гарантоспособности компьютерных систем. Теоретические основы и прикладные методы создания гарантоспособных компьютерных средств. Качество проектирования отечественных информационных и управляющих систем для критических технологий и инфраструктур.
статья, добавлен 25.12.2016Описано підхід до визначення формальних структур МАНОК-систем з прикладами їх інтерпретації. Аналіз джерел, присвячених побудові ІТНО-систем. Опис схеми побудови ІТНО-систем та їх компонентів. Використання аксіоматичного методу та "гомоморфних моделей".
статья, добавлен 02.10.2018- 103. Разработка моделей повышения производительности компьютерных сетей на основе стохастических методов
Анализ методов и программных средств повышения производительности коммуникационных сетей. Имитационное моделирование производительности компьютерных сетевых систем. Комплекс визуального объектно–ориентированного программирования C++Builder v5.0.
диссертация, добавлен 24.05.2018 Место современных информационных систем в жизни организации. Обеспечение надежной и бесперебойной работы программ на предприятие. Описание архитектуры программного комплекса, предназначенного для определения уровня надежности информационной системы.
статья, добавлен 26.04.2019Исследование жизненного цикла обучающих систем и влияние на него программного обеспечения. Рассмотрение модели жизненного цикла для разных ситуаций, резервирование и регенерация программного обеспечения. Увеличение жизненного цикла обучающих систем.
статья, добавлен 29.06.2020Виды программного обеспечения в процессе управления. Создание информационных систем для анализа и принятия на их основе управленческих решений. Описание и анализ медицинской информационной системы. Сокращение сроков обследования и лечения пациентов.
реферат, добавлен 24.11.2015Основы защиты программного обеспечения компьютерных систем. Классификация угроз информационно-программному обеспечению вычислительных систем и примеры их реализации в современном компьютерном мире. Разработка модели угроз технологической безопасности ПО.
курсовая работа, добавлен 13.06.2012Основные методы построения рекомендательных систем. Характеристика качества построенных моделей на основе базы данных MovieLens. Создание прогнозов с помощью коллаборативного метода фильтрации. Главная особенность вычисления коэффициента Пирсона.
дипломная работа, добавлен 14.09.2018Особенности многокомпонентных структурно-сложных систем со многими состояниями, оценка их надёжности. Суть и использование метода вероятностно-алгебраического моделирования. Граф как средство для описания структуры сложных систем и их функционирования.
курсовая работа, добавлен 23.05.2013Использование технологии OSTIS при разработке прикладных интеллектуальных систем. Смысловое представление информации в памяти КС. Семантика sc-кода. Унификация и совместимость различных моделей решения задач. Интеграция нейросетевых моделей с БЗ.
статья, добавлен 29.08.2021Исследование этапов проектирования экспертных систем для повышения результативности, полезности, надежности и производительности разрабатываемой системы, удовлетворяющей требованиям пользователя. Преимущества экспертных систем перед человеком-экспертом.
курсовая работа, добавлен 11.04.2012Программы по программированию электроэнергетических сетей и систем. Основные функции PSCAD. Визуальное построение моделей. Послойная структура модели. Создание собственных элементов и возможных моделей энергосистем и сетей. Задание аварийных ситуаций.
статья, добавлен 23.05.2018Виды автоматизированных информационных систем. Классификации данных систем по территориальному признаку, виду используемых технических, программных, лингвистических средств, логико-математических методов, лежащих в основе процесса обработки информации.
реферат, добавлен 17.11.2015Изучение истории развития компьютерных правовых систем. Понятие и изучение функций информационных справочно-правовых систем как баз данных, содержащих нормативную и правовую документацию. Анализ информационного рынка правовых систем Российской Федерации.
контрольная работа, добавлен 30.12.2012Характеристика існуючих моделей надійності програмних систем. Розроблення алгоритмів та програм їх реалізації. Впровадження запропонованих підходів, моделей та методик інженерії тестування в проекти з розроблення програмних систем оброблення даних.
автореферат, добавлен 30.07.2014Создание систем автоматизации управления предприятиями. Обеспечение автоматизированной передачи распоряжений в организации. Современные подходы к построению систем управления предприятием, использование специализированного программного обеспечения.
статья, добавлен 19.02.2019Определение математических элементов и разработка теории математической основы геоинформационных систем, применимой для разработки соответствующих блоков программных оболочек геоинформационных систем и для получения новых картографических проекций.
автореферат, добавлен 26.11.2017Характеристика проектирования и моделирования крупных производственных автоматизированных систем. Классификация подходов, связанных с классификацией абстрактных моделей таких систем. Описание и главные особенности гидрометеорологической отрасли.
статья, добавлен 18.07.2013Изучение лицензионных и свободно распространяемых программных продуктов. Виды программного обеспечения персонального компьютера. Методы защиты информации и компьютерных систем. Контроль доступа к аппаратуре. Организация обновления ПО через Интернет.
практическая работа, добавлен 26.12.2022Понятие и содержание экспертных систем, их главные достоинства и назначение, отличия от других программных продуктов, отличительные особенности первого и второго поколения. Ограничения в применении систем. Структура систем, основанных на знаниях.
курсовая работа, добавлен 12.05.2011Характеристика проектирования и разработки системы информационных моделей для обеспечения деятельности оператора автоматизированных систем управления воздушным движением. Анализ деятельности оператора, затрат времени на выполнение различных действий.
статья, добавлен 26.07.2016Особенности разработки моделей и методов мониторинга сервис-ориентированных информационных систем. Эффективное использование информационных технологий и систем как один из ключевых факторов успешной деятельности большинства предприятий и организаций.
автореферат, добавлен 27.02.2018Обеспечение безопасности программных средств современных компьютерных систем на протяжении всего их жизненного цикла. Типы систем защиты и методы, используемые при их построении. Разработка технологий, обеспечивающих безопасность программных средств.
статья, добавлен 30.01.2016Применение алгоритма квазилинеаризации в аппроксимации моделей динамических систем. Информатизация предприятий авиационного машиностроения. Унифицированное описание систем административно-организационного управления для разработки программ их развития.
автореферат, добавлен 14.02.2018Программное обеспечение, при помощи которого был разработан слайдер. Средства для разработки, тестирования и редактирования. Требования для клиентской Windows XP. Системы управления базами данных, компоненты MS Access. Встроенные средства взаимодействия.
отчет по практике, добавлен 29.03.2017