278 Arbeiten
Diese Arbeit präsentiert ein stetiges Markov-Modell für ein Multi-Server-Warteschlangensystem mit zustandsabhängigen stimulierten Ankünften und einer differenzierten zweistufigen Urlaubsstrategie, unter Verwendung von Wahrscheinlichkeitserzeugenden Funktionen zur Ableitung von Langzeitwahrscheinlichkeiten und Leistungsmaßen für realistische Serviceumgebungen.
Diese Arbeit begründet die Existenz und charakterisiert die Profile von Wanderwellen in einem räumlich diskreten Zell-zu-Zell-Virusinfektionsmodell mit verteilten Zeitverzögerungen unter Verwendung von Fixpunktsargumenten, Phasenplananalysen eines reduzierten ODE-Systems sowie numerischen Simulationen.
Diese Arbeit präsentiert ein auf Brouwers intuitionistischer Sichtweise des Kontinuums basierendes computergestütztes Framework, das asymptotische Funktionssequenzen auf Partitionen des Einheitsintervalls verwendet, um stetige Funktionen zu approximieren und den Brouwerschen Stetigkeitssatz ohne Rückgriff auf das Kontinuitätsaxiom zu beweisen.
Diese Arbeit zeigt, dass fraktionale logistische und Hénon-Abbildungen exakt als autonome Systeme auf Gedächtnismoden reformuliert werden können, um eine effiziente Berechnung von Lyapunov-Exponenten zu ermöglichen, wobei offenbart wird, dass die Anfangsbedingung als abklingende Potenzgesetz-Forcierung wirkt, die in chaotischen Regimen ein persistentes, nicht-triviales Gedächtnis des Ausgangszustands induziert.
Diese Arbeit schlägt einen neuen zweistufigen Finite-Elemente-Algorithmus vor, der auf abgestuften Gittern mit höherwertigen Elementen arbeitet, um rigorose untere Eigenwertgrenzen zu generieren, die so scharf sind wie die üblichen oberen Schranken höherwertiger Elemente, wodurch eine langjährige Lücke in der Genauigkeit effektiv geschlossen und bestehende Methoden wie Crouzeix–Raviart in Bezug auf die Recheneffizienz deutlich übertroffen wird.
Dieses Papier führt die neuartige komplexe probabilistische Neutrosophic-Menge (CPN) ein, um Akzeptanzniveaus von Expertenmeinungen in unsicheren realen Szenarien besser zu erfassen, schlägt neue gewichtete Durchschnitts- und geometrische Aggregationsoperatoren vor und validiert ein entsprechendes Multi-Kriterien-Entscheidungsrahmenwerk durch eine Fallstudie zur Autowahl sowie eine vergleichende Analyse.
Diese Arbeit verwendet einen semiotisch-kulturellen Rahmen, um zu analysieren, wie Beweisassistenten, spezifisch Verbose Lean, als epistemische Offenbarer in der Undergraduate-Mathematik fungieren, indem sie Beweispraktiken rekonfigurieren und implizite Annahmen durch die notwendige Formalisierung mathematischer Objekte und inferentieller Schritte explizit machen.
Diese Arbeit entwickelt einen doppelt summierten ungenauen zyklischen proximalen Punktalgorithmus für Hadamard-Räume, stellt dessen lineare und superlineare Konvergenz unter metrischer Subregularität her, beweist den endlichen Abbruch über schwache scharfe Minima und wendet diese Ergebnisse auf die Lösung eines neuen verallgemeinerten Fermat–Torricelli-Problems mit expliziten Resolventenformeln und numerischer Validierung an.
Diese Arbeit evaluiert und vergleicht die Talbot-, Euler- und Sattelpunkt-Approximationsverfahren zur numerischen Invertierung der Laplace-Transformation zur Schätzung von Ruinwahrscheinlichkeiten in einem durch Diffusion gestörten zusammengesetzten Poisson-Prozess und stellt fest, dass, obwohl alle drei Methoden geringe relative Fehler für extrem kleine Wahrscheinlichkeiten liefern, die Talbot-Methode die höchste Genauigkeit erreicht.
Diese Arbeit präsentiert erstmals einen neuen Algorithmus zur Konstruktion von Basissequenzen BS(n+1,n) für n=41, 42 und 43, während sie Yangs Vermutung widerlegt, indem sie die Nichtexistenz von near-normalen Sequenzen für n=42 und 44 sowie die Nichtexistenz von normalen Sequenzen für n=41 bis 45 beweist, einschließlich eines allgemeinen Beweises, dass keine normalen Sequenzen existieren, wenn n=8k-2 gilt.