Wigner 함수를 이용한 양자소자의 해석과 시뮬레이션 ( Wigner-Function-Based Analysis and Simulation of Quantum Devices )