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