Category: it

Category was added automatically. Read all entries about "it".

Вирус против искусственного интеллекта

Американское агентство DARPA (делающее всякие ништяки для Пентагона) из-за вируса отложило финальный этап конкурса на лучший алгоритм искусственного интеллекта для ведения воздушного боя. Финал конкурса ожидался в начале лета, теперь перенесен на конец августа. В конкурсе сейчас участвуют восемь команд со своими алгоритмами. Во время "тестирования" проводятся учебные бои на электронных моделях истребителей F-16 между человеком и "интеллектом".
II v man
На разборе полетов во время предыдущего этапа

Работают люди...

Индусы испытали дальнобойный вариант "Брахмоса"

Сегодня с восточного побережья Индии был осуществлен пуск ракеты "Брахмос"-ER на дальность 450 км по "надводной цели" - первый запуск на дальность более 400 км. К 2019 г. дальность полета ракеты планируется довести до 900 км.

Утверждается, что в ракету в кротчайшие сроки внесли три серьезные доработки: установили новый центральный процессор, сменили программное обеспечение и доработали некоторые элементы силовой установки в плане "миниатюризации".

PS. Кстати, одно из требований к перспективному палубному истребителю Индии - возможность нести на внутреннем крыльевом пилоне нагрузку в 1,5 т - возможно заранее примериваются к "легкому" варианту "Брахмоса"...

И ещё раз о выборе языка C++ в качестве основного при создании ПО для самолёта F-35

Оставим для памяти :-)

Оригинал взят у ak_12 в И ещё раз о выборе языка C++ в качестве основного при создании ПО для самолёта F-35


Пройдя по ссылке можно посмотреть видео 2014 года с часовым докладом Билла Эмшоффа (Bill Emshoff) работавшего тогда (возможно и сегодня) в компании Lockheed Martin на должности Senior Staff Software Engineer программы F-35, с рассказом о том с какими трудностями его коллектив столкнулся используя C++ и каким образом эти трудности преодолевались.

Я же хочу отметить что No safety-critical бортовое ПО F-35 сегодня НЕ демонстрирует требуемого уровня надёжности работы (за safety-critical ПО не скажу ничего, F-35 из за ошибок в программах по моему ещё не падали).

Напомню что в 2002-м году для разработки указанного программного обеспечения будущего F-35 был выбран язык программирования C++, и хочу процитировать из уже упоминавшегося документа компании Lockheed Martin Can Ada Stand Up to the Challenges of C/C++ and Java? (pdf) датированного 2004-м годом:

Reliability and Safety of Ada over C++: Ada error rate and cost-to-fix rates are lower than C and C++

Надежность и Безопасность Ada выше чем у C++: Частота ошибок в программах на Ada и затраты на их исправление ниже, чем в C и C++

Ada is at the forefront for safety critical real time systems, although other languages are making an attempt to catch up

Ада находится на переднем крае разработки ПО для систем реального времени критических с точки зрения безопасности, несмотря на то, что другие языки предпринимают попытку догнать

Lockheed Martin should continue to consider Ada where real time, embedded systems are being proposed and safety is an issue.

Lockheed Martin следует продолжать рассматривать язык Ада в качестве основного для встраиваемых систем реального времени с высокими требованиями к надёжности.

Use of other languages, as appropriate, for related system components should be regarded as acceptable where there are technical or strong business environment reasons for their use.

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

Перевёл как смог.

Напомню что технических причин для того чтобы при разработке бортового и наземного ПО F-35 предпочесть C++ не было. Наоборот: Most language experts agreed that Ada was best from a technical standpoint, или по русски: Большинство экспертов согласились, что язык Ада был лучшим с технической точки зрения.

Нашлась серьёзная бизнес-причина, заключавшийся в том что в JSF Trade Study посчитали что не смогут набрать достаточно новых кодеров, особенно свежеиспеченных выпускников колледжей, готовых кодировать на Ada.

По этому предлагаю не придумывать других причин по которым в проекте JSF в качестве основного был выбран язык программирования C++, достаточно тех, что озвучены в документе 2004 года. Давайте придерживаться принципа "бритвы Оккама".

Спасибо за внимание.

Что тут забавно, - собственно, как и предполагал:

>JSF Trade Study посчитали что не смогут набрать достаточно новых кодеров, особенно свежеиспеченных выпускников колледжей, готовых кодировать на Ada

Ничего блин, не меняется. Эффективные менагеры - такие "эффективные": набрать самую дешевую рабочую силу (студентов) и считать, что программист - это тот, кто умеет написать "Хелло, Урод Уорд!" на С++ - это чисто по-менагерски!

Меня всегда прикалывало, когда попадается объявление, что требуются программисты со знанием конкретного языка... Ага, а опыт использования конкретного транслятора вам не важен? До чуваков никак не дойдет, что языков программирования всего два [типа]: операторные и предикатные (цепи Маркова, хрен с ними, рассматривать, не будем), и важнее, чтобы "программист" хотя бы до середины дочитал пару томов Кнута... (правда, такие фразы говорю менагерам там, где хочу, чтобы меня не брали на работу :-) - для разрыва шаблона достаточно, "Это демарктинг детка!")... Но когда такие идейки появляется в управляющем звене программы уровня JSF, ну, что тут можно сказать - тут как раз зарыты "триллионы" американского долга. Даже если б просто распилили - не так обидно было бы: "Все в семью, все в семью!" (с)

Ставка на языки программирования С и C++ - роковая ошибка допущенная при создании самолёта F-35

Сохраню для памяти хороший обзор :-)

Оригинал взят у ak_12 в Ставка на языки программирования С и C++ - роковая ошибка допущенная при создании самолёта F-35
Слишком "громкий" заголовок? Не думаю. Что ж, приступим.


Рис. 1. Число строк программного кода бортового ПО F-35 на иллюстрации преувеличено. Сегодняшняя оценка ~10 млн. строк

Я сейчас не буду писать об аэродинамике всех трёх версий ударного истребителя F-35. О ней я упоминал ранее. Если кратенько, аэродинамика не блещет. Но ведь согласитесь, было бы странным ожидать от "бюджетного" истребителя-бомбардировщика (в русском языке не прижился термин "истребитель-штурмовик" в наибольшей степени соответствующее англоязычному strike fighter) лётно-тактических характеристик сравнимых с характеристиками лучших самолётов-истребителей, при проектировании которых конструкторы думали прежде всего над тем как обеспечить победу в воздушном бою.
Collapse )