Поиск публикаций Научные конференции и семинары Новости науки Научная сеть

 Найдено научных статей и публикаций: 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
представлены методы повышения качества при проектировании управляющих программ космических аппаратов