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

 Найдено научных статей и публикаций: 16, для научной тематики: бортовая вычислительная система


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



1.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Тюгашев А.А. - ПГУ , 2003
описан метод автоматизации оценивания временных характеристик программ управления комплексного функционирования в технологии...
9.

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

Тюгашев А.А. - Изд-во Санкт-Петербургского государственного университета аэрокосмического приборостроения , 2001
описывается проблема неоднозначности при построении логико-временной структуры управляющего алгоритма по многовходовой модели
10.

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

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