Сортировать по:
| Выпуск | Название | |
| Том 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 ..." | ||
| Том 28, № 1 (2021) | Алгоритм корректировки уровней полезных сигналов при расшифровке вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
| "... -current defectograms. In the process of forming these images, only useful signals are taken into account ..." | ||
| Том 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 ..." | ||
| Том 28, № 4 (2021) | Алгоритм оценивания частоты сигнала на выходе канала с управляемым информационным потоком в условиях фазового шума | Аннотация PDF (Rus) похожие документы |
| Леонид Николаевич Казаков, Евгений Павлович Кубышкин, Илья Викторович Лукьянов | ||
| "... is the area of measuring radio devices, which usually operate at high signal-to-noise ratios (SNR ..." | ||
| Том 25, № 5 (2018) | Представление универсальных гиперграфических автоматов автономными выходными сигналами | Аннотация похожие документы |
| Екатерина Владимировна Хворостухина, Владимир Александрович Молчанов | ||
| "... представления универсальных гиперграфических автоматов в их полугруппах входных сигналов: описывается ..." | ||
| Том 30, № 2 (2023) | Графы сигнальных переходов для схем асинхронного тракта данных | Аннотация похожие документы |
| Александр Кушнеров, Сергей Быстров | ||
| "... The paper proposes a method for constructing signal transition graphs (STGs), which are directly ..." | ||
| Том 21, № 6 (2014) | Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
| Сергей Анатольевич Черненок, Валерий Александрович Непомнящий | ||
| "... Стандартный язык диаграмм последовательных сообщений MSC предназначен для описания сценариев ..." | ||
| Том 24, № 6 (2017) | К вопросу об измерении уровня абстракции диаграмм состояний на основе тестирования мутаций | Аннотация похожие документы |
| Томас Баар | ||
| "... Система обозначений диаграмм состояний (state machines) широко применяется в качестве формального ..." | ||
| Том 31, № 2 (2024) | Подавление аддитивных периодических низкочастотных помех на вихретоковых дефектограммах | Аннотация PDF (Rus) похожие документы |
| Леонид Юрьевич Быстров, Артемий Николаевич Гладков, Егор Владимирович Кузьмин | ||
| "... noise level is found to isolate signals from defects and structural elements. Its value can be distorted ..." | ||
| Том 29, № 1 (2022) | Алгоритм углового сверхразрешения с использованием разложения Холецкого и его реализация на основе технологии параллельных вычислений | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич Мищенко, Николай Витальевич Шацкий | ||
| "... to abandon the inversion of the covariance matrix of input signals. The proposed algorithm is compared ..." | ||
| Том 19, № 2 (2012) | О верификации LD-программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| Том 19, № 6 (2012) | Как разработать простое средство верификации систем реального времени | Аннотация PDF (Rus) похожие документы |
| Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов | ||
| "... использовать диаграммы состояний UML с семантикой, определяемой иерархическими автоматами. Для верификации СРВ ..." | ||
| Том 28, № 2 (2021) | Оценка степени опасности дефектов при расшифровке вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
| "... defectograms. In the process of forming these images, only useful signals are taken into account, the threshold ..." | ||
| Том 27, № 1 (2020) | Определение расстояний между изображениями методом потоков де Рама | Аннотация похожие документы |
| Сергей Николаевич Чуканов | ||
| "... of an object, not only the geometric form is important, but also the signals associated with this form ..." | ||
| Том 27, № 4 (2020) | О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович Винарский, Владимир Анатольевич Захаров | ||
| "... in continuous interaction with the external environment, from which they receive streams of input signals (data ..." | ||
| Том 31, № 3 (2024) | LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... . This specification allows defining the behavior of Boolean feedback signals, as well as fairness conditions ..." | ||
| Том 20, № 6 (2013) | Построение и верификация LD-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
| Том 23, № 2 (2016) | Построение CFC-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов | ||
| "... собой разновидность языка FBD (Function Block Diagram) — графического языка диаграмм принципиальных схем ..." | ||
| Том 25, № 5 (2018) | О выразительных возможностях некоторых расширений линейной темпоральной логики | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... systems behaviour is a finite state transducer which operates over an input alphabet of control signals ..." | ||
| Том 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 ..." | ||
| Том 30, № 4 (2023) | Алгоритм предсказания связей в саморегулирующейся сети с адаптивной топологией на базе теории графов и машинного обучения | Аннотация PDF (Rus) похожие документы |
| Евгений Юрьевич Павленко | ||
| "... , characterizing both their physical characteristics (signal level, battery charge) and their characteristics ..." | ||
| Том 28, № 4 (2021) | О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... of input data or control signals and output the streams of instructions or responses. When designing ..." | ||
| Том 28, № 3 (2021) | Исследование нелинейных полиномиальных систем управления | Аннотация похожие документы |
| Сергей Николаевич Чуканов, Илья Станиславович Чуканов | ||
| "... is considered. The coordination of input-output signals of the system based on the construction of Gro¨bner ..." | ||
| Том 29, № 4 (2022) | Анализ академической успеваемости студентов с использованием журналов событий электронной образовательной среды | Аннотация PDF (Rus) похожие документы |
| Никита Денисович Шаимов, Ирина Александровна Ломазова, Алексей Александрович Мицюк, Илья Юрьевич Самоненко | ||
| "... of special attention for administrators of the educational program were identified, as well as some signal ..." | ||
| Том 13, № 1 (2006) | Совместное использование методов бизнес-моделирования и объектно-ориентированной методологии при проектировании профилированного пользовательского интерфейса | Аннотация PDF (Rus) похожие документы |
| И. Г. Игнатова, Н. Ю. Соколова | ||
| "... возможность такого использования. Даны краткие характеристики основных компонентов DFD и UML диаграмм, а также ..." | ||
| Том 18, № 4 (2011) | Оптимизационные процедуры в аффинной проверке моделей | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... диаграммах, ограниченная проверка моделей, использующая SAT-решатели, и различные алгебраические подходы к ..." | ||
| Том 28, № 3 (2021) | Классификация текстов по жанрам на основе ритмических характеристик | Аннотация PDF (Rus) похожие документы |
| Ксения Владимировна Лагутина, Надежда Станиславовна Лагутина, Елена Игоревна Бойчук | ||
| "... . Полученная модель текста была визуализирована для статистического анализа с помощью диаграмм размаха и ..." | ||
| Том 18, № 3 (2011) | Модульная модель мультимедийного документа и особенности ее программной реализации | Аннотация PDF (Rus) похожие документы |
| Владислав Игоревич Январев | ||
| "... мультимедийными сайтами Fuzzle CMS и редактор бизнес-диаграмм FLAscheme. ..." | ||
| Том 29, № 1 (2022) | Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС | Аннотация PDF (Rus) похожие документы |
| Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров | ||
| "... into programs in HDL languages that support the design process of digital chips are presented. The principles ..." | ||
| Том 29, № 3 (2022) | Формирование признаков машинного обучения на основе построения тропических функций | Аннотация PDF (Rus) похожие документы |
| Сергей Николаевич Чуканов, Илья Станиславович Чуканов | ||
| "... персистентных диаграмм и баркодов. Метод персистентной гомологии из вычислительной топологии обеспечивает баланс ..." | ||
| Том 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) похожие документы |
| Александр Николаевич Кириллов, Инна Владимировна Данилова | ||
| "... диаграммы Г.Ф. Вороного. ..." | ||
| Том 31, № 2 (2024) | Детекция БПЛА при помощи нейронных сетей | Аннотация PDF (Rus) похожие документы |
| Мария Дмитриевна Аверина, Ольга Александровна Леванова, Дарья Грушевская, Кирилл Александрович Кухарев, Дмитрий Михайлович Мурин, Максим Александрович Калинин | ||
| "... сигналов, а также обработки видео данных. Лучшие результаты в обнаружении БПЛА на видео показывают решения ..." | ||
| 1 - 42 из 42 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
