Авторитетность издания
Добавить в закладки
Следующий номер на сайте
PDF (6.6 Мб)
Свежий выпуск
В этом номере журнала исследовано моделирование систем физической защиты
Рассмотрено автоматизированное выявление хайповых технологий
Представлен генетический алгоритм размещения требований
Разработана авторская метрика оценки близости программ
В выпуске также обсуждаются многие другие актуальные темы
темы номера
Подать статью
Объявления редакции
(01.05.2025)(01.05.2025)
С 80-й годовщиной Великой Победы(05.03.2025)
Опубликован выпуск № 1 за 2025 год
Новости информационных технологий
Новости информационных технологий
В Волгоградском государственном техническом университете разработан фреймворк для автоматизации исследований в области проектирования проактивных систем поддержки принятия решений (15.05.2025)
Предложенный фреймворк обладает гибкой модульной архитектурой для добавления новых методов анализа и прогнозирования. Приведен пример его использования для решения задачи анализа временных рядов и определения оставшегося срока службы оборудования.
(15.05.2025)
В Волгоградском государственном техническом университете разработан фреймворк для автоматизации исследований в области проектирования проактивных систем поддержки принятия решенийПредложенный фреймворк обладает гибкой модульной архитектурой для добавления новых методов анализа и прогнозирования. Приведен пример его использования для решения задачи анализа временных рядов и определения оставшегося срока службы оборудования.
В Санкт-Петербургском политехническом университете Петра Великого рассмотрена методика построения имитационных моделей в отечественном программном комплексе АКИМ (07.05.2025)
Предлагаемый метод построения имитационных моделей позволяет преодолевать трудности, связанные с использованием марковских цепей: необходимость использовать экспертные оценки коэффициентов матрицы переходов, матрицы большого размера, сложности модификации модели.
(07.05.2025)
В Санкт-Петербургском политехническом университете Петра Великого рассмотрена методика построения имитационных моделей в отечественном программном комплексе АКИМПредлагаемый метод построения имитационных моделей позволяет преодолевать трудности, связанные с использованием марковских цепей: необходимость использовать экспертные оценки коэффициентов матрицы переходов, матрицы большого размера, сложности модификации модели.
В Национальном исследовательском ядерном университете «МИФИ» предложен подход к унифицированному представлению спецификаций, интегрированному с системами для статической проверки типов и динамического тестирования (23.04.2025)
Практическая значимость предлагаемого подхода состоит, в частности, в автоматизации процесса построения типизированных оберток, или фасадов, необходимых для использования компонентов из менее типизированных сред в языках программирования с более выразительными системами типов.
(23.04.2025)
В Национальном исследовательском ядерном университете «МИФИ» предложен подход к унифицированному представлению спецификаций, интегрированному с системами для статической проверки типов и динамического тестированияПрактическая значимость предлагаемого подхода состоит, в частности, в автоматизации процесса построения типизированных оберток, или фасадов, необходимых для использования компонентов из менее типизированных сред в языках программирования с более выразительными системами типов.
В институте проблем управления им. В.А. Трапезникова РАН совместно с Федеральный исследовательским центром «Информатика и управление» РАН разработан алгоритм для задачи с частичным порядком выполнения работ (16.04.2025)
Создан приближенный алгоритм для системы с возобновляемыми и невозобновляемыми ресурсами, а также для комплекса со смешанным набором работ (как непрерываемых, так и допускающих прерывания и переключения), основанный на сетевом моделировании и сведении исследуемой задачи к поиску потока с определенными свойствами в специальной сети.
(16.04.2025)
В институте проблем управления им. В.А. Трапезникова РАН совместно с Федеральный исследовательским центром «Информатика и управление» РАН разработан алгоритм для задачи с частичным порядком выполнения работСоздан приближенный алгоритм для системы с возобновляемыми и невозобновляемыми ресурсами, а также для комплекса со смешанным набором работ (как непрерываемых, так и допускающих прерывания и переключения), основанный на сетевом моделировании и сведении исследуемой задачи к поиску потока с определенными свойствами в специальной сети.
В Санкт-Петербургском федеральном исследовательском центре РАН предложено решение проблемы создания программной инфраструктуры для систематизации, хранения рукописей и иных материалов, представленных в цифровом виде (09.04.2025)
В работе предложен гибридный подход, основанный на использовании априорных данных о структуре элементов верстки страницы, технологиях OCR – распознавание текста на базе библиотеки Tesseract и методах верификации.
(09.04.2025)
В Санкт-Петербургском федеральном исследовательском центре РАН предложено решение проблемы создания программной инфраструктуры для систематизации, хранения рукописей и иных материалов, представленных в цифровом видеВ работе предложен гибридный подход, основанный на использовании априорных данных о структуре элементов верстки страницы, технологиях OCR – распознавание текста на базе библиотеки Tesseract и методах верификации.
В институте компьютерных наук и прикладной математики совместно с Московским авиационным институтом рассмотрена задача планирования производственных процессов потокового типа (02.04.2025)
Для решения задачи поиска отображения установленного вида авторы статьи разработали генетический алгоритм, что обусловило существенное преимущество по быстродействию в сравнении с фундаментальными подходами математического программирования (например, в сравнении с моделями целочисленного линейного программирования).
(02.04.2025)
В институте компьютерных наук и прикладной математики совместно с Московским авиационным институтом рассмотрена задача планирования производственных процессов потокового типаДля решения задачи поиска отображения установленного вида авторы статьи разработали генетический алгоритм, что обусловило существенное преимущество по быстродействию в сравнении с фундаментальными подходами математического программирования (например, в сравнении с моделями целочисленного линейного программирования).
В институте статистических исследований и экономики знаний НИУ «Высшая школа экономики» разработали методику автоматизированного выявления хайпов среди технологических тематик (28.03.2025)
Описываемая в статье методика включает извлечение методами обработки естественного языка и компьютерной лингвистики из нескольких десятков миллионов текстовых документов различных типов терминов, означающих технологии, расчет объективной меры хайповости каждой технологии, а также построение визуальной карты – наглядного представления ландшафта технологий, позволяющего отделить устойчивые тренды от потенциальных хайпов.
(28.03.2025)
В институте статистических исследований и экономики знаний НИУ «Высшая школа экономики» разработали методику автоматизированного выявления хайпов среди технологических тематикОписываемая в статье методика включает извлечение методами обработки естественного языка и компьютерной лингвистики из нескольких десятков миллионов текстовых документов различных типов терминов, означающих технологии, расчет объективной меры хайповости каждой технологии, а также построение визуальной карты – наглядного представления ландшафта технологий, позволяющего отделить устойчивые тренды от потенциальных хайпов.
НАУЧНЫЕ БАЗЫ ДАННЫХ, ПЕРЕЧНИ, КАТАЛОГИ И ИНФОРМАЦИОННЫЕ СИСТЕМЫ, В КОТОРЫЕ ВКЛЮЧЕНО НАШЕ ИЗДАНИЕ
Как связаться с редакцией
- Телефон: +7 (4822) 39-91-49
- Факс: +7 (4822) 39-91-00
- Адрес: пр-т Николая Корыткова, 3а, г. Тверь, 170024, Россия
- Электронная почта: red@cps.tver.ru, info@cps.tver.ru
