Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 26, № 3 (2019) Формальная верификация диаграмм троичных цифровых сигналов Аннотация  PDF (Rus)  похожие документы
Нина Юрьевна Куцак, Владислав Васильевич Подымов
"... and importance. A popular way of an HDL code debug is based on extraction and analysis of a waveform, which ..."
 
Том 20, № 6 (2013) О бутстрэпе для диаграмм и ландшафтов персистентности Аннотация  PDF (Rus)  похожие документы
Фредерик Шазаль, Фази Британи Тереза, Лецци Фабрицио, Риналдо Алессандро, Сингх Аарти, Ларри Вассерман
"... signal from topological noise. In particular, we derive confidence sets for persistence diagrams ..."
 
Том 20, № 4 (2013) Исследование ортогональности сигналов с вращением вектора поляризации Аннотация  PDF (Rus)  похожие документы
Юрий Евгеньевич Боровков, Александр Николаевич Кренев, Виктор Николаевич Муравьев, Александр Прокофьевич Омельчук
"... defines the boundaries of signals orthogonality in a two-dimensional space of frequency-difference ..."
 
Том 24, № 6 (2017) Об определении уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин
"... of useful signals (from defects and structural elements of a railway track) during the analysis ..."
 
Том 25, № 4 (2018) Эффективный алгоритм определения уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин
"... determination of a threshold level of amplitudes of useful signals (from defects and structural elements ..."
 
Том 25, № 5 (2018) Представление универсальных гиперграфических автоматов автономными выходными сигналами Аннотация  похожие документы
Екатерина Владимировна Хворостухина, Владимир Александрович Молчанов
"... представления универсальных гиперграфических автоматов в их полугруппах входных сигналов: описывается ..."
 
Том 21, № 6 (2014) Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Сергей Анатольевич Черненок, Валерий Александрович Непомнящий
"... Стандартный язык диаграмм последовательных сообщений MSC предназначен для описания сценариев ..."
 
Том 24, № 6 (2017) К вопросу об измерении уровня абстракции диаграмм состояний на основе тестирования мутаций Аннотация  похожие документы
Томас Баар
"... Система обозначений диаграмм состояний (state machines) широко применяется в качестве формального ..."
 
Том 27, № 1 (2020) Определение расстояний между изображениями методом потоков де Рама Аннотация  похожие документы
Сергей Николаевич Чуканов
"... of an object, not only the geometric form is important, but also the signals associated with this form ..."
 
Том 19, № 2 (2012) О верификации LD-программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
 
Том 19, № 6 (2012) Как разработать простое средство верификации систем реального времени Аннотация  PDF (Rus)  похожие документы
Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов
"... использовать диаграммы состояний UML с семантикой, определяемой иерархическими автоматами. Для верификации СРВ ..."
 
Том 25, № 5 (2018) О выразительных возможностях некоторых расширений линейной темпоральной логики Аннотация  PDF (Rus)  похожие документы
Антон Романович Гнатенко, Владимир Анатольевич Захаров
"... systems behaviour is a finite state transducer which operates over an input alphabet of control signals ..."
 
Том 20, № 6 (2013) Построение и верификация LD-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
 
Том 23, № 2 (2016) Построение CFC-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов
"... собой разновидность языка FBD (Function Block Diagram) — графического языка диаграмм принципиальных схем ..."
 
Том 21, № 4 (2014) Моделирование согласованного поведения ПЛК-датчиков Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов
"... combinations of input signals from the sensors can occur while PLC works with a control object. This fact ..."
 
Том 27, № 2 (2020) Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных Аннотация  PDF (Rus)  похожие документы
Александр Иванович Легалов, Иван Васильевич Матковский, Мария Сергеевна Ушакова, Дарья Сергеевна Романова
"... . It is assumed that on the data readiness a control signal is emitted to inform the processes about ..."
 
Том 22, № 6 (2015) Особенности применения модельно-ориентированного подхода при разработке промышленных приложений Аннотация  PDF (Rus)  похожие документы
П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров
"... of translating abstract data structures (including transactions, signals and their parameters) into data ..."
 
Том 13, № 1 (2006) Совместное использование методов бизнес-моделирования и объектно-ориентированной методологии при проектировании профилированного пользовательского интерфейса Аннотация  PDF (Rus)  похожие документы
И. Г. Игнатова, Н. Ю. Соколова
"... возможность такого использования. Даны краткие характеристики основных компонентов DFD и UML диаграмм, а также ..."
 
Том 18, № 4 (2011) Оптимизационные процедуры в аффинной проверке моделей Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина
"... диаграммах, ограниченная проверка моделей, использующая SAT-решатели, и различные алгебраические подходы к ..."
 
Том 18, № 3 (2011) Модульная модель мультимедийного документа и особенности ее программной реализации Аннотация  PDF (Rus)  похожие документы
Владислав Игоревич Январев
"... мультимедийными сайтами Fuzzle CMS и редактор бизнес-диаграмм FLAscheme. ..."
 
Том 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)  похожие документы
Александр Николаевич Кириллов, Инна Владимировна Данилова
"... диаграммы Г.Ф. Вороного. ..."
 
1 - 26 из 26 результатов

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

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