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