Системный анализ и информационные технологии. Рубрика в журнале - Вестник Бурятского государственного университета

Logic of non-interacting programs and reactive systems

Shelekhov Vladimir I., Tumurov Erdem G.

Статья научная

The notion of a program logic is introduced to denote a set of predicates which are true in different program points. The program logic can be easily constructed for different kinds of statements of an imperative or a functional language with data types except pointers. For a non-interacting program, a total correctness formula based on the program logic is defined. The rules of program correctness proof have been developed for proving the statements of various kinds. For a reactive system, the program logic is defined as a predicate on program state variables which is true after executing the current action of a trace constructed as a sequence of interleaved actions from different parallel interacting processes. An action is a maximal program fragment (without loops) of a process source code for which the program logic can be easily constructed. To analyze the behavior of a reactive system, the notion of a meta-state is introduced to denote an approximation of logic for a set of traces.

Бесплатно

Задачи комплексного мониторинга в автоматизированных системах диспетчерского управления энергетическими объектами

Сахабетдинов Ильдар Умарович

Статья научная

Рассматриваются принципы создания современных автоматизированных систем диспетчерского управления, а также функции входящих в их состав подсистем мониторинга различного назначения. Оцениваются возможности интеграции перспективных технологий в существующую структуру управления энергетическими объектами.

Бесплатно

Метод количественного анализа объектов на видеоизображениях, рассчитанный на использование в ГИС-технологиях и анализе микроскопических видеоизображений

Чернышов Михаил Юрьевич, Нурминский Вадим Николаевич, Абасов Николай Викторович, Осипчук Евгений Николаевич

Статья научная

Разработан метод количественного анализа состава видеоизображений удаленных макроскопических объектов в ГИС-технологиях и микроскопических видеоизображений клеточных препаратов в медикобиологических исследованиях. Его программная реализация предполагает применение аналитических процедур фильтрации, сегментации видеоизображения и вычитания фона. Метод воплощен в форме компьютерной программы.

Бесплатно

Модель безопасности веб-приложений на основе мандатного ролевого разграничения доступа

Кононов Дмитрий Дмитриевич, Исаев Сергей Владиславович

Статья научная

Статья посвящена разработке модели безопасности для веб-приложений. В мандатную ролевую модель добавлены новые элементы, учитывающие функционирование веб-приложений.

Бесплатно

Основы вычислительной технологии для анализа и реструктурирования текстов программ на принципах логико-смыслового анализа и синтеза

Чернышов Михаил Юрьевич, Абасов Николай Викторович, Осипчук Евгений Николаевич

Статья научная

Излагаются принципы технологии вычислительного моделирования, которая рассчитана на эффективный анализ неизвестных программ и реструктурирование их текстов. На ее основе разработан программный комплекс, предназначенный для содержательного анализа кода без выполнения программы. Технология анализа предполагает автоматическое построение графов связей между функциональносемантическими кластерами в текстах программ. Глубина такого анализа может варьировать от определения поведения (функций) отдельных операторов до анализа всего исходного кода, а его результаты могут быть использованы для оперативного выявления ошибок в программе или проверки ее соответствия спецификации. Технология реструктурирования текстов программ допускает перестройку текстов по заданному алгоритму и пополнение графов связей дополнительными кластерами.

Бесплатно

Средства формализации целей и проблем сложных систем производственной сферы

Лукьянова Людмила Михайловна, Федорченко Людмила Николаевна

Статья научная

Статья посвящена формализации формулировок целей и проблем производственных организационно-техническихкомплексов, которая способствует обоснованию системности решений по данным объектам.

Бесплатно

Технология интеграции геоинформационных функций в информационные системы

Фереферов Евгений Сергеевич, Новицкий Юрий Александрович, Ружников Геннадий Михайлович, Хмельнов Алексей Евгеньевич

Статья научная

Статья посвящена проблемам расширения функциональных возможностей существующих информационных систем (ИС) за счёт встраивания геоинформационных функций. Предложен ряд инструментальных средств, автоматизирующих данный процесс.

Бесплатно

Устойчивая сегментация изображения

Харинов Михаил Вячеславович

Статья научная

Статья посвящена так называемой «проблеме сегментации», возникающей в области автоматического распознавания цифровых изображений на стадии выделения визуально воспринимаемых объектов. Для достоверного выделения и распознавания объектов в нашем подходе известный гистограммный метод Оцу (1979) объединяется с моделью Мамфорда - Шаха сегментации изображения по локальным признакам (1985), которая опирается на понятие оптимального приближения изображения ступенчатой (кусочнопостоянной) функцией. В статье, на стандартном примере реального изображения, демонстрируются оптимальные приближения, полученные перебором пороговых значений по участкам яркостной гистограммы. Решается задача исключения перебора вариантов за счет учета пространственного распределения пикселей в изображении. Для получения решения определяется условие устойчивой сегментации, которое тестируется на стандартном примере.

Бесплатно

Формирование хранилища данных для системы MDATTR

Ветров Александр Анатольевич, Фереферов Евгений Сергеевич, Хмельнов Алексей Евгеньевич, Шигаров Алексей Олегович

Статья научная

Статья посвящена актуальным задачам формирования хранилища данных и конфигурированию метаописаний, для их совместного использования в информационной системе MDAttr.

Бесплатно