OberonCore

Товарищи! Я собрал информацию о том, где используется Оберон. Помогите дополнить.

Оберон используется:

I. В науке и образовании:
1. при обучении программированию в Швейцарской высшей технической школе Цюриха (ETH), выпускником которой является А. Эйнштейн и ещё 20 нобелевских лауреатов, а также при обучении программированию в Оксфорде (у них есть компилятор собственной разработки — Oxford Oberon Compiler), в некоторых школах, кружках и ВУЗах России, Белоруссии, Германии, Швейцарии, Австралии, США, Аргентины, Китая, Индии и т. д., на курсах в Риге;
2. программирование в МГУ и НГУ на физфаке на Модуле-2;
3. при разработке языков C#, Java и Go (использовались наработки языка Оберон и компилятора Оберона, в Java — идея сборщика мусора в неинтерпретируемых языках, тотальная статическая типизация, в Go — дизайн языка с опорой на простоту, вообще Go во многом «слизан» Оберона по заявлению самих разработчиков);
4. в корпорации «Росатом» Оберон использовали для решения одной из нерешавшихся проблем;
5. в единственном полноценном комплексе ЭВМ + операционная система + компилятор, полностью созданном с нуля (теперь любой человек может собрать свой компьютер с нуля на базе FPGA, для чего написана соответствующая книга);
6. генератор биофизических моделей;
7. программы расчёта значений по законам квантовой механики;
8. трёхмерная визуализация наночастиц алмаза;
9. установка для герметизации чипов;

II. В производстве:
1. фирма «Мираторг» переводит своё программное обеспечение на Оберон;
2. на научной установке ИЯИ РАН «Троицк ню-масс» с помощью Оберона устранена аномалия в обработке данных сложных физических экспериментов, которая 10 лет считалась новой загадкой в физике и обсуждалась в РАН и на телевидении (предыдущая программа обработки данных была написана на Си++, программа на Обероне написана в 12 раз быстрее и работает в 8 раз быстрее);
3. энергетический узел в Калининграде работает под управлением программы на Обероне;
4. в Швейцарии и в России строят беспилотные летательные аппараты под управлением Оберона («Aurora Swiss Aerospace»);
5. фирма «Apple» в серии устройств для умного дома использует программу на Обероне для шифрованного сообщения между устройствами;
6. швейцарский промышленный контроллер, запрограммированный на Обероне, на которой в том числе работает серия аппаратов Colortronic для смешивания порошковых красок;
7. операционные системы для российских космических аппаратов пишутся на Модуле-2;
8. сердечные имплантанты для симуляция сердечной активности и мониторинга в университетской больнице Highdim;
9. автоматизированная система управления технологическим процессом на платформе ERSY Control;
10. биомедицинские приборы, запрограммированные на Обероне;
10. бегающие роботы:
12. управление вертолётом;
13. испытание материалов;
14. планирование реабилитации;
15. машинное зрение для аэрокосмической отрасли;
16. биолюминометр (прошивка через компилятор Оберона «Astrobe») с Обероном также на считывающей машине.

По Мираторгу неправильно, пусть Илья Евгеньевич пояснит сам.

Они не пишут на Обероне для МК... Я скидывал Пфистеру про O7, но не знаю стали они его применять или нет.


Если тут имеется в виду проект с использованием OberonJS, то наверное там более широкое применение, чем только биофизические модели.

Вот еще не забудьте вот такой проект упомянуть:
https://www.mobatec.nl/web/

По пункту I-2.
На физфаке МГУ есть курс программирования на основе Оберона с 2001 г. На физфаке НГУ программированию учили на основе Модуле-2.


По пункту II-2 -- не вполне понятно, почему в разделе II.
Но сведения такие:

2А. На Обероне была написана программа для обработки данных научной установки ИЯИ РАН «Троицк ню-масс», в результате получена лучшая в мире оценка массы нейтрино. До того в течение 10 лет данные обрабатывались на программах на фортране с использованием библиотек ЦЕРНа и наблюдалась загадочная аномалия, которая обсуждалась в Президиуме РАН и на телевидении.

2Б. На Обероне была написана программа для класса задач компьютерной алгебры в физике элементарных частиц, с помощью которой выполнены уникальные по сложности расчёты, позволившие устранить 10-летнее рассогласование теории и эксперимента в распадах b-кварка. Конкурирующая программа была написана на Си++, программа на Обероне была написана в 12 раз быстрее и работала в 8 раз быстрее.

Блин, а знают об этом только физики.
Надо бы статью накатать со сравнительным анализом программ.
Мне, например, ОЧЕНЬ интересно посмотреть программу на с++ - ЧЕГО ТАКОГО ТАМ МОЖНО БЫЛО НАКОСЯЧИТЬ, ЧТО ОНА РАБОТАЛА В 8 РАЗ МЕДЛЕННЕЕ.

Вы печатались в журнале computational-physics ? https://www.journals.elsevier.com/journ ... al-physics
Мы никак статью по алгоритму джэмминга для него не допишем...

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

Возможно, тут ситуация похожа на то, о чём говорил Гуткнехт: конкурент запихал в свой движок больше сложных примитивов (в том числе для представления данных), но не догадался до одного незаметного, но фундаментального (не учил математику), эксплуатация которого и ускорила у меня программу в 10 раз, обогнав евоную в итоге в 8.
Причём тест был сделан на задачке предыдущего уровня сложности. На новом уровне сложности конкурент вообще не потянул бы без ещё одного сколько-то-летнего раунда отладки -- там уже нужно было использовать диск, для чего, снова, у меня примитивы были, а у него нет.

То есть сработала идеология Оберона на уровне проектирования прикладной системы.

Сравнивать напрямую сами программы поэтому бессмысленно.

Нет.

Про написана в 12 раз быстрее немножко misleading. Я-то думал о движке ещё в 80-х, разбирая опыт работы на Schoonschip и Reduce, и клюнул в начале 90-х на Оберон именно благодаря этому опыту. Конкурент же -- типичный плюсист-спаситель мира, который кроме плюсов мало что понимает.

Таким образом, как понимаю, основное достоинство - быстрая работа с длинными числами?

Длинные числа это небольшое приложение компьютерной алгебры. Тут быстрее какой-нибудь GMP быть сложно. Дело в тонкостях других алгоритмов. Да и не старайтесь вы так, это же know how. Фёдор Васильевич его просто так не выдаст.

"1. фирма «Мираторг» переводит своё программное обеспечение на Оберон;"

АСУТП зерносушильных комплексов и мощностей хранения растениеводческого дивизиона холдинга "Мираторг"
Можно так указать.

И "применяется", а не "переводится".

Есть же ещё https://oberoncore.ru/wiki/применения. Там бы порядок навести надо, конечно, а то уже часть поменялась. И ссылки частично померли, надо полагать. Да и новые примеры есть.

I.9 это разве "наука и образование"? Не "производство" часом?

Просто так не выдам ))

Но дело, конечно, не в числах, а в примитивах.

Надо сделать систему компьютерной алгебры (типа Maple, MathCad и т.п) на основе ваших методов - и продавать.
Это будет серьезной рекламой в пользу оберонщины... ))

Делать такую систему -- прямо противоречит Духу Оберона.

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

Тем более, что внутренности можно не раскрывать...

Разнообразие задач символических вычислений гораздо больше, чем расчётов численных, тем более статистических.

Поэтому общий делитель там очень маленький. Это не продать.

Дух Оберона диктует делать спецсредства для конкретных классов задач, разве что обеспечить interoperability.