?
Удостоверяющие автоматизированные информационные системы и средства. Введение в теорию и практику
СПб. :
БХВ-Петербург, 2016.
Маршалко Г. Б., Баушев С. В., Кузьмин А. С., Гаценко О. Ю., Аристархов И. В., Самонов А. В., Камышев С. Н., Горбачев И. Е., Сабанов А. Г., Максимов С. В., Синев С. Г., Нездоровин Н. В.
Научный редактор: С. В. Баушев, А. С. Кузьмин
В учебном пособии рассматривается новый класс автоматизированных информационных систем, реализующих функционал обеспечения доверия к циркулирующим в них данным. Исследуются модели их функционирования в условиях априорной неопределенности поведения предполагаемых нарушителей информационной безопасности и методы повышения уровня информационной безопасности.Издание предназначено для специалистов в области разработки и создания защищенных автоматизированных систем, студентов и аспирантов, а также может быть полезным для научных работников, ведущих исследования в различных областях информатики.
Научное направление:
Компьютерные науки
Язык:
русский
Obsie E. Y., Zhan Y., Liu Y., Engineering Research Express 2026 Article 7
Добавлено: 22 октября 2026 г.
Lev Pyatko, Sergey Aksenov, Regular and Chaotic Dynamics 2026 Vol. 31 No. 5 P. 794–813
In the circular restricted three-body problem, families of periodic and quasi-periodic orbits exist in the vicinity of the libration points and are of significant interest for practical applications. This work presents a neural network-based algorithm for orbit construction and station-keeping, applicable to both periodic and quasi-periodic orbits near collinear libration points. The method employs a ...
Добавлено: 19 октября 2026 г.
Воронцова Т. Д., М.: Академия, 2025.
Учебник подготовлен в соответствии с требованиями федеральных государственных образовательных стандартов среднего профессионального образования и предназначен для изучения профессиональных модулей «Защита информации в информационно-телекоммуникационных системах и сетях с использованием программных и программно-аппаратных, в том числе криптографических средств защиты» и «Защита информации в автоматизированных системах программными и программно-аппаратными средствами».
Содержание учебника включает в себя аксиоматику теории информации, а также такие фундаментальные понятия, как ...
Добавлено: 19 октября 2026 г.
Aleksei Samarin, Назаренко А. А., Nazarenko D. и др., Machine Learning and Knowledge Extraction 2026 Vol. 8 No. 10 Article 330
Добавлено: 14 октября 2026 г.
Дмитриев А. В., Корнилов В. В., Batienkov R., Lecture Notes in Civil Engineering 2026 Vol. 886 P. 249–255
Добавлено: 13 октября 2026 г.
Дмитриев А. В., Shulman I., Лебедев А. А., Studies in Computational Intelligence 2026 Vol. 1265 P. 266–273
Добавлено: 13 октября 2026 г.
Makarov D. M., Каликин Н. Н., Fashchevsky K. A. и др., Electrochimica Acta 2026 Vol. 579 Article 150159
Добавлено: 13 октября 2026 г.
Zhang Z., Ильвовский Д. А., Information Processing and Management 2026 Vol. 63 No. 7
Добавлено: 13 октября 2026 г.
No Species Is an Island, Entire of Itself: Genetic Speciation Algorithm with Interplay among Species
Громов В. А., Сохраби М., Fathollahi-Fard A., International Journal of Engineering, Transactions B: Applications 2027 Vol. 40 No. 5 P. 1437–1460
Добавлено: 12 октября 2026 г.
Александров Д. В., Василевский В. И., Резуник Л. и др., Труды Института системного программирования РАН 2026 Т. 38 № 5 С. 73–90
Ограничения при выполнении задач, требующих точного извлечения информации из сверхдлинных последовательностей, приводят к снижению качества генерации и отладки кода крупных объектно-ориентированных систем, характеризующихся сложными межклассовыми зависимостями и необходимостью анализа длинных трассировок выполнения, превышающих размеры стандартных контекстных окон. Предлагается технология JavaCapsule для генерации и отладки Java-кода, реализующая итеративную отладку на основе структурированной обратной связи, включающей результаты ...
Добавлено: 12 октября 2026 г.
Singapore: Springer, 2026.
Добавлено: 12 октября 2026 г.
Зыков С. В., Ермаков С. Р., Современные наукоемкие технологии 2026 № 9 С. 43–53
При федеративном обучении с неоднородными клиентскими данными и переменными задержками запоздавшие обновления могут ухудшать качество модели, а обмен параметрами с глобальным сервером увеличивает сетевую нагрузку. Целью исследования является разработка и теоретико-экспериментальное обоснование метода и алгоритмов адаптивного федеративного обучения с учетом распределенного запаздывания клиентских обновлений. Для обоснования разрабатываемых решений использованы событийная и непрерывная модели градиентных обновлений, ...
Добавлено: 11 октября 2026 г.
Брычков М. Е., Незнанов А.А., Программирование 2026 № 4 С. 50–66
Матричный профиль (МП) при появлении в 2016 г. быстро стал одним из важнейших методов предобработки, облегчающим решение широкого класса задач анализа временных рядов, в частности, задач обнаружения аномалий и шаблонов. Высокая значимость привела к появлению разнообразных инструментов вычисления МП, но оказалось, что особенности реализации методов существенно влияют на результаты, которые перестают быть идентичными. Встает вопрос, ...
Добавлено: 9 октября 2026 г.
Алескеров Ф. Т., Вайншток А. П., Делахова А. М. и др., Информационные процессы 2026 Т. 26 № 3 С. 895–913
Проблемы развития и эффективного управления территориальными образованиями являются приоритетными для всех государств, особенно в условиях цифровой трансформации государственного управления. За последнее десятилетие интеграция информационных технологий в муниципальное и региональное планирование существенно изменила подходы к стратегическому развитию, предоставлению услуг и взаимодействию с населением. В данной работе представлено описание функциональности человеко-машинной вебсистемы поддержки принятия решений, в которой ...
Добавлено: 9 октября 2026 г.
Степанянц В. Г., Andrey V. Fizulin, Chibirov A. и др., FUTURE TRANSPORTATION 2026 Vol. 6 No. 5 Article 225
Добавлено: 8 октября 2026 г.
Люксембург А. А., УРСС, 2005.
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка, объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической ...
Добавлено: 7 октября 2026 г.
Добавлено: 7 октября 2026 г.
Алескеров Ф. Т., Чайка Е. А., Дерендяев А. Б. и др., Procedia Computer Science 2026 No. 287 P. 590–595
Добавлено: 7 октября 2026 г.
Будник Р. А., М.: Юрайт, 2025.
В курсе освещается общая характеристика законодательства в сфере электронного документооборота, а также понятия электронного документа и электронной подписи. Все нормативные правовые акты и материалы правоприменительной практики даны в актуальном состоянии. Курс подготовлен при информационной поддержке СПС «КонсультантПлюс». Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Для студентов, аспирантов и преподавателей юридических вузов, а также ...
Добавлено: 10 февраля 2026 г.
Соленая А. Е., Ягунова Е. Е., В кн.: Глобальные научные тренды: междисциплинарные исследования: Сборник статей II Международной научно-практической конференции. Часть 2.: Саратов: КУБиК, 2025. С. 394–403.
В статье рассмотрен процесс внедрения электронного правосудия в систему работы судов общей юрисдикции Российской Федерации. Автором проанализированы актуальные проблемы, с которыми на практике сталкиваются участники гражданского процесса. По итогам исследования сделан вывод о необходимых направлениях развития электронного правосудия для повышения качества гражданского судопроизводства и его доступности. ...
Добавлено: 8 февраля 2026 г.
Саратов: КУБиК, 2025.
борник статей представляет собой итог работы II Международной научно-практической конференции «Глобальные научные тренды: междисциплинарные исследования». Конференция собрала ученых, исследователей и практиков из различных областей знаний, что способствовало обмену опытом и идеями, а также формированию нового взгляда на современные вызовы и возможности. В сборнике представлены статьи, охватывающие широкий спектр научных направлений, включая биологические и медицинские науки, ...
Добавлено: 8 февраля 2026 г.
Сироткина Н. Г., В кн.: Современный менеджмент: проблемы и перспективы. Сборник статей по итогам XX Международной научно-практической конференции. В 2-х частях. Санкт-Петербург, 2025.: [б.и.], 2025.
В российской системе государственных закупок широко используются информационные технологии, которые поэтапно внедрялись последние двадцать лет. Однако отсутствие соответствующего нормативного регулирования сильно ограничивает дальнейшую цифровизацию сферы государственных закупок, в частности, применение искусственного интеллекта (ИИ). При этом использование искусственного интеллекта в госзакупках имеет значительный потенциал. В статье обсуждаются возможности применения ИИ в государственных закупках, а также влияние ...
Добавлено: 12 ноября 2025 г.