Jump to content
Forum Kopalni Wiedzy
Sign in to follow this  
KopalniaWiedzy.pl

MIT chwali się Hornetem

Recommended Posts

Podczas Fifth International Symposium on Networks-on-Chip 2011 specjaliści z MIT-u zdobyli nagrodę za najlepsze opracowanie naukowe symulatora układu scalonego. Ich program Hornet modeluje działanie wielordzeniowego procesora znacznie lepiej niż inne tego typu oprogramowanie. Potrafił znaleźć w oprogramowaniu błędy, których inne symulatory nie zauważyły.

Teraz Hornet został znakomicie udoskonalony i wyposażony w nowe funkcje. Jego nowa wersja potrafi symulować zużycie energii, komunikację między rdzeniami, interakcję pomiędzy CPU a pamięcią oraz obliczyć czas potrzebny na wykonanie poszczególnych zadań.

Symulatory są niezwykle ważne dla firm produkujących układy scalone. Zanim przystąpi się do produkcji kości przeprowadzane są liczne testy ich działania na symulatorach.

Dotychczasowe symulatory przedkładały szybkość pracy nad dokładność. Nowy Hornet pracuje znacznie wolniej niż jego starsze wersje, jednak dzięki temu pozwala na symulowanie 1000-rdzeniowego procesora z dokładnością do pojedynczego cyklu. Hornet jest nam w stanie wyliczyć, że ukończenie konkretnego zadania będzie np. wymagało 1.223.392 cykli - mówi Myong Cho, doktorant z MIT-u.

Przewaga Horneta nad konkurencją polega też na tym, że inne symulatory dobrze oceniają ogólną wydajność układu, mogą jednak pominąć rzadko występujące błędy. Hornet daje większą szansę, że zostaną one wyłapane.

Podczas prezentacji Cho, jego promotor profesor Srini Devadas i inni studenci symulowali na Hornecie sytuację, w której wielordzeniowy procesor korzysta z nowej obiecującej techniki przetwarzania danych pacjentów. Hornet zauważył, że niesie ona ze sobą ryzyko wystąpienia zakleszczenia, czyli sytuacji, w której różne rdzenie, aby zakończyć prowadzone obliczenia, czekają nawzajem na dane od siebie. Powoduje to, że zadania nie mogą być zakończone, gdyż rdzenie nawzajem siebie blokują. Żaden inny symulator nie zasygnalizował tego problemu. Hornet pozwolił też na przetestowanie zaproponowanego przez naukowców sposobu na uniknięcie zakleszczenia.

Zdaniem jego twórców Hornet, ze względu na swoje powolne działanie, posłuży raczej do symulowania pewnych zadań, a nie działania całych aplikacji. Przyda się zatem tam, gdzie zajdzie potrzeba upewnienia się, czy nie występują żadne nieprawidłowości czy też do statystycznego zbadania możliwości wystąpienia błędów.

Share this post


Link to post
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
Sign in to follow this  

  • Similar Content

    • By KopalniaWiedzy.pl
      Na MIT powstały ogniwa fotowoltaiczne cieńsze od ludzkiego włosa, które na kilogram własnej masy wytwarzają 18-krotnie więcej energii niż ogniwa ze szkła i krzemu. Jeśli uda się skalować tę technologię, może mieć do olbrzymi wpływ produkcję energii w wielu krajach. Jak zwraca uwagę profesor Vladimir Bulivić z MIT, w USA są setki tysięcy magazynów o olbrzymiej powierzchni dachów, jednak to lekkie konstrukcje, które nie wytrzymałyby obciążenia współczesnymi ogniwami. Jeśli będziemy mieli lekkie ogniwa, te dachy można by bardzo szybko wykorzystać do produkcji energii, mówi uczony. Jego zdaniem, pewnego dnia będzie można kupić ogniwa w rolce i rozwinąć je na dachu jak dywan.
      Cienkimi ogniwami fotowoltaicznymi można by również pokrywać żagle jednostek pływających, namioty, skrzydła dronów. Będą one szczególnie przydatne w oddalonych od ludzkich siedzib terenach oraz podczas akcji ratunkowych.
      To właśnie duża masa jest jedną z przyczyn ograniczających zastosowanie ogniw fotowoltaicznych. Obecnie istnieją cienkie ogniwa, ale muszą być one montowane na szkle. Dlatego wielu naukowców pracuje nad cienkimi, lekkimi i elastycznymi ogniwami, które można będzie nanosić na dowolną powierzchnię.
      Naukowcy z MIT pokryli plastik warstwą parylenu. To izolujący polimer, chroniący przed wilgocią i korozją chemiczną. Na wierzchu za pomocą tuszów o różnym składzie nałożyli warstwy ogniw słonecznych i grubości 2-3 mikrometrów. W warstwie konwertującej światło w elektryczność wykorzystali organiczny półprzewodnik. Elektrody zbudowali ze srebrnych nanokabli i przewodzącego polimeru. Profesor Bulović mówi, że można by użyć perowskitów, które zapewniają większą wydajność ogniwa, ale ulegają degradacji pod wpływem wilgoci i tlenu. Następnie krawędzie tak przygotowanego ogniwa pomarowano klejem i nałożono na komercyjnie dostępną wytrzymałą tkaninę. Następnie plastik oderwano od tkaniny, a na tkaninie pozostały naniesione ogniwa. Całość waży 0,1 kg/m2, a gęstość mocy tak przygotowanego ogniwa wynosi 370 W/kg. Profesor Bulović zapewnia, że proces produkcji można z łatwością skalować.
      Teraz naukowcy z MIT planują przeprowadzenie intensywnych testów oraz opracowanie warstwy ochronnej, która zapewni pracę ogniw przez lata. Zdaniem uczonego już w tej chwili takie ogniwo mogłoby pracować co najmniej 1 lub 2 lata. Po zastosowaniu warstwy ochronnej wytrzyma 5 do 10 lat.

      « powrót do artykułu
    • By KopalniaWiedzy.pl
      Fizycy z MIT opracowali kwantowy „ściskacz światła”, który redukuje szum kwantowy w laserach o 15%. To pierwszy taki system, który pracuje w temperaturze pokojowej. Dzięki temu możliwe będzie wyprodukowanie niewielkich przenośnych systemów, które będzie można dobudowywać do zestawów eksperymentalnych i przeprowadzać niezwykle precyzyjne pomiary laserowe tam, gdzie szum kwantowy jest obecnie poważnym ograniczeniem.
      Sercem nowego urządzenia jest niewielka wnęka optyczna znajdująca się w komorze próżniowej. We wnęce umieszczono dwa lustra, z których średnia jednego jest mniejsza niż średnica ludzkiego włosa. Większe lustro jest zamontowane na sztywno, mniejsze zaś znajduje się na ruchomym wsporniku przypominającym sprężynę. I to właśnie kształt i budowa tego drugiego, nanomechanicznego, lustra jest kluczem do pracy całości w temperaturze pokojowej. Wpadające do wnęki światło lasera odbija się pomiędzy lustrami. Powoduje ono, że mniejsze z luster, to na wsporniku zaczyna poruszać się w przód i w tył. Dzięki temu naukowcy mogą odpowiednio dobrać właściwości kwantowe promienia wychodzącego z wnęki.
      Światło lasera opuszczające wnękę zostaje ściśnięte, co pozwala na dokonywanie bardziej precyzyjnych pomiarów, które mogą przydać się w obliczeniach kwantowych, kryptologii czy przy wykrywaniu fal grawitacyjnych.
      Najważniejszą cechą tego systemu jest to, że działa on w temperaturze pokojowej, a mimo to wciąż pozwala na dobieranie parametrów z dziedziny mechaniki kwantowej. To całkowicie zmienia reguły gry, gdyż teraz będzie można wykorzystać taki system nie tylko w naszym laboratorium, które posiada wielkie systemy kriogeniczne, ale w laboratoriach na całym świecie, mówi profesor Nergis Mavalvala, dyrektor wydziału fizyki w MIT.
      Lasery emitują uporządkowany strumień fotonów. Jednak w tym uporządkowaniu fotony mają pewną swobodę. Przez to pojawiają się kwantowe fluktuacje, tworzące niepożądany szum. Na przykład liczba fotonów, które w danym momencie docierają do celu, nie jest stała, a zmienia się wokół pewnej średniej w sposób, który jest trudny do przewidzenia. Również czas dotarcia konkretnych fotonów do celu nie jest stały.
      Obie te wartości, liczba fotonów i czas ich dotarcia do celu, decydują o tym, na ile precyzyjne są pomiary dokonywane za pomocą lasera. A z zasady nieoznaczoności Heisenberga wynika, że nie jest możliwe jednoczesne zmierzenie pozycji (czasu) i pędu (liczby) fotonów.
      Naukowcy próbują radzić sobie z tym problemem poprzez tzw. kwantowe ściskanie. To teoretyczne założenie, że niepewność we właściwościach kwantowych lasera można przedstawić za pomocą teoretycznego okręgu. Idealny okrąg reprezentuje równą niepewność w stosunku do obu właściwości (czasu i liczby fotonów). Elipsa, czyli okrąg ściśnięty, oznacza, że dla jednej z właściwości niepewność jest mniejsza, dla drugiej większa.
      Jednym ze sposobów, w jaki naukowcy realizują kwantowe ściskanie są systemy optomechaniczne, które wykorzystują lustra poruszające się pod wpływem światła lasera. Odpowiednio dobierając właściwości takich systemów naukowcy są w stanie ustanowić korelację pomiędzy obiema właściwościami kwantowymi, a co za tym idzie, zmniejszyć niepewność pomiaru i zredukować szum kwantowy.
      Dotychczas optomechaniczne ściskanie wymagało wielkich instalacji i warunków kriogenicznych. Działo się tak, gdyż w temperaturze pokojowej energia termiczna otaczająca system mogła mieć wpływ na jego działanie i wprowadzała szum termiczny, który był silniejszy od szumu kwantowego, jaki próbowano redukować. Dlatego też takie systemy pracowały w temperaturze zaledwie 10 kelwinów (-263,15 stopni Celsjusza). Tam gdzie potrzebna jest kriogenika, nie ma mowy o niewielkim przenośnym systemie. Jeśli bowiem urządzenie może pracować tylko w wielkiej zamrażarce, to nie możesz go z niej wyjąć i uruchomić poza nią, wyjaśnia Mavalvala.
      Dlatego też zespół z MIT pracujący pod kierunkiem Nancy Aggarval, postanowił zbudować system optomechaczniczny z ruchomym lustrem wykonanym z materiałów, które absorbują minimalne ilości energii cieplnej po to, by nie trzeba było takiego systemu chłodzić. Uczeni stworzyli bardzo małe lustro o średnicy 70 mikrometrów. Zbudowano je z naprzemiennie ułożonych warstw arsenku galu i arsenku galowo-aluminowego. Oba te materiały mają wysoce uporządkowaną strukturę atomową, która zapobiega utratom ciepła. Materiały nieuporządkowane łatwo tracą energię, gdyż w ich strukturze znajduje się wiele miejsc, gdzie elektrony mogą się odbijać i zderzać. W bardziej uporządkowanych materiałach jest mniej takich miejsc, wyjaśnia Aggarwal.
      Wspomniane wielowarstwowe lustro zawieszono na wsporniku o długości 55 mikrometrów. Całości nadano taki kształt, by absorbowała jak najmniej energii termicznej. System przetestowano na Louisiana State University. Dzięki niemu naukowcy byli w stanie określić kwantowe fluktuacje liczby fotonów względem czasu ich przybycia do lustra. Pozwoliło im to na zredukowanie szumu o 15% i uzyskanie bardziej precyzyjnego „ściśniętego” promienia.

      « powrót do artykułu
    • By KopalniaWiedzy.pl
      Brytyjscy piloci będą mogli wkrótce skorzystać z prawdopodobnie najdoskonalszego na świecie symulatora samolotu myśliwskiego. Będzie on służył do ćwiczeń lądowania F-35 na pokładzie lotniskowca klasy Queen Elizabeth. To następca obecnie używanych jednostek klasy Invincible. Pierwszy nowy lotniskowiec wejdzie do służby w 2016 roku.
      W BAE Systems powstał tymczasem niemal doskonały symulator. Steve Long, pilot testowy firmy mówi, że wrażenia podczas symulowanego lotu niewiele odbiegają od tych, doznawanych gdy siedzi się za sterami prawdziwego myśliwca. Jego słowa zdaje się potwierdzać redaktor serwisu Geek, który miał okazję korzystać z symulatora, na którym ćwiczą piloci bombowców B2 Stealth. Uważa on, że amerykańskiemu symulatorowi daleko do tego, co powstało w BAE Systems.
      Lądowanie na lotniskowcu to jedno z najtrudniejszych zadań stojących przed pilotami. Podczas wojny w Wietnamie prowadzono na symulatorach badania, które polegały na pomiarze pracy serca pilotów w różnych warunkach. Okazało się, że piloci najbardziej bali się nie sytuacji, w której byli ostrzeliwani z działek czy rakiet. Najbardziej przerażało ich lądowanie w nocy na poruszającym się pokładzie lotniskowca.
       
    • By KopalniaWiedzy.pl
      Studenci najsłynniejszej uczelni technicznej świata - MIT-u (Massachusetts Institute of Technology) - mogą otrzymać od władz uczelni certyfikat ukończenia kursu... piractwa. I nie chodzi tutaj o piractwo komputerowe, a to prawdziwe, morskie.
      Uczelnia postanowiła uczynić oficjalnym zwyczaj, który był praktykowany przez jej studentów przez co najmniej 20 lat. MIT wymaga, by uczący się ukończyli w czasie studiów co najmniej 4 różne kursy wychowania fizycznego. Teraz ci, którzy z powodzeniem ukończą strzelanie z pistoletu, łuku, żeglarstwo i szermierkę otrzymają oficjalny certyfikat
      Carrie Sampson Moore, dziekan wydziału wychowania fizycznego, mówi, że co roku kontaktowali się z nią studenci, prosząc o wydanie zaświadczenia o ukończeniu kursu pirata. Zawsze mówiłam im, że to inicjatywa studencka i byli bardzo rozczarowani - stwierdziła Moore.
      Od początku bieżącego roku postanowiono, że uczelnia zacznie wydawać oficjalne certyfikaty. Drukowane są one na zwoju pergaminu z równą starannością jak inne uczelniane dyplomy. Właśnie otrzymało je czterech pierwszych piratów, a w kolejce czekają następni.
      Mimo, iż cała ta historia może brzmieć niepoważnie, to certyfikat i warunki jego uzyskania są traktowane przez uczelnię całkiem serio. Przyszli piraci nie mogą liczyć na żadną taryfę ulgową, a otrzymanie świadectwa ukończenia kursu wiąże się ze złożeniem przysięgi. Stephanie Holden, która znalazła się w czwórce pierwszych piratów, zdradziła, że musiała przysiąc, iż ucieknie z każdej bitwy, której nie będzie mogła wygrać i wygra każdą bitwę, z której nie będzie mogła uciec.
    • By KopalniaWiedzy.pl
      Jak dowiadujemy się z książki Case, Argument Structure and Word Order autorstwa profesora Shigeru Miyagawy, lingwisty z MIT-u, języki są znacznie bardziej podobne, niż się nam wydaje.

      W języku angielskim znalezienie dopełnienia bliższego jest stosunkowo proste. Występuje ono zaraz przy czasowniku. W zdaniu „I gave a book to Mary“ (Dałem książkę Marysi) dopełnienie bliższe „book“ znajdziemy przy czasowniku „gave“, a dopełnienie dalsze „Mary“ jest od niego oddalone. Inaczej jednak ma się sprawa z językiem japońskim, którego szyk jest znacznie bardziej luźny. Tam dopełnienie bliższe oznaczone jest przyrostkiem -o. W zdaniu „Taroo-wa hon-o kinoo katta“ porządek wyrazów jest następujący - „Taro książkę wczoraj kupił“. „Książka“ (hon-o) jest dopełnieniem bliższym, jednak nie sąsiaduje ono z wyrazem „kupił“ (katta).

      Dla kogoś uczącego się języka, szczególnie gdy w jego rodzinnym języku szyk zdania jest bardziej sztywny niż w japońskim, może być to poważnym problemem. Japoński i angielski wydają się bardzo różnić od siebie. Jednak profesor Miyagawa dowodzi, że z punktu widzenia lingwisty różnice nie są aż tak wielkie.

      Mamy do czynienia z interesującym napięciem pomiędzy różnicami a podobieństwami. Ludzkie języki są zadziwiająco różne. Każdy z nich ma unikalne właściwości odróżniające go od 6500 czy 7000 innych języków. Jeśli jednak spojrzymy na nie z punktu widzenia lingwisty zauważymy, że istnieją właściwości wspólne wszystkim językom.

      Uczony wykazuje w swojej książce, że pomiędzy angielskim a japońskim następuje rodzaj pewnej wymiany. Japoński i angielski przyjmują reguły, które drugi język porzucił. Miyagawa zauważył, że w VIII i IX wieku w japońszczyźnie przyrostek -o nie był używany na oznaczenie dopełnienia bliższego. Używano go do oznaczania emfazy. W tym samym czasie język angielski używał znaków gramatycznych (takich jak obecny dopełniacz saksoński) na oznaczenie dopełnienia bliższego występującego w bierniku. Ponadto szyk zdania był znacznie bardziej luźny niż we współczesnym angielskim. Dopełnienie bliższe mogło pojawić się w wielu miejscach zdania.

      Patrząc z punktu widzenia gramatyki stary japoński jest jak współczesny angielski. A stary angielski i łacina są jak współczesny japoński, stwierdza Miyagawa. Do takiej „wymiany zasad“ pomiędzy japońskim a angielskim dochodziło, gdy języki te nie miały ze sobą żadnej styczności, zatem nie można zjawiska tego tłumaczyć wzajemnym wpływem.

      Znalezienie takich wzorców jest bardzo trudne. Wiele z nich wymaga bowiem szczegółowych wieloletnich badań. Profesor Miyagawa zawarł w książce wyniki swojej 30-letniej pracy naukowej oraz przegląd prac innych autorów. Jego spostrzeżenia zostały wzmocnione niedawno opublikowaną pracą Yuko Yanagidy z Tsukuba University. Również ona zauważyła, że w starym japońskim występuje sposób oznaczania dopełnienia bliższego, który jest podobny do metody używanej czasem we współczesnym angielskim. W jednej z fraz występuje bowiem połączenie dopełnienia bliższego i czasownika „tuki-sirohu“, co przypomina np. współczesne angielskie „bird-watching“, a podobną konstrukcję można znaleźć w języku Czukczów „qaa-tym-ge“..

      Szczególnie zadowoleni z książki Miyagawy są lingwiści badający ewolucję języków. Niezbyt wiele języków zachowało historyczne zapiski i tylko niektóre z nich przydają się do badania zmian. Większość takich jeżyków to języki indoeuropejskie. Dobrze przeprowadzona analiza zmian w języku japońskim jest zatem niezwykle cenna - powiedział David Lightfood z Georgetown University.

      Miyagawa zauważył też inne podobieństwa. Na przykład w języku japońskim występuje, podobnie jak i w angielskim tzw. „efekt blokujący“. Polega on na tym, że np. w angielskim można zastąpić wyraz „curious“ wyrazem „curiosity“, ale nie można zastąpić wyrazu „glorious“ słowem „gloriosity“. Dzieje się tak, gdyż istnieje wyraz „glory“. W japońskim efekt blokujący występuje na bardzo szeroką skalę. Nikt jednak nie przeprowadził wcześniej takiego porównania - mówi Miyagawa.

      Pracę profesora chwali też John Whitman z Cornell University. Lingwiści mają tendencję do myślenia, że ich własny język zawsze stosował się do tych samych podstawowych reguł. Ale Shigeru Miyagawa wykazał, że japoński sprzed 1000 lat był różny od współczesnego języka - mówi. Jego zdaniem kolejnym krokiem w tego typu badaniach powinno być podzielenie badanych okresów na mniejsze części. Miyagawa pokazał zmiany na przestrzeni setek lat. Warto byłoby zobaczyć, jak zmienia się język np. co 50 lat.
       
  • Recently Browsing   0 members

    No registered users viewing this page.

×
×
  • Create New...