На правах рекламы:
ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Авторитетность издания

ВАК - К1
RSCI, ядро РИНЦ

Добавить в закладки

Следующий номер на сайте

2
Ожидается:
16 Июня 2024

Статьи из выпуска № 3 за 2017 год.

Упорядочить результаты по:
Дате публикации | Заголовку статьи | Авторам

1. Автоматизация процесса формирования учетной документации с использованием базы данных радиоэлектронных компонентов [№3 за 2017 год]
Авторы: Гурьянов А.В., Коновалов П.В., Шукалов А.В., Жаринов И.О., Леоновец С.А.
Просмотров: 8546
Рассматривается инструментальное ПО, предназначенное для поддержки решения задач автоматизации формирования конструкторской документации, содержащей сведения о цветных и драгоценных металлах, примененных в радиоэлементах, входящих в состав изделия. Для хранения информации об электрорадиоизделиях и о количестве содержащихся в них ценных металлов используется специально спроектированная БД. Эта база является SQL-совместимой и состоит из четырех взаимосвязанных таблиц. Пользователь может разместить ее как на локальном компьютере, так и в сети. Она содержит необходимую для выполнения расчетных работ информацию и допускает возможность внесения сведений о новых компонентах. Такую функцию программно реализует процедура, обеспечивающая ручное и автоматическое добавление ин-формации в БД. В ручном режиме элементы заносятся поочередно и производится проверка корректности вводимых данных. В автоматическом режиме информация считывается из файла специального формата XML и элементы добавляются группами с пометкой о наличии данных о содержании в них ценных металлов. Производится проверка добавленных элементов. В отдельном окне программы составляется результирующий проект изделия, содержащий в форме дерева в иерархическом порядке все модули (сборочные единицы), входящие в состав изделия. Для готового проекта выполняется расчет содержания цветных и драгоценных металлов по каждому металлу отдельно и формируются конструкторские документы «расчетные работы». Шаблоны для этих документов должны быть выполнены в соответствии с ГОСТами.

2. Автоматизация процессов подготовки программной документации на изделия радиоэлектронной промышленности [№3 за 2017 год]
Авторы: Гурьянов А.В., Шукалов А.В., Жаринов И.О., Костишин М.О., Леоновец С.А.
Просмотров: 8776
Рассматривается научная задача автоматизации подготовки текстовой программной документации с помощью специализированного программного средства. Автоматизация процесса подготовки документации основана на обработке данных, содержащихся в нормативно-технической документации или в техническом задании. Обработка данных предполагает наличие структурированных электронных документов, подготовленных в распространенных форматах в соответствии с шаблонами на основе отраслевых стандартов, и генерацию автоматизированным способом текстового программного документа. Шаблоны могут меняться на любом этапе жизненного цикла проекта. Временные затраты на смену шаблона должны быть минимальными. Для их предварительного показа пользователю используется формат XPS. Приведены в форме графа перечень разрабатываемых программных документов и пример обработки данных для генерации текстового документа, созданного на основании ГОСТ 19.101-77. Описаны новое разработанное ПО и инструментальные средства, доступные разработчику в проектной деятельности на приборостроительном предприятии. Показан пример изменения состояния атрибутов документов, а также приведен алгоритм создания проекта програм- много документа в разработанном ПО. Разработка системы автоматизации оформления технической документации является экономически выгодной. Предлагаемая программа САПР позволяет автоматизировать на приборостроительном предприятии работу разработчиков программно-управляемых изделий, связанную с подготовкой программной документации. Программное средство разработано и функционирует на базе инструментальной ЭВМ с характеристиками: процессор Intel(R) Core(TM) i5-6300HQ, 4 ядра, тактовая частота 2,3 ГГц, оперативная память 8 Gb под управлением операционной системы Windows 7.

3. Алгоритмы информационной оценки совместимости средств мобильной связи и станций воздушной радионавигационной службы [№3 за 2017 год]
Авторы: Вавулов О.Ю., Сухов А.В., Решетников В.Н.
Просмотров: 6115
В современном информационном обществе количество пользователей, нуждающихся в качественной, быстрой и непрерывной мобильной связи, неуклонно растет. В связи с этим усиленно разрабатываются и внедряются новые технологии и стандарты качества в этой области (LTE, 4G). При этом важно учитывать также и возможность электромагнитной совместимости со средствами других служб связи, особенно отвечающих за безопасность, например, воздушной радионавигационной службы. В настоящей работе рассмотрена разработка алгоритма информационной оценки состояния комплекса средств воздушной радионавигационной службы в условиях деструктивного помехового воздействия, оказываемого системами мобильной связи. Математически состояние комплекса средств воздушной радионавигационной службы представлено в информационном пространстве, основанном на информационной мере – энтропии покрытия, которая показывает, насколько реальные характеристики рассматриваемой системы соответствуют своим нормативным значениям. Предложенный метод опробован для оценки помехового воздействия на реальные российские станции воздушной радионавигационной службы, размещенные в приграничном регионе, приведен пример применения алгоритма для оценки совместимости комплекса средств воздушной радионавигационной службы и реальной сети мобильной связи. Предложен алгоритм координации с комплексом средств воздушной радионавигационной службы нового ча-стотного присвоения для единичной базовой станции. Указанный алгоритм основан на расчете напряженности поля суммарной помехи в месте размещения станции воздушной радионавигационной службы от всех станций сухопутной подвижной службы и на сравнении рассчитанного значения с предельно допустимым, заданным для конкретного типа станции воздушной радионавигационной службы.

4. Алгоритмы концептуального моделирования и классификации текстов в корпусе тувинского языка [№3 за 2017 год]
Авторы: Быкова В.В., Монгуш Ч.М.
Просмотров: 3931
Корпус языка это информационно-лингвистическая система, основанная на собрании оцифрованных текстов некоторого языка. На сегодняшний день корпус тувинского языка включает официально-деловые документы и произведения тувинской художественной литературы. Работы по расширению корпуса тувинского языка и углублению уровня обработки текстов продолжаются. Они приводят к необходимости решения задач анализа естестественно-языковых текстов. Основными из этих задач являются классификация по прецедентам и концептуальное моделирование. Для их решения в статье используется алгебраический подход, называемый анализом формальных понятий. Предлагаются алгоритмы и программы для построения концептуальной модели коллекции литературных произведений и решения задачи бинарной классификации по прецедентам. Указаны приемы снижения вычислительной сложности рассматриваемых алгоритмов. В работе представлены результаты вычислительных экспериментов, подтверждающие результативность предложенных приемов по снижению сложности вычислений. Приведены результаты концептуального моделирования и бинарной классификации произведений тувинского фольклора.

5. Анализ современных методов тестирования и верификации проектов сверхбольших интегральных схем [№3 за 2017 год]
Автор: Слинкин Д.И.
Просмотров: 6836
Компании, разрабатывающие сверхбольшие интегральные схемы (СБИС), придерживаются определенных маршрутов проектирования и входящих в них маршрутов тестирования. Считается, что 60–80 % усилий команд-разработчиков аппаратных средств затрачивается на верификацию и отладку. Важным этапом является отладка моделей уровня регистровых передач (RTL). При этом не существует универсальной методики для решения этой задачи. В статье анализируются зарубежные и отечественные публикации, посвященные отладке и верификации про-мышленных проектов СБИС. Разбираются четыре основные методологии: формальная верификация, имитационное тестирование, использование аппаратных ускорителей, создание прототипов на основе программируемых логических интегральных схем (ПЛИС). Для каждой из этих методологий приводится информация о способе выявления ошибок, существующих программных и аппаратных инструментах, которые могут быть применены в процессе отладки. Анализируются их особенности, такие как трудоемкость, требования к квалификации и численности команд верификаторов, стоимость необходимых инструментов, наличие метрик для оценки тестового покрытия. Приводятся названия конкретных промышленных проектов СБИС, в которых эти методологии были использованы: микропроцессоры, высокопроизводительные сетевые коммутаторы, графические процессоры. Называются примененные разработчиками инструменты. Особое внимание уделено отладке проектов на ПЛИС. Разбираются следующие подходы: использование встроенного логического анализатора, внешнее контрольно-измерительное оборудование и их комбинирование. На основе практического опыта показано, что четыре рассмотренные методологии отладки и верификации проектов СБИС имеют разграниченные области применения. Называются типы микросхем, для которых может быть использована конкретная методология. Кратко резюмируются их достоинства и недостатки.

6. Верификация моделей систем на базе эквациональной характеристики формул LTL [№3 за 2017 год]
Авторы: Кораблин Ю.П., Кочергин А.С., Шипов А.А.
Просмотров: 7367
Метод верификации на моделях Model Checking уже давно получил широкое признание в области, связанной с оценкой качества работы программных и технических систем. Такие ключевые компании в области IT-индустрии, как Intel, Microsoft, Amazon и другие, активно применяют его на этапах разработки и сопровождения своих продуктов. Успех Model Checking, безусловно, не является случайным, поскольку именно его появление и развитие позволили решить множество проблем в области верификации, а именно: проблемы унифицированного представления программных и технических систем, формального задания требований, автоматизации этапов верификации, верификации больших распределенных программных систем и другие. Однако постоянное развитие современных технологий и темпы роста сложности современных программных систем ставят перед Model Checking все новые проблемы, которые могут стать непреодолимым препятствием на пути эффективной верификации. Поэтому необходимо постоянное совершенствование теории и инструментов данного метода. В статье авторами подробно рассматривается реализация алгоритма верификации метода Model Checking для формул логики линейного времени LTL на базе новой нотации RLTL (Recursive Linear Temporal Logic), которая является рекурсивным представлением формул логики линейного времени. Поскольку на базе RLTL могут быть заданы как модель верифицируемой системы, так и требования к ней, можно избежать необходимости их предварительного преобразования к автоматам Бюхи и сразу приступать к процессу верификации, что упростит алгоритм метода и повысит его эффективность.

7. Воспроизведение видеоданных высокой четкости в виртуальной трехмерной среде имитационно-тренажерных систем [№3 за 2017 год]
Авторы: Гиацинтов А.М., Мамросенко К.А.
Просмотров: 7871
В статье приводятся разработанные методы воспроизведения видеоматериалов высокой четкости в подсистеме визуализации тренажерно-обучающих систем. Тренажерно-обучающие системы, как правило, содержат значительное количество разнородных информационных ресурсов. Особый интерес представляют такие виды аудиовизуальной учебной информации, как динамические графики развития процессов, иллюстративные материалы изучаемых объектов, трехмерные модели объектов и их частей, результаты работы моделирующих комплексов в форме видеообразов с сохранением управляемости приложения, видеоматериалы. Подсистема визуализации обеспечивает отображение результатов моделирования внешней среды и объекта управления с помощью устройств отображения информации. Отображение видеоматериалов в виртуальной трехмерной сцене является одним из требований к тренажерно-обучающим системам. Воспроизведение видеоматериалов внутри виртуальной трехмерной сцены является сложной задачей, так как необходимо учитывать такие факторы, как производительность подсистемы визуализации и производительность видеокарты. Подсистема визуализации должна обеспечивать отображение трехмерной сцены с приемлемой частотой кадров (не менее 25 кадров в секунду) и при этом быть способной реагировать на внешние воздействия, в том числе на изменения параметров трехмерной сцены или загрузку дополнительных объектов. Для отображения нескольких видеоматериалов высокой четкости в виртуальной трехмерной сцене авторами была разработана и реализована архитектура декодера кадров видео. Архитектура включает декодер видео, в котором происходит декодирование видео- и аудиопакетов; подсистему воспроизведения декодированного звука; управляющую структуру, необходимую для запуска видео, паузы воспроизведения, выставления громкости воспроизводимого видео и т.д.; интерфейс взаимодействия с движком, необходимый для обновления видеокадров.

8. Высокопроизводительный микропроцессор 1890ВМ118 с архитектурой КОМДИВ для создания доверенных систем [№3 за 2017 год]
Авторы: Аряшев С.И., Бобков С.Г., Зубковский П.С., Морев С.А., Рогаткин Б.Ю.
Просмотров: 8266
В статье рассматриваются особенности разработки высокопроизводительного микропроцессора для создания доверенных систем. Производительность микропроцессора определяется производительностью ядра или количеством одновременно выполняющихся операций и временем доступа к памяти. Возможность использования микропроцессора для создания доверенных систем основывается на использовании в его составе блоков и узлов собственной разработки. Производительность ядра микропроцессора определяется в основном тремя характеристиками: тактовой частотой микропроцессора, частотой следования инструкций и количеством операций, выполняемых одной инструкцией. Для микропроцессора 1890ВМ118 эти характеристики в большинстве случаев оптимизируются по параметру соотношения производительности и потребляемой мощности. Повышение тактовой частоты достигается за счет использования заказного проектирования критичных для быстродействия блоков и оптимизации длины конвейера. Частота следования инструкций увеличивается путем использования таких аппаратных решений, как суперскалярное исполнение инструкций, предсказание переходов и предварительная подкачка данных в кэш-памяти. Реализация арифметического сопроцессора, ориентированного на задачи цифровой обработки сигналов, позволяет повысить число операций, выполняемых одной командой. Повышение производительности подсистемы памяти рассматривается в статье с точки зрения симметричного доступа к памяти для двухъядерного микропроцессора. Описан подход к реализации когерентности в кэш-памяти процессорных ядер. Особое внимание уделено средствам повышения безопасности в микропроцессоре, которые предназначены для создания на его основе доверенных систем. Рассмотрены аппаратные решения для доверенной загрузки операционной системы и изолированного доступа к памяти. Для обеспечения доверенной загрузки предлагается использовать накристальное постоянное запоминающее устройство и однократно программируемую память, содержащие безопасный начальный загрузчик, а также ключи для проверки подписей операционной системы. К средствам изолированного доступа относится рассмотренный в статье контроллер доступа к памяти, реализованный в микропроцессоре. Предложены перспективные направления повышения безопасности систем на кристалле для создания доверенных систем на основе микропроцессоров разработки ФНЦ НИИСИ РАН.

9. Гибридные когнитивные нечеткие системы управления автономным роботом на основе нейроинтерфейса и технологии мягких вычислений [№3 за 2017 год]
Авторы: Ульянов С.В., Решетников А.Г., Мамаева А.А.
Просмотров: 7141
В статье обсуждаются возможности применения нейроинтерфейса совместно с различными типами регуляторов на типовом примере управления автономным транспортным средством. Проведена оценка возможностей применения методов и средств технологии интеллектуальных вычислений для повышения надежности функционирования системы управления. Цель данной работы – на основе эксперимента показать возможности эффективного применения когнитивного интерфейса («мозг–компьютер–исполнительное устройство») на примере управления транспортным средством (мобильным роботом), раскрыть возможность применения современных технологий управления и показать роль и необходимость интеллектуальных вычислений в работе интерфейса «мозг–компьютер» для повышения надежности и робастности системы управления. В частности, рассмотрена возможность управления типовым движением объекта (вперед, назад, влево, вправо, обход препятствий) посредством когнитивного шлема с помощью стандартного блока распознавания команд и различных типов систем управления, в том числе на основе оптимизатора баз знаний на мягких вычислениях.

10. Идентификация состояния сложной технической системы в условиях неопределенности измерительной информации [№3 за 2017 год]
Авторы: Генов А.А., Русаков К.Д., Хиль С.Ш.
Просмотров: 8051
В статье обозначена актуальная задача идентификации функционального состояния сложной технической системы в условиях повышенной зашумленности с помощью перехода к другому пространству признаков наблюдаемого состояния, определено понятие «функциональное состояние». Задача оценки функционального состояния показана как дуальная задача идентификации и распознавания образов. Уделено внимание возможному выбору параметров математических моделей, а также их структур в качестве новых признаков наблюдаемого состояния. Для решения задачи параметрической идентификации выбран метод наименьших квадратов, показывающий смену функционального состояния. В задачах контроля и испытания сложными техническими системами немаловажную роль играет процесс анализа измерительной информации. Только пройдя все этапы обработки, можно принять решение о том или ином состоянии объекта испытаний. Однако сделать это сложно в случае поступления информации очень низкого качества. Устранение данной проблемы сводится в основном к поиску решений по формированию и совершенствованию соответствующих правил принятия управленческих решений. При этом в штатных условиях и ситуациях создание таких правил во многих случаях не вызывает особых проблем, однако в нештатных условиях сделать это проблематично. Анализ состояния сложных технических объектов или их подсистем по результатам измерений предполагает решение задач структурной и параметрической идентификации. Управление сложными техническими объектами и их испытание характеризуются неопределенностью воздействия внешних факторов, аномальными и случайными погрешностями измерений. Для обеспечения требуемого качества анализа состояния их подсистем необходимо формирование принципов адаптивного управления процессом идентификации, методик оптимального выбора структуры моделей исходя из качества данных измерений. Особенно это актуально при автоматизации вторичной обработки на объектах с терминальным управлением.

| 1 | 2 | 3 | Следующая →