Связанные научные тематики:
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 




 Найдено научных статей и публикаций: 11, для научной тематики: Управляющая программа


1.

Технология графконт/геоз автоматизации процессов проектирования и верификации управляющего программного обеспечения для космических аппаратов (публикация автора на scipeople)   

Калентьев А.А,, Тюгашев А.А. - МОКБ "Марс" , 2012
Описывается технология ГРАФКОНТ/ГЕОЗ созданная в СГАУ по заказу ЦСКБ для автоматизации процессов создания управляющих бортовых программ...
Источник   Обсудить     
2.

Алгебраические и логические подходы к спецификации, верификации и синтезу управляющих программ для ка (публикация автора на scipeople)   

Калентьев А.А., Тюгашев А.А. - Изд-во МАИ , 2006
представлены алгебраические и логические модели для управляющих программ в свете их спецификации, верификации и синтеза...
Источник   Обсудить     
3.

Технология проектирования качественных управляющих программ (публикация автора на scipeople)   

Тюгашев А.А. - Вестник Самарского государственного технического университета. Серия: Технические науки , 2005
представлена технология проектирования качественных управляющих программ реальног времени...
Источник   Обсудить     
4.

Автоматизированный синтез управляющих программ реального времени на языке ассемблера (публикация автора на scipeople)   

Калентьев А.А., Тюгашев А.А. - Изд-во ПГУ , 1998
описан генератор управляющей прогрммы на языке ассемблер среды ГРАФКОНТ...
Источник   Обсудить     
5.

Параметризованная генерация кода ассемблерного текста в case-технологии графконт (публикация автора на scipeople)   

А.А, Тюгашев, А.А. Калентьев, Я.А. Мостовой - ИРА "Комсомолка-плюс" , 1999
описан генератор ассемблерного кода управляющей программы CASE-комплекса ГРАФКОНТ, разработанного для ЦСКБ-Прогресс...
Источник   Обсудить     
6.

Технология проектирования качественных и надежных управляющих программ реального времени для бвс ка (публикация автора на scipeople)   

Тюгашев А.А. - Изд-во ПГУ , 2003
описана методология проектирования качественных и надежных управляющих программ реального времени для БВС КА...
Источник   Обсудить     
7.

Система автоматизированного синтеза бортовых алгоритмов управления (публикация автора на scipeople)   

Калентьев А.А., Мостовой Я.А., Платонов С.Н,, Никанорова Н.С, Ендуткина Л.И., Николаев Ю.А., Тюгашев А.А. - Самарский филиал Академии космонавтики , 2000
представлена система поддержки процессов разработки бортовых алгоритмов управления в реальном времени...
Источник   Обсудить     
8.

Автоматизированное оценивание характеристик управляющих программ бвс (публикация автора на scipeople)   

Калентьев А.А., Тюгашев А.А. - Издательство МАИ , 2005
описан метод автоматизированного оценивания характеристик управляющих программ БВС...
Источник   Обсудить     
9.

Оценка временных характеристик проектируемых алгоритмов управления реального времени (публикация автора на scipeople)   

А.А, Тюгашев - СГАУ , 2003
описан метод автоматизированного вычисления временных характеристик управляющих программ реального времени...
Источник   Обсудить     
10.

Методы повышения качества при проектировании управляющих программ для космических аппаратов (публикация автора на scipeople)   

Калентьев А.А., Тюгашев А.А. - Издательство МАИ , 2004
представлены методы повышения качества при проектировании управляющих программ космических аппаратов...
Источник   Обсудить