Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Liitotsing
Valitud kirjed
0
power verification (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
sõna
algab
täpne vaste
vabatekst
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
sõna
algab
täpne vaste
vabatekst
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
sõna
algab
täpne vaste
vabatekst
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
sõna
algab
täpne vaste
vabatekst
—
Lisa tingimus
Lihtotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
2
Vaata veel..
(3/462)
Ekspordi
ekspordi kõik päringu tulemused
(2)
Salvesta TXT fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
Towards multidimensional verification : where functional meets non-functional
Jenihhin, Maksim
;
Lai, Xinhui
;
Ghasempouri, Tara
;
Raik, Jaan
2018 IEEE Nordic Circuits and Systems Conference (NORCAS) : NORCHIP and International Symposium of System-on-Chip (SoC) : 30-31 October 2018, Tallinn, Estonia : proceedings in IEEE Xplore
2018
/
7 p. : ill
https://doi.org/10.1109/NORCHIP.2018.8573495
artikkel kogumikus
Seotud publikatsioonid
1
Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid
2
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Understanding multidimensional verification : where functional meets non-functional
Lai, Xinhui
;
Balakrishnan, Aneesh
;
Lange, Thomas
;
Jenihhin, Maksim
;
Ghasempouri, Tara
;
Raik, Jaan
;
Alexandrescu, Dan
Microprocessors and microsystems
2019
/
art. 102867, 13 p. : ill
https://doi.org/10.1016/j.micpro.2019.102867
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
2
A synthetic, hierarchical approach for modelling and managing complex systems' quality and reliability = Sünteetiline, hierarhiline lähenemine keerukate süsteemide kvaliteedi ja töökindluse modelleerimiseks ja haldamiseks
Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
460
1.
power verification
2.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
3.
power electronics applications in power systems and utilities
4.
assertion-based verification
5.
Automata, Formal Verification
6.
Automatic Security Verification
7.
automatic speaker verification
8.
compliance verification
9.
compositional verification
10.
constraint random verification
11.
deductive verification
12.
extra-functional verification
13.
forecast verification
14.
formal verification
15.
functional verification
16.
grid verification
17.
Hardware Verification
18.
independent verification and validation
19.
model verification
20.
model-based verification
21.
program verification
22.
Quantum state verification
23.
reliability verification
24.
RISC-V Security Verification
25.
safety verification
26.
security verification
27.
simple payment verification (SVP)
28.
simulation-based verification
29.
speaker verification
30.
timing verification
31.
validation and verification
32.
verification
33.
verification and validation
34.
verification by model checking
35.
verification methods
36.
AC power converters
37.
AC/DC power converter
38.
ac/dc-dc power converters
39.
AC‐AC power convertors
40.
ac-dc power conversion
41.
AC-DC power converter
42.
AC-DC power converters
43.
active power
44.
active power decoupling
45.
adaptive power allocation
46.
aircraft electric power system
47.
alpha power variability
48.
auxiliary power supply
49.
balance of power
50.
balancing power
51.
bidirectional power flow
52.
bidirectional power flow control
53.
bidirectional power transfer
54.
bisection based optimal power allocation
55.
boost power converter
56.
buck-boost full power converter
57.
buck–boost power converter
58.
capabilities of power electronics
59.
capacitive power transfer
60.
CHP (combined power and heat)
61.
combined heat and power
62.
combined heat and power economic dispatch (CHPED)
63.
combined heat and power plant
64.
common-ground power converter
65.
concentrated solar power
66.
condensing power plant
67.
connection power
68.
constant power load
69.
constant power source
70.
consumed power minimization
71.
consumer power system
72.
consumer-perceived power
73.
contribution to power quality deterioration
74.
conventional power plant
75.
cyber physical power system (CPPS)
76.
cyber power Europe
77.
DC power supply
78.
DC power systems
79.
DC/DC power conversion
80.
DC/DC power converters
81.
DC-AC power conversion
82.
DC-AC power converters
83.
DC-AC power convertors
84.
DC-DC power conversion
85.
DC‐DC power conversion
86.
DC-DC power converter
87.
DC-DC power converters
88.
DC–DC power converters
89.
DC-DC power convertors
90.
DC‐DC power convertors
91.
Differential Power Analysis (DPA)
92.
differential power processing (DPP)
93.
dimensioning cooling power
94.
directional power spectral density
95.
Discrete power device
96.
distributed power
97.
distributed power generation
98.
distributed power systems
99.
distrubuted power generation
100.
double power-law
101.
dual-purpose dc-dc/ac power converters
102.
economic power dispatch
103.
Egyptian power system
104.
electric power distribution
105.
electric power generation
106.
electric power storage system
107.
electric power system
108.
electric power system control
109.
electric power system stability
110.
electric power systems
111.
electric power transmission
112.
electric power transmission networks
113.
electric power utilization
114.
electrical power domain
115.
electrical power quality
116.
electrical power systems
117.
Emergency power support
118.
emerging power converters
119.
faults in power system
120.
flexibility in power systems
121.
fluid power feeding system with a pneumo-hydraulic accumulator
122.
fluid power system
123.
fossil fuel power plants
124.
fractional power zero-pole
125.
fuel cell power systems
126.
full power converter
127.
full power Z -source converter
128.
functional power plants
129.
functional power-plants
130.
GaAs power devices
131.
galvanically isolated DC-DC power converter
132.
Geological Power Bank
133.
global maximum power point
134.
global power sharing
135.
grid-connected power supply
136.
grid-forming power converters
137.
heat and power plant
138.
heating power
139.
high percentage of wind power
140.
high power density
141.
high step-up power converters
142.
high voltage power converters
143.
hybrid power system
144.
hybrid power systems
145.
hydraulic power
146.
hydroelectric power generation
147.
hydroelectric power station (HEPS)
148.
inductive power transfer
149.
inductive power transfer (IPT)
150.
inductive power transmission
151.
inductive wireless power transfer link
152.
industrial power systems
153.
instantaneous power balancing
154.
integration of solar power plants
155.
Interconnected power system
156.
isolated power conditioning unit (PCU)
157.
isolated power converters
158.
Kalman-filter based maximum power point tracking (KF-MPPT)
159.
leakage current and reactive power supporting
160.
limited power
161.
lithium batteries and power system modeling
162.
local power supply system
163.
low power
164.
low-power ASIC design
165.
low-power circuits and systems
166.
low-power decoupling
167.
low-power designs
168.
low-power device
169.
machine learning applications in power systems
170.
market power
171.
market power mitigation
172.
maximum available power
173.
maximum power point
174.
maximum power point tracker
175.
Maximum power point trackers
176.
maximum power point tracking
177.
maximum power point tracking (MPPT)
178.
medium voltage power cables
179.
Mini-block power plant
180.
mobile nuclear power
181.
Modern power system
182.
module level power electronics (MLPE)
183.
module-level power electronics (MLPE)
184.
multi-machine industrial power plant
185.
multi-machine power system
186.
narrowband power line communications
187.
non-active power
188.
non-coercive power
189.
normative power
190.
nuclear power
191.
off-grid hybrid power supply
192.
Off-shore wind power
193.
offshore wind power plants
194.
oil shale-fired power plants
195.
oil-shale power generation
196.
parallel active power filter
197.
partial power based on buck-boost resonance converter
198.
partial power based on isolated Z - Source converter(PPZSC)
199.
partial power conversion
200.
partial power converters (PPC)
201.
partial power DC-DC converter
202.
partial power processing
203.
Partial power processing (PPP)
204.
peak power limiting
205.
photovoltaic power plant
206.
photovoltaic power systems
207.
power
208.
power allocation
209.
power amplifier
210.
Power amplifiers
211.
power aware computing
212.
power balance
213.
power based control
214.
power bed fusion
215.
power cable
216.
Power cables
217.
power capacitors
218.
power chart
219.
power combiner
220.
power conditioner
221.
power conditioning
222.
power conditioning units (PCUs)
223.
power consensus
224.
power consumption
225.
power consumption of production
226.
power control
227.
power conversion
228.
power converter
229.
power converter interfaces
230.
power converters
231.
power converters design
232.
power converters for EV
233.
power decoupling
234.
Power Delay Product (PDP)
235.
power delivery network
236.
power demand
237.
power density
238.
power devices
239.
power diodes
240.
power dissipation
241.
power disspation
242.
power distribution
243.
power distribution control
244.
power distribution faults
245.
power distribution lines
246.
power distribution network
247.
power distribution system
248.
power electronic building block
249.
power electronic converter
250.
power electronic converters
251.
power electronic interfaces
252.
power electronic interfaces for renewable energy sources
253.
power electronic transformer
254.
power electronics
255.
power electronics (PE)
256.
power electronics converter
257.
power electronics converters
258.
power electronics solutions
259.
power engineering
260.
power engineering computing
261.
power exchange
262.
power factor
263.
power factor correction
264.
power factor correction (PFC)
265.
power flow
266.
power flow equations
267.
power flow optimization
268.
power forecasting
269.
power frequency
270.
power generation
271.
power generation dispatch
272.
power generation economics
273.
power generation planning
274.
power grid
275.
power grid imbalance
276.
power grid project
277.
power grids
278.
power harmonic filters
279.
power imbalance
280.
Power industry
281.
power injection
282.
power inverter
283.
power inverters
284.
Power Iteration Clustering (PIC)
285.
power law
286.
Power leveling strategy
287.
power limitation
288.
power line communication
289.
power line construction
290.
power loss
291.
power loss minimization
292.
power loss model
293.
power losses
294.
power management
295.
power market model
296.
power markets
297.
power measurement
298.
power mismatch analysis
299.
power module
300.
power MOSFET
301.
power of discrimination
302.
power optimization
303.
power optimizer
304.
Power oscillation damping controller (PODC)
305.
power outage
306.
Power Plant
307.
power plant cycling
308.
power plant pollution
309.
Power plants
310.
power quality
311.
Power quality (PQ)
312.
power quality benchmarking
313.
power quality case study
314.
Power Quality Disturbances (PQD)
315.
power quality disturbances (PQDs)
316.
power quality legislation
317.
power quality measurement
318.
power quality measurement equipment
319.
power quality measurements
320.
power quality monitoring
321.
power quality parameters
322.
power reduction
323.
power reliability
324.
power semiconductor device
325.
power semiconductor devices
326.
power semiconductor switches
327.
power series
328.
power sharing
329.
power signature
330.
power smoothing
331.
power sources
332.
power spectral density
333.
power spectrum
334.
Power storage
335.
power supplier
336.
power supplies
337.
power supplies to apparatus
338.
power supply
339.
power swings
340.
power system
341.
power system analysis computing
342.
power system control
343.
power system dynamics
344.
power system economics
345.
power system faults
346.
power system harmonics
347.
power system management
348.
power system measurements
349.
power system modeling
350.
power system modelling
351.
power system operation
352.
power system parameter estimation
353.
power system planning
354.
power system protection
355.
power system reliability
356.
power system resilience
357.
power system restoration
358.
power system security
359.
power system simulation
360.
power system simulations
361.
Power system stabilizer (PSS)
362.
power system stability
363.
power system transient stability
364.
power systems
365.
Power systems expansion
366.
power systems flexibility
367.
power sytems
368.
power to hydrogen technology
369.
power transfer distribution factor
370.
power transformers
371.
power transistors
372.
power transmission
373.
power transmission lines
374.
power variations
375.
power-aware
376.
power-electronic converters
377.
power-factor correction
378.
power-flow equations
379.
power-hardware-in-the-loop
380.
power-laws
381.
power-sharing
382.
power-to-gas based storage system
383.
Power-to-heat
384.
power-to-hydrogen
385.
power-to-X
386.
power-to-X technology
387.
PQ (Power Quality)
388.
PQM (Power Quality Monitoring)
389.
pulse width modulated power converters
390.
pulsed power load (PPL)
391.
pulsewidth-modulated power converters
392.
PV module level power electronics
393.
PV power generation
394.
PV power output
395.
PV power plant
396.
reactive power
397.
reactive power compensation
398.
reactive power control
399.
reactive power injection
400.
reactive power management
401.
reactive power provision
402.
Real interconnected power system
403.
relative band power
404.
relative gamma power
405.
resonant power convertors
406.
reverse power flow
407.
reverse power transfer
408.
r-th power residue symbol
409.
series partial power converter (S-PPC)
410.
series partial power converter (S-PPC) based on the push-pull
411.
shade-tolerant maximum power point tracking (MPPT)
412.
shale oil and power cogeneration
413.
shunt active power filter
414.
smart power electronics
415.
smart power grids
416.
Soft power
417.
solar power
418.
solar power forecasting
419.
solar power generation
420.
solar power plant integration
421.
space-based solar power
422.
static power converters
423.
surplus power factor
424.
sustainable power engineering
425.
switch mode power supply
426.
switched mode power supplies
427.
switched-mode power supplies
428.
switchedmode power supply
429.
switched-mode power supply
430.
symbolic power
431.
talkative power conversion
432.
thermal power plant
433.
thermal power plants
434.
Thermal Power Station
435.
theta band power
436.
three-phase power factor correction (PFC) converter
437.
time-delay renewable power systems
438.
topological power plant
439.
topology/power control
440.
Unified power flow controller (UPFC)
441.
uninterruptible power supply (UPS)
442.
universal power electronic interface converter
443.
UPF (unity power factor)
444.
wave power
445.
welding power supply
446.
wind power
447.
wind power forecasting
448.
wind power generation
449.
wind power generators
450.
wind power plants
451.
wind power production
452.
Wind-photovoltaic-thermal-bundled power
453.
wireless power transfer
454.
virtual power plant
455.
virtual power plant (VPP)
456.
virtual power plants
457.
virtual power plant's (VPPs)
458.
working power of luminaires
459.
voting power
460.
15min power balance
märksõna
1
1.
Enefit Power
autor
1
1.
Power, Ian M.
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT