На чем пишется софт для КА?

[jettero]

А вообще то у нас от "Европ" в этом смысле серьёзное отставание. Во-первых в науке, во-вторых там уже 40 лет существоует настоящий рынок и настоящая отрасль ПО. Этого в совке не было и круг замыкается. Хотя многие, наверное, в это не поверят. Я сам в молодые годы посмеиваясь думал что мы самые "крутые програмёры" в мире. :lol: А потом увидел мир...

Согласен что мы отстаем в ИТ. Но в век интернета все желающие могут изучать все что им интересно. Например MIT выкладывает все курсовые материалы в онлайне http://ocw.mit.edu/OcwWeb/web/courses/courses/index.htm
А вот конкретно и Computer Science http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/index.htm
Вот все собираюсь выделить время и поучиться по их материалам, диплом конечно не дадут, но все же...  

Кстати, они выкладывают не просто так, от нечего делать, а считают своей миссией поднимать уровень образования во всем мире, поскольку считают себя лучшим ВУЗом в мире. И эти материалы в основном предназначены для преподов в других странах, чтобы помогать им в работе.
Хороший контраст с нашим подходом, "у нас лучшее образование, завидуйте нам"  
Совок умрет еще не скоро...

[jettero]

PS А по теме форума, вот тут курсы с кафедры Аэронавтика и астронавтика.
http://ocw.mit.edu/OcwWeb/Aeronautics-and-Astronautics/index.htm
там и про разработку софта для КА несколько курсов есть.

[KBOB]

А вообще то у нас от "Европ" в этом смысле серьёзное отставание. Во-первых в науке, во-вторых там уже 40 лет существоует настоящий рынок и настоящая отрасль ПО. Этого в совке не было и круг замыкается. Хотя многие, наверное, в это не поверят. Я сам в молодые годы посмеиваясь думал что мы самые "крутые програмёры" в мире. :lol: А потом увидел мир...

Согласен что мы отстаем в ИТ. Но в век интернета все желающие могут изучать все что им интересно. Например MIT выкладывает все курсовые материалы в онлайне http://ocw.mit.edu/OcwWeb/web/courses/courses/index.htm
А вот конкретно и Computer Science http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/index.htm
Вот все собираюсь выделить время и поучиться по их материалам, диплом конечно не дадут, но все же...  

Кстати, они выкладывают не просто так, от нечего делать, а считают своей миссией поднимать уровень образования во всем мире, поскольку считают себя лучшим ВУЗом в мире. И эти материалы в основном предназначены для преподов в других странах, чтобы помогать им в работе.
Хороший контраст с нашим подходом, "у нас лучшее образование, завидуйте нам"  
Совок умрет еще не скоро...

Вот неплохой курс!
http://ocw.mit.edu/OcwWeb/Mathematics/18-098January--IAP--2008/CourseHome/index.htm

[vekazak]

Для РФ - на русском языке. Материалы по логике управления и контроля. На основе МЛУ рисуются алгоритмы и програмы в кодах БЦВМ, или где память неограничена на СИ.

[TAU]

Боже мой, какая тема!
А я-то ее поначалу "прошляпил".

Много правильного тут уже написали Not, yos (за исключением бреда об университетах), и vekazak.

Итак, что вспомню из попавшегося на предыдущих страницах:
1. Да, в НПО ПМ пишут на Модуле-2 (и не только). Кое-где - в основном на ассемблере.
2. На МКС операционной системой в основном служит VxWorks. Кое-где используются специальные отечественные ОС реального времени.
3. Почему создали и использовали для "Спэйс Шаттлов" специализированный HAL/S - потому что на нем удобнее писать, он проблемно-ориентированный, в частности, встроены операции реального времени, и векторные операции, важные для, например, навигационных расчетов.
4. Искусный программист на ассемблере, как правило, все же пишет более оптимальные программы, нежели самый что ни на есть оптимизирующий компилятор генерирует.
5. Предметная область управления КА действительно допускает применение формальных методов верификации программ, и даже их автоматизированный синтез - и это является одним из важных и перспективных направлений исследований в мире.
6. К программам управления КА формализм троек Хоара без модификации неприменим. Дело в том, что управляющие алгоритмы реального времени имеют принципиально иную семантику, нежели алгоритмы вычислительного типа, для которых важно преобразование входных данных в выходные. При управлении КА важно обеспечить нужные управляющие воздействия в требуемое время, реализующие корректную логику управления бортовыми системами в зависимости от наличия тех или иных условий, отражающих текущую ситуацию на борту и в окружающей среде. Именно в этом кроется высокий потенциал специализированных языков в данной предметной области.
7. Визуальные (графические) языки действительно перспективны в программировании в отрасли, и ГРАФИТ-ФЛОКС, используемый в НПЦ АП имени Пилюгина - лишь одно из подтверждений.

Если еще есть вопросы - задавайте!

[TAU]

Добавлю еще кое-что.

Да, от правильно поставленных процессов жизненного цикла ПО, строгого ведения документации и огромного объема испытаний - автономных, совместных и комплексных - очень многое зависит.

В то же время, выбор языка программирования тоже весьма существенен. В некоторых языках некоторые ошибки легче совершить, чем в других. С/C++ с этой точки зрения - далеко не лучший выбор, опороченная незаслуженно тут Модула-2 значительно более уместна.

Идеальный вариант, конечно - автоматическая генерация программы и документации на нее, гарантированно соответстующей спецификации (при условии, конечно, непротиворечивой и правильной спецификации - а это отдельная важная проблема!). Если программа эта - типовая, то задача предствляется разрешимой и без создания "ИИ в сильном смысле".

[KBOB]

Добавлю еще кое-что.

Да, от правильно поставленных процессов жизненного цикла ПО, строгого ведения документации и огромного объема испытаний - автономных, совместных и комплексных - очень многое зависит.

В то же время, выбор языка программирования тоже весьма существенен. В некоторых языках некоторые ошибки легче совершить, чем в других. С/C++ с этой точки зрения - далеко не лучший выбор, опороченная незаслуженно тут Модула-2 значительно более уместна.

Идеальный вариант, конечно - автоматическая генерация программы и документации на нее, гарантированно соответстующей спецификации (при условии, конечно, непротиворечивой и правильной спецификации - а это отдельная важная проблема!). Если программа эта - типовая, то задача предствляется разрешимой и без создания "ИИ в сильном смысле".

Вот вам спецификация: программа должна скалдывать два натуральных числа А и B.

[Александр Куприянов]

Боже мой, какая тема!
А я-то ее поначалу "прошляпил".

Много правильного тут уже написали Not, yos (за исключением бреда об университетах), и vekazak.

Итак, что вспомню из попавшегося на предыдущих страницах:
1. Да, в НПО ПМ пишут на Модуле-2 (и не только). Кое-где - в основном на ассемблере.
2. На МКС операционной системой в основном служит VxWorks. Кое-где используются специальные отечественные ОС реального времени.
3. Почему создали и использовали для "Спэйс Шаттлов" специализированный HAL/S - потому что на нем удобнее писать, он проблемно-ориентированный, в частности, встроены операции реального времени, и векторные операции, важные для, например, навигационных расчетов.
4. Искусный программист на ассемблере, как правило, все же пишет более оптимальные программы, нежели самый что ни на есть оптимизирующий компилятор генерирует.
5. Предметная область управления КА действительно допускает применение формальных методов верификации программ, и даже их автоматизированный синтез - и это является одним из важных и перспективных направлений исследований в мире.
6. К программам управления КА формализм троек Хоара без модификации неприменим. Дело в том, что управляющие алгоритмы реального времени имеют принципиально иную семантику, нежели алгоритмы вычислительного типа, для которых важно преобразование входных данных в выходные. При управлении КА важно обеспечить нужные управляющие воздействия в требуемое время, реализующие корректную логику управления бортовыми системами в зависимости от наличия тех или иных условий, отражающих текущую ситуацию на борту и в окружающей среде. Именно в этом кроется высокий потенциал специализированных языков в данной предметной области.
7. Визуальные (графические) языки действительно перспективны в программировании в отрасли, и ГРАФИТ-ФЛОКС, используемый в НПЦ АП имени Пилюгина - лишь одно из подтверждений.

Если еще есть вопросы - задавайте!

Интересное "включение", даже менторский тон почти и не раздражает, за исключением нарочито цепляющих - со словом бред,... существовала некогда оценка "БСК" ( бред сивой кобылы) - и некоторые педагоги ее ставили...

[KBOB]

Боже мой, какая тема!
А я-то ее поначалу "прошляпил".

Много правильного тут уже написали Not, yos (за исключением бреда об университетах), и vekazak.

Итак, что вспомню из попавшегося на предыдущих страницах:
1. Да, в НПО ПМ пишут на Модуле-2 (и не только). Кое-где - в основном на ассемблере.
2. На МКС операционной системой в основном служит VxWorks. Кое-где используются специальные отечественные ОС реального времени.
3. Почему создали и использовали для "Спэйс Шаттлов" специализированный HAL/S - потому что на нем удобнее писать, он проблемно-ориентированный, в частности, встроены операции реального времени, и векторные операции, важные для, например, навигационных расчетов.
4. Искусный программист на ассемблере, как правило, все же пишет более оптимальные программы, нежели самый что ни на есть оптимизирующий компилятор генерирует.
5. Предметная область управления КА действительно допускает применение формальных методов верификации программ, и даже их автоматизированный синтез - и это является одним из важных и перспективных направлений исследований в мире.
6. К программам управления КА формализм троек Хоара без модификации неприменим. Дело в том, что управляющие алгоритмы реального времени имеют принципиально иную семантику, нежели алгоритмы вычислительного типа, для которых важно преобразование входных данных в выходные. При управлении КА важно обеспечить нужные управляющие воздействия в требуемое время, реализующие корректную логику управления бортовыми системами в зависимости от наличия тех или иных условий, отражающих текущую ситуацию на борту и в окружающей среде. Именно в этом кроется высокий потенциал специализированных языков в данной предметной области.
7. Визуальные (графические) языки действительно перспективны в программировании в отрасли, и ГРАФИТ-ФЛОКС, используемый в НПЦ АП имени Пилюгина - лишь одно из подтверждений.

Если еще есть вопросы - задавайте!

О! сразу и незаметил :shock:, мда. Стебаться мне нужно прекращать.

[bsdv]

Боже мой, какая тема!
А я-то ее поначалу "прошляпил".

Много правильного тут уже написали Not, yos (за исключением бреда об университетах), и vekazak.

Итак, что вспомню из попавшегося на предыдущих страницах:
1. Да, в НПО ПМ пишут на Модуле-2 (и не только). Кое-где - в основном на ассемблере.
2. На МКС операционной системой в основном служит VxWorks. Кое-где используются специальные отечественные ОС реального времени.
3. Почему создали и использовали для "Спэйс Шаттлов" специализированный HAL/S - потому что на нем удобнее писать, он проблемно-ориентированный, в частности, встроены операции реального времени, и векторные операции, важные для, например, навигационных расчетов.
4. Искусный программист на ассемблере, как правило, все же пишет более оптимальные программы, нежели самый что ни на есть оптимизирующий компилятор генерирует.
5. Предметная область управления КА действительно допускает применение формальных методов верификации программ, и даже их автоматизированный синтез - и это является одним из важных и перспективных направлений исследований в мире.
6. К программам управления КА формализм троек Хоара без модификации неприменим. Дело в том, что управляющие алгоритмы реального времени имеют принципиально иную семантику, нежели алгоритмы вычислительного типа, для которых важно преобразование входных данных в выходные. При управлении КА важно обеспечить нужные управляющие воздействия в требуемое время, реализующие корректную логику управления бортовыми системами в зависимости от наличия тех или иных условий, отражающих текущую ситуацию на борту и в окружающей среде. Именно в этом кроется высокий потенциал специализированных языков в данной предметной области.
7. Визуальные (графические) языки действительно перспективны в программировании в отрасли, и ГРАФИТ-ФЛОКС, используемый в НПЦ АП имени Пилюгина - лишь одно из подтверждений.

Если еще есть вопросы - задавайте!

О! сразу и незаметил :shock:, мда. Стебаться мне нужно прекращать.

Хочу расширить тему, а на чем этот софт собственно крутится?

[KBOB]

Выступление раасказывающе о мемах мемах единицах культурной информации, распространяемых от одного человека к другому посредством имитации, научения и др.
Видео youtube с субтитрами на русском языке.



Подобно генам, мемы — это репликаторы (англ. replicators), то есть объекты, которые копируют сами себя. Для мемов выживание зависит от наличия, по крайней мере, одного носителя, а воспроизводство зависит от наличия того носителя, который пытается распространить сущность мема. Информационное содержание конкретного мема влияет на ту вероятность, с которой он будет скопирован, производя свой оптимон. Мемы могут видоизменяться (комбинироваться или разделяться), чтобы формировать новые мемы. Они участвуют в борьбе друг с другом за ресурсы (умы людей), и, в результате, подвергаются естественному отбору.

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

[bsdv]

Посмотрел, послушал, интересно... . Все конечно правильно, слов нет. Одно из виду упустили - все мы гости на этой планете, и царям и рабам отмерено поровну. Ну и кем бы стал homo sapience без этих самих memo?

[Дмитрий Виницкий]

Выступление раасказывающе о мемах мемах единицах культурной информации, распространяемых от одного человека к другому посредством имитации, научения и др.
Видео youtube с субтитрами на русском языке.



Подобно генам, мемы — это репликаторы (англ. replicators), то есть объекты, которые копируют сами себя. Для мемов выживание зависит от наличия, по крайней мере, одного носителя, а воспроизводство зависит от наличия того носителя, который пытается распространить сущность мема. Информационное содержание конкретного мема влияет на ту вероятность, с которой он будет скопирован, производя свой оптимон. Мемы могут видоизменяться (комбинироваться или разделяться), чтобы формировать новые мемы. Они участвуют в борьбе друг с другом за ресурсы (умы людей), и, в результате, подвергаются естественному отбору.

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

Санитары!!!

[TAU]

дубль

[TAU]

дубль

[TAU]

дубль

[TAU]

дубль

[TAU]

Хочу расширить тему, а на чем этот софт собственно крутится?

БЦВМ:
Аргон
Салют
С-530
Бисер

[KBOB]

Выступление раасказывающе о мемах мемах единицах культурной информации, распространяемых от одного человека к другому посредством имитации, научения и др.
Видео youtube с субтитрами на русском языке.



Подобно генам, мемы — это репликаторы (англ. replicators), то есть объекты, которые копируют сами себя. Для мемов выживание зависит от наличия, по крайней мере, одного носителя, а воспроизводство зависит от наличия того носителя, который пытается распространить сущность мема. Информационное содержание конкретного мема влияет на ту вероятность, с которой он будет скопирован, производя свой оптимон. Мемы могут видоизменяться (комбинироваться или разделяться), чтобы формировать новые мемы. Они участвуют в борьбе друг с другом за ресурсы (умы людей), и, в результате, подвергаются естественному отбору.

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

Санитары!!!

Я не согласен со всем что говорится в выступлении, но идея интересная.
Тем более генетическое программирование существует.
http://algolist.manual.ru/ai/ga/intro.php

[ааа]

Санитары!!!

Странно, что вам так поплохело от того, что среди идей и понятий тоже существует естественный отбор.