Верификация программ: состояние, проблемы, экспериментальные результаты
Изучение алгоритмов поиска инвариантных соотношений в программах с простыми переменными, относящимся к методам анализа потоков данных и верификации. Анализ языка типа равенств для программ над абсолютно свободными алгебрами данных и кольцами полиномов.
Подобные документы
Способы построения эффективных универсальных алгоритмов верификации и оптимизации, подходящих для анализа и преобразования потоков работ. Этапы разработки единого промежуточного графового представления для моделирования потока управления и потока данных.
автореферат, добавлен 31.07.2018Изучение существующих методов и программных средств оценки сложности программ. Определение метрик размера программ, сложности потоков управления и данных. Структура разрабатываемого программного средства, построение его алгоритмов и анализ эффективности.
дипломная работа, добавлен 21.12.2012Рассмотрение авторского метода верификации программ программируемых логических контроллеров, входящих в состав автоматизированных систем управления технологическими процессами. Система семантического анализа многомерных интервально-логических регуляторов.
статья, добавлен 16.07.2018Исследование и сравнительный анализ существующих подходов и моделей поиска данных и интеграции данных распределенных неоднородных информационных систем. Создание комплекса программ и моделей выполнения операций, разработка алгоритмов их реализации.
автореферат, добавлен 25.07.2018Разработка эффективных алгоритмов реализации интерактивного анализа данных, автоматического поиска частых наборов и правил в данных, основанных на использовании префиксного дерева. Порядок построения алгоритмов удобного просмотра извлечённых правил.
автореферат, добавлен 25.07.2018Виды социологической информации. Обработка социологических данных с применением компьютеров и специализированных пакетов программ. Примеры применения различных программ для обработки текстовых данных. Связи между понятиями в текстовых полях базы данных.
презентация, добавлен 09.10.2013- 7. Системный анализ и оценка методов сжатия данных для баз данных лазерных технологических комплексов
Проведение системного анализа и оценки свойств, принципов работы и основных характеристик методов сжатия данных, определение эффективных алгоритмов для уменьшения объема данных. Предназначение кодирования строковых данных и данных произвольного типа.
статья, добавлен 29.01.2016 Описание простых и перечисляемых типов данных. Определение понятия константы. Диапазоны представления целых и вещественных типов. Примеры программ, иллюстрирующих просмотр с целью поиска компонента с заданным значением в структурах данных типа array.
курсовая работа, добавлен 17.02.2012Анализ методов и технологий Data Mining. Применение искусственных нейронных сетей. Освоение среды Data Miner и разработка моделей анализа данных с применением программ STATISTICA. Анализ результатов применения моделей прогнозирования и анализа данных.
дипломная работа, добавлен 14.12.2019Представление данных в памяти, типов данных, идентификаторов, переменных, массивов. Определение структуры программ на VBA, операторы описания, операторы присваивания. Оценка понятия макроса, создания, отладки, использования среды для отладки программ.
дипломная работа, добавлен 27.09.2017Изучение возможностей пакетов прикладных программ по методам обработки данных и формам их представления, которые призваны обеспечить значительное снижение требований к уровню профессиональной подготовки пользователей в области программирования.
контрольная работа, добавлен 21.06.2009Исследование алгоритмов вытеснения данных LRU1 и LRU2 и структурной организации управляющей таблицы. Результаты разработки алгоритмов ускоренного вытеснения информации в кэш-памяти хранилищ данных. Системы канонических уравнений для данных алгоритмов.
статья, добавлен 07.03.2019Исследование программной системы, предназначенной для моделирования и верификации вероятностных многоагентных систем. Вероятностные темпоральные логики ветвящегося и линейного времени. Алгоритм верификации полиномиальной сложности. Язык программ агентов.
статья, добавлен 19.01.2018- 14. Создание базы спецификаций форматов данных и их уточнение на основе анализа набора трасс программ
Разработка методов и компонентов модуля среды анализа бинарного кода, осуществляющий автоматизированное восстановление спецификаций формата данных по бинарным трассам программ, с возможностью выгрузки промежуточных результатов в хранилище форматов.
дипломная работа, добавлен 14.08.2020 Представление диаграммы потоков данных. Использование нотаций, соответствующих методам Йордана-ДеМарко и Гейна-Сэрсона. Определение внешней сущности. Построение системы и подсистемы. Способы реализации процесса. Накопитель данных для хранения информации.
лекция, добавлен 28.12.2013- 16. Этапы проектирования и жизненный цикл программ. Тестирование и отладка. Документирование программ
Характеристика этапов проектирования, модели жизненного цикла программ. Особенности тестирования и отладки программ, совместное тестирование модулей. Разработка приложения для Windows, представляющего собой модель базы данных по успеваемости студентов.
курсовая работа, добавлен 01.04.2014 Data Flow Diagram как диаграмма потоков данных, стандарт бизнес моделирования для описания существующих на предприятиях потоков данных. Пример составления схемы потоков данных. Общая схема потоков данных предметной области, потоков данных подсистем.
лабораторная работа, добавлен 03.02.2022Главные элементы рабочего места. Состояние информационной безопасности предприятия. Разработка программного продукта и оформление документации к нему. Выбор языка программирования для описания алгоритмов и структур данных. Подготовка программ к отладке.
отчет по практике, добавлен 09.09.2016Основная задача обучения единичной нейросети. Предобработка данных, выбор примеров в обучающую выборку. Схемы экстраполяции и оценивания предельных значений эффектов. Растущие нейронные сети, коллективы нейросетей. Сущность гибридных алгоритмов.
статья, добавлен 08.02.2013Абстрактные типы данных для разработки алгоритмов распределения и маршрутизации потоков в коммуникационных сетях. Оценки трудоемкости алгоритмов. Численный эксперимент для проверки работоспособности и вычислительной эффективности предложенных алгоритмов.
статья, добавлен 25.03.2016Изучение средств языка С++, используемых для создания параметрических типов. Использование механизма перегрузки операций в программах. Изучение механизма динамического связывания. Написание программ с использованием механизма наследования классов.
контрольная работа, добавлен 21.01.2014Связь логического программирования и языка Пролог. Принципы выбора формальной знаковой системы для записи компьютерных программ на основе абстрактного интерпретатора. Структура данных логических программ. Эффективность программирования на Прологе.
реферат, добавлен 26.02.2015Разработка информационной системы для заданной предметной области с использованием заданных структур данных и алгоритмов. Характеристика алгоритмов и структуры данных. Рассмотрение описания программы. Определение алгоритма поиска слова в тексте.
курсовая работа, добавлен 15.11.2017Абстрактные типы данных и структуры данных. Точки сочленения и двусвязные компоненты. Основные структуры и фазы генетического алгоритма. Ориентированные ациклические графы. Сравнение алгоритмов Флойда и Дейкстры. Измерение времени выполнения программ.
учебное пособие, добавлен 28.11.2015Изучение проблемы поиска дублирующихся записей в системах хранения и обработки персональных данных клиентов. Рассмотрение алгоритмов поиска дублирующихся субъектов. Определение расстояния между словами или текстовыми полями по методу Левенштейна.
статья, добавлен 10.08.2018