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

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

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

https://www.youtube.com/watch?v=d76e4hV1iJY&pp=ugUEEgJlbg%3D%3D

#sat #solvers #complexity #clojure

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

Не вижу, где это можно применить мне; теоретически, можно попробовать сделать декларативный язык программирования для создания музыки (где ты накладываешь на мелодию ограничения, выбираешь сид и тебе генерируется мелодия)... Ещё всё лелею идею на работе сделать планировщик, который бы работал на солвере, но это так (я не хочу тут где работаю сейчас работать программистом а не QA)

https://buttondown.com/hillelwayne/archive/many-hard-leetcode-problems-are-easy-constraint/

#Solvers #MiniZinc #Солверы #Миницинк #SAT #САТ #лытдыбр

Faster models, smarter transitions with an open-source benchmark of #optimization #solvers from the energy planning domain⚡️
Test user James Glynn (ESMA) tried the Open Energy Benchmark. It is mixing open & proprietary solvers with smart filters. Speeds research, drives innovation, boosts competition.

Thank you for your insights, James.

🔗 Try it here: https://openenergybenchmark.org/
🔗 Read the whole article here: https://www.linkedin.com/feed/update/urn:li:activity:7350816973015900161

#EnergyModeling #OpenSource #EnergyTransition #Decarbonization

'Parallel-in-Time Probabilistic Numerical ODE Solvers', by Nathanael Bosch, Adrien Corenflos, Fatemeh Yaghoobi, Filip Tronarp, Philipp Hennig, Simo Särkkä.

http://jmlr.org/papers/v25/23-1261.html

#kalman #solvers #bayesian

'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

'Scalable Computation of Causal Bounds', by Madhumitha Shridharan, Garud Iyengar.

http://jmlr.org/papers/v24/22-1081.html

#causal #confounders #solvers