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

Бесплатно

Требования к информационной системе управления качеством образования

Болотов Виктор Александрович, Знаменский Сергей Витальевич

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

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

Бесплатно

Троичная виртуальная машина и троичная ДССП

Бурцев Алексей Анатольевич, Сидоров Сергей Александрович

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

В научно-исследовательской лаборатории троичной информатики (НИЛ ТИ) ВМК МГУ (в период с 2010 по 2013 г.) созданы троичная виртуальная машина ТВМ и кросс-система ДССП-ТВМ разработки программ для неё на языке ДССП-Т – троичном варианте языка ДССП. В статье представляются архитектура троичного процессора ТВМ и его система команд, основные черты языка ДССП-Т и возможности среды разработки ДССП-ТВМ, а также поясняются некоторые проблемные аспекты реализации имитатора ТВМ, кросс-компилятора языка ДССП-Т и диалогового интерпретатора ДССП/ТВМ для специфичной троичной машины. Ключевые слова и фразы: троичный компьютер, имитационная модель, ТВМ, ДССП, структурированное программирование, сшитый код

Бесплатно

Угрозы безопасности вычислительных комплексов: классификация, источники возникновения и методы противодействия

Абрамов Николай Сергеевич, Фраленко Виталий Петрович

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

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

Бесплатно

Улучшение управления в одном классе систем с линейным неограниченным управлением

Трушкова Екатерина Александровна

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

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

Бесплатно

Универсальное уравнение времени перелета между двумя точками центрального поля тяготения

Бурдаев Михаил Николаевич

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

В статье изложен принципиально новый метод решения задачи расчета времени перелета между двумя точками центрального поля тяготения по эллиптическим и гиперболическим орбитам. В нем в качестве независимой переменной вместо линейных элементов — большой полуоси или фокального параметра орбиты — использован угловой параметр — угол между радиусомвектором начальной точки перелета и вектором начальной скорости перелета.

Бесплатно

Универсальный графический интерфейс визуального проектирования параллельных и параллельно-конвейерных приложений

Фраленко Виталий Петрович

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

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

Бесплатно

Унифицированные электронные модули — универсальный инструмент интеграции высокоуровневых ресурсов для решения научных и инженерных задач

Чудинов Станислав Михайлович, Маликов Сергей Николаевич

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

Рассматривается структура, состав и применение Унифицированных электронных модулей (изделия УЭМ) для решения задач цифровой локации в реальном масштабе времени с применением модифицированных современных алгоритмов цифровой обработки сигналов (ЦОС), а также построение масштабируемых вычислительных систем сбора и цифровой обработки информации на базе УЭМ для решения задач цифровой локации в различных областях науки и техники.

Бесплатно

Управление мобильным роботом вдоль эластик Эйлера

Ардентов Андрей Андреевич, Смирнов Александр Владимирович

Ред. заметка

В данной работе рассматривается задача управления колесным роботом на плоской поверхности без препятствий. В основе сборки робота лежит платформа Arduino. Исследуется оптимальный класс управлений, впервые возникший еще в классической задаче Эйлера об эластиках. В конце работы приведено несколько примеров перемещения робота вдоль эластик Эйлера, изучена проблема ухода траектории от эластики и возможные пути её решения.

Бесплатно

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

Иванов Егор Сергеевич, Смирнов Александр Владимирович

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

Предложен усовершенствованный подход к сегментации мультиспектральных снимков с использованием сверточных нейронных сетей (СНС). Оригинальный алгоритм учитывал некоторые погрешности, которые могли возникать в ходе обработки снимков СНС при помощи скользящего окна, и построен так, что устраняет эти проблемы. В предлагаемой модификации помимо классического поиска объектов СНС, использованы индексы \smallsf{NDVI} и \smallsf{NDWI}, которые имеют большой коэффициент корреляции с реальными объектами, присутствующими на снимках, а также пирамиды изображений. Все это в совокупности дает ускорение при обработке изображений.

Бесплатно

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

Головешкин Алексей Валерьевич, Михалкович Станислав Станиславович

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

При работе над задачей программист наиболее активно взаимодействует с~конечным набором фрагментов кода. Информация об их расположении важна для быстрого перемещения между ними, для других разработчиков и как разновидность документации. Интегрированные среды разработки (IDE) позволяют связывать метки с~участками кода, просматривать список меток и использовать их для быстрой навигации, однако связь между меткой и помеченным местом может теряться при редактировании кода, особенно при изменении за пределами IDE. В предыдущих работах авторами предлагается интегрируемый в~IDE инструмент, позволяющий устойчиво к~изменению кода помечать крупные синтаксические сущности программы («привязываться» к~ним). Описание помечаемого элемента строится по~абстрактному синтаксическому дереву (АСД) программы и используется для алгоритмического поиска этого элемента в~отредактированном позднее коде. Поиск осуществляется с~успешностью от 99 до 100.. Целью настоящей работы является устойчивая алгоритмическая привязка к~произвольному участку кода. Для привязки к~однострочному фрагменту кода предложены расширение модели, описывающей помечаемый фрагмент, и дополнительный алгоритм поиска. Введена необходимая формализация и предложен алгоритм встраивания в~АСД узлов, соответствующих многострочным фрагментам; показано, что в~результате такого встраивания не нарушается корректность АСД. В~коде трёх крупных проектов на~языке C. произведены привязки к~случайно выбранным строкам. Ручной проверкой результатов поиска этих строк в~отредактированном коде подтверждено, что привязка устойчива к~редактированию кода.

Бесплатно

Фрактальная модель макросистем

Амелькин С.А.

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

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

Бесплатно

Фронтальный алгоритм решения SAT задачи

Сметанин Юрий Михайлович

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

Алгоритм вычисления семантического значения конъюнктивных формул вида $U = F(X_1, X_2,..., X_n)$ в неклассической пропозициональной логике $L_{S_{2}}$ также вычисляет множество всех решений логического уравнения $F({x_1}, {x_2},..., {x_n})= 1,$ где $F(X_1, X_2,..., X_n)$ - формула булевой алгебры множеств, составляющих дискретную диаграмму Венна. Элементы этих множеств являются неотрицательными целыми числами. На основе этого алгоритма строится новый алгоритм для решения задачи $ SAT$. Существенная разница между ним и семейством алгоритмов, основанных на $ DPLL $, и $ CDCL $, - замена булевых переменных множествами. Это позволяет эффективно проверить выполнимость не одного, а многих наборов значений логических переменных ${x_1}, {x_2},..., {x_n}$.

Бесплатно

Цветные сети Петри и язык распределенного программирования UPL: их сравнение и перевод

Климов А.В.

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

Сети Петри широко используются как средство моделирования распределенных мультиагентых систем. Существуют инструменты работы с расширенными сетями Петри, в которых токены нагружены произвольными данными. В частности, CPN Tools позволяет описывать, проигрывать и исследовать цветные сети Петри (Coloured Petri Nets, CPN). Ставится вопрос о возможности использовать этот инструмент для разработки, прототипирования и исследования параллельных распределенных вычислительных алгоритмов, в идеале - превращения их в работающие эффективные параллельные программы. У нас есть опыт экспериментального программирования разных алгоритмов в нашем графическом языке UPL, который пока существует как бы «на бумаге». Его сравнение с CPN показывает, что в их семантиках много общего. В статье оба языка определяются, сравниваются на примерах и через правила перевода из одного в другой. Также описываются средства управления распределением вычислений для UPL. Интересен вопрос об их переносе в CPN, где им пока аналога нет.

Бесплатно

Цифровое представление в виртуальной реальности места происшествия как инструмент уголовного судопроизводства

Кугуракова Влада Владимировна, Антонов Игорь Олегович, Гончаренко Богдан Викторович, Чайбар Артыш Алимович

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

Представлены новые возможности таких технологий, как фотограмметрия и виртуальная реальность, для применения в уголовном судопроизводстве. Описана концепция построения «на лету» трёхмерной цифровой копии происшествия непосредственно на его месте. Концепция апробирована с применением конкретных технологических подходов создания цифровой копии происшествия с серверной обработкой первоначальной информации из набора фотоснимков места происшествия с нескольких ракурсов. Разработана архитектура программно-аппаратного комплекса, описан функционал мобильного решения и приложения виртуальной реальности. Показано, как цифровая копия происшествия может быть использована, в частности, при доказательствах по уголовному делу как субъектами обвинения, так и субъектами защиты. Сегодня использование в судопроизводстве технологии виртуальной реальности в обозначенном аспекте является одним из новых и весьма перспективных направлений. Известно об использовании отечественными криминалистами технологий изготовления компьютерных сферических панорам и виртуальных туров мест происшествий. Авторы предлагают свои варианты решения ряда проблем в этой области и аргументируют поэтапное внедрение предложенных технологий в судебно-следственную практику.

Бесплатно

Чувствительность решения некоторых возмущенных задач оптимизации

Блинов Александр Олегович, Дмитриев Михаил Геннадьевич

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

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

Бесплатно

Шаблоны в модуле визуализации Web-интерфейса системы мониторинга BotikMon

Стоцкий Максим Викторович, Шевчук Юрий Владимирович

Ред. заметка

Статья посвящена системе мониторинга BotikMon, разработанной в ИПС им.~А.~К.~Айламазяна РАН. Система предназначена для архивации и визуализации информации, полученной от большого числа датчиков. В данной статье рассматривается вопрос разработки структур данных для страниц «избранное» в графическом интерфейсе пользователя системы BotikMon. Страницы «избранное» дают возможность сводить на одну страницу выбранные оператором данные и настраивать режимы отображения для них. Предлагается подход, основанный на использовании объектов\=/шаблонов, для которых поддерживается механизм наследования.

Бесплатно

Школа-семинар «Модели, оптимизация и приложения импульсных и гибридных систем»

Трушкова Екатерина Александровна

Статья

Бесплатно

Школа-семинар «Приближенные методы оптимального управления в параллельных вычислениях»

Гурман Владимир Иосифович

Статья

Бесплатно

Эволюция выразительных способностей языка OWL

Трофимов Игорь Владимирович

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

Рассматриваются языковые конструкции диалектов языка OWL, как средства спецификации предметных онтологий. Затрагивается проблема представления n-арных предметных отношений. Анализируется характер и значимость нововведений в синтаксисе.

Бесплатно

Журнал