Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 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 ..."
 
Том 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 с семантикой, определяемой иерархическими автоматами. Для верификации СРВ ..."
 
Том 26, № 3 (2019) Автоматизированный поиск средств ритмизации художественного текста для сравнительного анализа оригинала и перевода на материале английского и русского языков Аннотация  PDF (Rus)  похожие документы
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Елена Игоревна Бойчук, Инна Алексеевна Воронцова, Илья Вячеславович Парамонов
"... Analysis of the functional equivalence of an original text and its translation based ..."
 
Том 20, № 6 (2013) Построение и верификация LD-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
 
Том 23, № 2 (2016) Построение CFC-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов
"... собой разновидность языка FBD (Function Block Diagram) — графического языка диаграмм принципиальных схем ..."
 
Том 13, № 1 (2006) Совместное использование методов бизнес-моделирования и объектно-ориентированной методологии при проектировании профилированного пользовательского интерфейса Аннотация  PDF (Rus)  похожие документы
И. Г. Игнатова, Н. Ю. Соколова
"... возможность такого использования. Даны краткие характеристики основных компонентов DFD и UML диаграмм, а также ..."
 
Том 25, № 2 (2018) Сравнительный анализ устойчивости вычислительных решеток с различной архитектурой узла к индуцированным тупикам Аннотация  PDF (Rus)  похожие документы
Татьяна Рудольфовна Шмелёва
"... distribution. The modeling system CPN Tools is used for constructing models and measuring parameters. Grid ..."
 
Том 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 ..."
 
Том 18, № 4 (2011) Оптимизационные процедуры в аффинной проверке моделей Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина
"... диаграммах, ограниченная проверка моделей, использующая SAT-решатели, и различные алгебраические подходы к ..."
 
Том 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 ..."
 
Том 21, № 5 (2014) Применение систем компьютерной алгебры для построения метода коллокаций и наименьших невязок решения трехмерных уравнений Навье–Стокса Аннотация  PDF (Rus)  похожие документы
Василий Павлович Шапеев, Евгений Васильевич Ворожцов
"... and verification of the formulas of the method and for their translation into arithmetic operators of the Fortran ..."
 
Том 22, № 2 (2015) Оценка числа решетчатых разбиений плоскости на центрально-симметричные полимино заданной площади Аннотация  PDF (Rus)  похожие документы
Антон Владимирович Шутов, Екатерина Викторовна Коломейкина
"... tiling if each tile can be mapped to any other tile by a translation which maps the whole tiling ..."
 
Том 26, № 1 (2019) Визуальная веб-ориентированная среда динамического управления потоками данных в кампусных программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
Вячеслав Петрович Корячко, Дмитрий Александрович Перепелкин, Мария Александровна Иванчикова, Владимир Сергеевич Бышов
"... архитектуры ПИВС в виде описания UML диаграмм классов, а также создание программных методов для организации ..."
 
Том 20, № 2 (2013) О поворотах цифровых изображений Аннотация  PDF (Rus)  похожие документы
Павел Геннадьевич Парфенов
"... случаях на гексагональной решетке. На основе четырехпиксельных фрагментов строятся диаграммы, которые ..."
 
Том 20, № 2 (2013) Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... прогрессии через структурные свойства диаграммы переходов. Представлен компактный и наглядный способ ..."
 
Том 24, № 4 (2017) О скоростях передачи данных на шинах между кеш-памятью второго и третьего уровней и между процессором и оперативной памятью в современных компьютерах Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Комар
"... . Зависимости скоростей передачи данных от типа теста представлены в виде столбиковых диаграмм для трех ..."
 
Том 25, № 2 (2018) О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов Аннотация  PDF (Rus)  похожие документы
Алевтина Борисовна Глонина, Василий Викторович Балашов
"... диаграмму (ВД) функционирования МВС РВ, необходимую для проверки допустимости. В работе обосновывается ..."
 
Том 25, № 3 (2018) Динамика распределения популяции по ареалам Аннотация  PDF (Rus)  похожие документы
Александр Николаевич Кириллов, Инна Владимировна Данилова
"... диаграммы Г.Ф. Вороного. ..."
 
Том 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 ..."
 
1 - 29 из 29 результатов

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

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