Suche
Anzeige der Dokumente 1-10 von 10
Проблемно-ориентированный язык для описания технологических процессов испытаний сложных технических систем
(ХАИ, 2006)
Рассмотрены теоретические аспекты применения проблемно-ориентированных языков для описания
технологических процессов испытаний сложных технических систем. Приведена формальная грамматика языка, который с учетом практических ...
Анализ результатов экспериментального исследования механизмов информационного взаимодействия на основе спецификации OLE for Process Control
(ХАИ, 2007)
Рассмотрены результаты экспериментальных исследований механизмов доступа к данным OPC-сервера. Приведена оценка затрат процессорного времени на обмен информацией между клиентом и сервером OPC, определена пропускная способность ...
Разработка программного обеспечения для автоматизации испытаний систем электроснабжения космических аппаратов
(ХАИ, 2011)
Рассмотрены проблемы испытаний космической техники как сложной технической системы. Определены основные требования к программному обеспечению для автоматизации испытаний подсистем космического аппарата. Предложен ...
Интервальные модели в задачах автоматического контроля достоверности и актуальности телеметрии космических аппаратов
(ХАИ, 2010)
Реализация сложных программ обработки телеметрии требует специальных методов контроля точности и надежности программной реализации на основе расчетной оценки точности вычисления всех составляющих эту программу операторов ...
Программное обеспечение испытаний бортовых систем космического аппарата
(ХАІ, 2006)
Предложен язык описания технологических процессов испытаний сложных технических систем, преимущественно относящихся к космической технике. Приведены основные результаты внедрения разработанных моделей, алгоритмов и программных ...
Модели и способы автоматизированного управления испытаниями систем космического аппарата
(ХАІ, 2007)
Выполнена разработка комплекса моделей, способов и информационных средств для автоматизации технологических процессов испытаний на основе системы энергоснабжения (СЭС) космических аппаратов
(КА). Рассмотрены некоторые ...
Методы оценки стоимости и затрат на создание программного продукта, основанные на нечеткой логике
(ХАІ, 2008)
Проведен аналитический обзор исследований по оценке стоимости разработки программного обеспечения в современных информационно-управляющих системах. Показана необходимость использования математического аппарата нечеткой ...
Реляционная модель представления технологических процессов испытаний
(ХАІ, 2008)
Рассмотрены теоретические аспекты применения баз данных для хранения описания технологических
процессов испытаний сложных технических систем. Приведена формальная модель баз данных, которая
с учетом практических особенностей ...
Нейросетевое моделирование подсистемы электроснабжения спутника для верификации по автоматизации испытаний
(ХАІ, 2009)
Приведены результаты построения имитационной модели подсистемы электроснабжения
спутника на основе математического аппарата искусственных нейронных сетей.
Результаты экспериментального исследования производительности СУБД ACCESS в задачах обработки телеметрической информации космических аппаратов
(ХАІ, 2012)
Рассматривается проблема обеспечения производительности СУБД ACCESS в задачах обработки телеметрической информации космических аппаратов. Представлена модель системы хранения телеметрических данных и приведена модель базы ...