Сортировать по:
| Выпуск | Название | |
| Том 21, № 6 (2014) | Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
| Сергей Анатольевич Черненок, Валерий Александрович Непомнящий | ||
| "... and verification of MSC and HMSC diagrams is considered. The method is based on the translation of (H)MSC ..." | ||
| Том 19, № 5 (2012) | Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools | Аннотация PDF (Rus) похожие документы |
| Леонид Владимирович Дворянский, Ирина Александровна Ломазова | ||
| "... . The paper proposes the translation of NP-nets into Colored Petri nets and the use of CPN Tools as a virtual ..." | ||
| Том 23, № 6 (2016) | Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM | Аннотация PDF (Rus) похожие документы |
| Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко | ||
| "... and verified with the help of coloured Petri nets (CPN) and the SPIN model checker. Algorithms for translating ..." | ||
| Том 18, № 4 (2011) | Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
| Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий | ||
| "... of translation of these automata systems into coloured Petri nets (CPN). This algorithm has been represented ..." | ||
| Том 28, № 2 (2021) | Объектно-ориентированная проверка соответствия модели на основе воспроизведения журнала событий: выявление желаемого поведения и локальных отклонений | Аннотация PDF (Rus) похожие документы |
| Хулио С Карраскель, Халил Мешерауи | ||
| "... Petri nets (CPNs) -- a Petri net extension where tokens in the model carry values of some types (colors ..." | ||
| Том 25, № 2 (2018) | Сравнительный анализ устойчивости вычислительных решеток с различной архитектурой узла к индуцированным тупикам | Аннотация PDF (Rus) похожие документы |
| Татьяна Рудольфовна Шмелёва | ||
| "... distribution. The modeling system CPN Tools is used for constructing models and measuring parameters. Grid ..." | ||
| Том 20, № 6 (2013) | О бутстрэпе для диаграмм и ландшафтов персистентности | Аннотация PDF (Rus) похожие документы |
| Фредерик Шазаль, Фази Британи Тереза, Лецци Фабрицио, Риналдо Алессандро, Сингх Аарти, Ларри Вассерман | ||
| "... частности, мы получаем доверительные множества для диаграмм персистентности и доверительные интервалы для ..." | ||
| Том 26, № 3 (2019) | Формальная верификация диаграмм троичных цифровых сигналов | Аннотация PDF (Rus) похожие документы |
| Нина Юрьевна Куцак, Владислав Васильевич Подымов | ||
| "... ) диаграмм цифровых сигналов, используемых на практике на ранних стадиях разработки микроэлектронных цифровых ..." | ||
| Том 25, № 6 (2018) | Перевод моделей Event-B в Eiffel | Аннотация похожие документы |
| Софья Резникова, Виктор Ривера, Джу Йонг Ли, Мануэль Маццара | ||
| Том 24, № 6 (2017) | К вопросу об измерении уровня абстракции диаграмм состояний на основе тестирования мутаций | Аннотация похожие документы |
| Томас Баар | ||
| "... Система обозначений диаграмм состояний (state machines) широко применяется в качестве формального ..." | ||
| Том 19, № 2 (2012) | О верификации LD-программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| Том 19, № 6 (2012) | Как разработать простое средство верификации систем реального времени | Аннотация PDF (Rus) похожие документы |
| Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов | ||
| "... использовать диаграммы состояний UML с семантикой, определяемой иерархическими автоматами. Для верификации СРВ ..." | ||
| Том 20, № 6 (2013) | Построение и верификация LD-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
| Том 23, № 2 (2016) | Построение CFC-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов | ||
| "... собой разновидность языка FBD (Function Block Diagram) — графического языка диаграмм принципиальных схем ..." | ||
| Том 26, № 3 (2019) | Автоматизированный поиск средств ритмизации художественного текста для сравнительного анализа оригинала и перевода на материале английского и русского языков | Аннотация PDF (Rus) похожие документы |
| Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Елена Игоревна Бойчук, Инна Алексеевна Воронцова, Илья Вячеславович Парамонов | ||
| "... Analysis of the functional equivalence of an original text and its translation based ..." | ||
| Том 26, № 3 (2019) | NP-полнота и один полиномиальный подкласс задачи о двухшаговой раскраске графа | Аннотация PDF (Rus) похожие документы |
| Наталья Сергеевна Медведева, Александр Валерьевич Смирнов | ||
| "... функции строятся таким образом, что каждая вершина графа может быть раскрашена независимо от остальных, а ..." | ||
| Том 13, № 1 (2006) | Совместное использование методов бизнес-моделирования и объектно-ориентированной методологии при проектировании профилированного пользовательского интерфейса | Аннотация PDF (Rus) похожие документы |
| И. Г. Игнатова, Н. Ю. Соколова | ||
| "... возможность такого использования. Даны краткие характеристики основных компонентов DFD и UML диаграмм, а также ..." | ||
| Том 18, № 4 (2011) | Оптимизационные процедуры в аффинной проверке моделей | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... диаграммах, ограниченная проверка моделей, использующая SAT-решатели, и различные алгебраические подходы к ..." | ||
| Том 20, № 5 (2013) | Оценка числа решетчатых разбиений плоскости на полимино заданной площади | Аннотация PDF (Rus) похожие документы |
| Антон Владимирович Шутов, Екатерина Викторовна Коломейкина | ||
| "... is a lattice tiling if each tile can be mapped to any other tile by translation which maps the whole tiling ..." | ||
| Том 28, № 3 (2021) | Классификация текстов по жанрам на основе ритмических характеристик | Аннотация PDF (Rus) похожие документы |
| Ксения Владимировна Лагутина, Надежда Станиславовна Лагутина, Елена Игоревна Бойчук | ||
| "... . Полученная модель текста была визуализирована для статистического анализа с помощью диаграмм размаха и ..." | ||
| Том 18, № 3 (2011) | Модульная модель мультимедийного документа и особенности ее программной реализации | Аннотация PDF (Rus) похожие документы |
| Владислав Игоревич Январев | ||
| "... мультимедийными сайтами Fuzzle CMS и редактор бизнес-диаграмм FLAscheme. ..." | ||
| Том 19, № 4 (2012) | Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования | Аннотация PDF (Rus) похожие документы |
| Михаил Георгиевич Доррер, Виталий Валерьевич Курохтин | ||
| "... in eEPC notation. The method uses an original translation process to build a Petri net corresponding ..." | ||
| Том 29, № 3 (2022) | Формирование признаков машинного обучения на основе построения тропических функций | Аннотация PDF (Rus) похожие документы |
| Сергей Николаевич Чуканов, Илья Станиславович Чуканов | ||
| "... персистентных диаграмм и баркодов. Метод персистентной гомологии из вычислительной топологии обеспечивает баланс ..." | ||
| Том 21, № 5 (2014) | Применение систем компьютерной алгебры для построения метода коллокаций и наименьших невязок решения трехмерных уравнений Навье–Стокса | Аннотация PDF (Rus) похожие документы |
| Василий Павлович Шапеев, Евгений Васильевич Ворожцов | ||
| "... and verification of the formulas of the method and for their translation into arithmetic operators of the Fortran ..." | ||
| Том 26, № 1 (2019) | Визуальная веб-ориентированная среда динамического управления потоками данных в кампусных программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
| Вячеслав Петрович Корячко, Дмитрий Александрович Перепелкин, Мария Александровна Иванчикова, Владимир Сергеевич Бышов | ||
| "... архитектуры ПИВС в виде описания UML диаграмм классов, а также создание программных методов для организации ..." | ||
| Том 20, № 2 (2013) | О поворотах цифровых изображений | Аннотация PDF (Rus) похожие документы |
| Павел Геннадьевич Парфенов | ||
| "... случаях на гексагональной решетке. На основе четырехпиксельных фрагментов строятся диаграммы, которые ..." | ||
| Том 22, № 2 (2015) | Оценка числа решетчатых разбиений плоскости на центрально-симметричные полимино заданной площади | Аннотация PDF (Rus) похожие документы |
| Антон Владимирович Шутов, Екатерина Викторовна Коломейкина | ||
| "... tiling if each tile can be mapped to any other tile by a translation which maps the whole tiling ..." | ||
| Том 31, № 3 (2024) | LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... and translation were worked out: for verification, the model checking tool nuXmv is used, and the translation ..." | ||
| Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
| "... semantics of poST providing rules for translation of poST language statements to Promela — the input ..." | ||
| Том 31, № 2 (2024) | Автоматическое определение семантического сходства ответов учащихся с эталонным с помощью современных моделей | Аннотация PDF (Rus) похожие документы |
| Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Владислав Николаевич Копнин | ||
| "... of texts is an important component of many areas of natural language processing: machine translation ..." | ||
| Том 20, № 2 (2013) | Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... прогрессии через структурные свойства диаграммы переходов. Представлен компактный и наглядный способ ..." | ||
| Том 24, № 4 (2017) | О скоростях передачи данных на шинах между кеш-памятью второго и третьего уровней и между процессором и оперативной памятью в современных компьютерах | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Комар | ||
| "... . Зависимости скоростей передачи данных от типа теста представлены в виде столбиковых диаграмм для трех ..." | ||
| Том 25, № 2 (2018) | О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов | Аннотация PDF (Rus) похожие документы |
| Алевтина Борисовна Глонина, Василий Викторович Балашов | ||
| "... диаграмму (ВД) функционирования МВС РВ, необходимую для проверки допустимости. В работе обосновывается ..." | ||
| Том 25, № 3 (2018) | Динамика распределения популяции по ареалам | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Кириллов, Инна Владимировна Данилова | ||
| "... диаграммы Г.Ф. Вороного. ..." | ||
| Том 28, № 1 (2021) | О характеристиках символьного исполнения в задаче оценки качества обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... to the process of analyzing a program by an analyst, since it includes the steps of disassembly and translation ..." | ||
| Том 17, № 4 (2010) | Пример верификации в проекте F@BOOL@, основанном на булевских решателях | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... ), and the validation/refutation of each veri¯cation condition using SAT-solvers after conservative" translation ..." | ||
| Том 22, № 6 (2015) | Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах | Аннотация PDF (Rus) похожие документы |
| И. В. Марьясов, В. А. Непомнящий | ||
| "... . The C-kernel language [19] is a subset of C-light. The theorem of translation correctness was proved ..." | ||
| Том 27, № 4 (2020) | Темпоральная логика для программируемых логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Владимир Евгеньевич Зюбин, Сергей Михайлович Старолетов, Татьяна Викторовна Лях, Андрей Сергеевич Розов, Сергей Петрович Горлач | ||
| "... temporal operators to specify inside properties of scan cycles. We describe the translation of formulas ..." | ||
| Том 30, № 4 (2023) | LTL-спецификация для разработки и верификации управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... code in the imperative programming language is unambiguously built. The translation ..." | ||
| 1 - 39 из 39 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
