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



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/10
Nr opisu: 0000090403   
Dyskretny model dynamiczny przekładni zębatej stożkowej - weryfikacja kodu źródłowego programu do symulacji numerycznej.
[Aut.]: Krzysztof* Twardoch.
-Zesz. Nauk. PŚl., Transp. 2014 z. 83, s. 287-295, bibliogr. 13 poz.. Punktacja MNiSW 9.000

przekładnia zębata stożkowa ; model dynamiczny ; weryfikacja ; walidacja ; metoda symulacji numerycznej ; symulacja komputerowa ; Matlab

bevel gear ; dynamic model ; verification ; validation ; numerical simulation method ; computer simulation ; Matlab

2/10
Nr opisu: 0000093764
Practical example of the integration of planning and simulation systems using the RapidSim software.
[Aut.]: Damian Krenczyk, M. Zemczak.
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 (Advanced Materials Research ; vol. 1036 1662-8985). Punktacja MNiSW 7.000

integracja ; system produkcji ; modelowanie ; planowanie produkcji ; symulacja ; weryfikacja

integration ; manufacturing system ; modelling ; production planning ; simulation ; verification

3/10
Nr opisu: 0000089421
Dyskretny model dynamiczny przekładni zębatej stożkowej - weryfikacja kodu źródłowego programu do symulacji numerycznej.
[Aut.]: Krzysztof* Twardoch.
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
Tekst równoległy w jęz. pol. i ang.

przekładnia zębata stożkowa ; model dynamiczny ; weryfikacja ; walidacja ; metoda symulacji numerycznej ; symulacja komputerowa ; Matlab

bevel gear ; dynamic model ; verification ; validation ; numerical simulation method ; computer simulation ; Matlab

4/10
Nr opisu: 0000093327
Role of systems engineering in evaluation of ITS systems - example of the train dispatcher system (in Poland).
[Aut.]: Grzegorz Karoń, Jerzy** Mikulski.
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. (Verkehrstelematik ; 3)

inżynieria systemów ; ITS ; system wspomagania dyżurnego ruchu ; walidacja ; weryfikacja

systems engineering ; ITS ; train dispatcher support system ; validation ; verification ; system of temporary warnings registration ; system of operational work evidence

5/10
Nr opisu: 0000074611   
Techniki heurystyczne w modelowaniu i weryfikacji systemów elektronicznych. Wybrane zagadnienia.
[Aut.]: Andrzej Pułka.
Gliwice : Wydaw. Politechniki Śląskiej, 2012, 236 s., bibliogr. 251 poz.
(Monografia ; [Politechnika Śląska] nr 396)
Rozprawa habilitacyjna

projektowanie systemów elektronicznych ; modelowanie systemów elektronicznych ; metody heurystyczne ; system elektroniczny ; weryfikacja ; testowanie

electronic systems design ; electronic systems modelling ; heuristic methods ; electronic system ; verification ; testing

6/10
Nr opisu: 0000041714
Modelowanie strukturalne zmniejszające złożoność weryfikacji systemów technologii informacyjnej.
[Aut.]: Stefan* Senczyna.
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 (Ekonomika i Organizacja Przedsiębiorstwa ; R. 59, nr 6 0860-6846)
Pełny tekst na CD-ROM

system technologii informacyjnej ; weryfikacja ; diagram strukturalny ; diagram MDL ; diagram przepływu danych ; diagram przepływu zdarzeń

information technology system ; verification ; structural diagram ; MDL diagram ; data flow diagram ; event flow diagram

7/10
Nr opisu: 0000030042   
Podstawy teoretyczne i zastosowanie metodologii sterowania B-BAC.
[Aut.]: Jacek Czeczot.
Gliwice : Wydaw. Politechniki Śląskiej, 2007, 124 s., bibliogr. 154 poz.
(Zeszyty Naukowe ; Politechnika Śląska nr 1757 Automatyka ; z. 149)
Rozprawa habilitacyjna

algorytm sterowania ; sterowanie adaptacyjne ; B-BAC ; sterowanie procesami ; weryfikacja

control algorithm ; adaptive control ; B-BAC ; process control ; verification

8/10
Nr opisu: 0000021341
Weryfikacja kosztowo-jakościowa programatorem działań w łańcuchu dostaw.
[Aut.]: Ewa* Kowalska-Napora.
-Logistyka 2006 nr 5, s. 30-32, bibliogr. 14 poz.

zarządzanie łańcuchem dostaw ; proces decyzyjny ; koszty ; jakość ; weryfikacja

supply chain management ; decision-making process ; costs ; quality ; verification

9/10
Nr opisu: 0000006823
Weryfikacja lokalnych baz wiedzy w modelu propagacji stanów.
[Aut.]: Krzysztof Psiuk.
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.

model propagacji stanów ; lokalna baza wiedzy ; weryfikacja

state propagation model ; local knowledge base ; verification

10/10
Nr opisu: 0000002270
Symulacja komputerowa jako jeden z etapów procesu projektowania i weryfikacji mechanizmów i maszyn.
[Aut.]: Krzysztof Foit, Jerzy Świder.
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.

symulacja komputerowa ; mechanizm ; maszyna ; projektowanie maszyn ; weryfikacja ; model wirtualny

computer simulation ; mechanism ; machinery ; machine design ; verification ; virtual model

stosując format:
Nowe wyszukiwanie