Recently Updated Pages
Transfer function (digital filter)
A transfer function $W(z)=\frac{C(z)}{A(z)}$ is an operator that given a process $v(t)$ outputs t...
Non steady state solutions
If we consider a stationary stochastic process $v(t)$ and an assintotically stable transfer func...
Moving average processes
Given a zero mean white noise $e(t) \sim WN(0,\lambda^2)$ we define the moving average process o...
Wiener–Khinchin theorem
Spectrum antitrasformation and relation with covariance
There exists an antitrasformation: $$\gamma_y(\tau)=\frac{1}{2\pi}\int_{-\pi}^{+\pi}{\Gamma_y(\om...
Auto regressive processes with exogenous input
With ARMA we model time-series: we analize the output of a system without observing any input. In...
Non zero mean ARMA
Consider the ARMA process $y(t)=\frac{C(z)}{A(z)}e(t)$ where is a non zero mean white noise$e(t) ...
Weak (wide sense) characterization of ARMA
Given the ARMA process: $$y(t)=\frac{c_0+c_1z^{-1}+...+c_nz^{-n}}{1-a_1z^{-1}-...-a_mz^{-m}}e(t)=...
When ARMA is well defined?
Given the steady state output of the recursive equation defined by the transfer function $W(z)$ f...
Shift operators
The shift operators are: $z^{-1}$ backward shift operator $z^1$ forward shift operator Given ...
White noise
A white noise is a sequence of uncorrelated random variables with the same mean and the same vari...
Stationary stochastic processes (SSP)
A stochastic process $v(t,s)$ is stationary if: $m_v(t)=m_v$ $\forall{t}$: the mean function is ...
Stochastic processes and weak description
A signal is a function of time, usually symbolized $v(t,s)$. In a noisy signal, the exact value o...
Alloy
Syntax and semantics In Alloy everything is a set. Atoms are Alloy's primitive entities, they are...
JEE
Architecture Java EE platform suggests a distributed multitiered architecture model for enterpris...
Critical Path Method
It is used to estimate the minimum project duration. This schedule network analysis technique cal...
Earned Value Analysis
Budget at completion ($BAC$): total budget for the project Planned value ($PV$): budgeted cost...
Function Points
Function Points is a technique to measure the dimension of a software based on the functionalitie...
Availability
Mean Time to Repair ($MTTR$): Average time between the occurrence of a fault and service recov...
Symbolic Execution
A Symbolic state is made by the tuple: <path-condition, symbolic bindings>. A simple example of a...