Preview

Моделирование и анализ информационных систем

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 23, № 4 (2016) Облачный сервис для интерактивного моделирования межтерриториальной торговли Аннотация  PDF (Rus)  похожие документы
А. С. Величко, В. В. Грибова, Л. А. Федорищев
"... modules are produced with IACPaaS cloud platform. Communication between the platforms is established via ..."
 
Том 17, № 2 (2010) Облачные вычисления в Интернете: краткий экскурс в Центр компьютерного моделирования Аннотация  PDF (Rus)  похожие документы
Г. А. Тарнавский
"... The conception of Cloud Computing in Internet is presented on the base of the Computer Simulation ..."
 
Том 25, № 4 (2018) Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров Аннотация  PDF (Rus)  похожие документы
Дмитрий Русланович Филонов, Дмитрий Юрьевич Чалый, Дмитрий Михайлович Мурин, Валерий Георгиевич Дурнев, Валерий Анатольевич Соколов
"... of modern cloud services that are provided by Amazon. We used serverless computations and NoSQL data bases ..."
 
Том 22, № 6 (2015) Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight Аннотация  PDF (Rus)  похожие документы
А. А. Носков, М. А. Никитинский, И. В. Алексеев
"... equipment to software modules that run on a dedicated server, called the controller (or network operating ..."
 
Том 26, № 1 (2019) Разработка и исследование алгоритмов формирования правил для узлов сетевой безопасности в мультиоблачной платформе Аннотация  PDF (Rus)  похожие документы
Денис Игоревич Парфёнов, Ирина Павловна Болодурина, Вадим Александрович Торчин
"... of the multi-cloud platform were considered. It is established that the most acute problem is the effective ..."
 
Том 20, № 5 (2013) Точные значения поперечников некоторых классов функций из L₂ и минимизация констант в неравенствах типа Джексона – Стечкина Аннотация  PDF (Rus)  похожие документы
Гулзорхон Амиршоевич Юсупов
"... ] тригонометрическими полиномами и усредненными значениями с положительным весом ϕ модулями непрерывности m-го порядка ..."
 
Том 25, № 3 (2018) Новый подход к обнаружению и устранению аномалий в политике безопасности внешнего модуля межсетевого экрана контроллера ПКС Floodlight Аннотация  похожие документы
Сергей Владимирович Моржов, Михаил Александрович Никитинский
"... into the firewall module of the Floodlight SDN controller in order to prevent the occurrence of anomalies among them ..."
 
Том 28, № 4 (2021) На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев
"... is an intermediate verification language in this system. Cloud parallel programming system (CPPS) is also developed ..."
 
Том 26, № 1 (2019) Иерархические периферийные вычисления Аннотация  PDF (Rus)  похожие документы
Руслан Леонидович Смелянский
"... , new mobile communication technologies, which today cannot be implemented without the usage of cloud ..."
 
Том 27, № 2 (2020) Метод совместной кластеризации в графовом и корреляционном пространствах Аннотация  PDF (Rus)  похожие документы
Анастасия Наильевна Гайнуллина, Анатолий Абрамович Шалыто, Алексей Александрович Сергушичев
"... used approaches is to solve the problem of identifying an active module, where a connected subnetwork ..."
 
Том 22, № 1 (2015) О приближении периодических функций в L₂ и значениях поперечников некоторых классов функций Аннотация  PDF (Rus)  похожие документы
Камаридин Тухлиев
"... The sharp Jackson–Stechkin inequalities are received, in which a special module of continuity Ωem ..."
 
Том 22, № 5 (2015) Изоморфизм компактификаций модулей векторных расслоений: неприведенные схемы модулей Аннотация  PDF (Rus)  похожие документы
Н. В. Тимофеева
"... В работе продолжено изучение компактификации схемы модулей полустабильных по Гизекеру векторных ..."
 
Том 20, № 4 (2013) Проектирование и разработка имитационной модели мультиклиентского кластера баз данных Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бойцов
"... solutions in this area, the architectural features of cloud-based applications should be taken into account ..."
 
Том 26, № 1 (2019) От главного редактора Аннотация  PDF (Rus)  похожие документы
Валерий Анатольевич Соколов
"... virtualization and cloud computing. The organizers and sponsors of the scientific IT forum were Skoltech, M ..."
 
Том 23, № 6 (2016) Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик Аннотация  PDF (Rus)  похожие документы
О. Б. Кушнаренко, Ж.-Ф. Вебер
"... to validate component systems’ implementations. This sound implementation is illustrated on a cloud-based ..."
 
Том 18, № 3 (2011) Модульная модель мультимедийного документа и особенности ее программной реализации Аннотация  PDF (Rus)  похожие документы
Владислав Игоревич Январев
"... (modules) made by third-party programmers. We propose original methods for document version comparison ..."
 
Том 19, № 1 (2012) Об одном изоморфизме компактификаций схемы модулей векторных расслоений Аннотация  PDF (Rus)  похожие документы
Надежда Владимировна Тимофеева
"... Построен морфизм приведенного функтора модулей Гизекера – Маруямы (полустабильных когерентных ..."
 
Том 19, № 6 (2012) Наследcтвенные свойства модульных сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... is downward-hereditary and unboundedness is upward-hereditary for arbitrary subnets after a specific module ..."
 
Том 21, № 4 (2014) Применение стохастических метаэвристик в задаче управления данными в мультиклиентском кластере баз данных Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бойцов
"... A multi-tenant database cluster is a concept of a data-storage subsystem for cloud applications ..."
 
Том 26, № 1 (2019) Оркестрация жизненного цикла многопользовательской виртуальной сетевой функции Аннотация  PDF (Rus)  похожие документы
Виталий Александрович Антоненко, Руслан Леонидович Смелянский, Артем Владимирович Плакунов, Павел Алексеевич Михеев
"... . In the cloud environment, it is not always possible to use VLAN tags, IP and MAC addresses ..."
 
Том 19, № 2 (2012) Mодули стабильных пучков ранга 2 с классами Черна c1 = -1, c2 = 2, c3 = 0 на трехмерной квадрике Аннотация  PDF (Rus)  похожие документы
Артем Дмитриевич Уваров
"... Рассматривается схема MQ( 2;-1; 2; 0 ) модулей стабильных пучков ранга 2 без кручения с классами ..."
 
Том 21, № 2 (2014) Приводимость пространства модулей стабильных рефлексивных пучков ранга 2 с классами Черна c1 = −1, c2 = 4, c3 = 2 на пространстве P3 Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич Тихомиров, Михаил Александрович Заводчиков
"... В статье доказывается приводимость пространства MrefP³ (2; −1, 4, 2) модулей стабильных ..."
 
Том 21, № 3 (2014) Об одной оптимальной кубатурной формуле для классов функций, задаваемых модулями непрерывности Аннотация  PDF (Rus)  похожие документы
Мирганд Шабозович Шабозов
"... модулями непрерывности. Для кубатурных формул с фиксированными узлами на границе прямоугольной области и ..."
 
Том 20, № 5 (2013) Точные неравенства типа Джексона–Стечкина и значения поперечников некоторых классов функций в пространстве L₂ Аннотация  PDF (Rus)  похожие документы
Мухтор Рамазонович Лангаршоев
"... дифференцируемых функций тригонометрическими полиномами и обобщенными модулями непрерывности m-го порядка Ωm в ..."
 
Том 22, № 6 (2015) Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ Аннотация  PDF (Rus)  похожие документы
М. А. Беляев, В. М. Ицыксон
"... as an executor module Tassadar as a part of bounded model checker Borealis. We tested Tassadar on two test sets ..."
 
Том 21, № 2 (2014) О поддержке рекурсивно-параллельного программирования в .NET Framework Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... and debugging applications for parallel execution on a local network. Communication module library classes ..."
 
Том 30, № 2 (2023) Графы сигнальных переходов для схем асинхронного тракта данных Аннотация  похожие документы
Александр Кушнеров, Сергей Быстров
"... . As an example, we consider a module realizing the function AND2. This module can either wait for both 1s ..."
 
Том 21, № 6 (2014) Программный комплекс для анализа и визуализации графов Аннотация  PDF (Rus)  похожие документы
Максим Игоревич Коломейченко, Алексей Андреевич Золотых, Игорь Викторович Поляков, Андрей Михайлович Чеповский
"... the overall architecture of application and basic principles of construction and operation of the main modules ..."
 
Том 22, № 4 (2015) Автоматизация формальной верификации программ на языке Пифагор Аннотация  PDF (Rus)  похожие документы
М. С. Ушакова, А. И. Легалов
"... , the program is correct. Several modules is distinguished in the system: “Program correctness prover”, “Axioms ..."
 
Том 19, № 2 (2012) Новые компоненты схемы модулей MP3 (2; -1; 2; 0) стабильных когерентных пучков ранга 2 без кручения на трехмерном проективном пространстве P3 Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Заводчиков
"... Рассматривается схема модулей Гизекера–Маруямы M := MP3 (2;-1; 2; 0) стабильных когерентных пучков ..."
 
Том 26, № 1 (2019) «Общие критерии» и безопасность программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Андрей Николаевич Петухов, Павел Львович Пилюгин
"... conceptual basis for key security solution modules including protection profiles and security targets ..."
 
Том 30, № 2 (2023) Рекурсивно-параллельный алгоритм поиска максимального общего подграфа Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... of computational modules during program execution. It can be used for applications written in any programming ..."
 
Том 25, № 2 (2018) О рекурсивно-параллельном алгоритме решения задачи о рюкзаке Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... program execution and dynamically redistribute work between computing modules. Any language with support ..."
 
Том 27, № 1 (2020) Параллельный алгоритм решения задачи об изоморфизме графов Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... between computing modules. Any language with support for the .NET Framework can be used as a programming ..."
 
Том 27, № 4 (2020) Алгоритмы для BDI-агентов, основанные на знаниях Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов, Наталья Олеговна Гаранина
"... (for a while) one of available desired resources. Available resources are passive, they form a cloud; each ..."
 
Том 29, № 1 (2022) Рекурсивно-параллельный алгоритм решения задачи об изоморфизме граф-подграф Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... of computation directly during program execution and dynamically redistribute work between computing modules. Any ..."
 
Том 20, № 6 (2013) О бутстрэпе для диаграмм и ландшафтов персистентности Аннотация  PDF (Rus)  похожие документы
Фредерик Шазаль, Фази Британи Тереза, Лецци Фабрицио, Риналдо Алессандро, Сингх Аарти, Ларри Вассерман
"... Persistent homology probes topological properties from point clouds and functions. By looking ..."
 
Том 14, № 4 (2007) Формальная модель семантики художественного текста (на материале русских пословиц) Аннотация  PDF (Rus)  похожие документы
А. C. Малкова, В. И. Январев
"... . The opposition lexicon forms a sort of semantic network. This model is to be used as the intellectual module ..."
 
Том 23, № 6 (2016) Разработка и анализ защищенности фрагмента информационно-телекоммуникационной системы, реализующей концепцию Интернета вещей Аннотация  PDF (Rus)  похожие документы
В. А. Александров, В. А. Десницкий, Д. Ю. Чалый
"... , the information security problem is urgent. To create a protected module of information-telecommunication system ..."
 
Том 24, № 6 (2017) Семантические средства обеспечения безопасности в программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый
"... construction that captures security requirements. The semantic can be implemented as a module of the controller ..."
 
Том 14, № 1 (2007) Верификация автоматных программ с использованием LTL Аннотация  PDF (Rus)  похожие документы
К. А. Васильева, Е. В. Кузьмин
"... адекватной моделью, по которой формальным образом строится программный модуль. Свойства программной системы в ..."
 
Том 23, № 3 (2016) Сходимость сеточного решения задачи Дирихле с разрывной про- изводной граничной функции для сингулярно возмущенного уравнения конвекции- диффузии Аннотация  похожие документы
Т. Я. Ершова
"... в сеточной норме максимум модуля почти с первым порядком, а именно с той же скоростью, что и при ..."
 
Том 24, № 5 (2017) Конструктивное решение проблемы эллиптичности системы дифференциальных уравнений первого порядка Аннотация  PDF (Rus)  похожие документы
Владимир Евгеньевич Балабаев
"... формулы Грина, а также аналог принципа максимума модуля. Используемые матричные операторы позволяют ..."
 
Том 24, № 6 (2017) Семантически-ориентированная миграция Java-программ: опыт практического применения Аннотация  PDF (Rus)  похожие документы
Артем Олегович Алексюк, Владимир Михайлович Ицыксон
"... . Предложенная процедура реализована в прототипе инструмента миграции. Инструмент включает в себя модули ..."
 
1 - 44 из 44 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)