Васильев, Н. В. Аналитический подход к верификации комплексов взаимодействующих процессов [Текст] / Н. В. Васильев, Н. Н. Смирнова // Мехатроника, автоматизация, управление. - 2007. - N 5. - С. 31-35. . - Библиогр.: с. 35 (3 назв. )
Рубрики: Радиоэлектроника Автоматика и телемеханика Кл.слова (ненормированные): бисимуляционная эквивалентность поведения -- доказательство корректности -- верификация взаимодействующих процессов -- распределенные информационные системы -- алгоритмы работы системы -- методы верификации -- система верификации -- проектирование протоколов передачи данных Аннотация: Рассмотрен формальный подход к анализу корректности функционирования системы взаимодействующих процессов, основанной на языке алгебры процессов для задания их поведения. Представлены основные операции алгебры и их семантика, определено понятие бисимуляционной эквивалентности поведения для доказательства корректности, а также приведено краткое описание прототипа программного комплекса верификации взаимодействующих процессов. Доп.точки доступа: Смирнова, Н. Н. (к. т. н.) Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Асратян, Р. Э. (канд. техн. наук). Служба синхронизации процессов в сети [Текст] / Р. Э. Асратян // Информационные технологии. - 2009. - N 12. - С. 45-50. - Библиогр.: с. 50 (7 назв. ) . - ISSN 1684-6400
Рубрики: Вычислительная техника Распределенные системы обработки данных Кл.слова (ненормированные): ССП -- служба синхронизации процессов -- распределенные информационные системы -- Интернет-службы -- INTERNET-службы -- глобальные сети Аннотация: Описываются принципы организации новой Интернет-службы, предназначенной для синхронизации параллельных процессов в глобально-сетевой среде. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
О развитии концепции автоматического решения задач теории управления в системе ГАММА-3 [Текст] / А. Г. Александров [и др. ] // Мехатроника, автоматизация, управление. - 2011. - N 9 (126). - С. 14-19. : ил. - Библиогр.: с. 19 (6 назв. )
Рубрики: Вычислительная техника Системы управления базами данных (СУБД) Кл.слова (ненормированные): автоматическое решение задач -- теория управления -- формализация знаний -- распределенные информационные системы -- информационные системы -- визуализация данных -- ГАММА-3 Аннотация: На основе анализа задач, решаемых проектировщиками систем управления, предлагается подход к построению средств автоматического решения задач теории управления, базирующийся на формализации знаний о методах решения задач теории управления, многоуровневом представлении знаний и использовании средств автоматического планирования действий. Доп.точки доступа: Александров, А. Г. (доктор физико-математических наук; ведущий научный сотрудник); Михайлова, Л. С. (кандидат технических наук; заведующая кафедрой); Степанов, М. Ф. (доктор технических наук; профессор); Брагин, Т. М. (аспирант); Степанов, А. М. (аспирант) Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Сапожников, А. В. Автоматизация построения моделей нормального поведения [Текст] / А. В. Сапожников // Программирование. - 2012. - № 4. - С. 29-39. - Библиогр.: с. 38-39 (17 назв.) . - ISSN 0132-3474
Рубрики: Техника Автоматизация оборудования Кл.слова (ненормированные): сетевые объекты -- распределенные информационные системы -- РИС -- сетевые программы -- нормальное поведение Аннотация: Рассматривается задача алгоритмизированного построения описаний нормального поведения сетевых программ. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Особенности программно-аппаратной реализации распределенной информационной системы мониторинга технического состояния элементов подвижного состава РЖД [Текст] / И. А. Каляев [и др.] // Мехатроника, автоматизация, управление. - 2014. - № 3 (156). - С. 14-20 : ил. - Библиогр.: с. 20 (4 назв.). - Заглавие, аннотация, ключевые слова на русском и английском языках . - ISSN 1684-6427
Рубрики: Транспорт Подвижной состав железных дорог в целом Кл.слова (ненормированные): диагностика подвижного состава -- интеллектуальные датчики -- информационные системы -- мониторинг технического состояния -- мультиагентные технологии -- подвижной состав -- распределенные информационные системы Аннотация: Рассмотрен подход к построению встраиваемой системы диагностики подвижного состава (ПС) на основе мультиагентных технологий. В качестве основы реализации системы рассмотрено использование интеллектуальных датчиков (ИД) физических величин, обеспечивающих непрерывный контроль параметров состояния ПС. Для такой реализации определены форма представления общей задачи системы по оценке технического состояния и пути ее решения за счет консолидации ресурсов ИД. Рассмотрены особенности аппаратного обеспечения системы. Определена структура программной реализации системы и предложен обобщенный алгоритм функционирования агента ИД, а также указаны направления его дальнейшего совершенствования в целях практической реализации. Доп.точки доступа: Каляев, И. А. (доктор технических наук; директор); Котов, В. Н. (кандидат технических наук; заместитель директора); Щеpбинин, И. П. (ведущий конструктор); Красильщиков, М. Н. (доктор технических наук; заведующий кафедрой); Евдокименков, В. Н. (доктор технических наук; профессор); ОАО "РЖД"; ОАО РЖД; "РЖД", ОАО Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Смирнов, О. А. Проектирование распределенной информационной системы регулирования развития маршрутной сети воздушного транспорта [Текст] / О. А. Смирнов, С. В. Харитонов // Прикладная информатика. - 2015. - № 2. - С. 27-36 : 5 рис., 3 табл. - Библиогр.: с. 36 (5 назв. ) . - ISSN 0202-3776
Рубрики: Транспорт Воздушные перевозки Кл.слова (ненормированные): воздушный транспорт -- государственное регулирование -- информационные системы -- маршрутные сети -- распределенные информационные системы Аннотация: Рассматривается проектирование распределенной информационной системы регулирования развития маршрутной сети воздушного транспорта. Доп.точки доступа: Харитонов, С. В. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Есиков, Д. О. Задачи обеспечения устойчивости функционирования распределенных информационных систем [Текст] = The problems of ensuring distributed information systems sustainability / Д. О. Есиков // Программные продукты и системы. - 2015. - № 4. - С. 133-141 : ил.: 2 рис. - Библиогр.: с. 141 (16 назв.) . - ISSN 0236-235X
Рубрики: Вычислительная техника Вычислительная техника в целом Кл.слова (ненормированные): ERP -- РИС -- дискретная оптимизация -- математические модели -- обработка информации -- распределенные информационные системы -- хранение информации -- электронный документооборот Аннотация: Использование разработанного комплекса математических моделей позволит обеспечить устойчивое функционирование распределительных информационных систем на этапах проектирования, эксплуатации и совершенствования. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Асратян, Р. Э. (кандидат технических наук; ведущий научный сотрудник). Интернет-служба защищенной обработки информационных запросов в распределенных системах [Текст] / Р. Э. Асратян // Программная инженерия. - 2016. - Т. 7, № 11. - С. 490-497 : ил. - Библиогр.: с. 496 (8 назв.). - Загл., аннот. и библиогр. парал. рус., англ. . - ISSN 2220-3397
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): web-технологии -- веб-технологии -- защита информации -- интернет-технологии -- информационная безопасность -- информационное взаимодействие -- информационные запросы -- информационные системы -- кибербезопасность -- программная инженерия -- распределенные информационные системы -- сетевая безопасность Аннотация: Рассмотрены принципы организации сетевой службы, предназначенной для реализации защищенной обработки информационных запросов в распределенных информационных системах. Отличительными особенностями службы являются тесная интеграция функций аутентификации и защиты данных с функциями сетевого информационного взаимодействия, а также возможность отладки как клиентских, так и серверных компонентов системы вне сетевой среды. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Потапов, В. П. (доктор технических наук; профессор; заместитель директора). Хранение и обработка данных спутниковых мульти- и гиперспектральных снимков на основе формата Apache Parguet [Текст] / В. П. Потапов, С. Е. Попов, А. Ю. Ощепков // Программная инженерия. - 2018. - Т. 9, № 3. - С. 123-131 : ил. - Библиогр.: с. 129-130 (26 назв.). - Загл., аннот. и библиогр. парал. рус., англ. . - ISSN 2220-3397
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): Apache Parguet -- гиперспектральные изображения -- данные дистанционного зондирования -- дистанционное зондирование -- обработка спутниковых данных -- программная инженерия -- распределенные информационные системы -- сжатие данных -- спутниковые данные -- спутниковые изображения -- хранение спутниковых данных Аннотация: Распределенные технологии для обработки информации используются для дистанционного зондирования земли за счет спутниковых данных, получаемых с космических аппаратов различных форматов и диапазонов съемки. Рассмотрены несколько способов конвертации данных спектральных спутниковых снимков, а также реализация их обработки. Представленный способ хранения данных дистанционного зондирования позволяет снизить объем хранимой информации за счет архивации посредством технологии Apache Parguet. Доп.точки доступа: Попов, С. Е. (старший научный сотрудник); Ощепков, А. Ю. (аспирант) Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Бром, А. Е. Методы оптимизации информационных потоков в бизнес-процессах с распределенной системой хранения данных [Текст] / А. Е. Бром, А. П. Гантимуров // Проблемы теории и практики управления. - 2019. - № 3/4. - С. 49-55 : табл. - Библиогр.: с. 55 (2 назв.) . - ISSN 0234-4505
Рубрики: Вычислительная техника Применение компьютерных сетей Кл.слова (ненормированные): QoS -- анализ -- бизнес-процессы -- информационное взаимодействие -- информационные потоки -- информационные системы -- математическое моделирование -- обработка информации -- оптимизация информационных потоков -- потоки информации -- распределенные информационные системы -- сетевые потоки -- хранение информации -- эффективность функционирования Аннотация: Представлен вариант оптимизации информационных потоков в бизнес-процессах с применением распределенной системой хранения данных, поддерживающую технологию QoS, а также возможность использования математической модели распределенной системы хранения данных и модуля мониторинга и адаптации бизнес-процессов, поставляющих исходные данные для выработки управляющих команд для оптимизации информационных потоков. Доп.точки доступа: Гантимуров, А. П. Имеются экземпляры в отделах: всего 1 : эк. (1) Свободны: эк. (1) |
Акимова, Г. П. Моделирование надежности распределенных информационных систем [Текст] = Modeling the Reliability of Distributed Information Systems / Акимова Г. П., Соловьев А. В., Тарханов И. А. // Информационные технологии и вычислительные системы = Journal of Information Technologies and Computing Systems. - 2019. - № 3. - С. 79-86 : ил. - Библиогр.: с. 84-86 (16 назв. ) . - ISSN 2071-8632
Рубрики: Вычислительная техника Прикладные информационные (компьютерные) технологии в целом Кл.слова (ненормированные): многоуровневые информационные системы -- надежность информационных систем -- распределенные информационные системы -- трехуровневые информационные системы Аннотация: Рассматривается методология моделирования схем надежности больших территориально распределенных информационных систем. Доп.точки доступа: Соловьев, А. В.; Тарханов, И. А. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Харлампенков, И. Е. (научный сотрудник). Преобразование и отображение расчетных данных оптико-электронных данных дистанционного зондирования Земли на основе расширений GeoServer и распределенных технологий хранения [Текст] / И. Е. Харлампенков, А. Ю. Ощепков // Программная инженерия. - 2021. - Т. 12, № 2. - С. 107-112 : ил. - Библиогр.: с. 111-112 (20 назв.). - Авт., загл., кл. сл. и библиогр. парал. рус., англ. . - ISSN 2220-3397
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Геодезия Дистанционное зондирование Кл.слова (ненормированные): Apache Hadoop -- Apache Parquet -- ENVI BIL -- GDAL -- GeoServer -- HDFS -- Java -- Kite SDK -- WMS Extensions -- геопространственные данные -- данные дистанционного зондирования -- информационные системы -- программное обеспечение -- распределенные информационные системы Аннотация: Рассмотрен способ визуализации данных спутниковых снимков с помощью служб программного обеспечения GeoServer и распределенных технологий хранения. Особенностью результатов, представленных в статье, является подход, основанный на визуализации данных посредством преобразования колоночного хранилища Apache Parquet в растр формата BIL и сохранение его в виде временного файла. Такой подход позволяет обеспечить взаимодействие с распределенной файловой системой через библиотеки Kite SDK и включить дополнительные обработчики данных, основанные на технологии Apache Hadoop в качестве внешних сервисов. Доп.точки доступа: Ощепков, А. Ю. (аспирант) Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Выбор моделей доверия при интеграции распределенных информационных систем критического применения [Текст] = Selection of trust models when integrating distributed information systems of critical application / В. В. Грызунов, А. А. Корниенко, М. Л. Глухарев, А. С. Крюков // Проблемы информационной безопасности. Компьютерные системы. - 2021. - № 4. - С. 79-90 : схемы. - Библиогр.: с. 89-90 (15 назв.) . - ISSN 2071-8217
Рубрики: Вычислительная техника Перспективные архитектуры Кл.слова (ненормированные): critical application systems -- distributed information systems -- information security -- integration of information systems -- public keys (computing) -- trust models (computing) -- интеграция информационных систем -- информационная безопасность -- модели доверия (вычислительная техника) -- открытые ключи (вычислительная техника) -- распределенные информационные системы -- системы критического применения Аннотация: Рассматривается задача создания безопасного пространства доверия при интеграции распределенных информационных систем критического применения. В статье анализируются особенности моделей доверия, основанных на использовании электронной подписи, на предмет применимости в информационных системах критического применения. Формулируются и доказываются необходимые условия существования инфраструктуры открытых ключей. Приводятся примеры угроз необходимым условиям, выбираются модели доверия, подходящие для интеграции информационных систем критического применения. Distributed information systems of critical application are integrated with each other, which means that it is necessary to manage the distribution of trust. The article analyzes the features of trust models based on the use of electronic signatures for their applicability in information systems of critical application. The necessary conditions for the existence of a public key infrastructure are formulated and proven. Examples of threats to necessary conditions are given, trust models are selected that are suitable for the integration of information systems of critical application. Доп.точки доступа: Грызунов, В. В.; Корниенко, А. А.; Глухарев, М. Л.; Крюков, А. С. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |