Wynik wyszukiwania
Zapytanie:
WERYFIKACJA MODELOWA
Liczba odnalezionych rekordów:
2
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/2
Nr opisu:
0000136915
Tytuł oryginału:
A wideband current shunt.
Autorzy:
Maciej
Malinowski
, Marian
Kampik
, Michał
Grzenik
, Krzysztof
Kubiczek
, Kordian
Dudzik
.
Źródło:
W:
2020 Conference on Precision Electromagnetic Measurements (CPEM)
. Piscataway : Institute of Electrical and Electronics Engineers, 2020
, s. 1-2, bibliogr. 8 poz.
ISBN:
978-1-7281-5899-0978-1-7281-5898-3
Liczba arkuszy wydawniczych:
0,2
Bazy indeksujące publikację:
IEEE Xplore; Scopus
DOI:
Słowa kluczowe polskie:
różnica transferowa AC-DC
;
bocznik prądowy
;
pomiar prądu
;
model matematyczny
;
Matlab
;
weryfikacja modelowa
;
symulacja numeryczna
;
symulacja komputerowa
Słowa kluczowe angielskie:
AC-DC difference
;
current shunt
;
current measurement
;
mathematical model
;
Matlab
;
model checking
;
numerical simulation
;
computer simulation
Typ publikacji:
RK
Język publikacji:
ENG
Zasieg terytorialny:
Z
Afiliacja:
praca afiliowana w PŚl.
Dostęp on-line:
2/2
Nr opisu:
0000131196
Tytuł oryginału:
Extending GPenSIM for model checking on Petri nets
Autorzy:
R.
Davidrajuh
, Damian
Krenczyk
.
Źródło:
-
Int. J. Simul. Syst. Sci. Technol.
2019 vol. 20
, paper no. 13 s. 1-8, bibliogr. 30 poz.
Punktacja MNiSW:
20.000
p-ISSN:
1374-804X
e-ISSN:
1473-8031
DOI:
Słowa kluczowe polskie:
weryfikacja modelowa
;
sieci Petriego
;
GPenSIM
Słowa kluczowe angielskie:
model checking
;
Petri nets
;
GPenSIM
Typ publikacji:
A
Język publikacji:
ENG
Zasieg terytorialny:
Z
Afiliacja:
praca afiliowana w PŚl.
Dostęp on-line:
stosując format:
standardowy
pełny z etykietami pól
roboczy
redakcja skr.
redakcja peł.
kontrolny
Nowe wyszukiwanie