Wynik wyszukiwania
Zapytanie: WERYFIKACJA
Liczba odnalezionych rekordów: 11



Przej¶cie do opcji zmiany formatu | Wy¶wietlenie wyników w wersji do druku | Pobranie pliku do edytora | Przesłanie wyników do modułu analizy | excel | Nowe wyszukiwanie
1/11
Nr opisu: 0000132210
Tytuł oryginału: Experimental testing optical methods as the verification tool for FEA models.
Autorzy: Grzegorz Kokot, Martyna Francuz.
¬ródło: W: Mechanika 2019. Proceedings of the 24th International Scientific Conference, 17 May 2019, Kaunas, Lithuania. Kaunas University of Technology [et al.]. Kaunas : Technologija, 2019, s. 84-86, bibliogr. 4 poz.
Seria: (Mechanika ; Kaunas University of Technology 1822-2951)
Liczba arkuszy wydawniczych: 0,5
Słowa kluczowe polskie: weryfikacja ; HDF5 ; wyniki MES
Słowa kluczowe angielskie: verification ; HDF5 ; FEM results
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.


2/11
Nr opisu: 0000090403
Tytuł oryginału: Dyskretny model dynamiczny przekładni zębatej stożkowej - weryfikacja kodu Ľródłowego programu do symulacji numerycznej
Tytuł w wersji angielskiej: Discrete dynamic model of bevel gear - verification the program source code for numerical simulation
Autorzy: Krzysztof* Twardoch.
¬ródło: -Zesz. Nauk. P¦l., Transp. 2014 z. 83, s. 287-295, bibliogr. 13 poz.
Punktacja MNiSW: 9.000
p-ISSN: 0209-3324
Słowa kluczowe polskie: przekładnia zębata stożkowa ; model dynamiczny ; weryfikacja ; walidacja ; metoda symulacji numerycznej ; symulacja komputerowa ; Matlab
Słowa kluczowe angielskie: bevel gear ; dynamic model ; verification ; validation ; numerical simulation method ; computer simulation ; Matlab
Typ publikacji: A
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. P.4300
Informacje o dostępie open-access: open-access-licence: CC-BY
Dostęp on-line:


3/11
Nr opisu: 0000093764
Tytuł oryginału: Practical example of the integration of planning and simulation systems using the RapidSim software.
Autorzy: Damian Krenczyk, M. Zemczak.
¬ródło: W: Modern technologies in industrial engineering II. Selected, peer reviewed papers from the Modern Technologies in Industrial Engineering. ModTech 2014, Gliwice, Poland, July 13-16. Ed. by Constantin Carausu, Andrzej Wróbel [et al.]. Staffa-Zurich : Trans Tech Publications, 2014, s. 834-839
ISBN: 978-3-03835-255-6978-3-03826-639-6
Seria: (Advanced Materials Research ; vol. 1036 1662-8985)
Punktacja MNiSW: 7.000
Liczba arkuszy wydawniczych: 0,5
Bazy indeksuj±ce publikację: Scopus
DOI:
Słowa kluczowe polskie: integracja ; system produkcji ; modelowanie ; planowanie produkcji ; symulacja ; weryfikacja
Słowa kluczowe angielskie: integration ; manufacturing system ; modelling ; production planning ; simulation ; verification
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.


4/11
Nr opisu: 0000089421
Tytuł oryginału: Dyskretny model dynamiczny przekładni zębatej stożkowej - weryfikacja kodu Ľródłowego programu do symulacji numerycznej.
Tytuł w wersji angielskiej: Discrete dynamic model of bevel gear - verification the program source code for numerical simulation
Autorzy: Krzysztof* Twardoch.
¬ródło: W: XXVI Sympozjon Podstaw Konstrukcji Maszyn. 50 lat Podstaw Konstrukcji Maszyn, Szczyrk, 09.09.-13.09.2013 r. Streszczenia. Politechnika ¦l±ska. Wydział Transportu. Katowice : [Politechnika ¦l±ska. Wydział Transportu], 2013, s. 113
ISBN: 978-83-935232-2-1
Uwagi: Tekst równoległy w jęz. pol. i ang.
Słowa kluczowe polskie: przekładnia zębata stożkowa ; model dynamiczny ; weryfikacja ; walidacja ; metoda symulacji numerycznej ; symulacja komputerowa ; Matlab
Słowa kluczowe angielskie: bevel gear ; dynamic model ; verification ; validation ; numerical simulation method ; computer simulation ; Matlab
Typ publikacji: K
Język publikacji: POL, ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. Cz.O1 139520


5/11
Nr opisu: 0000093327
Tytuł oryginału: Role of systems engineering in evaluation of ITS systems - example of the train dispatcher system (in Poland).
Tytuł w wersji polskiej: Rola inżynierii systemów w ocenie systemów ITS - przykład systemu sterowania ruchem poci±gów (w Polsce)
Autorzy: Grzegorz Karoń, Jerzy** Mikulski.
¬ródło: W: Proceedings of the 3rd International Conference on Models and Technologies for Intelligent Transportation Systems 2013. Eds. T. Albrecht, B. Jaekel, M. Lehnert. Dresden : TUDpress, 2013, s. 357-366, bibliogr. 10 poz.
ISBN: 978-3-944331-34-8
Seria: (Verkehrstelematik ; 3)
Liczba arkuszy wydawniczych: 0,41
Bazy indeksuj±ce publikację: Google Scholar
Słowa kluczowe polskie: inżynieria systemów ; ITS ; system wspomagania dyżurnego ruchu ; walidacja ; weryfikacja
Słowa kluczowe angielskie: systems engineering ; ITS ; train dispatcher support system ; validation ; verification ; system of temporary warnings registration ; system of operational work evidence
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.


6/11
Nr opisu: 0000074611
Tytuł oryginału: Techniki heurystyczne w modelowaniu i weryfikacji systemów elektronicznych. Wybrane zagadnienia.
Tytuł w wersji angielskiej: Heuristic techniques in electronic systems modeling and verification Selected problems
Autorzy: Andrzej Pułka.
Adres wydawniczy: Gliwice : Wydaw. Politechniki ¦l±skiej, 2012
Opis fizyczny: , 236 s., bibliogr. 251 poz.
Seria: (Monografia ; [Politechnika ¦l±ska] nr 396)
Uwagi: Rozprawa habilitacyjna
Słowa kluczowe polskie: projektowanie systemów elektronicznych ; modelowanie systemów elektronicznych ; metody heurystyczne ; system elektroniczny ; weryfikacja ; testowanie
Słowa kluczowe angielskie: electronic systems design ; electronic systems modelling ; heuristic methods ; electronic system ; verification ; testing
Typ publikacji: M
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l.
Dostęp BCP¦:


7/11
Nr opisu: 0000041714
Tytuł oryginału: Modelowanie strukturalne zmniejszaj±ce złożono¶ć weryfikacji systemów technologii informacyjnej.
Tytuł w wersji angielskiej: Structural modeling decreasing complexity of verification of information technology systems
Autorzy: Stefan* Senczyna.
¬ródło: W: Systemy wspomagania w zarz±dzaniu ¶rodowiskiem. V Międzynarodowa konferencja naukowa, Kowno, Litwa, 3-5 wrze¶nia 2008. Warszawa : Instytut Organizacji i Zarz±dzania w Przemy¶le "ORGMASZ", 2008, s. 82-83
Organizator: Katedra Podstaw Systemów Technicznych. Wydział Organizacji i Zarz±dzania. Politechnika ¦l±ska w Gliwicach
Seria: (Ekonomika i Organizacja Przedsiębiorstwa ; R. 59, nr 6 0860-6846)
Uwagi: Pełny tekst na CD-ROM
Słowa kluczowe polskie: system technologii informacyjnej ; weryfikacja ; diagram strukturalny ; diagram MDL ; diagram przepływu danych ; diagram przepływu zdarzeń
Słowa kluczowe angielskie: information technology system ; verification ; structural diagram ; MDL diagram ; data flow diagram ; event flow diagram
Typ publikacji: K
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. P. 411, Cz.01 E-128


8/11
Nr opisu: 0000030042
Tytuł oryginału: Podstawy teoretyczne i zastosowanie metodologii sterowania B-BAC.
Autorzy: Jacek Czeczot.
Adres wydawniczy: Gliwice : Wydaw. Politechniki ¦l±skiej, 2007
Opis fizyczny: , 124 s., bibliogr. 154 poz.
Seria: (Zeszyty Naukowe ; Politechnika ¦l±ska nr 1757 Automatyka ; z. 149)
Uwagi: Rozprawa habilitacyjna
Słowa kluczowe polskie: algorytm sterowania ; sterowanie adaptacyjne ; B-BAC ; sterowanie procesami ; weryfikacja
Słowa kluczowe angielskie: control algorithm ; adaptive control ; B-BAC ; process control ; verification
Typ publikacji: M
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. P.3342
Informacje o dostępie open-access: open-access-licence: OTHER
Dostęp BCP¦:


9/11
Nr opisu: 0000021341
Tytuł oryginału: Weryfikacja kosztowo-jako¶ciowa programatorem działań w łańcuchu dostaw
Autorzy: Ewa* Kowalska-Napora.
¬ródło: -Logistyka 2006 nr 5, s. 30-32, bibliogr. 14 poz.
p-ISSN: 1231-5478
Słowa kluczowe polskie: zarz±dzanie łańcuchem dostaw ; proces decyzyjny ; koszty ; jako¶ć ; weryfikacja
Słowa kluczowe angielskie: supply chain management ; decision-making process ; costs ; quality ; verification
Typ publikacji: A
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. P.4577


10/11
Nr opisu: 0000006823
Tytuł oryginału: Weryfikacja lokalnych baz wiedzy w modelu propagacji stanów.
Tytuł w wersji angielskiej: Locla knowledge bases verification in state propagation model
Autorzy: Krzysztof Psiuk.
¬ródło: W: Diagnostyka procesów przemysłowych. VI Krajowa konferencja naukowo-techniczna, Władysławowo, 15-17 wrze¶nia 2003. Red. nauk. Z. Kowalczuk. Gdańsk : Pomorskie Wydaw. Naukowo-Techniczne, 2003, s. 79-84, bibliogr. 11 poz.
ISBN: 83-918663-0-0
Organizator: Wydział Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej, Instytut Automatyki i Robotyki Politechniki Warszawskiej, Instytut Sterowania i Systemów Informatycznych Uniwersytetu Zielonogórskiego
Słowa kluczowe polskie: model propagacji stanów ; lokalna baza wiedzy ; weryfikacja
Słowa kluczowe angielskie: state propagation model ; local knowledge base ; verification
Typ publikacji: RK
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. 78233


11/11
Nr opisu: 0000002270
Tytuł oryginału: Symulacja komputerowa jako jeden z etapów procesu projektowania i weryfikacji mechanizmów i maszyn.
Autorzy: Krzysztof Foit, Jerzy ¦wider.
¬ródło: W: Materials and mechanical engineering. Proceedings of the scientific conference on the ocassion of the 55th anniversary of the Faculty of Mechanical Engineering of the Silesian University of Technology, Gliwice, Poland, May 2000. Ed. by L. A. Dobrzański. Gliwice : Organising Committee of the International Scientific Conferences Institute of Engineering Materials and Biomaterials of the Silesian University of Technology, 2000, s. 201-210, bibliogr. 9 poz.
Słowa kluczowe polskie: symulacja komputerowa ; mechanizm ; maszyna ; projektowanie maszyn ; weryfikacja ; model wirtualny
Słowa kluczowe angielskie: computer simulation ; mechanism ; machinery ; machine design ; verification ; virtual model
Typ publikacji: RK
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. MgCzO 77770


stosuj±c format:
Nowe wyszukiwanie