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/434)
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
432
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 engineering
244.
power engineering computing
245.
power exchange
246.
power factor
247.
power factor correction
248.
power factor correction (PFC)
249.
power flow
250.
power flow equations
251.
power forecasting
252.
power frequency
253.
power generation
254.
power generation dispatch
255.
power generation economics
256.
power generation planning
257.
power grid
258.
power grid imbalance
259.
power grid project
260.
power grids
261.
power harmonic filters
262.
power imbalance
263.
Power industry
264.
power injection
265.
power inverter
266.
Power Iteration Clustering (PIC)
267.
power law
268.
Power leveling strategy
269.
power limitation
270.
power line communication
271.
power line construction
272.
power loss
273.
power loss minimization
274.
power loss model
275.
power losses
276.
power management
277.
power market model
278.
power markets
279.
power measurement
280.
power module
281.
power MOSFET
282.
power of discrimination
283.
power optimization
284.
power optimizer
285.
Power oscillation damping controller (PODC)
286.
power outage
287.
Power Plant
288.
power plant cycling
289.
power plant pollution
290.
Power plants
291.
power quality
292.
power quality benchmarking
293.
power quality case study
294.
Power Quality Disturbances (PQD)
295.
power quality disturbances (PQDs)
296.
power quality legislation
297.
power quality measurement
298.
power quality measurement equipment
299.
power quality measurements
300.
power quality monitoring
301.
power quality parameters
302.
power reduction
303.
power semiconductor device
304.
power semiconductor devices
305.
power semiconductor switches
306.
power series
307.
power signature
308.
power smoothing
309.
power sources
310.
power spectral density
311.
power spectrum
312.
Power storage
313.
power supplier
314.
power supplies
315.
power supplies to apparatus
316.
power supply
317.
power swings
318.
power system
319.
power system analysis computing
320.
power system control
321.
power system dynamics
322.
power system economics
323.
power system faults
324.
power system harmonics
325.
power system management
326.
power system measurements
327.
power system modeling
328.
power system modelling
329.
power system operation
330.
power system parameter estimation
331.
power system planning
332.
power system protection
333.
power system reliability
334.
power system resilience
335.
power system restoration
336.
power system security
337.
power system simulation
338.
power system simulations
339.
Power system stabilizer (PSS)
340.
power system stability
341.
power system transient stability
342.
power systems
343.
Power systems expansion
344.
power systems flexibility
345.
power sytems
346.
power to hydrogen technology
347.
power transfer distribution factor
348.
power transformers
349.
power transistors
350.
power transmission
351.
power transmission lines
352.
power variations
353.
power-aware
354.
power-electronic converters
355.
power-factor correction
356.
power-flow equations
357.
power-hardware-in-the-loop
358.
power-laws
359.
power-sharing
360.
power-to-gas based storage system
361.
Power-to-heat
362.
power-to-X
363.
PQ (Power Quality)
364.
PQM (Power Quality Monitoring)
365.
pulse width modulated power converters
366.
pulsed power load (PPL)
367.
pulsewidth-modulated power converters
368.
PV module level power electronics
369.
PV power generation
370.
PV power output
371.
PV power plant
372.
reactive power
373.
reactive power compensation
374.
reactive power control
375.
reactive power injection
376.
reactive power management
377.
reactive power provision
378.
relative band power
379.
relative gamma power
380.
resonant power convertors
381.
reverse power flow
382.
reverse power transfer
383.
r-th power residue symbol
384.
series partial power converter (S-PPC)
385.
series partial power converter (S-PPC) based on the push-pull
386.
shade-tolerant maximum power point tracking (MPPT)
387.
shale oil and power cogeneration
388.
shunt active power filter
389.
smart power electronics
390.
smart power grids
391.
Soft power
392.
solar power
393.
solar power forecasting
394.
solar power generation
395.
solar power plant integration
396.
space-based solar power
397.
static power converters
398.
surplus power factor
399.
sustainable power engineering
400.
switch mode power supply
401.
switched mode power supplies
402.
switched-mode power supplies
403.
switchedmode power supply
404.
switched-mode power supply
405.
symbolic power
406.
thermal power plant
407.
thermal power plants
408.
Thermal Power Station
409.
theta band power
410.
three-phase power factor correction (PFC) converter
411.
time-delay renewable power systems
412.
topological power plant
413.
topology/power control
414.
Unified power flow controller (UPFC)
415.
uninterruptible power supply (UPS)
416.
wave power
417.
welding power supply
418.
wind power
419.
wind power forecasting
420.
wind power generation
421.
wind power generators
422.
wind power plants
423.
wind power production
424.
Wind-photovoltaic-thermal-bundled power
425.
wireless power transfer
426.
virtual power plant
427.
virtual power plant (VPP)
428.
virtual power plants
429.
virtual power plant's (VPPs)
430.
working power of luminaires
431.
voting power
432.
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