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