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