Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets
180,22 zł
Opis produktu
Christoph Brandau entwirft und verifiziert digitale Schaltungen unter der Verwendung von Petri-Netzen. Die Generierung einer Hardwarebeschreibung erfolgt dabei durch eine neu eingeführte Transformation des gesamten Petri-Netz-Modells. Die Hauptbestandteile der Studie sind die Definition der Digital Circuit Petri Nets inklusive der Beschreibung von Ein- und Ausgängen, die Einführung von Subnetzen zur Unterteilung und Wiederverwendung von modellierten Netzen und eine Beschreibung des gesamten formalisierten Transformationsprozesses von der Modellierung bis zur endgültigen Hardwarebeschreibung. Die Aufteilung in Schritte und Strategien ermöglicht eine Erweiterung des Prozesses. Des Weiteren erläutert der Autor das Tool Logical PetriNet, in dem der gesamte Ablauf der Schaltungsgenerierung abgebildet ist und zusätzliche Funktionen zur Validierung des Prozesses implementiert sind. Der Autor: Christoph Brandau studierte Informationstechnologie an der Bergischen Universität Wuppertal. Er ist wissenschaftlicher Mitarbeiter am Lehrstuhl für Automatisierungstechnik/Informatik, wo er auch promovierte. Er hält außerdem die Vorlesung über Grundzüge der Informatik, Programmierung in C.
Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets
Christoph Brandau entwirft und verifiziert digitale Schaltungen unter der Verwendung von Petri-Netzen. Die Generierung einer Hardwarebeschreibung erfolgt dabei durch eine neu eingeführte Transformation des gesamten Petri-Netz-Modells. Die Hauptbestandteile der Studie sind die Definition der Digital Circuit Petri Nets inklusive der Beschreibung von Ein- und Ausgängen, die Einführung von Subnetzen zur Unterteilung und Wiederverwendung von modellierten Netzen und eine Beschreibung des gesamten formalisierten Transformationsprozesses von der Modellierung bis zur endgültigen Hardwarebeschreibung. Die Aufteilung in Schritte und Strategien ermöglicht eine Erweiterung des Prozesses. Des Weiteren erläutert der Autor das Tool Logical PetriNet, in dem der gesamte Ablauf der Schaltungsgenerierung abgebildet ist und zusätzliche Funktionen zur Validierung des Prozesses implementiert sind. Der Autor: Christoph Brandau studierte Informationstechnologie an der Bergischen Universität Wuppertal. Er ist wissenschaftlicher Mitarbeiter am Lehrstuhl für Automatisierungstechnik/Informatik, wo er auch promovierte. Er hält außerdem die Vorlesung über Grundzüge der Informatik, Programmierung in C.
Dostawa, zwroty i zwroty
Dostawa
Sprzedawcy oferują szereg opcji dostawy, dzięki czemu możesz wybrać tę, która jest dla Ciebie najbardziej dogodna. Wielu sprzedawców oferuje bezpłatną dostawę. Zawsze możesz znaleźć koszt wysyłki i szacowaną datę dostawy na liście sprzedawcy. Podczas realizacji transakcji zobaczysz pełną listę opcji dostawy. Mogą to być: dostawa ekspresowa, dostawa standardowa, dostawa ekonomiczna, Click & Collect, bezpłatny odbiór lokalny od sprzedawcy.
Zwroty
Opcje zwrotu produktu różnią się w zależności od tego, co chcesz zwrócić, dlaczego chcesz go zwrócić, a także polityki zwrotu sprzedawcy. Jeśli produkt jest uszkodzony lub nie pasuje do opisu aukcji, możesz go zwrócić, nawet jeśli polityka zwrotów sprzedawcy mówi, że nie przyjmuje zwrotów. Jeśli zmieniłeś zdanie i nie chcesz już produktu, nadal możesz poprosić o zwrot, ale sprzedawca nie musi go akceptować. Jeśli kupujący zmieni zdanie na temat zakupu i chce zwrócić przedmiot, może być konieczne opłacenie kosztów wysyłki zwrotnej, w zależności od polityki zwrotów sprzedającego. Sprzedawcy mogą podać kupującemu adres zwrotny i dodatkowe informacje o przesyłce zwrotnej. Sprzedawcy płacą za przesyłkę zwrotną, jeśli występuje problem z produktem. Na przykład, jeśli element nie pasuje do opisu aukcji, jest uszkodzony, wadliwy lub podrobiony. Zgodnie z prawem klienci w Unii Europejskiej mają również prawo do anulowania zakupu przedmiotu w ciągu 14 dni od daty otrzymania lub otrzymania przez osobę trzecią wskazaną przez Ciebie (inną niż przewoźnik) ostatniego zamówionego przez Ciebie towaru (jeśli dostarczane osobno). Dotyczy to wszystkich produktów z wyjątkiem produktów cyfrowych (np. Muzyka cyfrowa), które są natychmiast dostarczane za potwierdzeniem użytkownika, oraz innych produktów, takich jak wideo, DVD, audio, gry wideo, produkty związane z seksem i zmysłowością oraz produkty programowe, w których produkt został niezamknięty.
Zwroty
Sprzedawcy muszą zaoferować zwrot pieniędzy za niektóre przedmioty, tylko jeśli są wadliwe, takie jak: artykuły spersonalizowane i przedmioty na zamówienie, artykuły łatwo psujące się, gazety i czasopisma, nieopakowane płyty DVD i oprogramowanie komputerowe. Jeśli wykorzystałeś saldo PayPal lub konto bankowe do sfinansowania oryginalnej płatności, zwrócone pieniądze wrócą do salda konta PayPal. Jeśli użyłeś karty kredytowej lub debetowej do sfinansowania oryginalnej płatności, zwrócone pieniądze wrócą na twoją kartę. Sprzedawca dokona zwrotu w ciągu trzech dni roboczych, ale przetworzenie przelewu może potrwać do 30 dni. W przypadku płatności finansowanych częściowo z karty, a częściowo z salda / banku, pieniądze pobrane z karty zostaną zwrócone na kartę, a pozostała część powróci do salda PayPal.