När optimering av ett mål kostar ett annat
Ett system med två prestationsmål — säg, delsystem A:s prestanda (P_A) och delsystem B:s prestanda (P_B) — har en genomförbar region: uppsättningen av (P_A, P_B)-par som kan uppnås givet de delade resurserna.
Inom den genomförbara regionen är Paretofrontier gränsen där man inte kan förbättra P_A utan att försämra P_B, eller vice versa. Varje punkt på denna frontier är ett giltigt systemoptimum, beroende på vikterna som tilldelats varje mål.
Delsystem A:s optimum: maximera P_A utan hänsyn till P_B. Detta ligger vid den högra genomfärbara punkten — på Paretofrontier vid den extrema punkten där P_A är maximerad och P_B är offrad.
Delsystem B:s optimum: maximera P_B utan hänsyn till P_A. På samma sätt, vid toppen av frontieren med P_B maximerad.
Systemoptimum: någonstans i det inre av Paretofrontier, som balanserar båda målen. Det ligger mellan de två komponentoptimumen. Ingen komponent körs vid sitt individuella maximum — men systemet som helhet presterar bäst.
Hammings differentalanalysator: de förbättrade förstärkarna maximerade P_A (förstärkarprestanda) men skiftade driftpunkten bort från gränssnittsdesignens toleransomfattning, vilket försämrade P_B (jord-/störningsprestanda). Systemoptimum krävde att man backade förstärkarprestanda för att stanna inom gränssnittets tolerans.
Lokalisera systemoptimum
Ett system har två delsystem. Delsystem A:s prestanda P_A = 2x − x², erreichbar för x ∈ [0, 2]. Delsystem B:s prestanda P_B = 2(1−x) − (1−x)², erreichbar för samma x. Den delade variabeln x representerar hur en delad resurs (säg, bandbredd eller effekt) fördelas mellan delsystemen. Total prestanda: P_total = P_A + P_B.
Genomförbara regioner & bindande begränsningar
Ett system som är föremål för begränsningar opererar inuti en genomförbar region F i parameterrymd. Begränsningarna definierar gränsen för F.
Bindande begränsning: en begränsning som är uppfylld med likhet vid optimum (optimum ligger på begränsningsgränsen).
Icke-bindande begränsning: en begränsning som är uppfylld med strikt olikhet vid optimum (optimum ligger strikt inuti gränsen).
Maximiprincipen (ett allmänt resultat från optimering): för ett linjärt objektiv över en konvex genomförbar region ligger optimum alltid vid en vertex av den genomförbara regionen — dvs. vid skärningspunkten av bindande begränsningar. Optimum ligger aldrig i det inre såvida inte objektet är plant (konstant) i någon riktning.
Hammings regel 2 i geometriska termer: systemets gränsbetingelser (begränsningar) är ofta viktigare än de optimala värdena inuti gränserna, eftersom optimum ligger vid gränsen, inte i det inre. Att designa begränsningsstrukturen korrekt bestämmer var den genomförbara regionen ligger; när du väl har regionen, ligger optimum vid dess gräns.
Gränssnittet är inte egenskapen för bara A eller bara B — det tillhör det gemensamma systemet. Detta är varför komponentnivåtestning (testning av A ensamt, testning av B ensamt) missar gränssnittshaveri. Begränsningen är endast synlig i den gemensamma parameterrymden.
Vilken begränsning är bindande?
Ett kommunikationssystem har tre designvariabler: sändeffekt P (i watt), bandbredd B (i MHz) och brusfigur NF (i dB). Datahastigheten C = B · log₂(1 + P/(N₀ · B · 10^(NF/10))), där N₀ är brusgolvet.
Systemet har tre begränsningar: P ≤ 10 W (effektbudget), B ≤ 20 MHz (spektrumtilldelning), NF ≤ 6 dB (hårdvarugräns). Målet är att maximera C.
Gränssnittet som en delad begränsning
Modellera två delsystem A och B som opererar i sina egna parameterrymder P_A och P_B. Gränssnittet mellan dem definierar en delad begränsning: en relation mellan en parameter i P_A och en parameter i P_B som måste hålla för att systemet ska fungera.
Exempel: i Hammings differentalanalysator outputar förstärkarna (delsystem A) en ström I_out. Jordningskretsen (delsystem B) kan tolerera en maximal ström I_max. Gränssnittsbegränsningen: I_out ≤ I_max.
När du förbättrar delsystem A (bättre förstärkare), ökar I_out. Om I_out > I_max, är gränssnittsbegränsningen bruten — de två delsystemen är inte längre i en giltig driftregion av deras gemensamma parameterrymd.
Gränssnittsdesignprincip: gränssnittsbegränsningen definierar gränsen mellan giltig och ogiltig drift. Komponentdesignern måste känna till denna gräns. Systemteknikern måste verifiera att den inte bryts när någon komponent förändras.
Gränssnittet är inte egenskapen för bara A eller bara B ensamt — det tillhör det gemensamma systemet. Detta är varför komponentnivåtestning (testning av A ensamt, testning av B ensamt) missar gränssnittshaveri. Begränsningen är endast synlig i den gemensamma parameterrymden.
Gränssnittshaveri-analys
Ett mjukvarusystem har två tjänster: Tjänst A (datainmatning) och Tjänst B (databehandling). Tjänst A skriver poster till en meddelandekö; Tjänst B läser från kön. Gränssnittsbegränsningen: meddelandekön kan innehålla högst 10 000 meddelanden. Tjänst A:s genomströmning: T_A meddelanden per sekund. Tjänst B:s genomströmning: T_B meddelanden per sekund.