You are here: Startseite -  Canada Goose Mantel Frequency Division Multiplexing in der physikalischen

Canada Goose Mantel Frequency Division Multiplexing in der physikalischen

Canada Goose Mantel

IEEE 802.11 ist eine weit verbreitete Technologie, die Kräfte viele der digitalen drahtlosen Kommunikation Revolutionen gerade statt. Es verwendet OFDM (Orthogonal Frequency Division Multiplexing) in der physikalischen Schicht, die ein effizienter Weg, um mit Mehrwegeumzugehen, ist, gut für relativ langsam zeitlich variierenden Kanälen und robust gegen schmalbandige Störungen. In diesem Papier haben wir formal festlegen und überprüfen Sie Canada Goose Sale Outlet eine Implementierung des Standards IEEE 802.11 Physical Layer basiert OFDM-Modem mit dem HOL (Logik höherer Ordnung) Theorembeweiser. Der vielseitige Ausdruckskraft der HOL half uns modellieren die Original-Design auf allen Abstraktionsebenen ausgehend von einer Floating-Point-Modell auf die Festkomma-Design und dann synthetisiert und in FPGA-Technologie implementiert. Es ist uns gelungen, einen Fehler in einem der Blöcke des Designs finden, die für die Modulation zuständig ist das Umsetzung lenkt von der Konstellation in der IEEE-Standard-Spezifikation zur Verfügung gestellt. Das Papier stammt auch neue Ausdrücke für die während der ideale Echtangesammelt, um Floating-Point-und Festnetz-Punkt-Übergänge an Canada Goose Mantel der algorithmischen Ebene Rundungsfehler und führt eine formale Fehleranalyse für das OFDM-Modem HOL.
0 Kommentare


Sprechen Sie Ihre Meinung