El- og informationsteknologi

Denne bog er dedikeret til at skrive pseudokoder, der er blevet testet ved hjælp af matlab-programmeringssproget. Disse pseudokoder er universelle og vil blive implementeret i andre programmeringssprog. Bogen starter med præsentationen af ​​elementære algoritmer, dækker lineær algebra og matrixbaserede lineære optimeringsalgoritmer. Målet med denne bog er at undervise i algoritmer ved at give deres standardbeskrivelse og give et matematisk mål på forskningsfeltet dynamisk partiel gendannelse (DPR) og FPGA-implementering af algoritmer. Vi starter denne bog med simple algoritmer og ender med...

Denne bog præsenterer nye teknikker, der tillader automatisk verifikation og generering af abstrakte beviser i menneskelig stil. Kernen i denne tilgang bygger en effektiv calculus, der virker direkte ved at anvende definitioner, sætninger og aksiomer, som reducerer størrelsen af ​​det underliggende bevisobjekt med en faktor på 10. Kalkylen er udvidet med det dybe inferensparadigme, som tillader anvendelsen af slutningsregler i vilkårlig dybde inde i logiske udtryk og giver nye beviser, der er eksponentielt kortere og ikke tilgængelige i sekventielregningen uden...

Dette arbejde overvejer simulering af forblandet forbrænding med hensyn til anvendelse i stationære gasturbiner og fremtidige flymotorer. Med hensyn til reduktionen af ​​forurenende stoffer af nuværende enheder såvel som komplementære teknologier i forbindelse med vedvarende energi, er forblandede flammer af stigende betydning, men udviser reducerede stabilitetsegenskaber sammenlignet med konventionelle ikke-forblandede systemer. Simuleringen kan herom give et detaljeret indblik i de fysiske mekanismer for videnskabelig forskning samt hjælp til design af brændere i et industrielt miljø. Men på grund af processens...

I dag fungerer batterier som strømforsyning til næsten alle elektroniske enheder, som folk bærer rundt på eller installerer på steder, der ikke har adgang til lysnettet. Jo længere et batteridrevet system kan fungere uden behov for genopladning eller batteriudskiftning, jo mere vil vedligeholdelsesomkostningerne og antallet af fejl på grund af utilstrækkelig strømforsyning falde. Dette arbejde tager hensyn til flere uafhængige softwareopgaver, der er tildelt den samme processor. Opgaverne formodes at have hårde deadlines og skal planlægges tidligst deadline først (EDF)....

Denne bog studerer metoder til at forbedre både datahastigheder og effekteffektiviteter for analoge frontends til højhastigheds optiske kommunikationssystemer. Ydeevnemål for højhastighedsbredbåndskredsløb og effektiviteten af ​​frekvenskompensationsmetoder evalueres. Strømeffektiv hastighedsforøgelse såsom induktiv peaking, feedback og negative Miller-kapacitanser samt metoden til induktiv bredbåndsudgangsmatchning analyseres i detaljer. Nye metoder til design af strømeffektive højhastigheds bredbåndsforstærkere er udviklet. Kredsløbsdesigneksempler beregnet til brug i 40 GBit/s til 80 GBit/s optiske kommunikationssystemer med kort rækkevidde ved 850 nm bølgelængde demonstrerer effektiviteten af ​​de præsenterede metoder. Detaljer Titel:...