Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 26, № 3 (2019) Автоматизированный поиск средств ритмизации художественного текста для сравнительного анализа оригинала и перевода на материале английского и русского языков Аннотация  PDF (Rus)  похожие документы
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Елена Игоревна Бойчук, Инна Алексеевна Воронцова, Илья Вячеславович Парамонов
"... of rhythm figures of the text. To analyze rhythm figures in an original literary text and its translation ..."
 
Том 27, № 3 (2020) Автоматизированный поиск и анализ стилометрических характеристик, описывающих стиль прозы 19-21 веков Аннотация  PDF (Rus)  похожие документы
Ксения Владимировна Лагутина, Алла Михайловна Манахова
"... for rhythmic figures the ProseRhythmDetector program is used. As a result of its work, each text is presented ..."
 
Том 28, № 3 (2021) Классификация текстов по жанрам на основе ритмических характеристик Аннотация  PDF (Rus)  похожие документы
Ксения Владимировна Лагутина, Надежда Станиславовна Лагутина, Елена Игоревна Бойчук
"... The article is devoted to the analysis of the rhythm of texts of different genres: fiction novels ..."
 
Том 28, № 3 (2021) Сравнение стилистических характеристик для верификации авторов художественных текстов Аннотация  похожие документы
Ксения Владимировна Лагутина
"... the frequency of occurrence of particular rhythm figures per 100 sentences, the number of unique words ..."
 
Том 19, № 4 (2012) Контекстно-свободная грамматика одной ритмической модели русского стиха Аннотация  PDF (Rus)  похожие документы
Владимир Николаевич Бойков
"... ритмические формы представленной модели стиха.   ..."
 
Том 29, № 4 (2022) Классификация русскоязычных текстов по жанрам на основе современных эмбеддингов и ритма Аннотация  PDF (Rus)  похожие документы
Ксения Владимировна Лагутина
"... and a complex of numerical rhythm features based on lexico-grammatical features. The experiments were carried ..."
 
Том 25, № 6 (2018) Перевод моделей Event-B в Eiffel Аннотация  похожие документы
Софья Резникова, Виктор Ривера, Джу Йонг Ли, Мануэль Маццара
"... в Rodin и, наконец, используя EB2Eiffel для перевода модели на язык программирования. Используя ..."
 
Том 28, № 3 (2021) Анализ влияния стилометрических характеристик разного уровня на верификацию авторов художественных произведений Аннотация  PDF (Rus)  похожие документы
Алла Михайловна Манахова, Надежда Станиславовна Лагутина
"... with the help of the ProseRhythmDetector program. This approach gave a possibility to analyze the works ..."
 
Том 22, № 1 (2015) О нулях некоторых характеристических квазиполиномов Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич Глызин, Евгений Павлович Кубышкин, Алёна Романовна Морякова
"... -Kobayashi system that is a well-known mathematical model of a quantum generator. The D-partition figures ..."
 
Том 20, № 5 (2013) Оценка числа решетчатых разбиений плоскости на полимино заданной площади Аннотация  PDF (Rus)  похожие документы
Антон Владимирович Шутов, Екатерина Викторовна Коломейкина
"... is a connected plane geometric figure formed by joining edge to edge a finite number of unit squares. A tiling ..."
 
Том 19, № 5 (2012) Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools Аннотация  PDF (Rus)  похожие документы
Леонид Владимирович Дворянский, Ирина Александровна Ломазова
"... предлагается проводить имитационное моделирование и построение графа достижимости для NP-сетей путем перевода ..."
 
Том 21, № 5 (2014) Оптимальное управление поведением решений начально-краевой задачи, моделирующей вращение твердого тела с упругим стержнем Аннотация  PDF (Rus)  похожие документы
Евгений Павлович Кубышкин, Михаил Сергеевич Тряхов
"... : задача перевода решения из начального фазового состояния в конечное в заданный момент времени с минимумом ..."
 
Том 21, № 5 (2014) Применение систем компьютерной алгебры для построения метода коллокаций и наименьших невязок решения трехмерных уравнений Навье–Стокса Аннотация  PDF (Rus)  похожие документы
Василий Павлович Шапеев, Евгений Васильевич Ворожцов
"... вывода и верификации формул метода и для их перевода в арифметические операторы языка Фортран. Для ..."
 
Том 22, № 2 (2015) Оценка числа решетчатых разбиений плоскости на центрально-симметричные полимино заданной площади Аннотация  PDF (Rus)  похожие документы
Антон Владимирович Шутов, Екатерина Викторовна Коломейкина
"... polyominoes. A polyomino is a connected plane geomatric figure formed by joiining a finite number of unit ..."
 
Том 24, № 1 (2017) О комбинировании различных методов ускорения при итерационном решении уравнений с частными производными методом коллокаций и наименьших невязок Аннотация  PDF (Rus)  похожие документы
Василий Павлович Шапеев, Евгений Васильевич Ворожцов
"... of the above techniques is shown to make its contribution to the quantitative figure of iteration process speed ..."
 
Том 30, № 4 (2023) LTL-спецификация для разработки и верификации управляющих программ Аннотация  PDF (Rus)  похожие документы
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин
"... программы на императивном языке программирования. Перевод спецификации в программу осуществляется по шаблону ..."
 
Том 29, № 3 (2022) Исследование моделей топологических отношений пространственных объектов Аннотация  PDF (Rus)  похожие документы
Владислав Геннадьевич Горшков, Дмитрий Михайлович Мурин, Ольга Павловна Якимова
"... проведение ручной или автоматической коррекции ошибок. В связи с развитием вычислительной техники и переводом ..."
 
Том 31, № 2 (2024) Автоматическое определение семантического сходства ответов учащихся с эталонным с помощью современных моделей Аннотация  PDF (Rus)  похожие документы
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Владислав Николаевич Копнин
"... текстов является важной составляющей многих областей обработки естественного языка: машинного перевода ..."
 
Том 31, № 1 (2024) Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев
"... , заданную правилами перевода операторов языка poST в Promela — входной язык средства проверки моделей SPIN ..."
 
Том 26, № 4 (2019) Анализ безопасности контроллеров продольного движения во время набора высоты Аннотация  похожие документы
Томас Баар, Хорст Шульте
"... безопасности системы управления. По этой причине мы переводим Matlab/Simulink®-модель в гибридную программу (НР ..."
 
Том 25, № 4 (2018) О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains» Аннотация  PDF (Rus)  похожие документы
Валерий Георгиевич Дурнев, Дмитрий Михайлович Мурин, Валерий Анатольевич Соколов, Дмитрий Юрьевич Чалый
"... принципа состоит в том, что некоторое событие (например, перевод денежных средств с одного счета на другой ..."
 
1 - 21 из 21 результатов

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

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