?
О различении слов вхождениями подслов
Дискретный анализ и исследование операций. 2014. Т. 21. № 1. С. 3–14.
Вялый М. Н., Гимадеев Р. А.
Получены нижние оценки сложности различения слов кратностями вхождений подслов с учётом позиции подслова в слове. Доказано, что в случае подслов длины 1 оценка оптимальна с точностью до мультипликативного множителя. Рассмотрена связь задачи различения слов вхождениями подслов с задачей различения слов автоматами.
Язык:
русский
Добавлено: 10 июня 2026 г.
Добавлено: 10 июня 2026 г.
Дистиллированные кисломолочные напитки встречаются в пищевой промышленности редко, несмотря на повсеместное распространение растительных спиртных напитков. В настоящее время производство крепких дистиллированных алкогольных напитков из кисломолочных продуктов с использованием традиционных технологий известно лишь среди монголоязычных народов и их сибирских соседей. Данное исследование представляет собой первый междисциплинарный анализ дарасуна, традиционного бурятского спиртного напитка, изготавливаемого из кисломолочного напитка ...
Добавлено: 10 июня 2026 г.
Добавлено: 10 июня 2026 г.
Flamarion M. V., Пелиновский Е. Н., Nonlinear Dynamics 2026 Vol. 114 Article 784
Добавлено: 5 июня 2026 г.
Seul: PMLR, 2026.
Добавлено: 4 июня 2026 г.
Добавлено: 4 июня 2026 г.
Гомеоморфизмы топологических пространств называются эквивалентными по надстройке, если надстройки над ними топологически эквивалентны. В частности, топологически сопряженные гомеоморфизмы эквивалентны по надстройке. Известно, что для гомологически неприводимых гомеоморфизмов их топологическая сопряженность является необходимым и достаточным условием их эквивалентности по надстройке. Тогда как инварианты топологической сопряженности гомологически приводимых гомеоморфизмов во многих случаях являются избыточными для эквивалентности по ...
Добавлено: 3 июня 2026 г.
Добавлено: 19 мая 2026 г.
Добавлено: 28 апреля 2026 г.
Добавлено: 20 апреля 2026 г.
Медведев В. О., / Series arXiv "math". 2026.
We investigate the interplay between the dimension of the space of static potentials and the geometric and topological structure of the underlying static three-manifold. A partial classification of boundaryless static manifolds is obtained in terms of this dimension. We also treat the case of static manifolds with boundary. In particular, we prove that if a ...
Добавлено: 3 апреля 2026 г.
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...
Добавлено: 15 января 2026 г.
В условиях цифровизации минимизируется влияние негативного человеческого фактора в производственной системе, человек получает возможность заниматься творческой деятельностью, а не рутинной, и трудиться в более комфортных условиях, то есть параллельно с техноцентричностью на производствах формируется человекоцентричность. В ИПУ РАН разработана методология моделирования процесса технологической подготовки гибкого производства всевозможных изделий (включая автоматы) в различных производственных условиях с ...
Добавлено: 3 февраля 2025 г.
Салибекян С. М., Прикладная информатика 2017 Т. 12 № 2 С. 5–16
В статье описываюется реализации — программная или аппаратная — автоматной вычислительной системы (ВС) на базе объектно-атрибутной вычислительной системы, относящейся к классу машин с управлением потоком данных (dataflow). Рассматриваются реализации автоматов различных классов (детерминированный, недетерминированный, абстрактный, структурный), а также реализации автоматной декомпозиции (вложенный и вызываемый автоматы) и системы параллельно работающих автоматов. ...
Добавлено: 14 сентября 2019 г.
Захаров В. А., Гнатенко А. Р., В кн.: Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19-23 июня 2017 г.).: М.: МГУ, МАКС Пресс, 2017. С. 68–71.
В статье в качестве формальной модели последовательных реагирующих систем была предложена модель вычислений конечных автоматов-преобразователей, работающих над полугруппами действий. Для спецификации поведений таких автоматов был предложен специальный вариант темпоральной логики линейного времени LTL-FL (LTL with Formal Languages). Формальные языки (множества конечных слов фиксированных алфавитов) в формулах LTL-FL используются для параметризации темпоральных операторов. В этой же ...
Добавлено: 22 октября 2017 г.