Информационные системы и технологии. Рубрика в журнале - Вестник Бурятского государственного университета. Математика, информатика
Автоматизация проведения открытых электронных аукционов в сети Интернет
Статья научная
В статье описан комплекс программных средств, использующихся для создания электронной торговой площадки муниципального уровня. Представлены цели и задачи создания площадки, структура и функции программного обеспечения, роли пользователей и функции подсистемы защиты информации.
Бесплатно
Адаптация алгоритма Верле под многопроцессорные системы
Статья научная
Изложена методика реализации параллельных асинхронных вычислений для моделирования молекулярных систем методом молекулярной динамики.
Бесплатно
Алгоритмы построения состояний анализатора для КСР-языка
Статья научная
Рассматриваются алгоритмы построения состояний анализатора языка, определяемого специальной трансляционной контекстно-свободной грамматикой, правые части правил которой заданы в виде обобщённых регулярных выражений над объединённым алфавитом терминалов, нетерминалов и семантик.
Бесплатно
Статья научная
Проведен анализ автоматизированной системы логикоматематического моделирования динамических систем, использующей аппарат функциональных грамматик, с целью повышения эффективности ее работы. Рассмотрены структура, параметры и основные методы работы информационной системы, осуществляющей логический вывод решения прямых и обратных задач математического моделирования, при ее реализации на функциональном языке программирования. Проведен сравнительный анализ эффективности реализаций метода функциональных грамматик в языках программирования Lisp и Python. Сформулированы рекомендации по методике дальнейшего анализа и оптимизации алгоритмов системы на языках императивного программирования.
Бесплатно
Архитектура иерархически модифицируемо-пересекающейся базы данных биоэкологических параметров
Статья научная
Рассматривается архитектурная модель научно-исследовательской платформы BaikalIntelli. Платформа предназначена для универсального хранения, ввода и обработки произвольных пространственно-временных баз данных, содержащих биоэкологические параметры. Гибкая система дает возможность работать с различной структурой таблиц и составом реквизитов. Предложены информационные технологии, позволяющие реализовать базовую функциональность универсального метамеханизма систематизации данных. Используемый архитектурный паттерн реализует логику изолирования модели данных от представления и обеспечивает автономные принципы разработки механизмов платформы BaikalIntelli, нацеленные на снижение повторения элементов программного кода в программных классах платформы. Механизм платформы апробирован с помощью конкретной базы данных «Пространственно-временная изменчивость популяций олигохет в районе сброса промышленных очищенных сточных вод Байкальского целлюлозно-бумажного комбината». Спроектированные механизмы платформы позволяют обеспечить надежное хранение и оперативное извлечение данных наблюдений.
Бесплатно
Статья научная
Язык функционально-потокового параллельного программирования Пифагор является оригинальным языком программирования, его ключевые особенности - это отсутствие переменных и операторов цикла, поддержка параллелизма на уровне операций, выполнение операций по готовности данных. Инструментальные средства языка Пифагор развиваются, разрабатывается репозиторий функций. Реализована библиотека математических функций, по функциональности сравнимая с библиотекой math.h языка С. Вычисление функций базируется на рядах Маклорена и формулах приведения. Часть математических функций реализована в двух версиях, одна из которых выполняет быстрые и менее точные вычисления, а другая предполагает точные и более медленные вычисления. Реализация библиотеки математических функций для языка Пифагор выполнена впервые, вычисление математических функций поддерживает возможности распараллеливания на уровне операций. Математические функции включены в открытый репозиторий функций языка Пифагор, тогда как во многих языках программирования математические библиотеки предполагают только функциональные вызовы, не открывая разработчику те математические методы, алгоритмы и программный код, с помощью которых они производят вычисления.
Бесплатно
Визуализация графа с использованием парадигмы объектно-ориентированного программирования
Статья научная
В данной статье приведена методика построения компонента для проектирования графов и конечных автоматов с использованием разделения функционала на отдельные классы и объекты. В статье представлены возможности применения свойств абстракции, полиморфизма и наследования для обеспечения компонента дополнительным функционалом при помощи реализации собственных классов, а также свойство инкапсуляции, позволяющее скрыть критические данные и функционал компонента от программиста. Представлены основные сущности, необходимые для визуализации графа и способы отображения вершин и ребер на конечной координатной оси вывода рисунка. Приведен способ организации взаимодействия реализованных классов между собой для выполнения построения, визуализации и обеспечения человеко-машинного взаимодействия пользователя с проектируемым графом. Представлены методы по оптимизации нагрузки на графическую подсистему при помощи использования буферизации и вывода только видимой части графа.
Бесплатно
Генерация тестов в системе SynGT
Статья научная
В статье представлен алгоритм автоматической генерации тестовых данных при построении синтаксических анализаторов, реализуемый в системе преобразований грамматик SynGT. Используется подход, основанный на генерации прототестов из синтаксической граф-схемы, графического аналога контекстно-свободной грамматики в регулярной форме (КСР-грамматики). В терминах вершин и дуг граф-схемы, нагруженных соответствующей семантической информацией, формулируется критерий тестового покрытия, в соответствии с которым генерируется набор прототестов.
Бесплатно
Гомоморфизм эквивалентных преобразований грамматик, применяемый при генерации анализаторов языка
Статья научная
При построении транслятора, как правило, необходимо проводить эквивалентные преобразования грамматики реализуемого языка, преобразующие синтаксическую спецификацию языка в тот вид, который допускает автоматическую или ручную реализацию исходного языка, и решающие проблемы учёта ограничений выбранного метода синтаксического анализа. Эти проблемы возникают как из-за разнообразия способов определения реализуемых языков, так и из-за языковой неоднозначности или недетерминированности распознающего автомата. Каждое преобразование, выполняемое на трансляционных КС-грамматиках, может задаваться как отношение подобия (гоморфизма), определяемое на классах грамматик. Такие отношения имеют непосредственную связь с сохранением семантического значения грамматических конструкций при эквивалентных преобразованиях синтаксиса, так как конечной целью трансляции является получение последовательности действий, предписываемых вычислительной среде. В статье представлен краткий обзор различных типов отношений подобия на грамматиках, применяемых при построении трансляторов c 1970-х гг. Представлена схема построения анализаторов LL-языков с использованием синтаксических граф-схем (СГС). Даны формальное понятие маршрута (пути) в СГС и пример автоматического преобразования КСР-грамматики формального языка CIAO, выполненный в системе эквивалентных преобразований SynGT (Syntax Graph Transformations).
Бесплатно
Динамические отношения в задачах обработки знаний
Статья научная
В статье предложен новый объект исследований в задачах обработки динамических знаний - динамические отношения, проявляющиеся при использовании информационных технологий в современных изменяющихся условиях, а также представлена модель, позволяющая исследовать этот объект - алгебра циклограмм. Перечислены операции с временными интервалами, теоретико-множественные и алгебраические операции над динамическими отношениями, семантические операции с циклограммами, дана краткая характеристика операций и проведен их анализ с точки зрения использования в задачах обработки знаний. Динамические отношения актуальны в прикладных задачах, в которых присутствуют разные типы ресурсов, различные политики их использования, отказы ресурсов, присутствуют потоки заявок на использование разнородных ресурсов общего доступа; планируется сборка сложного изделия или составляется расписание. В качестве примера подробно рассмотрена система управления перевозками грузов в транспортной сети
Бесплатно
Инструментальная система обработки динамических отношений
Статья научная
В настоящее время внедрение новых информационных технологий (цифровых) в производство и другие отрасли народного хозяйства привело к развитию ряда современных направлений исследований, связанных с разработкой систем искусственного интеллекта, задач обработки динамических знаний, задач выработки решений в предметных областях с динамической структурой. В дальнейшем необходимо развивать программные средства поддержки таких технологий обработки динамических знаний, что заключается в создании комплекса инструментальных средств с хорошим пользовательским интерфейсом для решения различных задач принятия решений в областях с динамикой. Будем полагать, что формальное описание динамики структуры предметной области задается системой с динамическими отношениями [1], которые являются отношениями на множестве объектов, зависящими от времени. Статья посвящена описанию прототипа программной системы, которая реализует алгебру операций над динамическими отношениями (циклограммами) и отображает их на экран в графическом виде. Графическая интерпретация отношений по сравнению с текстовой и табличной более наглядна, а использование набора операций позволяет быстрее осмысливать результаты и управлять процессом решения задачи.
Бесплатно
Инструментальные средства в языковых IT-технологиях
Статья обзорная
В статье представлен перечень инструментальных средств, разработанных или находящихся в процессе разработки, используемых в системах программирования в лабораториях и на кафедрах СПбГУ. Перечислены основные технологии, применяемые при разработке инструментальных платформ для современных систем реализации языков программирования, которые сведены в таблицы. Приведены примеры правил грамматик для инструментальных систем CDL, Форт, ANTLR и образцы автоматически получаемого кода для инструмента PEG in R UST и интегрированной среды разработки JetBrains Grammar-Kit. Более подробно рассмотрена инструментальная система SynGT эквивалентных преобразований правил контекстно-свободных грамматик с целью их регуляризации. В таблицах даны характеристики тех инструментальных систем, которые находятся в открытом доступе и распространяются бесплатно. С момента освещаемой ситуации минуло 30 лет. Тем не менее, читатель наверняка найдет полезным эту навигационную схему, дающую ключ к изучению деятельности различных групп разработчиков в области программирования как в России, так и за рубежом.
Бесплатно
Интеграционный подход создания региональной инфраструктуры пространственных данных
Статья научная
Изложен опыт формирования региональной инфраструктуры пространственных данных (ИПД), её компонент, как системообразующей основы создания информационного пространства региона, сервисов обработки, поиска, хранения, передачи информации в задачах территориального управления. Это обусловлено адекватностью ИПД характеру решаемых территориальных задач.
Бесплатно
Информационная система «Конференция»
Статья научная
На данный момент веб-сайт - важная часть информационного и организационного сопровождения любого научного мероприятия. Проведение научной конференции или семинара подразумевает создание и поддержку веб-сайта, позволяющего автоматизировать задачи извещения и регистрации участников, приема и публикации тезисов, рецензирования статей и мн. др. В данной работе рассматриваются подходы к созданию веб-ориентированной системы, позволяющей создавать и сопровождать вебсайты научных мероприятий с типовым функционалом.
Бесплатно
Статья научная
Исследование сейсмического потенциала территорий является одной из важных задач, оказывающих значимое влияние на их социальноэкономическое развитие. Такие исследования чрезвычайно актуальны для территорий сейсмоактивного Монголо-Байкальского региона. Оценка сейсмического потенциала, в том числе построение карт энергии сейсмотектонического деформирования литосферы, требует обработки большого объема пространственных данных в значительные временные интервалы. Обработка такого массива данных является трудозатратной. Также в случае использования данных, полученных из различных источников, требуется их предобработка, очистка для осуществления возможности совместного использования и интеграции. В рамках данной работы предложен подход к автоматизации исследования трудоемкой задачи сейсмического районирования и построения карт энергий. Средством автоматизации выступает оригинальная сервис-ориентированная информационно-аналитическая система, построенная по геопортальному принципу. Разработанные сервисы обеспечивают загрузку и анализ гетерогенных пространственно-временных данных.
Бесплатно
Информационные технологии в социологических исследованиях
Статья научная
Проведение масштабного тестирования означает большое количество проблем связанных как с непосредственным проведением тестирования, так и с последующим сбором, систематизацией и первоначальной обработкой данных. Внедрение современных информационных технологий в данный процесс позволит автоматизировать большую часть рутинной работы. В работе рассматривается опыт разработки прототипа системы сбора и анализа данных.
Бесплатно
Использование функциональных грамматик в концептуальном программировании
Статья научная
Статья посвящена программам синтеза. Функциональные грамматики используются вместо популярного метода для семантических сетей, основанных на грамматиках атрибутов. Пример показывает универсальность и преимущества этого метода.
Бесплатно
Исследование сетевого трафика бурятского филиала ОАО «Ростелеком»
Статья научная
В данной статье предлагается описание реальной системы организации сети широкополосного доступа БФ ОАО «Ростелеком» при помощи теории графов через понятие гиперсети, которая позволяет более полно отразить элементный состав и структуру связей между элементами. Также в статье приведен анализ статистических данных трафика всего филиала, выводы которого будут использоваться для последующего математического моделирования сети ШПД БФ ОАО «Ростелеком», что позволит оценить производительность сети при росте интенсивности нагрузки.
Бесплатно
К вопросу структурной надежности в мобильных сетях в условиях разрушающих информационных воздействий
Статья научная
В статье рассматриваются некоторые вопросы исследования и проектирования структур сетей мобильной связи в случае возникновения чрезвычайных ситуаций. Предлагается исследовать задачи, возникающие при анализе и синтезе сетей связи, связанные с применением методов теории графов, теории гиперсетей и других теорий описывающих взаимодействие различных структур. В статье рассматривается задача поиска максимального s-t потока в нестационарной гиперсети, задача поиска кратчайших по задержке простых v-цепей в нестационарной гиперсети.
Бесплатно
