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




 Найдено научных статей и публикаций: 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
представлена система поддержки процессов разработки бортовых алгоритмов управления в реальном времени...
Источник   Обсудить