342 papers
Dit artikel heronderzoekt het klassieke probleem van brandstofoptimaliteit voor twee-impuls rendezvous-overgangen tussen elliptische banen door een raamwerk te introduceren dat geïsoleerde oplossingen onthult als onderdeel van continue families, waardoor een globaal overzicht van de oplossingsruimte en alternatieve bijna-optimale trajecten wordt verkregen.
Dit artikel presenteert een hybride zonotheebased methode voor het exact berekenen van voorwaartse en achterwaartse bereikbare verzamelingen van gesloten-lus recurrente neurale netwerken met ReLU-activaties, waarbij een instelbaar relaxatieschema de schaalbaarheid verbetert door een afweging tussen rekencomplexiteit en benaderingsnauwkeurigheid mogelijk te maken.
Dit artikel introduceert een nieuwe klasse van structuurbehoudende numerieke methoden voor kwantumoptimalisatie, gebaseerd op commutatorvrije Cayley-integratoren, die de Krotov-algoritmen efficiënter maken door matrixexponentiënten te elimineren terwijl unitariteit en symmetrie behouden blijven.
Dit artikel beschrijft een geoptimaliseerde C++-implementatie van de QPALM-OCP-algoritme voor optimale controle die gebruikmaakt van parallelle en vectorisatietechnieken om de onafhankelijke berekeningen per fase te versnellen, met prestaties die worden gevalideerd via benchmarkproblemen.
Dit artikel presenteert een eikonal-gebaseerde methode voor het vinden van een continu globaal optimale vliegroute in een stationair windveld, waarbij door het toepassen van een betrouwbaarheidsgebied rond de snijloci numerieke discretisatiefouten worden voorkomen die anders zouden leiden tot lokaal optimale in plaats van globaal optimale trajecten.
Dit artikel presenteert een constructieve generalisatie van het lemma van Farkas voor niet-perfect gesloten kegels, gebaseerd op Fenchel-Rockafellar-dualiteit, die noodzakelijke en voldoende voorwaarden biedt voor de bereikbaarheid van een vector en de constructie van benaderende oplossingen onder de zwakkere aanname dat de kegel wordt gegenereerd door een gesloten, begrensd convex verzameling.
Dit artikel presenteert een MPEC-model om te analyseren hoe een nationale toezichthouder tarieven voor alleen elektrische voertuigen kan ontwerpen, waarbij submetering met een puur volumetrisch tarief jaarlijks besparingen van $64 tot $110 oplevert ten opzichte van een vast tarief.
Dit artikel bewijst dat de ADMM-methode convergeert naar een oplossing voor niet-convexe optimalisatieproblemen met multi-affiene kwadratische gelijkheidsbeperkingen, en toont onder bepaalde voorwaarden zelfs een lineaire convergentiesnelheid aan, wat wordt gevalideerd met toepassingen in robotlocomotie.
Dit paper introduceert een nieuw recursief identificatie-algoritme voor autoregressieve systemen onder één-bit communicatie dat, door gebruik te maken van zowel huidige als historische data, asymptotisch de oorspronkelijke Cramer-Rao ondergrens bereikt en zo de asymptotische gemiddelde kwadratische fout met minimaal 36% verlaagt ten opzichte van bestaande methoden.
Dit artikel introduceert een nieuwe analyse van gemiddelde stabiliteit voor multipass Preconditioned SGD die de generalisatie koppelt aan de effectieve dimensie, en laat zien dat een onjuist gekozen preconditioner kan leiden tot suboptimale prestaties door een disbalans tussen de kromming van het populatierisico en de geometrie van de ruis.
Deze paper introduceert nieuwe deterministische algoritmen die, gebaseerd op een uitgebreid multilineair extensie-framework, de beste bekende benaderingsverhoudingen voor het maximaliseren van niet-monotone submodulaire functies onder matroïde- en knapsack-beperkingen verbeteren tot respectievelijk 0,385 en 0,367.
Dit artikel bespreekt gradient-robuste discretisaties voor de simulatie en optimalisatie van niet-lineaire, incompressibele Navier-Stokes-stromingen, waarbij de invloed van verschillende formuleringen op de discretisatie en de bijbehorende adjoint-vergelijkingen wordt onderzocht.
Dit artikel bewijst de goedgesteldheid van een klasse van randbesturingssystemen en past deze resultaten toe om voorwaarden voor exponentiële input-to-state stabiliteit af te leiden voor gekoppelde warmtevergelijkingen met randverstoringen en vertragingen.
Dit artikel introduceert een gecontroleerde zwerm-gradiëntdynamica die, door een snelheidsveld te superponeren op een Langevin-type diffusie, de verdeling van de deeltjes exact laat volgen langs een voorgeschreven afkoelschema, waardoor globale optimalisatie van niet-convexe potentialen met willekeurig hoge convergentiesnelheden mogelijk wordt.
Dit artikel introduceert een recursieve benadering om zes verschillende uitbreidingen van het flow shop-planningsprobleem in één model te beschrijven, waarbij de structuur van deze functies, hun eigenschappen en toepassing in optimalisatie-algoritmes zoals branch and bound worden geanalyseerd.
Dit artikel introduceert een maximum-entropie random walk-framework voor gerichte hypergrafieken dat zowel broadcast- als merge-mechanismen omvat, waarbij de overgangskern wordt afgeleid via KL-divergentie-projectie en opgelost met Sinkhorn-Schrödinger-iteraties om complexe systemen met hogere-orde interacties beter te modelleren.
Dit artikel bewijst dat het Frank-Wolfe-algoritme convergeert naar oplossingen van monotoon variatieproblemen onder specifieke stapgroottecondities, waarbij dynamische systeemtheorie wordt gebruikt om Hammond's conjectuur over de convergentie van gegeneraliseerd fictitious play te bevestigen.
Dit paper breidt de bestaande DRCR-methode uit met reflectiesymmetrieën en toepassing op continue kolommen in gemengd-geheeltallige lineaire programmering, wat leidt tot aanzienlijke reducties in oplostijd en schaalbaarheid binnen de SCIP-oplosser.
Dit artikel biedt de eerste exacte evenwichtskarakterisering van eindige spelers in continue tijd LQG-spellen met endogene signalen, waarbij het een deterministisch vast punt introduceert dat de oneindige hiërarchie van overtuigingen reduceert en een expliciete 'informatie-inkeping' definieert die de waarde van het manipuleren van tegenstanders' verwachtingen kwantificeert.
Dit paper stelt een operator-splittingmethode voor die de tweede-orde Hamilton-Jacobi-vergelijking oplost door deze te decomponeren in een warmtestap en een eerste-orde stap die met een machine learning-algoritme wordt opgelost, waarbij convergentiebewijzen en nauwkeurige numerieke resultaten worden geleverd.