Zintegrowana teoria autyzmu Obliczenia płynowe w modelo

Podobne dokumenty
Elektrotechnika I stopień Ogólno akademicki. Przedmiot kierunkowy. Obowiązkowy Polski VI semestr zimowy

E-E-A-1008-s5 Komputerowa Symulacja Układów Nazwa modułu. Dynamicznych. Elektrotechnika I stopień Ogólno akademicki. Przedmiot kierunkowy

Bezpieczeństwo informacji oparte o kryptografię kwantową

Kierunek: Matematyka w technice

Mechatronika i inteligentne systemy produkcyjne. Modelowanie systemów mechatronicznych Platformy przetwarzania danych

Uniwersytet Zielonogórski Wydział Elektrotechniki, Informatyki i Telekomunikacji Instytut Sterowania i Systemów Informatycznych

ECTS Razem 30 Godz. 330

Bezpieczeństwo informacji oparte o kryptografię kwantową

Algorytmy sztucznej inteligencji

3-letnie (6-semestralne) stacjonarne studia licencjackie kier. matematyka stosowana profil: ogólnoakademicki. Semestr 1. Przedmioty wspólne

Uniwersytet Śląski w Katowicach WYDZIAŁ MATEMATYKI, FIZYKI I CHEMII. Kierunek Matematyka. Studia stacjonarne i niestacjonarne I i II stopnia

Kierunek: Matematyka Poziom studiów: Studia II stopnia Forma i tryb studiów: Stacjonarne

KARTA MODUŁU KSZTAŁCENIA

Teraz bajty. Informatyka dla szkół ponadpodstawowych. Zakres rozszerzony. Część 1.

Laboratorium przez Internet w modelu studiów inżynierskich

Podsumowanie wyników ankiety

Politechnika Białostocka Wydział Elektryczny Katedra Automatyki i Elektroniki

Tematy prac dyplomowych w Katedrze Awioniki i Sterowania Studia I stopnia (inżynierskie)

Budowa uniwersalnej architektury dla Laboratorium Wirtualnego

Tematy prac dyplomowych w Katedrze Awioniki i Sterowania. Studia: I stopnia (inżynierskie)

Modelowanie jako sposób opisu rzeczywistości. Katedra Mikroelektroniki i Technik Informatycznych Politechnika Łódzka

Cyfronet w CTA. Andrzej Oziębło DKDM

Informatyka I stopień (I stopień / II stopień) Ogólnoakademicki (ogólno akademicki / praktyczny)

Sztuczne sieci neuronowe

Liczba godzin Punkty ECTS Sposób zaliczenia. ćwiczenia 16 zaliczenie z oceną

ĆWICZENIE 6 Transmitancje operatorowe, charakterystyki częstotliwościowe układów aktywnych pierwszego, drugiego i wyższych rzędów

Instytut Technologii Informatycznych w Inżynierii Lądowej (L-5) powstał w roku 2006 z połączenia Instytutu Metod Komputerowych w Inżynierii Lądowej

Modelowanie rynków finansowych z wykorzystaniem pakietu R

Elektrotechnika II stopień ogólnoakademicki. stacjonarne. przedmiot specjalnościowy. obowiązkowy polski semestr II semestr letni. tak. Laborat. 30 g.

Laboratorium MATLA. Ćwiczenie 6 i 7. Mała aplikacja z GUI

Ćwiczenie: "Obwody prądu sinusoidalnego jednofazowego"

Informatyka I stopień (I stopień / II stopień) Ogólnoakademicki (ogólno akademicki / praktyczny)

Katarzyna Jesionek Zastosowanie symulacji dynamiki cieczy oraz ośrodków sprężystych w symulatorach operacji chirurgicznych.

przedmiot kierunkowy (podstawowy / kierunkowy / inny HES) obieralny (obowiązkowy / nieobowiązkowy) polski semestr VI

Właściwości dynamiczne kolektora słonecznego a efektywność instalacji grzewczej

Podstawy metodologiczne symulacji

Tematy prac dyplomowych w Katedrze Awioniki i Sterowania. Studia: II stopnia (magisterskie)

II. MODUŁY KSZTAŁCENIA

Modelowanie matematyczne a eksperyment

Uniwersytet Śląski w Katowicach WYDZIAŁ MATEMATYKI, FIZYKI I CHEMII. Kierunek Matematyka. Studia stacjonarne i niestacjonarne I i II stopnia

KARTA MODUŁU KSZTAŁCENIA

Podstawy Informatyki Computer basics

Tomasz Pawlak. Zastosowania Metod Inteligencji Obliczeniowej

Uniwersytet Śląski. Wydział Informatyki i Nauki o Materiałach PROGRAM KSZTAŁCENIA. Studia III stopnia (doktoranckie) kierunek Informatyka

Procedura modelowania matematycznego

Kierunek: Informatyka Poziom studiów: Studia I stopnia Forma i tryb studiów: Stacjonarne. Wykład Ćwiczenia

Metody systemowe i decyzyjne w informatyce

Wstęp do sieci neuronowych, wykład 03 Warstwy RBF, jednostka Adaline.

PRZEWODNIK PO PRZEDMIOCIE

GMWØJCIK Publications

Efektywność algorytmów

PROJEKT INŻYNIERSKI I

Modele Obliczeń. Wykład 1 - Wprowadzenie. Marcin Szczuka. Instytut Matematyki, Uniwersytet Warszawski

Podstawy elektroniki i miernictwa

O ALGORYTMACH I MASZYNACH TURINGA

Laboratorium LAB1. Moduł małej energetyki wiatrowej

Informatyka I stopień (I stopień / II stopień) Ogólnoakademicki (ogólno akademicki / praktyczny) kierunkowy (podstawowy / kierunkowy / inny HES)

Politechnika Gdańska Wydział Elektrotechniki i Automatyki Katedra Inżynierii Systemów Sterowania. Podstawy Automatyki

Najprostszy schemat blokowy

LABORATORIUM WIRTUALNE W DYDAKTYCE I BADANIACH NAUKOWYCH

Projekt efizyka. Multimedialne środowisko nauczania fizyki dla szkół ponadgimnazjalnych. Zjawisko Halla. Ćwiczenie wirtualne

Naukowe Koło Nowoczesnych Technologii

Laboratorium KOMPUTEROWE PROJEKTOWANIE UKŁADÓW

Sieć przesyłająca żetony CP (counter propagation)

Skalowalna Platforma dla eksperymentów dużej skali typu Data Farming z wykorzystaniem środowisk organizacyjnie rozproszonych

WYZNACZANIE NIEPEWNOŚCI POMIARU METODAMI SYMULACYJNYMI

PLAN STUDIÓW STACJONARNYCH PIERWSZEGO STOPNIA

Metoda cyfrowej korelacji obrazu w badaniach geosyntetyków i innych materiałów drogowych

KARTA KURSU. Grafika komputerowa

P R Z E T W A R Z A N I E S Y G N A Ł Ó W B I O M E T R Y C Z N Y C H

Politechnika Wrocławska, Wydział Informatyki i Zarządzania. Modelowanie

PLAN STUDIÓW STACJONARNYCH PIERWSZEGO STOPNIA MATEMATYKA. od roku akademickiego 2013/2014 (ze zmianami zatw. 2 VII 2014)

kierunkowy (podstawowy / kierunkowy / inny HES) nieobowiązkowy (obowiązkowy / nieobowiązkowy) język polski III semestr letni (semestr zimowy / letni)

System wspomagania harmonogramowania przedsięwzięć budowlanych

Liczba godzin w semestrze II r o k. Nazwa modułu. PLAN STUDIÓW (poziom studiów) I STOPNIA studia (forma studiów) stacjonarne

Wstęp do sieci neuronowych, wykład 8 Uczenie nienadzorowane.

HAŁASU Z UWZGLĘDNIENIEM ZJAWISK O CHARAKTERZE NIELINIOWYM

PRZEWODNIK PO PRZEDMIOCIE

Infrastruktura PLGrid Nowa jakość usług informatycznych w służbie nauki

Kierunek: Matematyka Poziom studiów: Studia II stopnia Forma i tryb studiów: Stacjonarne

PRZEWODNIK PO PRZEDMIOCIE

Automatyka i Robotyka studia stacjonarne drugiego stopnia

PLAN STUDIÓW STACJONARNYCH PIERWSZEGO STOPNIA MATEMATYKA. od roku akademickiego 2015/2016

Pakiety Informatyczne w Mechanice i Budowie Maszyn

KARTA MODUŁU KSZTAŁCENIA

Repetytorium z matematyki 3,0 1,0 3,0 3,0. Analiza matematyczna 1 4,0 2,0 4,0 2,0. Analiza matematyczna 2 6,0 2,0 6,0 2,0

Laboratorum 2 Badanie filtru dolnoprzepustowego P O P R A W A

WSKAŹNIKI ILOŚCIOWE - Punkty ECTS w ramach zajęć: Efekty kształcenia. Wiedza Umiejętności Kompetencje społeczne (symbole) MK_1. Analiza matematyczna

Stochastic modelling of phase transformations using HPC infrastructure

Zaprojektowanie i zbadanie dyskryminatora amplitudy impulsów i generatora impulsów prostokątnych (inaczej multiwibrator astabilny).

Spis treści. Od autorów / 9

Kierunek: Informatyka Poziom studiów: Studia I stopnia Forma i tryb studiów: Stacjonarne. Wykład Ćwiczenia

Inżynieria Bezpieczeństwa I stopień (I stopień / II stopień) ogólnoakademicki (ogólnoakademicki / praktyczny)

Wstęp do teorii sztucznej inteligencji Wykład III. Modele sieci neuronowych.

MATEMATYCZNE METODY WSPOMAGANIA PROCESÓW DECYZYJNYCH

Rys. 1. Wzmacniacz odwracający

Kierunek: Informatyka Poziom studiów: Studia I stopnia Forma studiów: Stacjonarne. audytoryjne. Wykład Ćwiczenia

Szkoła programisty PLC : sterowniki przemysłowe / Gilewski Tomasz. Gliwice, cop Spis treści

Współczesne modele oprogramowania

Transkrypt:

Zintegrowana teoria autyzmu Instytut Informatyki Uniwersytet Marii Curie-Skłodowskiej w Lublinie gmwojcik@gmail.com, Google: gmwojcik INCF 2011 Warszawa, 16 grudnia 2011

1 Spektrum autyzmu - zintegrowana teoria 2

Spektrum autyzmu - zintegrowana teoria Grant realizowany z UMK w Toruniu, pod kierownictwem prof. dr. hab. Włodzisława Ducha.

Model Posnera przenoszenie uwagi Rysunek: Schemat sieci

Model Posnera przenoszenie uwagi 450 400 350 INVALID dla V1(1,12) NEUTRAL dla V1(1) VALID dla V1(1,8) Difference N-V Difference I-N 300 250 t [ms] 200 150 100 50 0-50 80 100 120 140 160 180 200 220 240 260 f [Hz] Rysunek: Czasy reakcji modelu Posnera w zależności od pobudzenia

Model wizualnego rozpoznawania obiektów Rysunek: Schemat sieci

Atraktory w warstwie semantycznej Fuzzy Symbolic Dynamics 500 Fuzzy Symbolic Dynamics 500 Activation in Semantics layer [dyslex.proj] 500 450 450 450 0.47 400 0.47 400 0.47 400 G 3 : µ = [0.37,...,0.41], σ = 2 0.46 0.45 0.44 0.43 0.42 0.46 0.45 0.44 G 2 : µ = [0.8,...,0.12], σ = 2 0.43 0.43 350 300 250 200 150 100 0.46 0.45 50 0.44 0 G : µ = [0.07,...,0.81], σ = 2 1 G 3 : µ = [0.37,...,0.41], σ = 2 0.46 0.45 0.44 0.43 0.42 0.46 0.45 0.44 G 2 : µ = [0.8,...,0.12], σ = 2 0.43 0.43 350 300 250 200 150 100 0.46 0.45 50 0.44 0 G : µ = [0.07,...,0.81], σ = 2 1 G 3 : µ = [0.37,...,0.41], σ = 2 0.46 0.45 0.44 0.43 0.42 0.46 0.45 0.44 G 2 : µ = [0.8,...,0.12], σ = 2 0.43 0.43 350 300 250 200 150 100 0.46 50 0.45 0.44 0 G : µ = [0.07,...,0.81], σ = 2 1 Rysunek: Obrazy uzyskane techniką FSD w modelu czytania

Maszyna płynowa LSM Liquid State Machine, Wolfgang Maass 2002 Rysunek: Schemat maszyny LSM X M (t) = (L M u)(t) (1) y(t) = f M (X M (t)) (2)

Teoria obliczeń płynowych W. Maass, T. Natschlaeger, and H. Markram, Real-time computing without stable states: A new framework for neural computation based on perturbations, Neural Computation, vol. 14, no. 11, pp. 2531 2560, 2002.

Teoria obliczeń płynowych Stan X M (t) = (L M u)(t) jest wynikiem działania operatora L M na sygnał wejściowy u(t). W neuronaukach często takie operatory nazywa się filtrami. Formalnie taki operator rzutuje przestrzeń U n na (R R ) k, gdzie R R jest zbiorem rzeczywistych funkcji czasu, (R R ) k jest zbiorem wektorów zawierających k takich funkcji, natomiast U jest pewnym podzbiorem R R, a U n zbiorem wektorów zawierających n funkcji czasu w U.

Teoria obliczeń płynowych Maszyny LSM posiadają dwie podstawowe, abstrakcyjne własności: separacji (wzorców przez płyn) i aproksymacji (stanów płynu przez warstwę odczytującą). Pod warunkiem, że płyn posiada wystarczającą zdolność separacji (rozdzielczość), a warstwa odczytująca wystarczającą zdolność aproksymacji, istnieje matematyczny dowód (zbudowany w oparciu o twierdzenie aproksymacyjne Stone a-weierstrassa) potwierdzający uniwersalną moc obliczeniową maszyn LSM, niezależną ani od ich specyficznej struktury ani od implementacji.

Zdolność separacji wzorców Najprostszą metodą badania różnicy stanów jest pomiar odległości euklidesowej zaburzonych kolumn w poszczególnych krokach czasowych symulacji. Formalnie zapisuje się to w postaci równania: Xu M, (t) XM v (t) (3) gdzie X M u (t) i X M v (t) oznaczają stany płynu neuronalnego w czasie t dla strumieni wejściowych u i v.

Wpływ parametrów elektrycznych 30 25 T=100 ms T=120 ms T=150 ms T=200 ms T=300 ms T=400 ms T=500 ms 20 d(u,v) 15 10 5 0 3 3.5 4 4.5 5 5.5 6 6.5 7 τ [ms] Rysunek: Zdolność separacji zależna od stałej czasowej τ

Liczba lawin potencjału czynnościowego 10000 p x = 0.01 p x = 0.80 1000 D(s) 100 10 1 10 100 1000 s Rysunek: Nachylenie krzywej SOC dla N s = 6 i różnych wartości prawdopodobieństwa p x

Spektrum autyzmu - zintegrowana teoria Zjawiska nieliniowe w modelu 2k 300 250 200 dv/dt [V/s] 150 100 50 0-50 -100-0.1-0.08-0.06-0.04-0.02 0 0.02 0.04 V [V] Rysunek: Przestrzeń fazowa Poincarégo potencjału błony komórkowej neuronu N25,22, Ns = 1

Spektrum autyzmu - zintegrowana teoria Zjawiska nieliniowe w modelu 2k 300 250 200 dv/dt [V/s] 150 100 50 0-50 -100-0.08-0.06-0.04-0.02 0 0.02 0.04 V [V] Rysunek: Przestrzeń fazowa Poincarégo potencjału błony komórkowej neuronu N25,22, Ns = 12

Nowe narzędzie modelowania NESSIE NEuroinformatic System for Science, Industry and Education NESSIE www.nessie.edu.pl

Klaster Lomond Rysunek: Klaster Lomond z serwerem Luna

Założenia systemu Tworząc koncepcję NESSIE, poczyniłem pewne założenia dotyczące jego podstawowych funkcjonalności: Wirtualne laboratorium Na początku system powinien umożliwić potencjalnym użytkownikom przeprowadzenie kilkunastu typów eksperymentów komputerowych z wykorzystaniem symulatorów GENESIS i PCSIM. Eksperymenty powinny dawać możliwość ustawiania podstawowych parametrów przez użytkownika. Eksperymenty powinny pozwolić na symulację modeli maszyn neuronalnych LSM i badanie zjawisk samoorganizującej się krytyczności.

Założenia systemu Wieloplatformowość Kompletna obsługa systemu powinna być zapewniona przez przeglądarkę internetową. Strona uruchamiania symulacji portalu powinna wyglądać zawsze tak samo, niezależnie od wyboru systemu operacyjnego i używanej przeglądarki. Modularność system NESSIE powinien składać się z konkretnych modułów i oferować możliwość rozbudowy o nowe moduły.

Założenia systemu Zastosowanie w edukacji system powinien umożliwić przeprowadzenie zajęć ze studentami, podczas których będą mogli zapoznać się z podstawami neuroobliczeń. Zastosowanie w nauce system powinien umożliwić uruchamianie zewnętrznych skryptów dostarczanych przez inne grupy badawcze. Zastosowanie w przemyśle system powinien dać możliwość zaprojektowania potencjalnych zastosowań teorii LSM w przemyśle i biznesie.

Założenia systemu Społeczność w systemie powinno znaleźć się forum NESSIE, wokół którego wykształci się społeczność użytkowników. Ideologia Korzystanie z NESSIE w celach niekomercyjnych powinno zawsze pozostać nieodpłatne. Skrypty i modele udostępnione w ramach NESSIE, jak również stanowiące otoczkę systemu oprogramowanie powinno być zgodne z duchem licencji GNU/GPL.

Struktura systemu Koncepcja aplikacji Ubuntu LAMP Server

Strona główna NESSIE Rysunek: Strona główna systemu NESSIE

My Lab Rysunek: Tabela nadzoru symulacji w My Lab

Książki