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)
algab
sisaldab
täpne vaste
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)
algab
sisaldab
täpne vaste
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)
algab
sisaldab
täpne vaste
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)
algab
sisaldab
täpne vaste
—
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)
algab
sisaldab
täpne vaste
—
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/414)
Ekspordi
ekspordi kõik päringu tulemused
(2)
Salvesta TXT fail
Salvesta PDF 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
412
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.
deductive verification
11.
extra-functional verification
12.
forecast verification
13.
formal verification
14.
functional verification
15.
grid verification
16.
Hardware Verification
17.
model verification
18.
model-based verification
19.
program verification
20.
reliability verification
21.
RISC-V Security Verification
22.
security verification
23.
simple payment verification (SVP)
24.
simulation-based verification
25.
speaker verification
26.
timing verification
27.
validation and verification
28.
verification
29.
verification and validation
30.
verification by model checking
31.
verification methods
32.
AC power converters
33.
AC/DC power converter
34.
AC‐AC power convertors
35.
ac-dc power conversion
36.
AC-DC power converter
37.
AC-DC power converters
38.
active power
39.
active power decoupling
40.
adaptive power allocation
41.
aircraft electric power system
42.
alpha power variability
43.
auxiliary power supply
44.
balance of power
45.
balancing power
46.
bidirectional power flow
47.
bidirectional power flow control
48.
bisection based optimal power allocation
49.
boost power converter
50.
buck-boost full power converter
51.
buck–boost power converter
52.
capabilities of power electronics
53.
capacitive power transfer
54.
CHP (combined power and heat)
55.
combined heat and power
56.
combined heat and power plant
57.
common-ground power converter
58.
concentrated solar power
59.
condensing power plant
60.
connection power
61.
constant power load
62.
constant power source
63.
consumed power minimization
64.
consumer power system
65.
consumer-perceived power
66.
contribution to power quality deterioration
67.
conventional power plant
68.
cyber physical power system (CPPS)
69.
cyber power Europe
70.
DC power supply
71.
DC/DC power conversion
72.
DC/DC power converters
73.
DC-AC power conversion
74.
DC-AC power converters
75.
DC-DC power conversion
76.
DC‐DC power conversion
77.
DC-DC power converter
78.
DC-DC power converters
79.
DC–DC power converters
80.
DC-DC power convertors
81.
DC‐DC power convertors
82.
Differential Power Analysis (DPA)
83.
dimensioning cooling power
84.
directional power spectral density
85.
Discrete power device
86.
distributed power
87.
distributed power generation
88.
distributed power systems
89.
distrubuted power generation
90.
double power-law
91.
dual-purpose dc-dc/ac power converter
92.
economic power dispatch
93.
Egyptian power system
94.
electric power distribution
95.
electric power generation
96.
electric power storage system
97.
electric power system control
98.
electric power system stability
99.
electric power systems
100.
electric power transmission
101.
electric power transmission networks
102.
electric power utilization
103.
electrical power quality
104.
electrical power systems
105.
faults in power system
106.
flexibility in power systems
107.
fluid power feeding system with a pneumo-hydraulic accumulator
108.
fluid power system
109.
fossil fuel power plants
110.
fractional power zero-pole
111.
fuel cell power systems
112.
full power converter
113.
full power Z -source converter
114.
functional power plants
115.
functional power-plants
116.
GaAs power devices
117.
galvanically isolated DC-DC power converter
118.
global maximum power point
119.
grid-connected power supply
120.
grid-forming power converters
121.
heat and power plant
122.
heating power
123.
high step-up power converter
124.
high voltage power converters
125.
hybrid power system
126.
hydraulic power
127.
hydroelectric power generation
128.
hydroelectric power station (HEPS)
129.
inductive power transfer
130.
inductive power transfer (IPT)
131.
inductive power transmission
132.
inductive wireless power transfer link
133.
industrial power systems
134.
integration of solar power plants
135.
Interconnected power system
136.
isolated power conditioning unit (PCU)
137.
isolated power converters
138.
Kalman-filter based maximum power point tracking (KF-MPPT)
139.
leakage current and reactive power supporting
140.
limited power
141.
lithium batteries and power system modeling
142.
local power supply system
143.
low power
144.
low-power ASIC design
145.
low-power device
146.
market power
147.
market power mitigation
148.
maximum power point
149.
maximum power point tracker
150.
Maximum power point trackers
151.
maximum power point tracking
152.
maximum power point tracking (MPPT)
153.
medium voltage power cables
154.
Mini-block power plant
155.
Modern power system
156.
module level power electronics (MLPE)
157.
module-level power electronics (MLPE)
158.
multi-machine industrial power plant
159.
multi-machine power system
160.
narrowband power line communications
161.
non-active power
162.
non-coercive power
163.
normative power
164.
nuclear power
165.
off-grid hybrid power supply
166.
Off-shore wind power
167.
offshore wind power plants
168.
oil shale-fired power plants
169.
oil-shale power generation
170.
parallel active power filter
171.
partial power based on buck-boost resonance converter
172.
partial power based on isolated Z - Source converter(PPZSC)
173.
partial power conversion
174.
partial power converter
175.
partial power converters
176.
partial power processing
177.
Partial power processing (PPP)
178.
peak power limiting
179.
photovoltaic power plant
180.
photovoltaic power systems
181.
power
182.
power allocation
183.
power amplifier
184.
power aware computing
185.
power balance
186.
power based control
187.
power bed fusion
188.
power cable
189.
Power cables
190.
power capacitors
191.
power chart
192.
power combiner
193.
power conditioner
194.
power conditioning
195.
power conditioning units (PCUs)
196.
power consensus
197.
power consumption
198.
power consumption of production
199.
power control
200.
power conversion
201.
power converter
202.
power converter interfaces
203.
power converters
204.
power converters design
205.
power converters for EV
206.
power decoupling
207.
Power Delay Product (PDP)
208.
power delivery network
209.
power demand
210.
power devices
211.
power diodes
212.
power dissipation
213.
power disspation
214.
power distribution
215.
power distribution control
216.
power distribution faults
217.
power distribution lines
218.
power distribution network
219.
power distribution system
220.
power electronic building block
221.
power electronic converter
222.
power electronic converters
223.
power electronic interfaces
224.
power electronic interfaces for renewable energy sources
225.
power electronic transformer
226.
power electronics
227.
power electronics (PE)
228.
power electronics converter
229.
power electronics converters
230.
power engineering
231.
power engineering computing
232.
power exchange
233.
power factor
234.
power factor correction
235.
power factor correction (PFC)
236.
power flow
237.
power flow equations
238.
power forecasting
239.
power frequency
240.
power generation
241.
power generation dispatch
242.
power generation economics
243.
power generation planning
244.
power grid
245.
power grid project
246.
power grids
247.
power harmonic filters
248.
power imbalance
249.
Power industry
250.
power inverter
251.
Power Iteration Clustering (PIC)
252.
Power leveling strategy
253.
power limitation
254.
power line communication
255.
power line construction
256.
power loss
257.
power loss minimization
258.
power loss model
259.
power losses
260.
power management
261.
power market model
262.
power markets
263.
power measurement
264.
power module
265.
power MOSFET
266.
power of discrimination
267.
power optimization
268.
power optimizer
269.
Power oscillation damping controller (PODC)
270.
power outage
271.
Power Plant
272.
power plant cycling
273.
power plant pollution
274.
Power plants
275.
power quality
276.
power quality benchmarking
277.
power quality case study
278.
Power Quality Disturbances (PQD)
279.
power quality disturbances (PQDs)
280.
power quality legislation
281.
power quality measurement
282.
power quality measurement equipment
283.
power quality measurements
284.
power quality monitoring
285.
power quality parameters
286.
power reduction
287.
power semiconductor device
288.
power semiconductor devices
289.
power semiconductor switches
290.
power series
291.
power signature
292.
power smoothing
293.
power spectral density
294.
power spectrum
295.
Power storage
296.
power supplier
297.
power supplies
298.
power supplies to apparatus
299.
power supply
300.
power swings
301.
power system
302.
power system analysis computing
303.
power system control
304.
power system dynamics
305.
power system economics
306.
power system faults
307.
power system harmonics
308.
power system management
309.
power system measurements
310.
power system modelling
311.
power system operation
312.
power system parameter estimation
313.
power system planning
314.
power system protection
315.
power system reliability
316.
power system resilience
317.
power system restoration
318.
power system security
319.
power system simulation
320.
power system simulations
321.
Power system stabilizer (PSS)
322.
power system stability
323.
power system transient stability
324.
power systems
325.
Power systems expansion
326.
power systems flexibility
327.
power sytems
328.
power to hydrogen technology
329.
power transfer distribution factor
330.
power transformers
331.
power transistors
332.
power transmission
333.
power transmission lines
334.
power variations
335.
power-aware
336.
power-electronic converters
337.
power-factor correction
338.
power-flow equations
339.
power-hardware-in-the-loop
340.
power-laws
341.
power-sharing
342.
power-to-gas based storage system
343.
Power-to-heat
344.
PQ (Power Quality)
345.
PQM (Power Quality Monitoring)
346.
pulse width modulated power converters
347.
pulsed power load (PPL)
348.
pulsewidth-modulated power converters
349.
PV module level power electronics
350.
PV power generation
351.
PV power output
352.
PV power plant
353.
reactive power
354.
reactive power compensation
355.
reactive power control
356.
reactive power injection
357.
reactive power management
358.
reactive power provision
359.
relative band power
360.
relative gamma power
361.
resonant power convertors
362.
reverse power flow
363.
reverse power transfer
364.
r-th power residue symbol
365.
series partial power converter (S-PPC)
366.
shade-tolerant maximum power point tracking (MPPT)
367.
shale oil and power cogeneration
368.
shunt active power filter
369.
smart power electronics
370.
smart power grids
371.
Soft power
372.
solar power
373.
solar power forecasting
374.
solar power generation
375.
solar power plant integration
376.
space-based solar power
377.
static power converters
378.
surplus power factor
379.
sustainable power engineering
380.
switch mode power supply
381.
switched mode power supplies
382.
switched-mode power supplies
383.
switchedmode power supply
384.
switched-mode power supply
385.
symbolic power
386.
thermal power plant
387.
thermal power plants
388.
Thermal Power Station
389.
theta band power
390.
three-phase power factor correction (PFC) converter
391.
time-delay renewable power systems
392.
topological power plant
393.
topology/power control
394.
Unified power flow controller (UPFC)
395.
uninterruptible power supply (UPS)
396.
wave power
397.
welding power supply
398.
wind power
399.
wind power forecasting
400.
wind power generation
401.
wind power generators
402.
wind power plants
403.
wind power production
404.
Wind-photovoltaic-thermal-bundled power
405.
wireless power transfer
406.
virtual power plant
407.
virtual power plant (VPP)
408.
virtual power plants
409.
virtual power plant's (VPPs)
410.
working power of luminaires
411.
voting power
412.
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