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

Розглянуто особливості об'єкта правопорушень у сфері бюджетного законодавства.

Рассмотрены особенности объекта правонарушений в сфере бюджетного законодательства.

Features of object of offences in sphere of the budgetary legislation are considered.

Розглянуто особливості формування інституту фінансово-правової відповідальності у випадку здійснення фінансових правопорушень.

Рассмотрены особенности формирования института финансово-правовой ответственности в случае совершения финансовых правонарушений.

Features of formation of institute of the financial-legal responsibility are considered in case of fulfillment of financial offences.

Приведены результаты теоретико-методологического анализа политико-правовых основ деятельности институтов судебной власти в различных политических системах. Раскрыты сущностные особенности современного модернизационного процесса и становления политических институтов конституционного контроля в переходных политических системах.

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

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

Індекс рубрикатора НБУВ: Г124.1-17

Рубрики:

Вуглець

Шифр НБУВ: Ж29137 Пошук видання у каталогах НБУВ 

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

Проанализирована работа ОАО "Днепровский меткомбинат" в вопросах энергосбережения за период 2001 - 2006 гг. Определены основные направления улучшения энергоэффективности предприятия в контексте программы реконструкции и развития.

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

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

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

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

Рассмотрены особенности архитектуры многоядерных процессоров, новые требования к программному обеспечению, использующие все преимущества систем с параллельными вычислениями. Проанализированы проблемы планирования мультимедийных задач реального времени в системах на основе многоядерных процессоров. Рассмотрен динамический метод планирования мультимедийных задач для систем на основе многоядерных процессоров.

Изучена структура формалинизированных паутинной и сосудистой оболочек спинного мозга животных как материала для изготовления рассасывающейся хирургической нити - арахнопиафилум. Микроскопически и ультрамикроскопически показано, что соединительнотканный каркас арахнопиафилума обеспечивает его высокую прочность.

Приведены результаты построения имитационной модели подсистемы электроснабжения (ПСЭС) спутника на основе математического аппарата искусственных нейронных сетей (ИНС). Определена оптимальная структура нейронной сети, которая позволяет прогнозировать процессы изменения напряжения на главной шине ПСЭС на достаточно продолжительный интервал времени, при этом накоплением статической ошибки можно пренебречь, а динамическая ошибка характеризуется допустимым для процесса моделирования значением СКО. Практическая апробация имитационной модели в ходе автономных и комплексных испытаний ПСЭС позволила сократить трудозатраты на внедрение программного обеспечения и обеспечила экономию ресурса ПСЭС, контрольно-проверочной и стендовой аппаратуры.

Рассмотрен подход к созданию единого пространства знаний в рамках интеллектуальной системы управления предприятием, основанный на разработке предметных онтологий, как моделей знаний административно-управляющего персонала уровня цехов и производственных отделов.

Рассмотрены особенности применения технологии Windows Workflow Foundation при разработке программного обеспечения для автоматизации стендовых испытаний подсистем космических аппаратов таких, как спутники. Показано, что применение данной технологии позволяет технологу непосредственно описать ход вычислительного процесса, используя базовые исполняемые блоки или шаблоны в виде рабочих потоков, что повышает информативность и упрощает дальнейшие модификации системы.

Показано, что проектирование и реализация пользовательских интерфейсов таких сложных систем, как SCADA-системы (Supervisory Control and Data Acquisition - диспетчерское управление и сбор данных), играют ключевую роль в обеспечении качества программного обеспечения в целом, особенно на этапах внедрения и сопровождения. Человеко-компьютерный интерфейс, разработанный с учётом требований эргономики, снижает трудозатраты пользователя и стоимость всей системы. Основным показателем качества пользовательских интерфейсов является его эргономичность, или удобство в использовании, согласно международному стандарту качества ISO/IEC 9126.

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