Космическое приборостроение. Рубрика в журнале - Космические аппараты и технологии

Публикации в рубрике (47): Космическое приборостроение
все рубрики
Автономные алгоритмы контроля целостности навигационного поля применительно к ГНСС ГЛОНАСС

Автономные алгоритмы контроля целостности навигационного поля применительно к ГНСС ГЛОНАСС

Н.В. Леонидов

Статья научная

Цель данной статьи – анализ существующих алгоритмов автономного контроля целостности навигационного поля системы ГЛОНАСС. Анализ проведен по отечественным материалам и официальным зарубежным заявлениям. В начале статьи дано понятие целостности глобальной навигационной спутниковой системы в том виде, в котором оно употребляется Международной организацией гражданской авиации и разработчиками таких систем. Показаны различия между распространенными видами контроля целостности навигационного поля. Проведено моделирование отдельных эксплуатационных характеристик, в т. ч. среднего геометрического фактора, видимости, доступности для различных углов места. Проведено сравнение основных вариантов решения проблемы пониженных тактико-технических характеристик системы. Перечислены сложившиеся предпосылки к совершенствованию системы ГЛОНАСС и к применению малых навигационных космических аппаратов для устранения отставания ГЛОНАСС от конкурирующих глобальных навигационных спутниковых систем. Предложен вариант совершенствования обстоятельств для применения данных алгоритмов в неблагоприятных условиях по отношению к системе ГЛОНАСС. Показано, что низкоорбитальное дополнение к системе ГЛОНАСС за счет оперативного поддержания целостности навигационного поля способно значительно улучшить ее тактико-технические характеристики и обеспечить ее более высокую надежность.

Бесплатно

Алгоритм нахождения RLC-параметров

Алгоритм нахождения RLC-параметров

Д. К. Лобанов, Т. Г. Орешенко, А. Е. Шмидт

Статья

В статье рассмотрен алгоритм, способный без участия оператора по виду адмиттансной частотной характеристики определить схему замещения исследуемой цепи и рассчитать параметры ее элементов. Алгоритм позволяет расширить функциональные возможности RLC-метров и может использоваться для решения прикладных задач, связанных с нахождением схемы замещения исследуемой цепи. Поскольку RLC-метр производит измерение полного сопротивления только на одной или нескольких фиксированных частотах, то по этим измерениям сложно получить представление о схеме замещения. Для выбора схемы замещения нужно выполнить анализ импедансной или адмиттансной частотной характеристики. Как правило, анализ осуществляется вручную и занимает относительно длительное время. Предложенный алгоритм позволяет автоматизировать анализ адмиттансной частотной характеристики. Для выбора схемы замещения в алгоритмы сопоставляются величины и последовательность наклонов адмиттансной частотной характеристики с массивом известных последовательностей и значений наклонов для известных схем замещения. Расчет параметров схемы замещения производится по значениям частот сопряжения и высотам нулевых наклонов. Для уменьшения влияния помех на погрешность результата использован метод синхронного детектирования сигнала. В статье предложен критерий оценки работоспособности алгоритма и выполнено тестирование алгоритма на нескольких типах цепей. В ходе тестирования оценивалась относительная погрешность расчета параметров схем замещения, максимальное значение которой не превышает 6 %.

Бесплатно

Алгоритм парирования сбоев в бортовых цифровых вычислительных комплексах со структурно-временной избыточностью

Алгоритм парирования сбоев в бортовых цифровых вычислительных комплексах со структурно-временной избыточностью

Д.С. Викторов, Е.В. Самоволина

Статья

В настоящее время проблема обеспечения надежного функционирования бортовых цифровых вычислительных комплексов становится всё актуальнее. При проектировании бортовых цифровых вычислительных комплексов космических аппаратов необходимо обеспечить высокую производительность, минимальные массогабаритные и энергетические характеристики, наличие средств диагностики и парирования последствий отказов. Кроме того, к бортовым цифровым вычислительным комплексам космических аппаратов предъявляются такие требования, как высокая суммарная надежность системы, минимальные показатели времени обнаружения и парирования отказов. Для повышения надёжности управляющих систем существует много способов, основным из которых является структурное резервирование. Применение резервирования даёт возможность на основе введения избыточности, путём голосования выявить отказавшую систему и исключить её из конфигурации. Однако в бортовых цифровых вычислительных комплексах интенсивность отказов на порядок ниже, чем интенсивность сбоев. Это может привести к тому, что сбой, воспринятый системой как отказ, послужит причиной выведения из конфигурации исправного канала. Путём возвращения программы на предыдущую точку восстановления и прохождения фрагмента программы повторно появляется возможность классифицировать тип неисправности сбой/отказ. При данном подходе реконфигурация системы произойдёт только после безуспешных попыток пройти фрагмент программы n раз (как правило, в технике применяется повтор 7–8 раз). Целью работы является разработка алгоритма парирования сбоев в бортовых вычислительных системах с трёхканальной архитектурой, который предполагает комплексное применение тестового контроля и точек восстановления с различным доминированием в зависимости от количества исправных каналов.

Бесплатно

Анализ возможностей одночастотных приемников ГНСС для диагностики ионосферы

Анализ возможностей одночастотных приемников ГНСС для диагностики ионосферы

Иванов Всеволод Борисович, Холмогоров Андрей Александрович, Горбачев Олег Анатольевич

Статья научная

Работа посвящена исследованию возможностей одночастотных приемников для регистрации нерегулярных событий в ионосфере. Изыскания проводились на примере следующих событий: солнечное затмение 20 марта 2015 года, мощные землетрясения в Чили 27 февраля 2010 года и в Японии 11 марта 2011 года, взрыв Челябинского метеороида 15 февраля 2016 года. Проводилось сравнение полного электронного содержания между спутником и приемником для спокойных суток и суток с возмущением для поиска различных отклонений в его поведении. В результате было установлено, что одночастотные приемники позволяют наблюдать такие эффекты, как: плавное уменьшение, резкий излом на суточном ходе полного электронного содержания, а также волновые структуры на пути приемник-спутник. Полученные результаты сравнивались с данными двухчастотных приемников глобальной навигационной спутниковой системы, как с более точными и широко зарекомендовавшими себя для диагностики ионосферы. Данные двухчастотной диагностики качественно не отличаются от одночастотной диагностики, однако они более точные из-за различных алгоритмов восстановления полного электронного содержания. Основным результатом работы, помимо данных самой диагностики ионосферы, является вывод о применимости одночастотных приемников для диагностики ионосферы.

Бесплатно

Архитектура бортового комплекса управления для малых космических аппаратов на основе сетевых технологий

Архитектура бортового комплекса управления для малых космических аппаратов на основе сетевых технологий

Непомнящий Олег Владимирович, Постников Александр Иванович, Горева В.В., Варочкин С.С.

Статья научная

Рассмотрены способы организации сетевого взаимодействия бортовой аппаратуры космических аппаратов на основе стандарта SpaceWire. Предложена архитектура реконфигурируемого бортового комплекса управления. С целью обеспечения реконфигурируемости, программной настройки, универсальности и соответствия действующим международным и российским стандартам по эксплуатации космических аппаратов и бортовой аппаратуры в основу разрабатываемого бортового вычислительного комплекса положен магистрально-модульный принцип интеграции аппаратных средств. Это позволяет создать на борту единое информационное пространство на основе бортовой коммуникационной сети стандарта SpaceWire/SpaceWire-RUS. Основным вычислительным узлом комплекса является центральный процессорный модуль, а сетевая архитектура строится на основе маршрутиризирующих сетевых коммутаторов. Это позволяет организовать модульное построение комплекса на основе принципа взаимозаменяемости аппаратных модулей, входящих в его состав...

Бесплатно

Архитектура программного обеспечения для высоконадежных систем

Архитектура программного обеспечения для высоконадежных систем

А.В. Караванов, Н.Д. Иванов

Статья

В статье рассматривается проблема построения программного обеспечения для высоконадежных систем. Исследуются основные критерии, позволяющие оценить эффективность спроектированной архитектуры программного обеспечения. Приводится их краткое описание. Программное обеспечение с большим спектром выполняемых задач разрабатывается по модульному типу. Программа делится на модули по их функциональному назначению. Предлагается выделить модуль в отдельную программу для повышения отказоустойчивости программного обеспечения в высоконадежных системах. Приводится пример построения предложенной архитектуры с разбиением программного обеспечения на модули (программы) по функциональному назначению. С этой целью разработана программа-посредник, при помощи которой модули обмениваются информацией. Взаимодействие между модулями и программой-посредником может происходить при помощи различных технологий (TCP/IP, общие файлы, разделяемая память и т. д.). В приведенном примере взаимодействие было реализовано при помощи протокола сетевого взаимодействия TCP/IP, а также проведен эксперимент для сравнения монолитно построенной программы и программы, сделанной по предложенной архитектуре. В рамках эксперимента источник данных передавал пакеты через программное обеспечение, реализованное на основании предложенной архитектуры. За критерий надежности программного обеспечения принято количество доставленных пакетов. Данный эксперимент подтвердил преимущество надежности программного обеспечения, построенного по предложенной архитектуре.

Бесплатно

Верификация частотных характеристик нагрузочных устройств, заявленных производителем

Верификация частотных характеристик нагрузочных устройств, заявленных производителем

А. Д. Широков, Д. А. Феоктистов, Т. Г. Орешенко, М. С. Федоров, А. В. Чубарь

Статья

Целью работы являлось уточнение возможности определения частотных характеристик нагрузочных устройств по параметрам переходных процессов, скорости нарастания переднего фронта, его длительности, наличию или отсутствию перерегулирования, форме переходного процесса. Основная задача исследования состояла в определении параметров нагрузки, необходимых для выполнения расчета. Для подтверждения указанной гипотезы о влиянии выбранных параметров использован метод физического эксперимента. Уточнение показателей по эксплуатационным параметрам может быть актуальным при организации входного контроля поступающих покупных изделий для различных прикладных задач. Совершенствование алгоритмов входного контроля, реализация проверок временных характеристик вместо частотных позволят подтвердить соответствие характеристик, заявленных производителем либо поставщиком данного оборудования, и дадут возможность идентифицировать внутреннюю структуру устройств в обеспечение их совместимости с прочим оборудованием, применяемым на производстве, а также расширить технологические возможности предприятий. Обозначенная проблема представляется перспективной для ряда организаций, эксплуатирующих сложную электронную технику, а также для отечественных производителей электронных устройств. Актуальность исследования также заключается в уменьшении количества, требуемого для процесса верификации оборудования за счет увеличения вычислительной нагрузки. Кроме того, динамическая идентификация по параметрам переходных процессов повышает скорость проведения верификации.

Бесплатно

Годограф локального фазового центра излучающего элемента навигационной антенны Глонасс

Годограф локального фазового центра излучающего элемента навигационной антенны Глонасс

Н. В. Морозов, Ю. И. Чони, И. Ю. Данилов

Статья

Приведены основные способы определения местоположения объекта с использованием измерений кода фазы и фазы несущей сигнала. Точность измерений псевдодальностей для измерений как по фазе несущей, так и по групповому времени запаздывания кода фазы зависит от положения локальных фазовых центров в направлении прихода радиосигнала. Определена связь группового времени запаздывания и локального фазового центра антенны, определяющим фактором при этом является частотная зависимость изменения фазы или ее локального фазового центра в пределах телесного угла рабочей области для диаграммы направленности. Дано определение локального фазового центра, координаты которого зависят от направления наблюдения радиосигнала. С учетом того, что радиотехнические характеристики навигационной антенны космического аппарата «Глонасс» зависят от соответствующих характеристик, входящих в ее состав излучающих элементов, анализируется положение локального фазового центра одиночного спирального излучателя. Подробно рассмотрены особенности и методика расчета годографов спирального излучателя навигационной фазированной антенной решетки с использованием средств электродинамического моделирования. Получены оценки пределов перемещения локального фазового центра, выявлены особенности его перемещения относительно конструкции излучателя в зависимости от рабочей частоты.

Бесплатно

Измерение разности фаз сигналов в системах спутниковой связи с использованием одного геостационарного ИСЗ

Измерение разности фаз сигналов в системах спутниковой связи с использованием одного геостационарного ИСЗ

Овчинников Федор Владимирович, Сухотин Виталий Владимирович

Статья научная

В радиотехнических системах, таких как локация, навигация, пеленгация и радиоизмерения, очень широко используют разность фаз сигналов как первичный источник информации об объекте. В связи с этим множество исследователей, работающих в данных областях, находятся в поиске новых высокоточных методов измерения разности фаз сигналов на протяжении уже более 20 лет. В работе рассматривается возможность измерения разности фаз сигналов, принятых разновременно от одного источника радиоизлучения, применительно к задаче радиопеленгации с использованием спутниковых систем связи. Исследуются 2 функциональные схемы цифровых фазоизмерительных устройств. Дается описание каждого функционального блока, входящего в конкретную исследуемую модель. Исследуются зависимости погрешности измерения разности фаз при использовании цифровых методов измерения фазового сдвига от возможных источников погрешностей. Приводятся результаты моделирования на ЭВМ с учетом особенностей и погрешностей, вносимых каждым функциональным блоком...

Бесплатно

Использование понятий однородности при проведении дополнительных испытаний электронной компонентной базы космического применения

Использование понятий однородности при проведении дополнительных испытаний электронной компонентной базы космического применения

С.М. Голованов, В.И. Орлов, В.В. Федосов

Статья

В современных условиях в Российской Федерации комплектация космических аппаратов высоконадежной электронной компонентной базой возможна только через испытательные технические центры, которые выступают в качестве связующего звена между заводами-изготовителями электронных компонентов и их потребителями. Учитывая отсутствие в нашей стране специализированного производства электронных компонентов категории качества «Space», такой подход является единственным альтернативным путем. Испытательные технические центры осуществляют формирование партий электронной компонентной базы космического применения посредством проведения дополнительных испытаний электронных компонентов общего военного применения, позволяющих осуществить отбраковку содержащих дефекты элементов, которые могут проявить себя при длительном функционировании в космическом пространстве. Современный космический аппарат содержит порядка 100–200 тысяч электронных компонентов. С учетом того, что бортовая аппаратура космического аппарата при его эксплуатации не подлежит ремонту, очевидно, что к электронной компонентной базе космического применения предъявляются исключительно высокие требования по надежности. В связи с этим совершенствование методологии повышения надежности электронной компонентной базы космического применения имеет первостепенное значение для дальнейшего развития космической отрасли. В настоящей статье изложен подход к усовершенствованию технологии дополнительных испытаний в испытательных технических центрах, основанный на применении понятий однородности испытываемой партии электронных компонентов, что позволяет осмысленно осуществлять формирование выборок для разрушающего физического анализа и испытаний на радиационную стойкость, а также дополнительно выявлять элементы-выбросы, являющиеся потенциально-ненадежными элементами.

Бесплатно

Исследование битовых ошибок, обусловленных эффектом Доплера

Исследование битовых ошибок, обусловленных эффектом Доплера

С.П. Панько, М.Г. Поляк

Статья

На сегодняшний день передача цифровой информации в спутниковых сетях играет ведущую роль. Цифровые сигналы используются повсеместно, поскольку они позволяют передавать пользователям информацию точнее и быстрее. Однако, передача цифровой информации, вследствие воздействия различных факторов, может осуществляться с ошибками при демодуляции, которые приводят к искажению переданной информации. Современные системы цифровой связи должны обеспечивать вероятность ошибки на один передаваемый бит информации порядка не более 10-5…10-6. Для того чтобы обеспечить данный высокий уровень помехоустойчивости активно применяются кодирование информации и особые алгоритмы обработки сигналов. Ошибки при передаче цифровой информации возникают по трем причинам: падение мощности сигнала ниже необходимого минимума, действия шумов и замираний сигнала; влияние эффекта Доплера; межсимвольная интерференция, возникающая по причине многолучевого распространения сигнала. Эффективным методом борьбы с ошибками при приеме цифровых сигналов является разнесенный прием сигнала. В космических технологиях одним из наиболее важных факторов, влияющих на вероятность ошибки, является Доплеровское смещение частоты, вызванное движением космического аппарата. В статье показана эффективность разнесенного приема с точки зрения снижения вероятности ошибки, возникающей вследствие эффекта Доплера, на один бит.

Бесплатно

Компьютерная модель бортового ретрансляционного комплекса для анализа фазовых искажений сигнала

Компьютерная модель бортового ретрансляционного комплекса для анализа фазовых искажений сигнала

А. В. Шагов, В. В. Сухотин, Т. А. Зубов

Статья

В статье рассмотрены вопросы, связанные с разработкой компьютерной модели бортового ретрансляционного комплекса с линейной ретрансляцией сигнала для анализа его фазовых искажений. Очень важным является знание фазовых искажений (набега) при определении координат источника радиоизлучения фазовым методом с использованием виртуальной антенной решётки в системах спутниковой связи. Обзор литературы, приведенный в статье, показал отсутствие возможности провести указанные исследования на существующих компьютерных моделях. На основе классического варианта структурной схемы бортового ретрансляционного комплекса была разработана компьютерная модель в среде MATLAB R 2016b (Simulink). В состав модели вошли приёмное устройство, входной и выходной мультиплексоры и усилители мощности. В качестве нелинейных усилителей были взяты математические модели Салеха и Горбани усилителей, реализованных на лампах бегущей волны, и твердотельных усилителей соответственно. Мультиплексоры реализованы в виде полосовых фильтров, подключенных параллельно. Гибридный делитель и ферритовые циркуляторы не вошли в модель. В модели есть возможность исследовать зависимость фазовых искажений сигнала от характеристик структурных блоков бортового ретрансляционного комплекса. Также в компьютерной модели предусмотрена возможность исследования влияния шума на фазовые искажения.

Бесплатно

Компьютерная модель устройства фильтрации сигнала для мониторинговой земной станции

Компьютерная модель устройства фильтрации сигнала для мониторинговой земной станции

М. Р. Сосновский, В. В. Сухотин, А. П. Басков

Статья

Системы спутниковой связи имеют преимущество перед другими системами связи, так как имеют большой охват территории. Земная станция может располагаться в любой точке данной территории и может быть как легитимным пользователем, так и спутниковым пиратом (нелегитимным пользователем). Перед разработчиками стоит задача определить координаты незаконно занимающего частотный ресурс нелегитимного пользователя. В статье предложена структурная схема устройства фильтрации сигнала, которое входит в состав устройства определения координат нелегитимного пользователя мониторинговой земной станции. Определены назначение, требования и основная задача каждому составному блоку устройства фильтрации. Произведен поиск и анализ фильтров-аналогов и методов фильтрации сигналов. В программной среде MatLAB Simulink по структурной схеме разработана компьютерная модель устройства фильтрации сигнала с возможностью определения набега фазы, а также раскрыты настройки блоков устройства фильтрации, которые в процессе исследования модели можно корректировать. Для находящихся в составе устройства фильтрации полосовых фильтров по фазочастотным характеристикам построены зависимости изменения фазы принимаемого сигнала от частоты этого сигнала. Сформирована система фазовой автоподстройки частоты с возможностью изменения ее параметров. Произведены расчеты набега фаз через элементы устройства фильтрации.

Бесплатно

Математическое описание функциональных преобразований сигнала с угловой модуляцией в последовательно соединенных квантователях фазы и напряжения

Математическое описание функциональных преобразований сигнала с угловой модуляцией в последовательно соединенных квантователях фазы и напряжения

Д.С. Викторов, Е.В. Пластинина

Статья

Важнейшей составной частью современных земных станций спутниковой связи являются цифровые синтезаторы сигналов. С их помощью формируются различные сложные сигналы, требуемые показатели качества. Интерес разработчиков к использованию в создаваемых и перспективных земных станциях спутниковой связи цифровых синтезаторов сигналов обусловлен рядом объективных причин: - цифровые синтезаторы сигналов по сравнению с аналоговыми имеют высокую стабильность параметров формируемых сигналов и низкий уровень фазовых шумов; - сочетание широких функциональных возможностей с высокой скоростью переключения и малым шагом перестройки по частоте (доли герц) позволяет с использованием одного и того же устройства формировать сигналы различной частоты с высокой точностью установки и скоростью переключения; - быстродействие современной элементной базы позволяет формировать гетеродинные сигналы в широком рабочем диапазоне частот, составляющем сотни мегагерц. Исследованию методов и устройств цифрового формирования различных видов сигналов посвящено достаточное количество научных работ. Цифровые же синтезаторы сигналов с угловой модуляцией рассматриваются в них недостаточно полно, как правило, отдельно друг от друга, без выявления общих для них закономерностей и особенностей анализа. Анализ преобразований цифрового сигнала с угловой модуляцией в цифровых синтезаторах сигналов, представленного функцией нескольких переменных, как правило, основан на численных методах. Для его проведения необходимо получить математическое описание преобразований сигналов с угловой модуляцией в аналитическом виде. В статье представлены функциональные зависимости, описывающие преобразования сигналов с угловой модуляцией в последовательно соединенных квантователях фазы и напряжения с использованием метода отображения сигналов и метода контурных интегралов. Полученные зависимости позволяют оценить искажения формируемого сигнала с помощью спектрального и корреляционного анализа.

Бесплатно

Меры по ослаблению помех на уровне проектирования измерительного прибора космических аппаратов

Меры по ослаблению помех на уровне проектирования измерительного прибора космических аппаратов

А. И. Горностаев

Статья

При разработке интерфейсных модулей контроля температур, используемых в составе бортовой аппаратуры космических аппаратов, важно правильно обосновать комплекс мер по обеспечению их помехоустойчивости, принимаемых на уровнях проектирования измерительной системы, измерительного прибора и интерфейсного модуля контроля температур. Такое обоснование предполагает оценку эффективности возможных способов ослабления помех на каждом уровне проектирования. Статья посвящена рассмотрению мер по ослаблению помех на уровне проектирования измерительного прибора, которые следует принимать для обеспечения требуемой помехоустойчивости интерфейсного модуля контроля температур в комплексе с мерами, принимаемыми на других уровнях проектирования. Показано, что для обеспечения требуемой помехоустойчивости интерфейсных модулей контроля температур необходимо на уровне проектирования измерительного прибора предусмотреть меры по ослаблению помех в модуле питания, центральном приборном модуле и межмодульных интерфейсах, а также меры по исключению грубых ошибок измерений (промахов) при обработке цифровых данных в центральном приборном модуле. В модуле питания возможно ослабление помех введением дифференциального и синфазного фильтров на входе и коммутационных фильтров на выходе. В центральном приборном модуле и межмодульных интерфейсах возможно ослабление помех разделением общей шины питания на аналоговую и цифровые шины и объединением их в эквипотенциальной точке. В центральном приборном модуле возможно исключение промахов применением различных статистических методов обработки цифровых данных.

Бесплатно

Меры по ослаблению помех на уровне проектирования измерительной системы космических аппаратов

Меры по ослаблению помех на уровне проектирования измерительной системы космических аппаратов

А. И. Горностаев

Статья

Одной из первостепенных задач при разработке интерфейсных модулей контроля температур, используемых в составе бортовой аппаратуры для измерительных систем космических аппаратов различного назначения, является обоснование комплекса мер по обеспечению их помехоустойчивости, принимаемых на уровнях проектирования измерительной системы, измерительного прибора и интерфейсного модуля контроля температур. Такое обоснование предполагает оценку эффективности возможных способов ослабления различных видов воздействующих на измерительную систему помех, определяющих электромагнитную обстановку на космическом аппарате. Статья посвящена рассмотрению мер по ослаблению помех на уровне проектирования измерительной системы, которые следует принимать для обеспечения требуемой помехоустойчивости интерфейсного модуля контроля температур в комплексе с мерами, принимаемыми на других уровнях проектирования. Показано, что для обеспечения требуемой помехоустойчивости интерфейсных модулей контроля температур необходимо на уровне проектирования измерительной системы предусмотреть меры по ослаблению помех в кабеле питания и в измерительных кабелях. В кабеле питания возможно ослабление помех уменьшением импеданса общего электростатического экрана и сопротивлений связи проводов бортовых шин питания, а также скруткой проводов в виде витой пары. В измерительных кабелях возможно ослабление помех уменьшением импеданса общего электростатического экрана и сопротивлений связи проводов линий связи, введением для отдельных групп проводов линий связи дополнительного электростатического экрана и использованием в отдельных группах проводов парной или четверной скрутки.

Бесплатно

Методический подход к оценке количества необнаруженных дефектов естественной семантики программы с требуемой степенью доверия при верификации программного обеспечения бортовых цифровых вычислительных комплексов космических аппаратов

Методический подход к оценке количества необнаруженных дефектов естественной семантики программы с требуемой степенью доверия при верификации программного обеспечения бортовых цифровых вычислительных комплексов космических аппаратов

Д.С. Викторов, Е.Н. Жидков, Р.Е. Жидков

Статья

В рамках создания метода верификации программного обеспечения бортовых цифровых вычислительных комплексов космических аппаратов, удовлетворяющего задачам процесса верификации и разрабатываемого с целью снижения суммарных затрат на верификацию, представлена методика оценки количества не выявленных дефектов естественной семантики программы. Обнаружение данного типа дефектов производится путем статического анализа исходного кода программы и основывается на контроле соблюдения принципа размерной однородности выражений. Оценка количества дефектов выполняется по модели надежности Миллса, относящей к классу статистических моделей с преднамеренным внесением дефектов в программное обеспечение. Процедура внесения дефектов демонстрируется на теоретико-множественном представлении программы с учетом характерных для дефектов естественной семантики программы особенностей исходного кода, влияющих на адекватность проводимой процедуры. Требуемая степень доверия к результатам оценки необнаруженных дефектов достигается за счет вычисления математического ожидания количества обнаруживаемых «преднамеренных» дефектов по выборке требуемого размера, которая зависит от статистических характеристик, получаемых из начальной выборки и заданных значений доверительной вероятности и доверительного интервала. Полученная методика может быть использована при проведении испытаний исходного кода программ в рамках процесса верификации программного обеспечения бортовых цифровых вычислительных комплексов космических аппаратов, так как основана на общеизвестных математических соотношениях и соответствует требованиям нормативных документов в данной области.

Бесплатно

Методы взаимной высокоточной навигации, основанные на использовании относительных режимов работы угломерных приемников сигналов глобальных навигационных спутниковых систем

Методы взаимной высокоточной навигации, основанные на использовании относительных режимов работы угломерных приемников сигналов глобальных навигационных спутниковых систем

Д. Д. Дмитриев, В. Н. Тяпкин, Ю. Л. Фатеев, А. Б. Гладышев, Н. С. Кремез

Статья

В статье приведены результаты экспериментальных исследований методов взаимной высокоточной навигации для беспилотных и специализированных транспортных систем. Предлагаемые методы основаны на применении относительных режимов работы двух и более угломерных приемников сигналов глобальных навигационных спутниковых систем. Для проведения исследований разработан программно-аппаратный комплекс, состоящий из двух угломерных приемников сигналов глобальных навигационных спутниковых систем, опорно-поворотного устройства и компьютерной модели навигационной системы беспилотных и специализированных транспортных систем. Он обеспечивает погрешность позиционирования антенной системы по угловым координатам менее 1 угловой минуты, что позволяет его использовать в качестве эталона при измерении угловых перемещений антенной системы приемника сигналов глобальных навигационных спутниковых систем. Приведены и проанализированы результаты измерений плановых и угловых координат как в автономном, так и в относительном фазовом режимах работы угломерных приемников глобальных навигационных спутниковых систем. Установлено, что среднеквадратическая погрешность измерения относительных координат составила 0,019 м. Дальнейшее увеличение точности измерения относительных координат возможно за счет принятия мер по снижению погрешности многолучевого приема, которая является наиболее значимой некоррелированной погрешностью измерения координат двумя комплектами приемников сигналов глобальных навигационных спутниковых систем. Таким образом, методы взаимной высокоточной навигации с использованием угломерных приемников глобальных навигационных спутниковых систем обладают высокой точностью без использования внешней информации о дифференциальных поправках. Это позволит осуществлять эксплуатацию беспилотных или специальных транспортных систем в труднодоступных и северных районах в условиях отсутствия связи и прочих неблагоприятных факторах.

Бесплатно

Методы радиоэлектронной борьбы в области космической навигации и обеспечение безопасности космических аппаратов

Методы радиоэлектронной борьбы в области космической навигации и обеспечение безопасности космических аппаратов

Ковалв Роман Борисович

Статья научная

Основным элементом содержания радиоэлектронной борьбы является нарушение радиообмена между радиоэлектронными средствами передачи информации путем постановки помех и фальшцелей. Вплоть до начала Второй мировой войны оно осуществлялось в отдельных средствах с помощью маскирующих помех. Для борьбы с первыми радиоэлектронными средствами извлечения информации (радиолокационными станциями) были разработаны эффективные приемы постановки пассивных помех, имитирующие реальные объекты и способствующие навязыванию противнику ложной информации. С развитием и совершенствованием средств радиоэлектронной борьбы открылись перспективы воздействия на радиоэлектронные средства дезинформирующими активными помехами, и даже если удается отфильтровать истинную информацию от ложной, наличие последней иногда значительно осложняет оценку обстановки в ходе боевых действий. Кроме того, воздействие на современную радиоэлектронную систему, имеющую в своем составе ЭВМ, может осуществляться внедрением по радиоканалу правдоподобных информационных сообщений, содержащих компьютерные вирусы, которые проникают по сети ЭВМ, вплоть до высших органов управления войсками и оружием...

Бесплатно

Микроколориметр для измерения коэффициента излучения тонкопленочных высокоотражающих образцов при криогенных температурах

Микроколориметр для измерения коэффициента излучения тонкопленочных высокоотражающих образцов при криогенных температурах

А.А. Иваненко, И.А. Тамбасов, Н.П. Шестаков

Статья

Предложено решение проблемы измерения коэффициента излучения (степени черноты) тонкопленочных высокоотражающих образцов при криогенных и комнатных температурах. Для обеспечения необходимой точности и чувствительности создан тонкопленочный элемент, содержащий платиновый датчик температуры и нагреватель, а также пленка с высоким коэффициентом излучения – модель «черного тела». На базе этих элементов, криостата замкнутого цикла TM AC-V12a фирмы Cryomech (США) и крейтовой системы LTR-EU-8-1 сбора информации с модулями АЦП и ЦАП фирмы L-CARD (Россия) создана установка для измерения теплопередачи между пленочными покрытиями, осуществляемой за счет излучения. Раскрыты способы обработки результатов измерений, осуществляемой при оценке сопротивления платиновых датчиков температуры, которые позволяют производить измерение температуры со среднеквадратическим отклонением 0,001 К. Описаны базовые элементы установки. Описаны проводимые на установке измерения, необходимые для вычисления коэффициента излучения. Приведена методика расчета коэффициента излучения с использованием результатов измерений, проводимых с помощью микрокалориметра.

Бесплатно

Журнал