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