Filtry
wszystkich: 79
Najlepsze wyniki w katalogu: Potencjał Badawczy Pokaż wszystkie wyniki (62)
Wyniki wyszukiwania dla: verification and validation
-
Architektura Systemów Komputerowych
Potencjał BadawczyGłówną tematyką badawczą podejmowaną w Katedrze jest rozwój architektury aplikacji i systemów komputerowych, w szczególności aplikacji i systemów równoległych i rozproszonych. "Architecture starts when you carefully put two bricks together" - stwierdza niemiecki architekt Ludwig Mies von der Rohe. W przypadku systemów komputerowych dotyczy to nie cegieł, a modułów sprzętowych lub programowych. Przez architekturę systemu komputerowego...
-
Zespół Inżynierii Mikrofalowej i Antenowej
Potencjał BadawczySpecjalność badawcza KIMiA wiąże się z techniką b.w.cz. i dotyczy zakresu częstotliwości od setek megaherców do kilkudziesięciu gigaherców. Przedmiotem badań teoretycznych (analiza, synteza, symulacja i modelowanie komputerowe,) oraz eksperymentalnych są elementy (prowadnice, sprzęgacze, rozgałęzienia) oraz układy pasywne (cyrkulatory, przesuwniki fazy, obciążenia, tłumiki) i aktywne (wzmacniacze, mieszacze, powielacze, modulatory),...
-
Katedra Energoelektroniki i Maszyn Elektrycznych
Potencjał Badawczy* Modelowania, projektowania i symulacji przekształtników energoelektronicznych * Sterowania i diagnostyki przekształtników energoelektronicznych * Kompatybilności elektromagnetycznej przekształtników i regulowanych napędów elektrycznych * Jakości energii elektrycznej * Modelowania, projektowania i diagnostyki maszyn elektrycznych i transformatorów * Projektowania czujników i silników piezoelektrycznych * Technik CAD i CAE dla...
Najlepsze wyniki w katalogu: Oferta Biznesowa Pokaż wszystkie wyniki (17)
Wyniki wyszukiwania dla: verification and validation
-
Laboratorium Źródeł Energii w Katedrze Konwersji i Magazynowania Energii
Oferta Biznesowa -
Laboratorium Badawcze 2-3
Oferta BiznesowaObliczenia komputerowe wymagające dużych mocy obliczeniowych z wykorzystaniem oprogramowania typu: Matlab, Tomlab, Gams, Apros.
-
Laboratorium Automatyki Napędu Elektrycznego
Oferta BiznesowaProgramowalne układy napędowe zasilane przekształtnikowo ze sterowaniem mikroprocesorowym
Pozostałe wyniki Pokaż wszystkie wyniki (32)
Wyniki wyszukiwania dla: verification and validation
-
Journal of Verification, Validation and Uncertainty Quantification
Czasopisma -
International Conference on Software Testing, Verification and Validation
Konferencje -
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Konferencje -
International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
Konferencje -
Validation of an Agent and Ontology-based Information Technology Assessment System
PublikacjaThe aim of this paper is to present a new method of the validation of an Agent and Ontology-based Information Technology Assessment System. In the introduction part of the paper, the characteristics of the proposed multi-agent system are presented. Next, some important details regarding the ontology functionality of this system are described and an approach to its verification process is proposed. The approach employs semantic...