Сортировать по:
| Выпуск | Название | |
| Том 21, № 4 (2014) | Исследование примитивных схем программ с процедурами | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко | ||
| "... В статье рассматриваются алгебраические модели программ с процедурами, предназначенные для ..." | ||
| Том 19, № 5 (2012) | О теории алгебраических моделей программ с процедурами | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко, Андрей Эрикович Молчанов | ||
| "... Алгебраические модели программ с процедурами предназначены для изучения семантических свойств ..." | ||
| Том 21, № 4 (2014) | Разрешимость эквивалентности в двухпараметрических перегородчатых моделях программ | Аннотация PDF (Rus) похожие документы |
| Андрей Эрикович Молчанов | ||
| "... Алгебраические модели программ с процедурами предназначены для изучения семантических свойств ..." | ||
| Том 21, № 2 (2014) | Разрешимость эквивалентности в перегородчатых моделях программ | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко, Андрей Эрикович Молчанов | ||
| "... Алгебраические модели программ с процедурами предназначены для изучения семантических свойств ..." | ||
| Том 14, № 1 (2007) | Синхронная модель автоматной программы | Аннотация PDF (Rus) похожие документы |
| С. В. Кубасов, В. А. Соколов | ||
| "... Предлагается модель автоматной программы, удовлетворяющая требованиям синхронной модели. Создание ..." | ||
| Том 19, № 4 (2012) | О построении и верификации программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... построения программы управления кодовым замком. Для этих подходов оценивается удобство анализа программной ..." | ||
| Том 28, № 4 (2021) | Подход к автонастройке параллельных программ методом проверки моделей | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Петрович Горлач | ||
| "... задаётся модель исполнения абстрактной программы на абстрактном процессоре. На втором шаге на языке ..." | ||
| Том 24, № 6 (2017) | Семантически-ориентированная миграция Java-программ: опыт практического применения | Аннотация PDF (Rus) похожие документы |
| Артем Олегович Алексюк, Владимир Михайлович Ицыксон | ||
| "... Данная статья посвящена разработке процедуры автоматизированной миграции Java-программ на новый ..." | ||
| Том 28, № 4 (2021) | Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ | Аннотация PDF (Rus) похожие документы |
| Андрей Михайлович Миронов | ||
| "... В работе излагается новая математическая модель параллельных программ, на базе которой можно ..." | ||
| Том 19, № 2 (2012) | О верификации LD-программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... Обсуждаются вопросы построения технологии анализа корректности программ логических контроллеров ..." | ||
| Том 14, № 4 (2007) | Верификация синхронно-автоматных программ | Аннотация PDF (Rus) похожие документы |
| С. В. Кубасов | ||
| "... Предлагается синхронная модель автоматной программы. Разработана методика верификации синхронно ..." | ||
| Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
| Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
| "... необходимыми в процессе программирования новых алгоритмов анализа моделей программ, в частности, они могут ..." | ||
| Том 18, № 2 (2011) | Об одном представлении функции в модели императивной программы, заданной сетями Петри | Аннотация PDF (Rus) похожие документы |
| Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков | ||
| "... программы. Данный подход позволяет представить модель потока управления всей программы в целом как ..." | ||
| Том 33, № 2 (2026) | Построение операционной семантики языков программирования в виде исполняемых онтологических моделей программ | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина, Дмитрий Александрович Кондратьев, Сергей Петрович Горлач | ||
| "... Важнейший аспект обеспечения качества программ, написанных на существующих и перспективных языках ..." | ||
| Том 24, № 4 (2017) | О задаче минимизации последовательных программ | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Шынар Рустамбековна Жайлауова | ||
| "... Стандартные схемы программ — это одна из наиболее простых моделей последовательных императивных ..." | ||
| Том 25, № 5 (2018) | О методах верификации и разработки программ развития сельскохозяйственных территорий | Аннотация PDF (Rus) похожие документы |
| Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов | ||
| "... назначения. Поэтому актуальными задачами являются верификация уже созданных программ развития и разработка ..." | ||
| Том 32, № 2 (2025) | Моделирование примитивов синхронизации параллельных программ | Аннотация PDF (Rus) похожие документы |
| Олег Сергеевич Крюков, Анна Геннадьевна Волошко, Алексей Николаевич Ивутин | ||
| "... и преобразование её в параллельный код. Автоматическое построение модели параллельной программы вводит новые, ранее ..." | ||
| Том 14, № 1 (2007) | Верификация автоматных программ с использованием LTL | Аннотация PDF (Rus) похожие документы |
| К. А. Васильева, Е. В. Кузьмин | ||
| "... свойств осуществляется в терминах, которые естественно вытекают из автоматной модели программы ..." | ||
| Том 23, № 2 (2016) | Построение CFC-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов | ||
| "... корректности программ логических контроллеров с помощью метода проверки модели (Model Checking). В рамках ..." | ||
| Том 31, № 2 (2024) | Верификация декларативной LTL-спецификации поведения управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... на предмет соответствия заданным темпоральным свойствам методом проверки модели (model checking) с помощью ..." | ||
| Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
| "... . Следуя этим правилам, наш транслятор, основанный на технологии Xtext, строит модель Promela для программы ..." | ||
| Том 21, № 6 (2014) | Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон | ||
| "... анализа из-за увеличения размера модели программы. Для решения этой проблемы можно использовать различные ..." | ||
| Том 30, № 4 (2023) | LTL-спецификация для разработки и верификации управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... используется модель, адекватная реальному поведению управляющей программы. ..." | ||
| Том 20, № 2 (2013) | Моделирование, спецификация и построение программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... Предлагается новый подход к построению надежных «дискретных» ПЛК-программ с таймерами ..." | ||
| Том 21, № 2 (2014) | Построение IL-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... каждой программной переменной. Кроме этого, по LTL-спецификации строится SMV-модель IL-программы ПЛК ..." | ||
| Том 17, № 4 (2010) | Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени | Аннотация PDF (Rus) похожие документы |
| И. В. Коннов, В. А. Захаров | ||
| "... сокращения пространства поиска при решении проблемы достижимости в моделях программ, может быть с равным ..." | ||
| Том 18, № 4 (2011) | Оптимизационные процедуры в аффинной проверке моделей | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... Символьная проверка на модели основана на компактном представлении множеств. На данный момент есть ..." | ||
| Том 31, № 3 (2024) | LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... предлагается подход к разработке и верификации программ логического управления, в рамках которого модель ..." | ||
| Том 22, № 4 (2015) | О выразительности подхода к построению ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов | ||
| "... логических контроллеров с помощью метода проверки модели (Model Checking). В рамках подхода в качестве языка ..." | ||
| Том 17, № 4 (2010) | Верификация C-программ в мультиязыковой системе СПЕКТР | Аннотация PDF (Rus) похожие документы |
| В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский | ||
| "... в рамках одноименного проекта, и показаны перспективы ее использования на примере верификации C-программ ..." | ||
| Том 20, № 6 (2013) | Построение и верификация LD-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
| "... дискретной задачи приводятся LD-программа, ее LTL-спецификация и SMV-модель. Целью статьи является описание ..." | ||
| Том 20, № 4 (2013) | Построение и верификация ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
| "... дискретной задачи приводятся ST-программа, ее LTL-спецификация и SMV-модель. Целью статьи является описание ..." | ||
| Том 27, № 4 (2020) | О задаче верификации моделей программ для одного расширения логики CTL* | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... К последовательным реагирующим системам относятся программы и устройства, которые работают с двумя ..." | ||
| Том 29, № 3 (2022) | Трансформация модели памяти языка программирования C в объектно-ориентированное представление на языке EO | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Егор Георгиевич Бугаенко, Николай Константинович Чуйкин, Максим Владимирович Шипицин, Ярослав Иванович Рябцев, Андрей Николаевич Каменский | ||
| "... libraries. As a result of compiling a C program, code in EO language is generated. The considered approach ..." | ||
| Том 18, № 4 (2011) | Верификация Си-программ: объяснение условий корректности и стандартная библиотека | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович Промский | ||
| "... Представлены два направления развития проекта по верификации Си-программ, разрабатываемого в ИСИ ..." | ||
| Том 33, № 3 (2026) | Декорирование модели поведения при разработке и верификации протокола безопасной сделки | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов | ||
| "... В настоящей работе рассматривается технология синтеза программ по моделям. На языке темпоральной ..." | ||
| Том 21, № 4 (2014) | Моделирование согласованного поведения ПЛК-датчиков | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов | ||
| "... с помощью метода проверки модели (model checking). Подход получил название «Программирование и верификация ..." | ||
| Том 18, № 4 (2011) | Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN | Аннотация PDF (Rus) похожие документы |
| Наталья Геннадьевна Кушик, Амель Маммар, Ана Кавалли, Нина Владимировна Евтушенко, Вилли Джиминез, Эдгардо Монте Де Ока | ||
| "... Предлагается метод тестирования безопасности С программ с использованием широко известного ..." | ||
| Том 33, № 1 (2026) | Использование симметрии при программировании и верификации арбитра ресурсов | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов | ||
| "... верификацию методом проверки модели (model checking). Наличие симметрии в программе достаточно часто позволяет ..." | ||
| Том 18, № 4 (2011) | Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович Захаров, Михаил Юрьевич Моисеев | ||
| "... Модели систем на языке SystemC, как правило, являются параллельными программами и поэтому могут ..." | ||
| Том 22, № 6 (2015) | Модель безопасности информационных потоков для программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов | ||
| "... необходимость в средствах обеспечения его корректности и безопасности. Абстрактные модели для ПКС могут решить ..." | ||
| Том 22, № 6 (2015) | Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ | Аннотация PDF (Rus) похожие документы |
| М. А. Беляев, В. М. Ицыксон | ||
| "... проверки моделей «Borealis». Прототип был опробован на стандартных наборах тестовых программ данного ..." | ||
| Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
| "... -потокового параллельного программирования Пифагор. В языке используется модель представления программы в виде ..." | ||
| Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
| П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
| "... модельно-ориентированного подхода: Model Driven Software Development (MDSD), Model Driven Architecture (MDA ..." | ||
| Том 23, № 2 (2016) | Коллективные потоковые вычисления: реляционные модели и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Д. А. Усталов | ||
| "... краудсорсинга микрозадачами. Предложена модель коллективных потоковых вычислений на основе расширенной ..." | ||
| Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... системах в частности. Поэтому остается актуальным изучение и преподавание формальных моделей параллелизма ..." | ||
| Том 28, № 4 (2021) | О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... К последовательным реагирующим системам относятся компьютерные программы и вычислительные ..." | ||
| Том 18, № 4 (2011) | Статический анализ с использованием систем типов и эффектов на основе LLVM | Аннотация PDF (Rus) похожие документы |
| Михаил Анатольевич Беляев, Вадим Александрович Цесько | ||
| "... внутренней модели программы, схожей с моделью LLVM. Целью создания описываемого средства является ..." | ||
| Том 14, № 4 (2007) | Формальная модель семантики художественного текста (на материале русских пословиц) | Аннотация PDF (Rus) похожие документы |
| А. C. Малкова, В. И. Январев | ||
| "... их т.н. "мифологическое" тождество и конфигурацию связи. Модель позволяет применять процедуры интеллектуальной обработки ..." | ||
| Том 33, № 2 (2026) | Графовые паттерны в несогласованных декларативных моделях процессов | Аннотация PDF (Rus) похожие документы |
| Алексей Николаевич Анненков, Роман Александрович Нестеров | ||
| "... Декларативные модели процессов широко используются в process mining для гибкого описания поведения ..." | ||
| Том 26, № 2 (2019) | Анализ возможностей практического использования моделей решеточных газов | Аннотация PDF (Rus) похожие документы |
| Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин | ||
| "... случаях они существенно упрощают процедуры моделирования по сравнению с традиционными методами ..." | ||
| Том 25, № 6 (2018) | Перевод моделей Event-B в Eiffel | Аннотация похожие документы |
| Софья Резникова, Виктор Ривера, Джу Йонг Ли, Мануэль Маццара | ||
| "... систем. Однако не существует четкого понимания того, как сопоставить формальную модель и определенный ..." | ||
| Том 23, № 5 (2016) | Взаимодействие двух волн в модели Ферми – Паста – Улама | Аннотация PDF (Rus) похожие документы |
| С. Д. Глызин, С. А. Кащенко, А. О. Толбей | ||
| "... некоторых дополнительных предположениях к полученным краевым задачам применена процедура повторной ..." | ||
| Том 25, № 2 (2018) | Математическая модель подключения оптимального числа потенциальных потребителей тепла к тепловой сети | Аннотация PDF (Rus) похожие документы |
| Сергей Михайлович Терехов, Владимир Алексеевич Немтинов, Кирилл Сергеевич Корнилов | ||
| "... теплоснабжения. Представлена математическая модель для планирования работы систем теплоснабжения путем ..." | ||
| Том 20, № 6 (2013) | Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... проверка моделей (Bounded Model Checking, BMC), исследуется все более и более активно, поскольку ..." | ||
| Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
| "... В работе рассматриваются методы преобразования программ, эквивалентные оптимизации инварианта ..." | ||
| Том 27, № 3 (2020) | Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров | ||
| "... модели, ведущие свое происхождение от концепции конечного автомата. В вычислениях этих машин проявляется ..." | ||
| Том 18, № 4 (2011) | Типовые примеры использования языка Atoment | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... языка Atoment, охватывающая такие темы, как модели программ, операционная, трансформационная ..." | ||
| Том 32, № 1 (2025) | Сравнение предварительно обученных моделей для извлечения предметно-ориентированных сущностей из студенческих отчетных документов | Аннотация PDF (Rus) похожие документы |
| Антонина Владимировна Мельникова, Марина Сергеевна Воробьева, Анна Валерьевна Глазкова | ||
| "... текстов студенческих отчетных документов с использованием предварительно обученных языковых моделей ..." | ||
| Том 29, № 4 (2022) | Анализ академической успеваемости студентов с использованием журналов событий электронной образовательной среды | Аннотация PDF (Rus) похожие документы |
| Никита Денисович Шаимов, Ирина Александровна Ломазова, Алексей Александрович Мицюк, Илья Юрьевич Самоненко | ||
| "... . Показано, как для построения моделей образовательного процесса на основе имеющихся данных могут быть ..." | ||
| Том 23, № 6 (2016) | О минимизации конечных автоматов-преобразователей над полугруппами | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, Г. Г. Темербекова | ||
| "... Автоматы-преобразователи над полугруппами можно использовать в качестве модели последовательных ..." | ||
| Том 23, № 6 (2016) | Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата | Аннотация PDF (Rus) похожие документы |
| А. Д. Ермаков, Н. В. Евтушенко | ||
| "... на основе формальных моделей. Однако полнота тестов, построенных по расширенному автомату на основе покрытия ..." | ||
| Том 18, № 4 (2011) | Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем | Аннотация PDF (Rus) похожие документы |
| Андрей Валентинович Климов | ||
| "... итеративной процедуры применения суперкомпилятора (специализатора программ, основанного на методе ..." | ||
| Том 33, № 3 (2026) | Выполнимая операционная семантика языка Reflex | Аннотация PDF (Rus) похожие документы |
| Артем Дмитриевич Ищенко, Игорь Сергеевич Ануреев | ||
| "... статическую структуру корректной программы и служит основой для дальнейшего исполнения моделей, а также для ..." | ||
| Том 27, № 4 (2020) | О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович Винарский, Владимир Анатольевич Захаров | ||
| "... Последовательные реагирующие системы включают в себя устройства и программы, вычисления которых ..." | ||
| Том 29, № 1 (2022) | Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС | Аннотация PDF (Rus) похожие документы |
| Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров | ||
| "... аппаратной модели СБИС на основе функционально-потоковой парадигмы программирования.Представлены результаты ..." | ||
| Том 26, № 4 (2019) | Анализ безопасности контроллеров продольного движения во время набора высоты | Аннотация похожие документы |
| Томас Баар, Хорст Шульте | ||
| "... безопасности системы управления. По этой причине мы переводим Matlab/Simulink®-модель в гибридную программу ..." | ||
| Том 30, № 1 (2023) | Расширение языка C для поддержки процедурно-параметрического полиморфизма | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Павел Владимирович Косов | ||
| "... поддержки эволюционной разработки программ была предложена процедурно-параметрическая парадигма ..." | ||
| Том 26, № 3 (2019) | Об автоматическом анализе практической стойкости обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... Разрабатывается способ оценки практической стойкости обфусцирующих преобразований программ ..." | ||
| Том 23, № 6 (2016) | Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM | Аннотация PDF (Rus) похожие документы |
| Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко | ||
| "... В данной работе представлен метод анализа и верификации моделей Use Case Maps (UCM ..." | ||
| Том 32, № 4 (2025) | Моделирование скрытого аттрактора в системе Чуа на основе аналоговой схемы с операционными усилителями | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Пчелинцев | ||
| "... математической модели в разработанной автором компьютерной программе, проверена адекватность модели ..." | ||
| Том 22, № 2 (2015) | Полнота динамики значений свойств данных в СУБД DIM | Аннотация PDF (Rus) похожие документы |
| Алексей Николаевич Петров, Вадим Сергеевич Рублев | ||
| "... расширение статической OD-модели путем включения в неё множеств алгоритмических процедур, описывающих ..." | ||
| Том 27, № 3 (2020) | Автоматизированный поиск и анализ стилометрических характеристик, описывающих стиль прозы 19-21 веков | Аннотация PDF (Rus) похожие документы |
| Ксения Владимировна Лагутина, Алла Михайловна Манахова | ||
| "... средств, используется программа ProseRhythmDetector. В результате её работы каждый текст представляется ..." | ||
| Том 19, № 6 (2012) | Наследcтвенные свойства модульных сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... — фундаментальные семантические свойства моделей, основанных на сетях Петри. Показано, что ограниченность и живость ..." | ||
| Том 20, № 6 (2013) | Автоматизация создания верифицированных тестовых сценариев на основе гидов | Аннотация PDF (Rus) похожие документы |
| Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Александр Адольфович Летичевский | ||
| "... и полуавтоматической генерации тестового набора с ис- пользованием формальной модели, созданной на языке UCM, и средств ..." | ||
| 1 - 75 из 80 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
