• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Найдено 15 публикаций
Сортировка:
по названию
по году
Статья
Алтухов В., Захаров В. А., Подымов В. В. и др. Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление. 2015. Т. 212. № 1. С. 74-87.

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

Добавлено: 27 сентября 2015
Статья
Бородин А. И. Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление. 2012. № 151. С. 96-101.

Проведен анализ методических подходов к оценке технического и организационного уровня производства. Предложено использовать линейную многофакторную модель Р.А. Коломиец по качеству к оценке ТОУП.

Добавлено: 18 ноября 2012
Статья
Синенкова Е. М. Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление. 2010. № 92. С. 172-177.

Приводится описание логисты, модели смешанных информационных источников, модели Гомперца, модели Басса и ее модификаций, учитывающих замещение технологий и конкуренцию нескольких продуктов. Сформирован пул моделей, показавших лучшие прогнозирующие свойства при практических исследованиях диффузии ИКТ-инноваций экономике

 

Добавлено: 9 октября 2012
Статья
Подымов В. В., Попеско У. Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление. 2014. № 2 (193). С. 169-179.

В последние несколько лет активное развитие получили программно-конфигурируемые сети (ПКС) – особый вид компьютерных сетей, в которых все коммутирующие устройства имеют централизованное управление. В статье изучены задачи формального описания и верификации ПКС. Для описания ПКС использована библиотека элементов UML в редакторе диаграмм Dia. Для верификации ПКС использовано программно-инструментальное средство UPPAAL. Основной результат исследований – разработка транслятора, позволяющего по диаграмме сети получить ее модель для верификации в виде сети конечных временных автоматов. Корректность трансляции строго обоснована. Проведен ряд экспериментов, показывающих применимость предложенного метода верификации для проверки свойств поведения ПКС, специфицированных посредством формул темпоральной логики реального времени.

Добавлено: 29 сентября 2015
Статья
Васильева Т., Мызникова Б., Русаков С. В. Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление. 2012. № 1(140). С. 73-79.

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

Добавлено: 10 марта 2015
Статья
Мордвинов Д. А., Литвинов Ю. В. Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление. 2016. № 1 (236). С. 84-107.

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

Добавлено: 30 октября 2018
Статья
Торшин Д. В. Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление. 2009. Т. 2. № 76. С. 26-32.

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

Добавлено: 27 декабря 2017
Статья
Лавренчук Е. Н. Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление. 2008. № 68. С. 273-279.

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

Добавлено: 5 октября 2012
Статья
Таратухин В. В., Овсянников М. В., Стогний И. А. Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление. 2012. № 1. С. 79-83.

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

Добавлено: 9 сентября 2012
Статья
Агиевич В. А., Гимранов Р. Д., Таратухин В. В. Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление. 2012. № 157. С. 107-110.

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

Добавлено: 18 ноября 2012
Статья
Лавренчук Е. Н. Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление. 2008. № 64. С. 240-244.

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

Добавлено: 5 октября 2012
Статья
Шляго Н. Н. Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление. 2012. № 4 (151). С. 125-131.

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

Добавлено: 18 ноября 2012
Статья
Богданов А. В., Малыгин И. Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление. 2015. № 6 (234). С. 14-24.

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

Добавлено: 29 июня 2017
Статья
Таратухин В. В., Куприянов Ю. В. Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление. 2013. № 1. С. 93-98.

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

Добавлено: 30 марта 2013
Статья
Кутергина Г. В., Лядова Л. Н., Фролова Н. В. Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление. 2011. № 137. С. 30-35.

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

Добавлено: 18 сентября 2012