| | |
| 8:30 - 9:00 |
Registrace |
| | |
|
 T e s t o v á n í s o f t w a r u |
| |
| 9:00 - 9:45 |
Automatizovaný návrh testovacích scriptů softwaru: možnosti praktického uplatnění (pdf) |
| |
R. Mařík (Rockwell Automation Research Center Praha)
|
| |
| 9:45 - 10:15 |
Formální metody testování a návrhu softwaru pro kritické aplikace: železniční zabezpečovací technologie (pdf in english) |
| |
T. Hlavatý, L. Přeučil, P. Štěpán (ČVUT FEL), Š. Klapka (AŽD Praha s.r.o.)
|
| |
| 10:15 - 10:45 |
Kardiostimulátory a jejich testování (pdf) |
| |
L. Král, T. Hazdra (CertiCon a.s., ČVUT FEL)
|
| |
| 10:45 - 11:00 | Přestávka |
| |
| |
A g e n t o v é t e c h n o l o g i e |
| |
| 11:00 - 11:30 |
Holonic Manufacturing Systems: Some Scenarios and Issues (pdf in english) |
| |
M. Fletcher (ČVUT FEL / Agent Oriented Software Ltd.)
|
| |
| 11:30 - 12:15 |
Multi-agentní systém pro plánování projektově orientované výroby: případová studie (pdf in english) |
| |
J. Vokřínek, A. Říha, M. Pěchouček (ČVUT FEL), J. Koerner (Modelárna LIAZ s.r.o.)
ExPlanTech leták
|
| |
| 12:15 - 13:00 | Oběd |
| |
| |
Z n a l o s t n í i n ž e n ý r s t v í a s t r o j o v é u č e n í |
| |
| 13:00 - 13:30 |
Cooporation between Industry and Universities - Examples and Experience (pdf in english) |
| |
L. Enevoldsen (Grundfos, DK)
|
| |
| 13:30 - 14:00 |
Nové nástroje pro získávání znalostí v průmyslových aplikacích (pdf) |
| |
Z. Kouba, K. Matoušek, P. Mikšovský (ČVUT FEL)
|
| |
| 14:00 - 14:10 |
Získávání znalostí, strojové učení a podpora rozhodování: využití v praxi (pdf) - coming soon |
| |
O. Štěpánková (ČVUT FEL)
|
| |
| 14:10 - 14:30 |
Strojové učení v diagnostice a predikce časových řad (pdf) |
| |
J. Kléma (ČVUT FEL)
|
| |
| 14:30 - 14:50 |
Dobývání znalostí z lázeňských dat: případová studie (pdf in english) |
| |
O. Štěpánková (ČVUT FEL), Š. Lauryn (LAURYN v.o.s.), et al.
|
| |
| 14:50 - 15:10 |
Dobývání znalostí a podpora rozhodování v telekomunikacích (pdf) |
| |
F. Železný (ČVUT FEL), J. Zídek (Atlantis Telecom s.r.o.)
|
| |
| 15:10 - 15:30 |
Zaměřovač pro zvýšení přesnosti střelby (pdf) |
| |
M. Jiřina (ČVUT FEL)
|
| |
| 15:30 - 16:00 | Přestávka |
| |
| |
I n t e l i g e n t n í ř í z e n í |
| |
| 16:00 - 16:45 |
Supervizní úroveň řízení procesu s využitím "if-then" pravidel - aplikace v potravinářském průmyslu (pdf) |
| |
P. Horáček (ProTys s.r.o.)
|
| |
| 16:45 - 17:15 |
Analýza nehod a stanovení spolehlivosti řízení průmyslových systémů: aplikace simulací kognitivních procesů řídicího operátora (pdf) |
| |
L. Janků (CAK), V. Eck, L. Lhotská, V. Křemen, J. Macek, L. Dobiáš (ČVUT FEL), J. Dostál, P. Stejskal (EDOST s.r.o.)
|
| |
| 17:15 - 18:00 | Diskuse a závěr |
| |
