CampusWiki - Gebruikersbijdragen [nl]

Gate

2009-01-25T12:56:08Z

MCKolkman:

Om de ontwikkeling van onderzoeken naar het nut en de mogelijkheden van simulatietrainingen te stimuleren heeft het ministerie van OC&W het GATE-project opgestart. Het kabinet stelt 10 miljoen euro beschikbaar, bovenop de 9 miljoen eigen inbreng van de deelnemende instellingen.

Het GATE-programma wordt uitgevoerd door acht partijen:
*Universiteit Utrecht (penvoerder)
* TNO
* Hogeschool voor de Kunsten Utrecht
* Universiteit Twente
* Technische Universiteit Delft
* Nederland Breedbandland
* Waag Society
* Thales

Daarnaast nemen nog een heleboel kleinere bedrijven deel aan dit project.

==Doel==
Dit wordt gedaan om Nederlandse bedrijven een voorsprong te geven, aangezien zij verder kunnen bouwen op de resultaten van de vele onderzoeken binnen het GATE-project, zodat Nederland een voorloper wordt voor de rest van de wereld binnen gaming, maar dus vooral de mogelijkheden van simulatie. Dit zorgt er dan weer voor dat bedrijven uit het buitenland naar Nederland komen voor producten en diensten, wat de Nederlandse economie goed zal doen en men hoopt dat de mensen in verschillende sectoren, zoals onderwijs, gezondheid en veiligheid worden overtuigd van de mogelijkheden van gaming en simulatie, waardoor de kwaliteit van de diensten in oa. Deze sectoren alleen maar kunnen verbeteren.

==Verschillende onderzoeken==
Zoals gezegd is het doel van deze onderzoeken om de state-of-the-art in gaming, simulatie en virtual reality een flinke boost te geven, zodat systemen leuker en leerzamer worden. Vooral bij het onderzoek, als minder bij mogelijke latere productie, kunnen de verschillende partijen, voornamelijk universiteiten en hogescholen, elkaar goed aanvullen met kennis en inovativiteit, aangezien meerdere onderzoeksgebieden gecombineerd worden. Net zoals je weet dat bij HMI informatica en psychologie gecombineerd worden en bij FMT informatica en wiskunde, zijn er hier dus ook verschillende sectoren, die in de verschillende deel-projecten gecombineerd worden.

===Modeling the Virtual World===
Dit onderzoek focust zich op technieken, waarmee het makkelijker wordt om overtuigende, realistische, virtuele werelden te maken. Men probeert om dit zelfs semi-automatisch te doen, zodat de computer grote delen werk overneemt. Het idee hierachter is dat men erachter gekomen is, dat het maken en creÃ«ren van zoâ€™n wereld, wat dus feitelijk level-design is, veel werk en (dus) geld kost. Hierdoor kunnen levels groter gemaakt worden en is een verandering in het level en dus meer afwisseling zo gemaakt.

===Virtual Character===
Dit onderzoek legt zich toe op het nabootsen van menselijke, dierlijke en andere natuurlijke bewegingen. Het is veel makkelijker om je in te leven in een virtuele wereld, als een figuur ook echt loopt als een mens, ipv heel erg houterig of als een auto echt een bocht neemt, waarbij de wielen draaien, ipv dat hij op zijn weg maar een beetje om zijn as draait. Dit lijken voor ons hele normale zaken, maar in werkelijkheid is het een stuk gecompliceerder.

===Interacting with the world===
Dit onderzoek draait om de besturing. Aan een echt stuur draaien is veel realistischer, dan met de pijltjestoetsen bewegen om maar iets simpels te noemen. Het is dus belangrijk om meer en meer realistischer besturing te ontwikkelen, zodat je je nog meer in kunt leven, waardoor je dus meer leert, omdat de situatie meer lijkt op een mogelijke echte situatie.
Dit kan echter nog weer andere voordelen opleveren, want er zijn nog bijvoorbeeld mensen, die door een ongeluk niet kunnen praten. Als deze mensen met hun hersenen een stemcomputer zouden kunnen besturen, dan worden zij toch in staat gesteld om met anderen te comuniceren. Zo levert het onderzoek resultaten voor meerdere sectoren. Of als de computer aan jouw lichaamstaal kan zien dat jij verdrietig bent, dan zal het een persoon die je in-game tegenkomt heel anders laten reageren, als wanneer het merkt dat je boos of blij bent.

===Learning with simulated worlds===
Dit is meer een praktijk-gericht onderzoek. De onderzoeksnaam zelf zegt het al. Het is een onderzoek hoe games en virtuele werelden het best kunnen worden gebruikt voor training en onderwijs. Hierdoor moet zoâ€™n educatieve game veel effectiever worden.

==Externe Links==
* [http://gate.gameresearch.nl De website van het project]

Gate

2009-01-25T12:55:28Z

MCKolkman:

Om de ontwikkeling van onderzoeken naar het nut en de mogelijkheden van simulatietrainingen te stimuleren heeft het ministerie van OC&W het GATE-project opgestart. Het kabinet stelt 10 miljoen euro beschikbaar, bovenop de 9 miljoen eigen inbreng van de deelnemende instellingen.

Het GATE-programma wordt uitgevoerd door acht partijen:
*Universiteit Utrecht (penvoerder)
* TNO
* Hogeschool voor de Kunsten Utrecht
* Universiteit Twente
* Technische Universiteit Delft
* Nederland Breedbandland
* Waag Society
* Thales

Daarnaast nemen nog een heleboel kleinere bedrijven deel aan dit project.

==Doel==
Dit wordt gedaan om Nederlandse bedrijven een voorsprong te geven, aangezien zij verder kunnen bouwen op de resultaten van de vele onderzoeken binnen het GATE-project, zodat Nederland een voorloper wordt voor de rest van de wereld binnen gaming, maar dus vooral de mogelijkheden van simulatie. Dit zorgt er dan weer voor dat bedrijven uit het buitenland naar Nederland komen voor producten en diensten, wat de Nederlandse economie goed zal doen en men hoopt dat de mensen in verschillende sectoren, zoals onderwijs, gezondheid en veiligheid worden overtuigd van de mogelijkheden van gaming en simulatie, waardoor de kwaliteit van de diensten in oa. Deze sectoren alleen maar kunnen verbeteren.

==Verschillende onderzoeken==
Zoals gezegd is het doel van deze onderzoeken om de state-of-the-art in gaming, simulatie en virtual reality een flinke boost te geven, zodat systemen leuker en leerzamer worden. Vooral bij het onderzoek, als minder bij mogelijke latere productie, kunnen de verschillende partijen, voornamelijk universiteiten en hogescholen, elkaar goed aanvullen met kennis en inovativiteit, aangezien meerdere onderzoeksgebieden gecombineerd worden. Net zoals je weet dat bij HMI informatica en psychologie gecombineerd worden en bij FMT informatica en wiskunde, zijn er hier dus ook verschillende sectoren, die in de verschillende deel-projecten gecombineerd worden.

=Modeling the Virtual World=
Dit onderzoek focust zich op technieken, waarmee het makkelijker wordt om overtuigende, realistische, virtuele werelden te maken. Men probeert om dit zelfs semi-automatisch te doen, zodat de computer grote delen werk overneemt. Het idee hierachter is dat men erachter gekomen is, dat het maken en creÃ«ren van zoâ€™n wereld, wat dus feitelijk level-design is, veel werk en (dus) geld kost. Hierdoor kunnen levels groter gemaakt worden en is een verandering in het level en dus meer afwisseling zo gemaakt.

=Virtual Character=
Dit onderzoek legt zich toe op het nabootsen van menselijke, dierlijke en andere natuurlijke bewegingen. Het is veel makkelijker om je in te leven in een virtuele wereld, als een figuur ook echt loopt als een mens, ipv heel erg houterig of als een auto echt een bocht neemt, waarbij de wielen draaien, ipv dat hij op zijn weg maar een beetje om zijn as draait. Dit lijken voor ons hele normale zaken, maar in werkelijkheid is het een stuk gecompliceerder.

=Interacting with the world=
Dit onderzoek draait om de besturing. Aan een echt stuur draaien is veel realistischer, dan met de pijltjestoetsen bewegen om maar iets simpels te noemen. Het is dus belangrijk om meer en meer realistischer besturing te ontwikkelen, zodat je je nog meer in kunt leven, waardoor je dus meer leert, omdat de situatie meer lijkt op een mogelijke echte situatie.
Dit kan echter nog weer andere voordelen opleveren, want er zijn nog bijvoorbeeld mensen, die door een ongeluk niet kunnen praten. Als deze mensen met hun hersenen een stemcomputer zouden kunnen besturen, dan worden zij toch in staat gesteld om met anderen te comuniceren. Zo levert het onderzoek resultaten voor meerdere sectoren. Of als de computer aan jouw lichaamstaal kan zien dat jij verdrietig bent, dan zal het een persoon die je in-game tegenkomt heel anders laten reageren, als wanneer het merkt dat je boos of blij bent.

=Learning with simulated worlds=
Dit is meer een praktijk-gericht onderzoek. De onderzoeksnaam zelf zegt het al. Het is een onderzoek hoe games en virtuele werelden het best kunnen worden gebruikt voor training en onderwijs. Hierdoor moet zoâ€™n educatieve game veel effectiever worden.

==Externe Links==
* [http://gate.gameresearch.nl De website van het project]

Model-Based Testing

2009-01-25T12:45:21Z

MCKolkman:

==Omschrijving==
Model-based testing is een manier van software testen waarbij de test cases worden verkregen door middel van een wiskundig model van het hele of een deel van het te testen systeem.

Het model is normaal gesproken een abstracte weergave van het verwachte gedrag van het te testen systeem. Vaak wordt het model opgedeeld in verschillende delen, die samen het geheel vormen, omdat anders van een te groot en complex model sprake zou zijn. De test case, die vanuit dit model door een speciaal computerprogramma kan worden gegenereerd, is niet gelijk uit te voeren op het systeem, omdat het gebaseerd is op het model en niet op het syteem. Hiervoor is dus nog een speciaal te schrijven programma nodig om de daadwerkelijke test uit te kunnen voeren.
Het is, zoals met alle manieren van testen niet uit te sluiten, dat een systeem nog altijd fouten bevat na het testen. Testen kan namelijk alleen het aanwezig zijn van fouten aantonen, niet het afwezig zijn van fouten.

==Onderzoek binnen de UT==
Binnen de UT wordt onderzoek in de Model-based testing wereld gedaan op de leerstoel [[FMT]]. Oa. Mark Timmer heeft zich bezig gehouden met het ontwikkelen van een methode waarmee is vast te stellen wat er bekend is na het uitvoeren van een test. Als gezegd kun je nooit 100% zeker weten, dat er geen fouten optreden, maar toch is het fijn om een schatting te hebben van de mate van zekerheid die er is over de correctheid van een syteem.

==Externe Links==
[http://wwwhome.cs.utwente.nl/~timmer/papers/ST09extended.pdf Onderzoek Mark Timmer & MariÃ«lle Stoelinga]

[[Categorie:Omschrijving]]
[[Categorie:Projecten]]

{{leerstoelen}}

Formal Methods and Tools

2009-01-05T19:19:36Z

MCKolkman: /* Externe Links */

==Omschrijving==
De leerstoel FMT (Formal Methods & Tools) is deel van de afdeling [[Informatica]] op de faculteit [[EWI]] en gebruikt wiskunde voor de informatica. Op de faculteit wordt onderzoek gedaan naar technieken en tools ontwikkeld, die worden gebruik om te helpen bij de ontwikkeling van software. Dit kan dan betrekking hebben op zowel de ontwerp-, als de test-fase. Er wordt veel aandacht geschonken aan de toepasbaarheid van deze verschillende technieken en tools.

==Onderzoeksgebieden==
*[[Software Model Checking]]
*[[Program Verification]]
*[[Real-time and Hybrid Systems]]
*[[Probabilistic and Stochastic Systems]]
*[[Parallel and Distributed Model Checking]]
*[[Model-Based Testing]]
*[[Graph Transformation]]

==Tools==
Als gezegd ontwikkelt men aan de FMT-leerstoel dus ook tools, die het ontwikkelen van software vergemakkelijken.
Enkele hiervan zijn:
* [[MRMC]] (hiermee kunnen allerlei [[Markov]]-modellen gecontroleerd worden)
* [[Lite]]
* [[BHave]] (hiermee kunnen allerlei dingen gedaan worden met het [[BHPC]]-protocol (Behavioural Hybrid Process Calculus), zoals het vertalen naar een andere protocol)

==Medewerkers==
*prof.dr. Jaco van de Pol (full professor)
*prof.dr. Ed Brinksma (part-time professor)
*ir. Axel Belinfante (research assistant)
*dr. Stefan Blom (post-doc)
*dr. Hichem Boudali (post-doc)
*Tingting Han MSc (PhD student)
*dr. Marieke Huisman (assistant professor)
*Clement Hurlin MSc (PhD student)
*prof.dr.ir. Joost-Pieter Katoen (part-time professor)
*dr. Jeroen Ketema (post-doc)
*Piotr Kordy MSc (PhD student)
*drs. Wouter Kuijper (PhD student)
*dr.ir. Rom Langerak (assistant professor)
*Martin NeuhÃ¤uÃŸer MSc (PhD student)
*AndrÃ© Nijmeijer (technical assistant)
*Svetlana Polenkova MSc (PhD student)
*dr.ir. Arend Rensink (associate professor)
*dr.ir. Theo Ruys (assistant professor)
*dr. MariÃ«lle Stoelinga (assistant professor)
*Mark Timmer MSc (PhD student)
*dr.rer.nat. Michael Weber (post-doc)
*dr. Jiansheng Xing (post-doc)
*Eduardo Zambon MSc (PhD student)
*dr. Maria Zimakova (post-doc)

==Externe Links==
[http://fmt.cs.utwente.nl/index.html Website faculteit]

[http://eprints.eemcs.utwente.nl/view/group/EWI-FMT.html De verschillende publicaties van de faculteit]

[[Categorie:Omschrijving]]
[[Categorie:Projecten]]

{{leerstoelen}}

Formal Methods and Tools

2009-01-05T19:19:08Z

MCKolkman: /* Onderzoeksgebieden */

==Omschrijving==
De leerstoel FMT (Formal Methods & Tools) is deel van de afdeling [[Informatica]] op de faculteit [[EWI]] en gebruikt wiskunde voor de informatica. Op de faculteit wordt onderzoek gedaan naar technieken en tools ontwikkeld, die worden gebruik om te helpen bij de ontwikkeling van software. Dit kan dan betrekking hebben op zowel de ontwerp-, als de test-fase. Er wordt veel aandacht geschonken aan de toepasbaarheid van deze verschillende technieken en tools.

==Onderzoeksgebieden==
*[[Software Model Checking]]
*[[Program Verification]]
*[[Real-time and Hybrid Systems]]
*[[Probabilistic and Stochastic Systems]]
*[[Parallel and Distributed Model Checking]]
*[[Model-Based Testing]]
*[[Graph Transformation]]

==Tools==
Als gezegd ontwikkelt men aan de FMT-leerstoel dus ook tools, die het ontwikkelen van software vergemakkelijken.
Enkele hiervan zijn:
* [[MRMC]] (hiermee kunnen allerlei [[Markov]]-modellen gecontroleerd worden)
* [[Lite]]
* [[BHave]] (hiermee kunnen allerlei dingen gedaan worden met het [[BHPC]]-protocol (Behavioural Hybrid Process Calculus), zoals het vertalen naar een andere protocol)

==Medewerkers==
*prof.dr. Jaco van de Pol (full professor)
*prof.dr. Ed Brinksma (part-time professor)
*ir. Axel Belinfante (research assistant)
*dr. Stefan Blom (post-doc)
*dr. Hichem Boudali (post-doc)
*Tingting Han MSc (PhD student)
*dr. Marieke Huisman (assistant professor)
*Clement Hurlin MSc (PhD student)
*prof.dr.ir. Joost-Pieter Katoen (part-time professor)
*dr. Jeroen Ketema (post-doc)
*Piotr Kordy MSc (PhD student)
*drs. Wouter Kuijper (PhD student)
*dr.ir. Rom Langerak (assistant professor)
*Martin NeuhÃ¤uÃŸer MSc (PhD student)
*AndrÃ© Nijmeijer (technical assistant)
*Svetlana Polenkova MSc (PhD student)
*dr.ir. Arend Rensink (associate professor)
*dr.ir. Theo Ruys (assistant professor)
*dr. MariÃ«lle Stoelinga (assistant professor)
*Mark Timmer MSc (PhD student)
*dr.rer.nat. Michael Weber (post-doc)
*dr. Jiansheng Xing (post-doc)
*Eduardo Zambon MSc (PhD student)
*dr. Maria Zimakova (post-doc)

==Externe Links==
[http://fmt.cs.utwente.nl/index.html (Website faculteit)]

[http://eprints.eemcs.utwente.nl/view/group/EWI-FMT.html (De verschillende publicaties van de faculteit)]

[[Categorie:Omschrijving]]
[[Categorie:Projecten]]

{{leerstoelen}}

Formal Methods and Tools

2009-01-05T19:18:32Z

MCKolkman:

==Omschrijving==
De leerstoel FMT (Formal Methods & Tools) is deel van de afdeling [[Informatica]] op de faculteit [[EWI]] en gebruikt wiskunde voor de informatica. Op de faculteit wordt onderzoek gedaan naar technieken en tools ontwikkeld, die worden gebruik om te helpen bij de ontwikkeling van software. Dit kan dan betrekking hebben op zowel de ontwerp-, als de test-fase. Er wordt veel aandacht geschonken aan de toepasbaarheid van deze verschillende technieken en tools.

==Onderzoeksgebieden==
[[Software Model Checking]]
[[Program Verification]]
[[Real-time and Hybrid Systems]]
[[Probabilistic and Stochastic Systems]]
[[Parallel and Distributed Model Checking]]
[[Model-Based Testing]]
[[Graph Transformation]]

==Tools==
Als gezegd ontwikkelt men aan de FMT-leerstoel dus ook tools, die het ontwikkelen van software vergemakkelijken.
Enkele hiervan zijn:
* [[MRMC]] (hiermee kunnen allerlei [[Markov]]-modellen gecontroleerd worden)
* [[Lite]]
* [[BHave]] (hiermee kunnen allerlei dingen gedaan worden met het [[BHPC]]-protocol (Behavioural Hybrid Process Calculus), zoals het vertalen naar een andere protocol)

==Medewerkers==
*prof.dr. Jaco van de Pol (full professor)
*prof.dr. Ed Brinksma (part-time professor)
*ir. Axel Belinfante (research assistant)
*dr. Stefan Blom (post-doc)
*dr. Hichem Boudali (post-doc)
*Tingting Han MSc (PhD student)
*dr. Marieke Huisman (assistant professor)
*Clement Hurlin MSc (PhD student)
*prof.dr.ir. Joost-Pieter Katoen (part-time professor)
*dr. Jeroen Ketema (post-doc)
*Piotr Kordy MSc (PhD student)
*drs. Wouter Kuijper (PhD student)
*dr.ir. Rom Langerak (assistant professor)
*Martin NeuhÃ¤uÃŸer MSc (PhD student)
*AndrÃ© Nijmeijer (technical assistant)
*Svetlana Polenkova MSc (PhD student)
*dr.ir. Arend Rensink (associate professor)
*dr.ir. Theo Ruys (assistant professor)
*dr. MariÃ«lle Stoelinga (assistant professor)
*Mark Timmer MSc (PhD student)
*dr.rer.nat. Michael Weber (post-doc)
*dr. Jiansheng Xing (post-doc)
*Eduardo Zambon MSc (PhD student)
*dr. Maria Zimakova (post-doc)

==Externe Links==
[http://fmt.cs.utwente.nl/index.html (Website faculteit)]

[http://eprints.eemcs.utwente.nl/view/group/EWI-FMT.html (De verschillende publicaties van de faculteit)]

[[Categorie:Omschrijving]]
[[Categorie:Projecten]]

{{leerstoelen}}