#solvers — Public Fediverse posts

В мире уменьшающихся кубиков: когда заводу нужны математики

Представьте, что вы пришли работать на фабрику по производству моделей игрушечных машин. Вам предстоит вручную собрать каждую машинку, как конструктор, из кубиков, подаваемых в ваши руки конвейером. Поначалу вам поручают только несложную сборку из крупных блоков, и красивые модели машин собираются сами собой. Но с каждым днём кубики становятся мельче, а модели — сложнее и реалистичнее. Работа требует всё больше концентрации и времени. В какой-то момент вы понимаете, что просто не успеваете — деталей слишком много, а скорость конвейера не снижается! Кроме того, надо держать в голове все инструкции для сборки всех моделей. На первый взгляд — это вымышленная ситуация, разве сборка конструктора может быть настолько неавтоматизированной? На самом деле, именно в такой ситуации ежедневно оказываются планировщики и диспетчеры, начальники производства и руководители цехов на современных высокоавтоматизированных предприятиях. Вместо кубиков для машинок у них – заказы, бригады, сырье, оборудование, последовательность обработки. Вместо моделей – широкая номенклатура готовой продукции требуемого качества. И если пальцев на руках десять, рук – две, то голова – одна и она еще должна учесть дополнительные детали:

https://habr.com/ru/companies/nlmk/articles/1005696/

#solvers #APS #математическая_оптимизация #стратегия_развития

Autoresearch for SAT Solvers

https://github.com/iliazintchenko/agent-sat

#HackerNews #Autoresearch #SAT #Solvers #AI #Research #GitHub #Optimization

'Stable Implementation of Probabilistic ODE Solvers', by Nicholas Krämer, Philipp Hennig.

http://jmlr.org/papers/v25/20-1423.html

#numerical #solvers #odes

We've been working on a massive riddle tying together #self-organization, #carbonate #diagenesis, reactive transport, #paleoclimate and #Milankovich cycles, and very stiff PDE systems.

If you've missed the poster at #egu24, you can still find it attached to the abstract in the conference program (https://meetingorganizer.copernicus.org/EGU24/EGU24-16400.html) and on Zenodo https://zenodo.org/records/10943274 If you're into numerical methods, tricky PDEs or other aspects of #modeling, please see if you have any advice to us 😄 #solvers #PDE

'Multilevel CNNs for Parametric PDEs', by Cosmas Heiß, Ingo Gühring, Martin Eigel.

http://jmlr.org/papers/v24/23-0421.html

#pdes #solvers #deep

4/

Fourth: Models and Solvers for Dynamic Programming, organised by Chris Beck, Xavier Gillard, Ryo Kuroiwa, Laurent Michel, Pierre Schaus, and Willem van Hoeve.

Submission deadline: July 10, 2023

https://sites.google.com/view/dpsolve2023

#CP2023 #DynamicProgramming #CallForPapers #CP2023conf #ConstraintProgramming #ArtificialIntelligence #AI #Solvers