Software spolehlivost, jakost a optimalizace Autorizovaný software pro PC byl vyvinut v letech 2007 a 2008 jako sou ást ešení v deckovýzkumných projekt : 1. Výzkumné centrum MŠMT eské republiky ís. 1M06047 Centrum pro jakost a spolehlivost výroby (CQR) P íjemce: VUT Praha ešitel koordinátor: Doc. RNDr. Gejza Dohnal, CSc. Spolup íjemce: VUT v Brn Odpov dný spolu ešitel: Doc. RNDr. Zden k Karpíšek, CSc. Zahájení ešení: 1. 3. 2006 (projekt pokra uje) http://www.cqr.cz/ 2. Grantový projekt GA R reg.. 103/05/0292 Optimalizace navrhování progresivních betonových konstrukcí ešitelské pracovišt : FAST VUT v Brn ešitel: Prof. RNDr. Ing. Petr Št pánek, CSc. Spolu ešitelské pracovišt : FSI VUT v Brn Odpov dný spolu ešitel: Doc. RNDr. Zden k Karpíšek, CSc. Období ešení: 1. 1. 2005 31. 12. 2007 (projekt ukon en) 3. Grantový projekt GA R reg.. 103/08/1658 Pokro ilá optimalizace návrhu složených betonových konstrukcí ešitelské pracovišt : FAST VUT v Brn ešitel: Prof. RNDr. Ing. Petr Št pánek, CSc. Spolu ešitelské pracovišt : FSI VUT v Brn Odpov dný spolu ešitel: Doc. RNDr. Zden k Karpíšek, CSc. Období ešení: 1. 1. 2008 (projekt pokra uje) 4. Výzkumný zám r MŠMT eské republiky ís. MSM0021630519 Progresivní spolehlivé a trvanlivé nosné stavební konstrukce P íjemce: VUT v Brn ešitelské pracovišt : FAST VUT v Brn ešitel koordinátor: Prof. RNDr. Ing. Petr Št pánek, CSc. Období ešení: 1. 1. 2007 (projekt pokra uje) Vyvinuté programy pro PC: 1. Homogenní markovské et zce v jakosti Auto i: Vitásek, V., Karpíšek, Z. (2007) Popis: VBA makro v MS Excelu pro výpo et detailních a netradi ních charakteristik neshodnosti dávky výrobk pomocí homogenního markovského et zce z bodových odhad pravd podobností neshodnosti jednotlivých výrobních operací. Umož uje modelovat reálnou výrobu a interaktivn optimalizovat její jakost. Požadavky na OS a software: Windows XP, Windows Vista, Excel 2000, 2003, 2007 1/7
2. Spolehlivost systému 5.2 Auto i: Dostál, P., Jelínek, P., Karpíšek, Z. (2007) Popis: Nová verze exe programu výpo tu funk ních a íselných charakteristik spolehlivosti kombinovaného systému pomocí vlastního vyvinutého JK-algoritmu ze zadaných funkcí spolehlivosti jeho nezávislých prvk. Umož uje modelovat reálný spolehlivostní systém. 3. Estimator 1.3 Auto i: Jurák, P., Karpíšek, Z. (2007) Popis: Program pro fitování diskrétních rozd lení pravd podobnosti pomocí Shannonovy, Hellingerovy, Pearsonovy a G kvazinormy za vedlejších momentových podmínek s eši em GAMS z pozorovaných dat. Jde o implementace nových vyvinutých metod odhad diskrétních a diskretizovaných rozd lení, které nejsou sou ástí profesionálních statistických softwar. Aplikace v jakosti a spolehlivosti., GAMS 4. WJakost Auto i: Štarha, P., Karpíšek, Z. (2007) Popis: Exe program pro výpo et funk ních a íselných charakteristik jakosti výrobního procesu dávek stejných montážních celk pomocí nehomogenních markovských et zc z bodových odhad pravd podobností shodnosti výrobních operací jednoduchých skupin sou ástí tvo ících montážní celek. Umož uje modelovat reálnou výrobu a interaktivn optimalizovat její jakost. 5. Jakost dávky výrobk Auto i: Štarha, P., Karpíšek, Z. (2008) Popis: Exe program v Borland Delphi pro výpo et funk ních a íselných charakteristik shodnosti dávkové výroby stejných montážních celk o r zných po tech sou ástí pomocí markovského modelu vycházejícího z nehomogenních markovských et zc. Umož uje modelovat reálnou výrobu a interaktivn optimalizovat její jakost. 6. Fuzzy spolehlivost systému Auto i: Martišek, K., Karpíšek, Z. (2008) Popis: Exe program pro výpo et funk ních a íselných fuzzy charakteristik spolehlivosti systému pomocí FJK algoritmu z fuzzy spolehlivosti jeho nezávislých prvk. Umož uje modelovat spolehlivost systému nezávislých dvoustavových prvk z neur itých dob do poruchy. Jde o implementace nových vyvinutých metod z fuzzy spolehlivosti. Využití ve spolehlivosti technických systém. 7. Estimator 1.4.1 Auto i: Jurák, P., Karpíšek, Z. (2008) Popis: Vyšší a výkonn jší verze programu Estimator 1.3 pro fitování diskrétních rozd lení pravd podobnosti pomocí Shannonovy, Hellingerovy, Pearsonovy a G kvazinormy za vedlejších momentových podmínek s eši em GAMS z pozorovaných dat. Jde o implementace nových vyvinutých metod odhad diskrétních a diskretizovaných 2/7
rozd lení, které nejsou sou ástí profesionálních statistických softwar. Využití v jakosti a spolehlivosti., GAMS 8. Pesfit 1.0 Auto i: Žampachová, E., Lacinová, V., Karpíšek, Z. (2008) Popis: Program v Matlabu pro asymptoticky nestranný odhad rozd lení pravd podobnosti kategoriální veli iny pomocí kvazinorem. z pozorovaných etností hodnot kategoriální veli iny. Jde o implementace nov vyvinutých gradientních metod odhad, které nejsou sou ástí profesionálních statistických softwar. Využití p i hodnocení jakosti. 9. Reliab SMSO 1.0 Auto i: Ertl, J., Karpíšek Z. (2008) Popis: Program založený na markovském modelu pro výpo et spolehlivostních charakteristik systému vzájemn nezávislých vícestavých prvk ze zadaných intenzit p echodu jejich stav. Jde o program, který není sou ástí profesionálních statistických softwar. Využití p i popisu spolehlivosti reálných technických systém. 10. Fitování diskrétních rozd lení pravd podobnosti Auto i: Vitásek, V., Karpíšek, Z. (2008) Popis: VBA makro v Excelu pro nalezení diskrétního rozd lení pravd podobnosti pomocí Pearsonovy kvazinormy za vedlejších momentových podmínek z pozorovaných hodnot neznámého rozd lení. Jde o implementaci vyvinutých metod odhad diskrétních a diskretizovaných rozd lení, které nejsou sou ástí profesionálních statistických softwar. Využití v jakosti a spolehlivosti. Požadavky na OS a software: Windows XP, Windows Vista, Excel 2000, 2003, 2007 11. FM Autor: Karpíšek, Z. (2008) Popis: Exe program pro výpo et fuzzy spolehlivosti systému nezávislých prvk pomocí t ídy mocninných fuzzy ísel a fuzzifikovaného Weibullova rozd lení pravd podobnosti. Umož uje modelování a posouzení spolehlivosti systému z expertních a nep esných údaj. Využití ve spolehlivosti technických systém. 12. Distribu ní funkce necentrálního t-rozd lení Autor: Maroš, B. (2007) Popis: Program v Mathcadu umož uje vypo ítat hodnoty necentrálního t-rozd lení pro libovolné Využití p i hodnocení jakosti. Požadavky na OS a software: Windows XP, Windows Vista, Mathcad 13. Výpo et jednostranných toleran ních mezí pro zadané a pokrytí P Autor: Maroš, B. (2007) Popis: Program v Mathcadu umož uje výpo et jednostranných toleran ních mezí pro libovolné hodnoty a libovolné pokrytí P. Využití p i hodnocení jakosti. Požadavky na OS a software: Windows XP, Windows Vista, Mathcad 3/7
14. Knihovna program Matlab pro hierarchické a nehierarchické shlukování Autor: Žák, L. (2007) Popis: Knihovna program zahrnující jak p ípravné operace, tak i kompletní algoritmy pro nalezení shluk u dat. Jsou zde obsaženy programy pro hierarchické shlukování, tak i nehierarchické shlukování. Využití p i hodnocení jakosti výroby. 15. Knihovna program Matlabu pro fuzzy shlukovací metody Autor: Žák, L. (2007) Popis: Knihovna program zahrnující jak p ípravné operace, tak i kompletní algoritmy pro nalezení shluk u dat, které jsou popsány vágními pojmy. Jsou zde obsaženy programy pro nehierarchické shlukování vágních dat a rozší ení fuzzy shlukování obsažené v Fuzzy Toolbox. Využití p i hodnocení jakosti výroby. 16. Knihovna program Matlabu pro rozší ení knihovny Fuzzy Toolbox Autor: Žák,L. (2007) Popis: Soubor program pro rozší enou práci s fuzzy množinami. Rozší ení Fuzzy Toolbox je zam eno na fuzzy množiny (relace) a po ítání pomocí principu rozší ení. Využití p i hodnocení jakosti výroby. 17. Knihovna v programovacím systému MATLAB pro vizualizaci Bendersovy dekompozice Auto i: Vitásek, V., Popela, P. (2007) Popis: Program v Matlabu slouží k vizualizaci uvedené dekompozice optimaliza ního modelu. Využití p i optimalizaci výrobního procesu. Program je používán také jako freeware v Holandsku, Švýcarsku a USA p i výuce uvedeného algoritmu od léta 2007. 18. Numericky stabilní simplexová metoda pro úlohy lineárního programování s hustou maticí soustavy omezení Auto i: Novotný, J., Popela, P. (2007) Popis: Program vytvo ený C++, jehož exe verze umož uje uživateli velmi p esn ešit úlohy lineární optimalizace s hustou maticí omezení. Využití p i optimalizaci výrobního procesu. 19. Oceli Auto i: Maroš, B., Rybková, B. (2008) Popis: Program v Pascalu umož uje specifikovat chování vybraných ocelí p i deformaci pro teploty 20 C, 100 C, 200 C, 300 C, 400 C, 500 C, 600 C, 700 C a 750 C. Jsou to oceli SN 12 024.1, SN 12 024.3, SN 15 230.1, SN 15 230.3, SN 16 231.1, SN 16 231.3, SN 16 341.1, SN 16 341.3. Program umož uje mimo jiné vypsat koeficienty regresních rovnic pro závislost y = f(, t) a graficky tuto závislost znázornit, p i emž y m že být p etvárný odpor nebo p etvárná síla nebo m rná p etvárná práce pro logaritmický stupe p etvo ení a teplotu t. Využití v jakosti tvá ecích proces. 4/7
20. Barevné kovy Auto i: Maroš, B., Rybková, B. (2008) Program v Pascalu umož uje specifikovat chování vybraných barevných kov p i deformaci pro teploty 20 C, 100 C, 200 C, 300 C, 400 C, 500 C, 600 C a 700 C. Jsou to kovy SN 42 3001.31, SN 42 3018.24, SN 42 3212.31, SN 42 3212.77, SN 42 3213.31, SN 42 3214.31, SN 42 322.31, SN 42 3223.31, ON 42 3000.21, TPC 18/20-05/04. Program umož uje mimo jiné vypsat koeficienty regresních rovnic pro závislost y = f(, t) a graficky tuto závislost znázornit, p i emž y m že být p etvárný odpor nebo p etvárná síla nebo m rná p etvárná práce pro logaritmický stupe p etvo ení a teplotu t. Využití v jakosti tvá ecích proces. 21. Hliníkové slitiny Auto i: Maroš, B., Rybková, B. (2008) Popis: Program v Pascalu umož uje specifikovat chování vybraných barevných kov p i deformaci pro teploty 20 C, 100 C, 200 C, 300 C, 400 C a 500 C. Jsou to slitiny SN 42 4201, SN 42 4203, SN 42 4413, SN 42 4415, SN 42 4418, SN 42 4432, SN 42 4441, SN 42 4488. Program umož uje mimo jiné vypsat koeficienty regresních rovnic pro závislost y = f(, t) a graficky tuto závislost znázornit, p i emž y m že být p etvárný odpor nebo p etvárná síla nebo m rná p etvárná práce pro logaritmický stupe p etvo ení a teplotu t. Využití v jakosti tvá ecích proces. 22. Knihovna program Matlabu pro odlad ní a po ítání s Fuzzy Inference System Autor: Žák,L. (2008) Popis: Knihovna program dopl ující a rozši ující hledání FIS ze zadaných dat. Využití p i hodnocení jakosti výroby. 23. Knihovna program Matlabu pro analýzu a p edpov asových ad Autor: Žák,L. (2008) Popis: Knihovna program zahrnující jak p ípravné operace, tak i kompletní algoritmy pro nalezení vyšet ování asových ad. Jsou zde obsaženy programy pro analýzu asové ady s pomocí fuzzy množin a r zné druhy posouzení kvality p edpov di asových ad. Využití v regula ních diagramech výroby. 24. Kvalita zpracování zakázky Autor: Popela, P. (2008) Popis: Program v systému GAMS s originálním uživatelským rozhraním v MS Excel zobrazujícím Ganttovy diagramy. Využití p i optimalizaci plánu výrobního procesu. Požadavky na OS a software: Windows XP, Windows Vista, Excel 2000, 2003, 2007, GAMS 25. Kvalita p ípravy sm si pro výrobu Auto i: Novotný, J., Popela, P. (2008) Popis: Optimaliza ní software umož ující velmi p esn zajiš ovat p ípravu optimální sm si pro výrobu i v rozsáhlých úlohách. Využití p i optimalizaci výrobního procesu. 5/7
26. Spolehlivost návrhu konstrukcí Auto i: Popela, P., Žampachová, E. (2008) Popis: Program v systému GAMS pro modelování spolehlivých stavebních konstruk ních prvk s optimálními návrhovými parametry. Využití ve spolehlivosti. Požadavky na OS a software: Windows XP, Windows Vista, GAMS 27. APT 0.1 Autorka: Hübnerová (Hrdli ková), Z. (2008) Popis: Matlab programs for approximation of powers of tests of equality of expected values in one-way MANOVA type Multivariate Generalized Linear Model. Application in quality management. 28. MAFsmooth Autorka: Hübnerová (Hrdli ková), Z. (2008) Popis: Knihovna program v jazyku R umož ující vyhlazení n kolika soub žných asových ad pomocí maximálních autokorela ních faktor. Využití v regula ních diagramech výroby. Požadavky na OS a software: Windows XP, Windows Vista, R 29. RBF3aprox Autor: Matoušek, R. (2008) Popis: SW ur ený pro nelineární regresi dat píkového charakteru, který využívá výpo etní engine Matlabu a pro pot ebu nelineární regrese, implementuje metody um lé inteligence. Regresní model je založen na funkcích typu RBF. Využití p i optimalizaci výrobního procesu. 6/7
Podmínky využívání uvedených autorizovaných softwar Podle Rady pro výzkum a vývoj, která je odborným a poradním orgánem vlády eské republiky (http://www.vyzkum.cz/), mohou být uvedené autorizované softwarové produkty voln využívány uživateli v souladu s licen ními podmínkami tv rc (autor ) a v souladu s dokumenty: 1. Zákon. 130/2002 Sb., o podpo e výzkumu a vývoje z ve ejných prost edk a o zm n n kterých souvisejících zákon. 2. Zákon. 121/2000 Sb., o právu autorském, o právech souvisejících s právem autorským a o zm n n kterých zákon (autorský zákon) ve zn ní: zákona. 81/2005 Sb. (s ú inností od 23. února 2005), zákona. 61/2006 Sb. (s ú inností od 1. ledna 2006), zákona. 186/2006 Sb. (s ú inností od 1. ledna 2007), zákona. 216/2006 Sb. (s ú inností od 22. kv tna 2005). Bližší informace a jednání se zájemci o podmínkách využívání uvedených softwarových produkt, jejich p edání uživatel m a kontakt s autory zajiš uje: Doc. RNDr. Zden k Karpíšek, CSc. Centrum pro jakost a spolehlivost výroby (CQR) Odbor statistiky a optimalizace Ústav matematiky Fakulta strojního inženýrství Vysoké u ení technické v Brn Technická 2896/2, 616 69 Brno tel. 541 142 529, 723 294 471 karpisek@fme.vutbr.cz 7/7