Сортировать по:
| Выпуск | Название | |
| Том 26, № 6 (2014) | Расширенные конечные автоматы с таймаутами для оценки удовлетворенности пользователя ОТТ сервисом | Аннотация PDF (Rus) похожие документы |
| Д. Ривера, Н. Кушик, К. Фьюензалида, А. Кавалли, Н. Евтушенко | ||
| "... сервиса (QoS), качества удовлетворенности пользователя (QoE) и качества бизнеса (QoBiz). Все три класса ..." | ||
| Том 35, № 6 (2023) | Усовершенствование модели оценки нефункциональных требований, классифицирующей диапазоны одинакового размера с помощью алгоритма k-ближайших соседей | Аннотация PDF (Rus) похожие документы |
| Франсиско ВАЛЬДЕС-СОУТО, Хорхе ВАЛЕРИАНО-АССЕМ, Даниэль ТОРРЕС-РОБЛЕДО | ||
| "... Любой проект разработки программного обеспечения должен оценивать нефункциональные требования ..." | ||
| Том 29, № 4 (2017) | Минимизация автоматов с таймаутами и временными ограничениями | Аннотация PDF (Rus) похожие документы |
| А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов | ||
| "... Конечные автоматы широко используются для анализа и синтеза управляющих систем. При описании систем ..." | ||
| Том 25 (2013) | Определение демографических атрибутов пользователей микроблогов | Аннотация PDF (Rus) похожие документы |
| Антон Коршунов, Иван Белобородов, Андрей Гомзин, Кристина Чуприна, Никита Астраханцев, Ярослав Недумов, Денис Турдаков | ||
| "... При заполнении полей профиля в различных интернет-сервисах пользователи зачастую по ошибке или ..." | ||
| Том 26, № 6 (2014) | Решение автоматных уравнений для временных автоматов относительно параллельной композиции | Аннотация PDF (Rus) похожие документы |
| О. В. Кондратьева, Н. В. Евтушенко, А. Р. Кавалли | ||
| "... уравнения для классических конечных автоматов, обобщаются на случай автоматов с таймаутами. Задача синтеза ..." | ||
| Том 29, № 6 (2017) | Подход к реализации системы верифицированного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок, Е. В. Кочетков | ||
| "... предпосылки создания такой системы, дан порядок действий пользователя по двум типовым сценариям использования ..." | ||
| Том 36, № 1 (2024) | Глубокое обучение при выработке нефункциональных требований: подход на основе сверточных нейронных сетей | Аннотация похожие документы |
| Сандра Эстефания МАРТИНЕС ГАРСИЯ, Карлос Альберто ФЕРНАНДЕС-И-ФЕРНАНДЕС, Эрик Г. РАМОС ПЕРЕС | ||
| "... нефункциональных требований (NFR) на основе применения сверточной нейронной сети (CNN). В исследовании также ..." | ||
| Том 32, № 3 (2020) | Рекомендательная система на основе действий пользователей в социальной сети | Аннотация похожие документы |
| Виталий Викторович МОНАСТЫРЕВ, Павел Дмитриевич ДРОБИНЦЕВ | ||
| "... -сервисами и тому подобное. При этом пользователи оставляют различную информацию в подобных системах. Это ..." | ||
| Том 34, № 4 (2022) | Построение требований и архитектуры облачного оркестратора платформенных сервисов | Аннотация PDF (Rus) похожие документы |
| Никита Алексеевич ЛАЗАРЕВ, Олег Дмитриевич БОРИСЕНКО | ||
| "... Облачные технологии предоставляют пользователям простое и надежное масштабирование ресурсов, за ..." | ||
| Том 27, № 6 (2015) | Облачный сервис для решения многомасштабных задач нанотехнологии на суперкомпьютерных системах | Аннотация PDF (Rus) похожие документы |
| С. В. Поляков, А. В. Выродов, Д. В. Пузырьков, М. В. Якобовский | ||
| "... программного обеспечения доступного из виртуальных машин пользователей. Первым приложением сервиса стала ..." | ||
| Том 28, № 2 (2016) | Подход к обнаружению анти-паттернов в сервис-ориентированных системах | Аннотация похожие документы |
| А. С. Югов | ||
| "... Сервис-ориентированные системы, как стиль в архитектуре приложений, широко принят в промышленной ..." | ||
| Том 30, № 4 (2018) | Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем | Аннотация похожие документы |
| Х. С. Карраскель, А. Моралес, М. Е. Виллаполь | ||
| "... , когда многие компьютерные системы реализуют критически важные сервисы. Для моделирования и верификации ..." | ||
| Том 34, № 3 (2022) | Платформа мобильного обучения, ориентированная на мониторинг и настройку обучения: оценка удобства использования на основе лабораторного исследования | Аннотация похожие документы |
| Эрминио ДЕЛЬ АНХЕЛЬ-ФЛОРЕС, Эдуардо ЛОПЕС-ДОМИНГЕС, Есения ЭРНАНДЕС-ВЕЛАСКЕС, Сауль ДОМИНГЕС-ИСИДРО, Мария Ауксилио МЕДИНА-НИЭТО, Хорхе ДЕ ЛА КАЛЬЕХА | ||
| "... с пользователями в реальных доменах. В этой работе мы представляем оценку удобства использования ..." | ||
| Том 27, № 6 (2015) | Проверяющие эксперименты с ненаблюдаемым древовидными автоматами | Аннотация PDF (Rus) похожие документы |
| Н. Г. Кушик | ||
| "... автоматов. Вводится соответствующая модель неисправности, в которой автоматы-реализации перечисляются явно ..." | ||
| Том 32, № 2 (2020) | О минимизации инициальных автоматов с таймаутами | Аннотация похожие документы |
| Александр Сергеевич ТВАРДОВСКИЙ, Нина Владимировна ЕВТУШЕНКО | ||
| "... дискретных систем, и минимизация конечных автоматов является известной проблемой оптимизации, которая ..." | ||
| Том 26, № 2 (2014) | Обход неизвестного графа коллективом автоматов | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... Исследование графов автоматами является корневой задачей во многих приложениях. К таким приложениям ..." | ||
| Том 26, № 6 (2014) | К минимизации автоматов с таймаутами | Аннотация PDF (Rus) похожие документы |
| Александр Твардовский | ||
| "... В данной статье предлагается алгоритм минимизации конечного полностью определенного автомата с ..." | ||
| Том 29, № 4 (2017) | Модель сервиса позиционирования в метро, основанная на правилах и нечетких множествах второго типа | Аннотация похожие документы |
| А. Р. Гималетдинова, К. Ю. Дегтярев | ||
| "... построение маршрутов пользователей гаджетов; в таких приложениях наряду с важной функцией навигации также ..." | ||
| Том 26, № 1 (2014) | Анализ социальных сетей: методы и приложения | Аннотация PDF (Rus) похожие документы |
| Антон Коршунов, Иван Белобородов, Назар Бузун, Валерий Аванесов, Роман Пастухов, Кирилл Чихрадзе, Илья Козлов, Андрей Гомзин, Иван Андрианов, Андрей Сысоев, Степан Ипатов, Илья Филоненко, Кристина Чуприна, Денис Турдаков, Сергей Кузнецов | ||
| "... сетевых (социальные связи между пользователями) и текстовых (сообщения и профили пользователей) данных ..." | ||
| Том 30, № 1 (2018) | Методы деанонимизации пользователей биткоин | Аннотация похожие документы |
| С. М. Авдошин, А. В. Лазаренко | ||
| "... ращличные методы для деанонимизации пользователей Bitcoin, что является чрезвычайно важной задачей при ..." | ||
| Том 28, № 1 (2016) | Система автоматов: композиция по графу связей | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... моделируются конечными автоматами с несколькими входами и выходами, а взаимодействие между ними - обменом ..." | ||
| Том 26, № 6 (2014) | Локализация неисправной компоненты в композиции расширенных автоматов | Аннотация PDF (Rus) похожие документы |
| Светлана Прокопенко | ||
| "... решаем эту проблему для бинарной сети из расширенных автоматов. Для каждой из компонент строится ..." | ||
| Том 31, № 3 (2019) | «Жизнь» в тензорах: реализация клеточных автоматов на видеокартах | Аннотация похожие документы |
| Наталья Андревна Шаляпина, Максим Леонидович Громов | ||
| "... В данной статье представлен подход к описанию клеточных автоматов с использованием тензоров. Такой ..." | ||
| Том 36, № 5 (2024) | Использование клеточного автомата для оценки влияния городской планировки на социоэкономические показатели при распространении эпидемий | Аннотация PDF (Rus) похожие документы |
| Степан Алексеевич ЕЛИСТРАТОВ | ||
| "... эпидемиологических показателей путем моделирования распространения эпидемии с помощью клеточного автомата ..." | ||
| Том 28, № 1 (2016) | Тестирование системы автоматов с буферизацией сообщений | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... автоматами, а взаимодействие между ними - обменом сообщениями по симплексным каналам связи. Система ..." | ||
| Том 28, № 1 (2016) | Система автоматов: условия детерминизма и тестирование | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... автоматами с несколькими входами и выходами, а взаимодействие между ними - обменом сообщениями по симплексным ..." | ||
| Том 27, № 1 (2015) | Обход неизвестного графа коллективом автоматов. Недетерминированный случай | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... Исследование графов автоматами является корневой задачей во многих приложениях. К таким приложениям ..." | ||
| Том 34, № 5 (2022) | Метод восстановления протокольных автоматов по бинарному коду | Аннотация PDF (Rus) похожие документы |
| Иван Владимирович ШАРКОВ | ||
| "... вопроса – восстановления реализованного в программе протокольного автомата, а краеугольным камнем является ..." | ||
| Том 27, № 2 (2015) | Конечные автоматы в теории алгебраических схем программ | Аннотация PDF (Rus) похожие документы |
| Р. И. Подловченко | ||
| "... результата восходит к разрешимости проблемы эквивалентности конечных автоматов. Задача статьи состоит в ..." | ||
| Том 29, № 3 (2017) | Эксперименты по построению параллельной композиции временных автоматов | Аннотация похожие документы |
| А. П. Сотников, Н. В. Шабалдина, М. Л. Громов | ||
| "... автоматов. Мы рассматриваем композицию временных автоматов с таймаутами и задержками выходных символов. Для ..." | ||
| Том 30, № 3 (2018) | О верификации конечных автоматов-преобразователей над полугруппами | Аннотация похожие документы |
| А. Р. Гнатенко, В. А. Захаров | ||
| "... реагирующих систем мы используем конечные автоматы-преобразователи, работающие над полугруппами. Для описания ..." | ||
| Том 28, № 3 (2016) | Система деанонимизации пользователей теневого интернета | Аннотация похожие документы |
| С. М. Авдошин, А. В. Лазаренко | ||
| "... , торговцев наркотиками и оружием. Настоящая статья фокусируется на деанонимизации пользователей Tor c ..." | ||
| Том 30, № 4 (2018) | К синтезу адаптивных различающих последовательностей для конечных автоматов | Аннотация PDF (Rus) похожие документы |
| А. С. Твардовский, Н. В. Евтушенко | ||
| "... Конечные автоматы широко используются при построении проверяющих тестов для управляющих систем с ..." | ||
| Том 26, № 6 (2014) | Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции | Аннотация PDF (Rus) похожие документы |
| Антон Ермаков | ||
| "... недетерминированного конечного полностью определенного автомата относительно редукции. ..." | ||
| Том 26, № 6 (2014) | Параллельные вычисления автоматами на прямом и обратном остовах графа | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев, Виктор Кулямин | ||
| "... значений, находящихся в вершинах графа. Вычисления выполняются автоматами, размещенными в вершинах графа и ..." | ||
| Том 30, № 1 (2018) | Влияние частичности и адаптивности на сложность задачи идентификации состояний автомата | Аннотация похожие документы |
| Х. Йенигун, Н. Евтушенко, Н. Кушик, Х Лопез | ||
| "... Задача идентификации состояний в конечном автомате была и остается актуальной, поскольку ..." | ||
| Том 30, № 3 (2018) | К проверке строго детерминированного поведения временных конечных автоматов | Аннотация похожие документы |
| Е. М. Винарский, В. А. Захаров | ||
| "... Конечные автоматы широко применяются в качестве математических моделей при решении многочисленных ..." | ||
| Том 28, № 3 (2016) | К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов | Аннотация PDF (Rus) похожие документы |
| А. Д. Ермаков, Н. В. Евтушенко | ||
| "... полностью определенного детерминированного конечного автомата. Тем не менее, для недетерминированных ..." | ||
| Том 26, № 6 (2014) | Построение прямого и обратного остовов автоматами на графе | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... В работе представлен алгоритм параллельного исследования графа. Автомат на графе является аналогом ..." | ||
| 1 - 39 из 202 результатов | 1 2 3 4 5 6 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
