Inleiding tot Mason . Gain Formule en Signaalstroom grafieken

Mason . Gain Formula (ook bekend als Mason .) is een hoeksteen van de klassieke controle theorie. Het biedt een systematische, grafiek-theoretische methode om de totale overdracht functie tussen een invoerknooppunt en een output knooppunt in een signaalstroom grafiek (SFG) te berekenen. Een signaalstroom grafiek is een gerichte grafiek die een reeks lineaire algebraïsche vergelijkingen vertegenwoordigt: knooppunten corresponderen met variabelen (bijv., spanning, krachten, staat variabelen), en gerichte takken vertegenwoordigen de winsten (constants of transfer functies) die hen koppelen. Door het traceren van voorwaartse paden en het identificeren van loops (feedback paden), geeft Masons regel de volledige input-output relatie zonder het oplossen van gelijktijdige vergelijkingen expliciet.

De formule zelf is elegant compact:

T = (

P[k is de winst van het k‐de voorwaartse pad, Δ is de determinant van de grafiek (1 .Summ van alle individuele loopwinst + som van winstproducten van alle paren van niet-aanraaklussen ..som van drievoudige lussen, enz.), en Δ[[FLT:]]k[[FLT:]] is de determinant van de grafiek na het verwijderen van alle loops die het k‐de voorwaartse pad raken. Deze formule werkt perfect voor lineair, tijd‐invariant (LT:11]]systemen waar superpositie aanwezig is en alle winsten constant zijn.

Veel real-world systemen zijn echter niet-lineair. Hun gedrag is afhankelijk van signaalamplitudes, operationele punten of geschiedenis. Het rechtstreeks toepassen van Masons Gain Formula op een niet-lineaire signaalstroomgrafiek schendt zijn basisveronderstellingen. Toch kunnen met zorgvuldige aanpassing dezelfde fundamentele ideeën over paden, loops en winsten worden uitgebreid tot niet-lineaire domeinen. Dit artikel onderzoekt hoe Masons benadering te wijzigen om niet-lineairheden te behandelen, terwijl de structurele helderheid behouden blijft.

De Lineaire Stichting: Hoe Mason werkt

Voordat je niet-lineairheden aanpakt, is het essentieel om de lineaire zaak precies terug te roepen. Beschouw een SFG met N[ knooppunten. De relatie tussen twee knooppunten kan worden afgeleid door alle voorwaartse paden van bron naar zinken te noemen. Een voorwaartse pad is een opeenvolging van takken die nooit meer dan eens een knooppunt bezoeken. De winst van het pad is het product van alle tak winsten langs dat pad. Vervolgens worden alle individuele loops (gesloten paden die terugkeren naar het startknooppunt zonder zelf over te steken) geïdentificeerd. Hun winsten zijn het product van tak winsten rond elke lus.

De noemer Δ (de grafiekdeterminant) is opgebouwd uit lussen:
Δ = 1

De teller voor een gegeven bron-zonkpaar is de som over alle voorwaartse paden k van (P[k × Δk), waar Δk de grafiekdeterminant is na het verwijderen van alle loops die het k‐th-voorwaartse pad raken. Deze rekenkundige accounts voor de interactie van meerdere paden en terugkoppelingslussen zonder dat matrix-omzetting vereist is. Het is een krachtig instrument voor symbolische analyse, vooral wanneer de SFG groot is of veel terugkoppelingspaden heeft.

Waarom niet-lineaire signaalstroom grafieken verschillen

Niet-lineaire signaalstroomgrafieken bevatten takken waarvan de winsten functies van knooppuntvariabelen zijn in plaats van constanten. Bijvoorbeeld, een tak die een verzadigingsnon-lineairheid vertegenwoordigt, kan een gain hebben die een functie is van de input signaalamplitude. Ook een wrijvingskoppel in een mechanisch systeem is afhankelijk van snelheid op een niet-lineaire manier. Deze niet-lineairheden introduceren verschillende fundamentele uitdagingen:

  • Superpositie mislukt: De respons op een som van input is niet de som van individuele reacties. Masons regel is gebaseerd op lineariteit om elk pad onafhankelijk te behandelen.
  • De padwinst varieert met het bedrijfspunt: Hetzelfde vooruitpad kan verschillende effectieve winsten hebben, afhankelijk van de signaalamplitude, waardoor een enkele overdrachtsfunctie zinloos is.
  • Multipel evenwicht: Niet-lineaire systemen kunnen meerdere steady-state bedrijfspunten hebben. De SFG structuur kan hetzelfde zijn, maar de lineaire winsten verschillen op elk punt.
  • Bifurcaties en limietcycli: Niet-lineairheden kunnen kwalitatieve veranderingen in gedrag (bv. oscillaties) veroorzaken die een lineaire overdrachtsfunctie niet kan vastleggen.
  • Harmonische generatie: Sinusoïdale inputs produceren outputs die harmonischen bevatten, zodat het concept van een

Ondanks deze obstakels blijft Masons Gain Formula een nuttig conceptueel instrument als we de toepassing ervan op de juiste wijze aanpassen. De sleutel is te erkennen dat hoewel de globale input-output relatie misschien geen eenvoudige overdrachtsfunctie is, lokale benaderingen of speciale input-output mappings nog steeds kunnen profiteren van een pad-loop analyse.

Aanpassing Mason . Formule voor niet-lineaire systemen

Er bestaan verschillende strategieën om Masons regel uit te breiden tot het niet-lineaire domein. Ze variëren van de eenvoudige (lineaire) tot de verfijnde (beschrijf functies, harmonische balans). Geen enkele methode past in alle gevallen, maar elk behoudt het topologische inzicht van de SFG.

Kleine-Signale linearisatie rond een operationeel punt

De meest voorkomende benadering is om lineariseren elke niet-lineaire tak winst rond een gekozen evenwichtspunt (of langs een nominale baan). Dit betekent dat de niet-lineaire functie f(x) als Taylor-reeks wordt uitgebreid en dat alleen de eerste-orde term wordt behouden: f(x0+δx) ≈ f(x0) + f′(x0) δx. De constante term f(x0) kan worden geabsorbeerd in een constante bron of vooroordeel. De incrementele winst f′(x0) wordt de gelineariseerde tak winst voor kleine perturbaties δx.

Zodra alle niet-lineaire takken worden vervangen door hun lineaire winsten (die constanten zijn onder het gekozen bedrijfspunt), is de resulterende SFG LTI voor kleine signalen. Masons regel kan dan worden toegepast om de lokale overdrachtsfunctie te berekenen die kleine storingen rond dat bedrijfspunt relateert. Dit is standaard praktijk in het ontwerp van het besturingssysteem (bijv. voor transistorversterkers, mechanische systemen in de buurt van evenwicht, of chemische processen). De beperking is dat het lineaire model alleen geldig is voor ..kleine .. afwijkingen; hoe groter de niet-lineairheid, hoe smaller het gebied van geldigheid.

Description functie (Quasi-Linearisatie)

Voor systemen waar de niet-lineairheid wordt opgewekt door een sinusoïdale input en de output wordt gedomineerd door de fundamentele harmonische, de -beschrijffunctie] methode geeft een gelijkwaardige complexe winst. Deze winst is afhankelijk van de amplitude van de input sinusoïd (en mogelijk de frequentie). Het niet-lineaire element wordt vervangen door een amplitudeafhankelijke winst N(A, ω) die het best de fundamentele outputcomponent benadert. Bijvoorbeeld, een ideale verzadiging non-lineairheid heeft een beschrijvende functie die echt is en varieert met amplitude: voor kleine inputs is het lineair (gain=1), en voor grote inputs rolt het af als de verzadigingsgrenzen worden getroffen.

In de context van een SFG kan elke niet-lineaire tak worden vervangen door de beschrijvende functie, waardoor de totale grafiek lineair is voor een gegeven amplitude A. Masons regel geeft dan een .Quisi-transfer functie . T(s, A) die afhankelijk is van amplitude. Dit is bijzonder nuttig voor het voorspellen limit cycli: als de loop gain voorwaarde voor oscillion (HU(Jω) . = 1 en .L(jω) = .180°) kan worden voldaan bij sommige › A , dan kan een aanhoudende oscillion bestaan. De beschrijving functie benadering breidt Mason topologische analyse uit tot een bredere klasse van niet-lineaire effecten met behoud van de bekende loop-gain formulering. Het wordt op grote schaal gebruikt in power elektronica, servo aandrijvingen, en lucht-luchtbeheer.

Iteratieve Numerieke Methoden Gebruik van Mason

Wanneer analytische linearisatie te ruw is of functies niet correct zijn, kan men de niet-lineaire SFG numeriek behandelen. De grafiekstructuur (paths, lussen) is nog steeds topologisch geldig, maar de winsten zijn functies. Eén benadering is het schrijven van het systeem van vergelijkingen die door de SFG worden geïmpliceerd (elke knooppunt variabele is gelijk aan de som van binnenkomende takwinsten vermenigvuldigd met de bronnodevariabelen). Omdat de winsten niet-lineaire functies zijn, wordt dit een verzameling van niet-lineaire algebraïsche of differentiaalvergelijkingen. Masonregel kan niet direct worden toegepast, maar de SFG helpt de Jacobian[] voor Newton-Rafsoniteratie bij elke stap te organiseren.

Op een gegeven operationeel punt kan men de lineaire winsten numeriek berekenen (via automatische differentiatie of eindige verschillen) en vervolgens Masons-regel gebruiken om een lokale lineaire benadering te verkrijgen. Dit gebeurt herhaaldelijk naarmate het systeem evolueert. De SFG fungeert als een blauwdruk voor een schaarse matrixstructuur, waardoor de iteratieve oplosmachine efficiënt wordt. Methoden zoals harmonische balans (voor periodieke steady-state) zijn ook afhankelijk van een vergelijkbaar samenspel tussen niet-lineaire branchmodellen en lineaire netwerktopologie, vaak afgeleid van signaalstroomgrafieken.

Stuksgewijze linearisatie

Een andere pragmatische techniek is om de niet-lineaire takwinst als stuksgewijze lineaire functie te benaderen. Voor elke regio (bv. lage amplitude, gemiddelde amplitude, verzadigde regio), is de winst constant. De SFG heeft dan meerdere lineaire regio's, elk met zijn eigen reeks van winsten. Masons regel kan worden toegepast per regio, en het algemene systeemgedrag wordt beschreven door het schakelen tussen deze lineaire modellen gebaseerd op signaalniveaus. Dit is gebruikelijk in modellen van analoge-naar-digitale converters, op-amp verzadiging, en wrijving met stiction.

Praktische toepassingen en voorbeelden

Deze aangepaste methoden zijn niet alleen theoretische nieuwsgierigheid; ze worden dagelijks gebruikt door ingenieurs in verschillende gebieden. De SFG blijft een krachtig visualisatie-instrument, zelfs wanneer het systeem niet lineair is.

Case Study: Niet-lineaire feedback controle met verzadiging

Beschouw een unity-feedback besturingssysteem waarbij de plant lineair is (G(s)), maar de actuator verzadigd. De verzadiging non-lineairheid kan worden gemodelleerd als een tak in de SFG tussen de uitvoer van de controller en de ingang van de installatie. Voor kleine referentiesignalen, de actuator blijft in zijn lineaire bereik, en Mason . regel geeft T(s) = G(s) /(1+G(s)). Voor grotere signalen, de verzadiging effectief vermindert de lus winst. Met behulp van een beschrijvende functie voor verzadiging, kunnen we berekenen de amplitude-afhankelijke overdracht functie en voorspellen wanneer het systeem een limiet cyclus kan vertonen. De SFG geeft een duidelijk beeld: de vooruitgaande pad omvat het verzadigingsblok, en de feedback loop .. effectieve winst veranderingen met amplitude. Deze analyse is standaard in anti-windup ontwerp.

Niet-lineaire sensorlinearisatie in meetsystemen

Een gemeenschappelijk meetsysteem maakt gebruik van een niet-lineaire sensor (bv. een thermometer met een exponentiële weerstands-temperatuurcurve). De sensoruitgang wordt verwerkt door een lineaire versterker en wordt teruggevoerd om een verwarming te bedienen. De totale SFG heeft een niet-lineaire tak die de sensor weergeeft. Door de sensorkarakteristiek rond de gewenste insteltemperatuur te lineariseren, kunnen we Masons-regel gebruiken om de versterkerwinst voor stabiliteit en snelle respons te ontwerpen. Bij grotere temperatuurexcursiesies kan het lineaire model onjuist worden en kan de ingenieur stuksgewijze linearisatie of een kijktabel gebruiken om de nauwkeurigheid te behouden.

Robotgewricht met wrijving en stiction

Robotarmen vertonen aanzienlijke niet-lineairheden als gevolg van wrijving, stictie en gewrichtsflexibiliteit. Een signaalstroomgrafiek van een enkel gewricht kan een koppel ingang, traagheid, demping (lineair) en een niet-lineair wrijvingsmodel (bv. Coulomb + viskeuze + stictie) omvatten. Voor kleine bewegingen rond een setpoint, kan de wrijving worden lineair (gelijkwaardige viskeuze demping). Voor grotere bewegingen of bij het voorspellen van stick-slip, een beschrijvende functie of stuksgewijze lineaire model is nodig. De SFG helpt de lus te identificeren die oscillaties veroorzaakt (de feedback van snelheid door wrijving), en Masons regel (aangepast) kan de amplitude en frequentie van elke limietcyclus inschatten.

Beperkingen en voorzorgsmaatregelen

De hierboven genoemde aanpassingen zijn nuttig, maar de ingenieurs moeten zich bewust zijn van hun beperkingen:

  • Lokale geldigheid: Gelijnde modellen zijn alleen accuraat in de buurt van het operatiepunt. Grote signaalanalyse vereist meer geavanceerde methoden (bijvoorbeeld, beschrijving van functies zijn alleen geldig voor sinusoïdale ingangen en kan subharmonica missen).
  • Geen superpositie: Zodra je een lineaire SFG hebt, kun je de resultaten van verschillende bedrijfspunten lineair niet combineren. Elke analyse moet worden uitgevoerd voor de specifieke bedrijfsconditie.
  • Harmonische inhoud: De beschrijvende functies negeren harmonischen, die in sommige systemen significant kunnen zijn (bijvoorbeeld vermogensomvormers met hogefrequentieschakeling).
  • Topologie ongewijzigd: Niet-lineairheden kunnen soms de grafiektopologie veranderen (bijvoorbeeld een schakelaar die opent of sluit). Masons regel kan tijd-variarende topologie niet direct aan, hoewel stuksgewijze modellen verschillende topologieën kunnen simuleren.
  • Numerische gevoeligheid: Iteratieve methoden die herhaaldelijk lineariseren kunnen gevoelig zijn voor de eerste gok en kunnen samenkomen tot verkeerd evenwicht.

Ondanks deze waarschuwingen blijft Masons Gain Formula een waardevol mentaal kader. Het dwingt de ingenieur om alle signaalpaden en feedback loops in kaart te brengen, verhelder veronderstellingen, en systematisch rekening te houden met interacties, zelfs wanneer de uiteindelijke berekening een computeroplosser vereist.

Conclusie

Masons Gain Formula is inherent een lineair hulpmiddel, maar de toepassing ervan hoeft niet te stoppen op de grens van lineariteit. Door gebruik te maken van kleine-signaallinearisatie, functies te beschrijven, stuksgewijze benaderingen, of iteratieve numerieke methoden, kunnen ingenieurs de structurele inzichten van signaalstroomgrafieken gebruiken om niet-lineaire systemen te analyseren en te ontwerpen. De sleutel is om het concept van .gainzoom naar behoren aan te passen voor de niet-lineaire context, terwijl de topologische helderheid behouden blijft die Masons regel biedt. Of u nu een controlelus ontwerpt met verzadiging, een sensor karakteriseert die niet-lineair is, of een robotverbinding ontbugt, de pad-loop-perspectief die Masons-methode biedt blijft een krachtige bondgenoot. Met deze aanpassingen blijft de formule dienen als brug tussen de elegante wereld van lineaire theorie en de complexe realiteit van niet-lineaire systemen.