Inžinierstvo matematických systémov

Pre plány, ktoré ľudia každý deň prestavujú, nechajte plánovať systém

Zmeny, plány návštev, dispečing, výrobné kroky a priraďovanie personálu. Zložité rozhodnutia závislé od Excelu a skúsených operátorov premieňame na matematické modely a potom ich implementujeme ako použiteľné webové a aplikačné systémy pre terén.

Vyskúšať ukážku priraďovania

Prototyp už za dva týždne Web, iOS a Android Postavené okolo pravidiel konkrétnej prevádzky

Riešiteľ obmedzení

Optimalizované · 0.38s

Harmonogram návštev / 20. jún

Prototyp už za dva týždne

Optimalizované

Aoki

Ito

Sato

Hayashi

09:00

V-012Sever / Starostlivosť

V-008Východ / Rehabilitácia

11:00

V-003Stred / Psychická podpora

V-021Západ / Starostlivosť o deti

13:00

V-017Sever / Rehabilitácia

V-026Juh / Psychická podpora

Problémy obmedzení

Celkové cestovanie

84 min

Miera priradenia

100%

min Σ cᵢxᵢ + λΣ vⱼ
s.t. Ax ≤ b

Problémy, ktoré riešime

Plánovanie Terénna práca Smerovanie Párovanie

Odporúčané riešenie MPK Assurance

Pri kritickom kóde v Go nezastavujte pri testoch.

Pri kritickej logike v Go, ktorá presúva peniaze, napríklad pri vráteniach platieb, poplatkoch, zostatkoch a rezervách, mechanicky overujeme, či zadané vlastnosti platia v explicitne určených predpokladoch a rozsahu. Gemini generuje kandidátov dôkazu a nezávislé jadro MPK vydá konečný verdikt.

Vrátenia platieb Poplatky Zostatky Rezervy Zľavy Alokácie

Istota nad rámec testov

Skontrolujte zadanú vlastnosť v celom cieľovom rozsahu, nielen na vybraných vstupoch.

Začnite jednou funkciou v Go

Začnite od kritickej funkcie pravidiel, nie od špeciálneho jazyka dôkazov.

Nespoliehajte sa priamo na AI

AI pripraví kandidátov; konečné prijatie patrí nezávislému jadru.

Zobraziť MPK Assurance Pozrieť 30-sekundovú ukážku vrátenia platby

refund.go

func ApplyRefund(paid, refunded, amount int64) (int64, error) {
  if amount < 0 || refunded+amount > paid {
    return 0, errors.New("invalid refund")
  }
  return refunded + amount, nil
}

Vlastnosť na overenie Kumulatívne vrátenia platieb ≤ zaplatená suma

NÁJDENÝ PROTIPRÍKLAD Zobrazuje konkrétne vstupy, ktoré porušujú danú vlastnosť.

JADRO OVERILO Nezávislé jadro prijalo certifikát pre opravenú verziu.

Funkcia v Go→Gemini pripraví kandidátov→MPK kontroluje nezávisle

Len pre prvých 5 spoločností

Úvodná ponuka MPK

~~Štandardne 198 000 JPY~~ 49 800 JPY bez dane

Pre spoločnosti, ktoré sú ochotné po dokončení služby poskytnúť úprimnú spätnú väzbu a spolupracovať na vopred schválenej prípadovej štúdii.

Zobraziť ponuku

Podmienky a podrobnosti zverejnenia nájdete na samostatnej stránke.

Problémy, ktoré riešime

Keď je práca plná obmedzení, bežný vývoj systému míňa jadro problému.

Finite Field pracuje na prevádzkach, ktoré majú príliš veľa pravidiel pre jednoduchý formulárový systém a sú príliš špecifické pre všeobecný SaaS produkt.

Ručné plány sa stále lámu

Človek preusporiada prácu vždy, keď sa zmení zmena, návšteva, dodávka alebo objednávka.

Pravidlá sú ťažko viditeľné

Pravidlá pre zručnosti, kapacitu, lokalitu, termín a prioritu existujú, ale sú roztrúsené v tabuľkách a pamäti ľudí.

Odborníci absorbujú zložitosť

Tie isté údaje sa kopírujú medzi Excelom, chatom a systémami, potom ich opravuje ten istý odborník.

Systém nerozhoduje

Systém existuje, ale iba zaznamenáva výsledky. Ťažká časť sa stále deje mimo systému.

Odpoveď nie je len krajšia obrazovka; je to model, ktorý vie rozhodovať a vysvetľovať.

Berieme ich ako matematické systémy: modelujeme rozhodnutie, testujeme obmedzenia, vysvetľujeme výsledok a okolo tejto logiky budujeme prevádzkové používateľské rozhranie.

Od obchodných pravidiel k systémovému modelu

Keď sa rozhodnutia opakujú, systém potrebuje matematickú vrstvu.

Finite Field nezačína zoznamom obrazoviek. Najprv rozložíme terénne rozhodnutia na premenné, obmedzenia, ciele a požiadavky na vysvetlenie, potom navrhneme systém.

Premenné

Pracovníci, návštevy, stroje, objednávky, vozidlá, časové okná, zručnosti, kapacity a dátumy sa stanú explicitnými dátami.

Obmedzenia

Zručnosti, termíny, lokality, limity zaťaženia, priority, časy nedostupnosti a obchodné výnimky sa zapisujú ako pravidlá.

Ciele

Znížiť čas cestovania; Spravodlivo vyvážiť prácu; Rešpektovať preferovaných pracovníkov.

Nezačíname zoznamom obrazoviek. Najprv definujeme rozhodovacie premenné, obmedzenia, ciele a požiadavky na vysvetlenie, potom ich meníme na produkt, ktorý ľudia dokážu používať.

Interaktívna ukážka priraďovania

Vyskúšajte, ako sa pravidlami nabitý rozvrh mení, keď sa z neho stane matematický model.

Ukážka v prehliadači je vysvetľujúca. Neodosiela vaše údaje mimo tejto stránky.

Plánovač návštev

Zmeňte cieľ a spustite plánovač.

Cieľ optimalizácie

Ručný plán: dve obmedzenia je potrebné opraviť

Príklad: 9 návštev / 5 pracovníkov

Oblasti riešení

Staviame okolo rozhodnutia, nie okolo všeobecnej kategórie obrazovky.

Zameriavame sa na plánovaciu prácu, ktorá sa každý deň prestavuje: zmeny, návštevy, dispečing, výrobné kroky a priraďovanie personálu.

Plánovanie

Optimalizácia zmien a personálu

Premeňte zručnosti, časové okná, pravidlá odpočinku a férovosť na harmonogram, ktorý možno skontrolovať.

Terénna práca

Plánovanie návštev a trás

Priraďujte návštevy a terénnu prácu s ohľadom na cestovanie, zručnosti, preferovaný personál a časové okná.

Smerovanie

Smerovanie vozidiel a plánovanie doručení

Plánujte vozidlá, doručenia a zastávky pri obmedzeniach kapacity, poradia a služby.

Párovanie

Systémy priraďovania a párovania

Párujte ľudí, prípady, objednávky alebo zdroje s vysvetliteľnými prioritami a výnimkami.

Proces dodania

Najprv model, potom prototyp, produkcia až po vyjasnení vhodnosti.

Prvý krok držíme dostatočne úzky, aby sa model dal overiť pred záväzkom k produkčnému systému.

Inventarizujte pravidlá a dáta

Zhromaždite aktuálne tabuľky, pravidlá, príklady a výnimky, potom určte, kde sa rozhodnutia skutočne dejú.

Vytvorte model

Premeňte pracovný postup na premenné, obmedzenia, ciele a požiadavky na vysvetlenie, ktoré sa dajú skontrolovať.

Prototypujte prevádzku

Vytvorte malé rozhranie okolo modelu, aby si operátori mohli pracovný postup vyskúšať a nájsť chýbajúce pravidlá.

Naplánovať produkčný vývoj

Produkčný rozsah určte až po zviditeľnení dát, modelu, použiteľnosti a rizikových predpokladov.

Prvý krok

Začnite v malom a potom rozhodnite, či postaviť celý systém.

Pri neistých pracovných postupoch začíname úzkym prototypom: namodelujeme pravidlá, postavíme malé používateľské rozhranie a overíme, či logika stojí za produkčný vývoj.

Prototyp od ¥298,000

Prototyp objasňuje uskutočniteľnosť a rozsah. Negarantuje obchodné účinky.

Súpis pravidiel a dát

Malý optimalizačný alebo párovací model

Prototyp pracovného postupu na vyskúšanie

Návrh ďalšieho rozsahu s rizikami a predpokladmi

Od výskumu k produktu

Modelovať, overiť, prevádzkovať

NPA

Overovanie

Produkty

Math Lab

Výskum držíme blízko implementácie.

Laboratórium prepája matematické modelovanie, dôkazovo orientované myslenie a dodávku softvéru.

Výskumný obsah podporuje inžiniersky úsudok; nenahrádza produkčné overenie.

Čítať o NPA

FAQ

Časté otázky pred prvou konzultáciou

Odpovede pre tímy, ktoré zvažujú, či sa prevádzkové rozhodnutia majú stať softvérom.

Aký typ práce sa môže stať matematickým systémom?

Plánovanie, priraďovanie, smerovanie, párovanie a výrobné plánovanie s mnohými obmedzeniami sú vhodné; najprv pravidlá prevedieme na malý model.

Garantujete obchodné výsledky?

Nie. Prototyp a ukážka objasňujú uskutočniteľnú logiku, dátové požiadavky a používateľskú skúsenosť. Negarantujú zníženie nákladov, rast predaja ani iné obchodné účinky.

Môžeme začať skôr, než sú všetky požiadavky pevné?

Áno. Prvý krok zvyčajne držíme malý: kontrola dát, usporiadanie pravidiel a hmatateľný prototyp.

Preneste rozhodnutia plné pravidiel do systému, ktorý sa dá vysvetliť, testovať a prevádzkovať.

Začnite malým modelom a hmatateľným prototypom. Oddelíme, čo sa má automatizovať, od toho, čo má zostať ľudským úsudkom.

Pošlite nám podrobnosti