Найдено документов - 4 Статьи из номера журнала: ЭЛЕКТРОННЫЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ. 3. - Москва : НТЦ ЭЛИНС, 2024. - Текст : электронный. Версия для печати
Сортировать по:
1. Статья из журнала
bookCover
Светлаков, А. В. (Автор МИЭТ (аспирант)).
Реализация проверки формул логики ветвящегося времени на языке программирования PYTHON / А. В. Светлаков. - Текст : электронный
// ЭЛЕКТРОННЫЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ. - Москва : НТЦ ЭЛИНС, 2024. - № 3. - С. 86-98. - URL: https://www.elibrary.ru/item.asp?id=73952680 (дата обращения: 09.12.2024). - URL: https://elins-journal.ru/arhiv/ (дата обращения: 09.12.2024).
Авторы:Светлаков, А. В.
Ключевые слова:Логика ветвящегося времени, Структура Крипке, CTL-формула, Алгоритм маркировки, Темпоральный базис
Аннотация:Представлен и подробно описан алгоритм маркировки, реализованный на языке программирования Python, который позволяет проверять формулы логики ветвящегося времени на произвольных структурах Крипке. Приведены основные понятия логики ветвящегося времени. Продемонстрирована работа программы на различных примерах
Поиск:Источник
Ссылка на ресурс:https://www.elibrary.ru/item.asp?id=73952680
Ссылка на ресурс:https://elins-journal.ru/arhiv/
2. Статья из журнала
bookCover
Косенко, В. А. (Автор МИЭТ (аспирант)).
Разработка и моделирование способа разделения сигнала для многоканальной оцифровки / В. А. Косенко. - Текст : электронный
// ЭЛЕКТРОННЫЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ. - Москва : НТЦ ЭЛИНС, 2024. - № 3. - С. 60-70. - URL: https://www.elibrary.ru/item.asp?id=73952678 (дата обращения: 09.12.2024). - URL: https://elins-journal.ru/arhiv/ (дата обращения: 09.12.2024).
Авторы:Косенко, В. А.
Ключевые слова:Многоканальная оцифровка, Разделение сигнала, Аналого-цифровое преобразование, Смещение сигнала, Масштабирование сигнала, Точность оцифровки
Аннотация:Описывается развитие метода многоканальной оцифровки, базирующегося на концепции разделения входного сигнала на составляющие в целях их параллельной оцифровки. Акцентируется внимание на схемотехнических решениях, необходимых для эффективной реализации данной стратегии, которые обеспечивают высокую точность и стабильность в процессе обработки сигналов
Поиск:Источник
Ссылка на ресурс:https://www.elibrary.ru/item.asp?id=73952678
Ссылка на ресурс:https://elins-journal.ru/arhiv/
3. Статья из журнала
bookCover
Применимость расчётно-аналитической модели для оценки распространения электромагнитных волн внутри зданий / А. А. Перфильев, С. А. Лупин, А. В. Гуреев, В. И. Ухандеев. - Текст : электронный
// ЭЛЕКТРОННЫЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ. - Москва : НТЦ ЭЛИНС, 2024. - № 3. - С. 99-111. - URL: https://www.elibrary.ru/item.asp?id=73952681 (дата обращения: 09.12.2024). - URL: https://elins-journal.ru/arhiv/ (дата обращения: 09.12.2024).
Авторы:Перфильев, А. А., Лупин, С. А., Гуреев, А. В., Ухандеев, В. И.
Ключевые слова:Распространение радиоволн внутри зданий, Среда моделирования altair feko, Метод падающих и отражающихся лучей, Визуализация распределения уровня мощности, Измерительный тракт
Аннотация:Рассмотрен подход к автоматизации процедуры анализа распределения мощности и затухания электромагнитных волн в помещениях зданий. Обоснован выбор метода и среды моделирования. Построены модели лабораторного помещения и распространения электромагнитных волн в этом помещении. Выполнено инструментальное измерение уровня сигнала в нескольких точках для оценки точности модели распространения электромагнитных волн. Проведены расчёты потерь при передаче радиочастотных сигналов. Сформулированы практические задачи, которые могут быть решены с помощью компьютерного моделирования распространения электромагнитных волн в помещении
Поиск:Источник
Ссылка на ресурс:https://www.elibrary.ru/item.asp?id=73952681
Ссылка на ресурс:https://elins-journal.ru/arhiv/
4. Статья из журнала
bookCover
Зайцев, А. А. (Автор МИЭТ, Ин-т МПСУ).
Исследование петлевого фильтра с умножением ёмкости конденсатора демпфирующего звена для интегрального синтезатора частот / А. А. Зайцев. - Текст : электронный
// ЭЛЕКТРОННЫЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ. - Москва : НТЦ ЭЛИНС, 2024. - № 3. - С. 27-40. - URL: https://www.elibrary.ru/item.asp?id=73952675 (дата обращения: 09.12.2024). - URL: https://elins-journal.ru/arhiv/ (дата обращения: 09.12.2024).
Авторы:Зайцев, А. А.
Ключевые слова:Синтезатор частот, Фазовая автоподстройка частоты, Петлевой фильтр, Умножение ёмкости конденсатора, Ускорение переходных процессов автоподстройки частоты
Аннотация:Рассмотрены две схемы петлевого фильтра с умножением ёмкости конденсатора демпфирующего звена на базе повторителя напряжения и дополнительного источника тока в составе блока накачки заряда контура фазовой автоподстройки частоты. Исследовано изменение параметров рассматриваемых фильтров вследствие производственных отклонений значений силы тока основного и дополнительного источников тока. Предложен способ изменения выходного напряжения фильтров для ускорения начальной стадии переходных процессов автоподстройки частоты
Поиск:Источник
Ссылка на ресурс:https://www.elibrary.ru/item.asp?id=73952675
Ссылка на ресурс:https://elins-journal.ru/arhiv/