?
Архитектура оболочек программных систем с порождающими механизмами. Часть 1
Прикладная информатика. 2014. № 3(51). С. 128–135.
Болотова Л. С., Новиков А. П., Никишина А. А.
В статье описан новый взгляд на позиционирование теории создания систем ситуационного
управления как одного из направлений искусственного интеллекта, обладающего меха-
низмами порождения. Ракурс предлагаемого взгляда позволил выявить задачи, решение
которых составляет развитие этой теории с возможностью создания программных систем
нового типа.
Научное направление:
Компьютерные науки
Язык:
русский
Канаев Е. А., Southeast Asia: Actual Problems of Development 2026 Vol. 1 No. 1(70) P. 153–163
Цель статьи состоит в определении степени успеха, достигнутого Камбоджой в развитии своей экосистемы искусственного интеллекта (ИИ), рассматриваемого сквозь призму ее состояния ее нецифровых активов как результата экономической модернизации, а также ее цифровых проектов и инициатив. Представив специфику камбоджийской парадигмы экономической модернизации и дав оценку достигнутым к настоящему времени результатам, статья анализирует основные проекты и инициативы ...
Добавлено: 30 июля 2026 г.
Канаев Е. А., Southeast Asia: Actual Problems of Development 2026 Vol. 2 No. 2(71) P. 11–22
В фокусе внимания автора статьи находится усиливающаяся цифровая составляющая в эволюции проблемы Южно-Китайского моря в контексте изменения подхода АСЕАН к углубляющимся противоречиям и ее политики в цифровом пространстве. Проведя обзор политики АСЕАН в отношении проблемы Южно-Китайского моря, автор переходит к рассмотрению цифровой повестки многосторонних диалоговых форматов АСЕАН и далее – к зарождающемуся цифровому компоненту проблемы ...
Добавлено: 30 июля 2026 г.
Уилкокс П., Романов А. Ю., М.: ДМК Пресс, 2025.
Книга, которую вы держите в руках, продолжает серию «Книжная полка истового
инженера», которая издается при поддержке компании YADRO.
Данная книга представляет собой учебник по теоретическим основам продвинутой
функциональной верификации и содержит лучшие практики, используемые в настоящее
время. В ней подробно описана унифицированная методология верификации
(UVM) и раскрыты такие темы, как функциональный виртуальный прототип, функциональное
покрытие, утверждения, формальная верификация, тестбенчи, косимуляция,
эмуляция, аппаратное ...
Добавлено: 30 июля 2026 г.
Mikhaylets E. V., Razorenova A. М., Chernyshev V. L. и др., Scientific Reports 2026 Vol. 16 Article 23560
Добавлено: 29 июля 2026 г.
Polyakov S., Smeshkova L., Лапин В. О. и др., Veredas do Direito 2026 Vol. 23 No. 11 Article e237531
Добавлено: 27 июля 2026 г.
Степанов С. К., Иноземцев М. И., Закон 2026 № 7 С. 193–203
2022 год в Европе был ознаменован подготовкой проекта директивы об ответственности за вред, причиненный с использованием искусственного интеллекта. Основная особенность проекта в том, что в нем предлагается применять режим виновной ответственности за вред, причиненный с помощью искусственного интеллекта. Кроме того, обозначен ряд практических мер, на первый взгляд призванных облегчить положение потерпевшего: раскрытие доказательств, а также ...
Добавлено: 27 июля 2026 г.
Думкин Н. А., Александров Д. В., Прозорский М. А., Труды Института системного программирования РАН 2026 Т. 38 № 1 С. 255–274
Предложен теоретически обоснованный подход к адаптивному восстановлению
видеофрагментов на стороне клиента с использованием методов машинного обучения и анализа сцены.
Метод включает формальную постановку задачи, модель конечного автомата для принятия решений,
функцию стоимости восстановления, а также новый этап в подготовке видео – оценку динамики сцены
с последующей записью признака в HLS-плейлист. Такой признак позволяет повысить точность выбора
методов восстановления фрагментов видео. ...
Добавлено: 27 июля 2026 г.
Cham: Springer, 2026.
Добавлено: 26 июля 2026 г.
Добавлено: 23 июля 2026 г.
Писляков В. В., Вестник Томского государственного университета. Филология 2026 № 101 С. 175–192
Исследуется использование паремий в статьях, опубликованных в отечественных научных журналах. В результате поиска по платформе eLIBRARY.RU и постатейного просмотра полных текстов формируется «паремический массив» – набор журнальных статей, вышедших за 2014–2023 гг., в которых встречается одна из десяти исследуемых пословиц. Выделяются только случаи, когда пословицы используются авторами как пришедшиеся к слову изречения, а не как ...
Добавлено: 22 июля 2026 г.
Association for Computing Machinery (ACM), 2026.
Добавлено: 22 июля 2026 г.
Korogod D., Shapeev A., Ivan S. Novikov, Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 114 No. 2 Article 024104
Добавлено: 22 июля 2026 г.
Sozykin K., Rybin N., Chertkov A. и др., Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 113 No. 22 Article 224111
Добавлено: 22 июля 2026 г.
Михайлов И. А., Machine Learning and Knowledge Extraction 2026 Vol. 8 No. 1 Article 8
Whole-slide histology images (WSIs) can exceed 100 k × 100 k pixels, making direct pixel-level segmentation infeasible and requiring patch-level classification as a practical alternative for downstream WSI segmentation. However, most approaches either treat patches independently, ignoring spatial and biological context, or rely on deep graph models prone to oversmoothing and loss of local tissue ...
Добавлено: 16 июля 2026 г.
Кунинец А. А., Малыгина Е. С., Leevik A. G. и др., Journal of Computer Virology and Hacking Techniques 2026 No. 22 Article 62
Добавлено: 16 июля 2026 г.
Силаков Д. В., Системный администратор 2026 № 5 С. 46–51
В предыдущей статье про Open Source в КНР [1] мы рассказали про Alibaba – крупную корпорацию, занимающую тридцатое место в рейтинге самых значимых мировых брэндов за 2025 год [2]. Место почетное, но не первое среди китайских компаний – на тринадцатом месте расположилась Tencent, разработчик WeChat и ряда других продуктов, широко используемых нашими восточными соседями. Tencent ...
Добавлено: 14 июля 2026 г.
IEEE, 2026.
Добавлено: 13 июля 2026 г.
Switzerland: Springer, 2026.
Добавлено: 12 июля 2026 г.
Шиманогов И. Н., Вялый М. Н., Дискретный анализ и исследование операций 2025 Т. 32 № 4(166) С. 213–230
Хорошо изученным классом алгоритмических задач являются задачи регулярной реализуемости: проверка непустоты пересечения регулярного языка с заданным языком. Данная задача имеет естественную алгебраическую интерпретацию: проверка принадлежности элемента булевой алгебры ядру определенного гомоморфизма. Это мотивирует рассмотрение аналогичной задачи бесконечной регулярной реализуемости: проверка бесконечности пересечения регулярного языка с заданным. В работе рассматриваются задачи регулярной реализуемости для разрешимых языков ...
Добавлено: 12 июля 2026 г.
Добавлено: 8 июля 2026 г.
Springer, 2027.
Добавлено: 8 июля 2026 г.
Маликов М. А., Монахова Э. А., Рзаев Э. Р. и др., Ученые записки Казанского университета. Серия: Физико-математические науки 2026 Т. 168 № 2 С. 269–286
В качестве топологий сетей на кристалле рассмотрены серии семейств оптимальных по диаметру двумерных циркулянтных сетей с прямоугольным контуром укладки на плоскости. Прямоугольный контур укладки графа межмодульных соединений даёт возможность компоновки
элементов в сетях на кристалле с минимальным количеством пересечений связей и ограниченной
длиной максимальной из них, не зависящей от размера сети. Для серий семейств циркулянтных сетей с ...
Добавлено: 8 июля 2026 г.