앞만 보는 사람

안녕하세요. 공대생 4학년인 코딩부자 입니다. 코딩부자라고 소개하고, 전력변환시스템을 공부하다니 아이러니합니다!

3학년 때 까지만 해도 SW의 길을 선택했는데, 4학년이 되어서 HW의 길로 방향을 바꿔서 그렇습니다 하하

TMI는 여기까지 하고, Buck converter의 원리를 보도록 하죠

(본 자료는 경북대학교 교수님의 자료를 바탕으로 만든 내용입니다)

Buck Converter 와 Boost Converter는 SPDT라는 회로로 이루어져있습니다. 여기서 SPDT란 Single Pole Double Throw의 약자로, 하나의 폴과 두 개의 로드를 가지고 있다고 보면 됩니다.

아래 그림을 보면 더 이해가 잘 될 겁니다!

Buck 컨버터는 위와 같이 스위치 하나, 인덕터 하나, 커패시터 하나, 저항 하나로 이루어진 컨버터 입니다. 여기서 컨버터란 교류 신호를 직류 신호로(AC -> DC)로 바꾸는 역할을 합니다. TMI 하나 더 하자면, 나중에 배울 인버터(직류 신호 -> 교류 신호)도 컨버터를 바탕으로한 회로입니다. 

<이건 그냥 제 생각입니다..!>

벅 컨버터의 우측을 보면 LPF(Low-Pass-Filter)가 있는 걸 볼 수 있는데, 이 덕분에 Small Ripple Approximation을 가정할 수 있다고 생각합니다...(아닐 수 있어요 ㅠ)

벅 컨버터는 Step down 역할을 하는데, 즉 강압을 하는 컨버터 입니다. 여기서 강압이란 출력 전압을 낮춰주는 것을 의미합니다. 예를 들어 우리나라의 220v전력을 쓰는 콘센트를 일본에 110v콘센트에 꽂기 위해선 벅 컨버터를 써야한다고 생각하면 됩니다. 그 반대가 승압인데, 승압은 Boost Converter의 내용이므로, 뒤에 다뤄 보도록 하겠습니다.

그리고 우측에 그래프를 보면 M(D) = D라는 걸 볼 수 있는데, 여기서 D는 듀티사이클 비(신호 한 주기에서 ON되어 있는 비율)을 나타내며, 저는 D를 0이상 1이하로 나타냅니다.

또한 M(D)는 강압비로, 벅 컨버터에서는 듀티사이클과 같습니다. 그 이유는 밑에 가면 나옵니다..!(하하)

부스트 컨버터에 대한 내용은 배우지 않았지만, 위의 그림을 빌려서 하나만 설명해보겠습니다.

위쪽에 있는 벅 컨버터의 입력 부분은 스위치가 ON되면 전류가 흐르고, OFF되면 흐르지 않습니다. 그래서 리플성분이 크고, 출력 부분에는 이와 반대로 ON/OFF상태에서 전류가 비슷하게 흐르기 때문에 리플이 작다고 볼 수 있습니다.

또한 벅 컨버터를 이해하기 위해서 Small Ripple Approximation이라는 개념을 이용합니다. 요약하자면, 출력 전압은 출력 전압의 평균과 같다!라고 보면 됩니다. (물론 실제로 같은 건 아니고, 비슷하다!라고 봐야합니다)

벅 컨버터를 두 가지의 경우로 나눠서 보겠습니다

벅 컨버터가 ON인 경우에는 인덕터에 에너지를 저장하고, 그 인덕터를 통해 흐르는 전류가 부하에도 전달됩니다.

벅 컨버터가 OFF인 경우에는 인덕터에 저장되어있던 에너지가 방출되고, 그로 인해 전류가 흐릅니다.

벅 컨버터의 ON/OFF경우에 대해서, 인덕터 전압 식을 이용해서 각 경우의 인덕터 전류를 구할 수 있습니다.

그리고 마지막으로 인덕턴스 까지 구하면 뚝딱!!

그리고 인덕터의 Voltage second balance Low를 통해서, 시작 부분에서 왜 M(D) = D 인지 증명할 수 있습니다.

인덕터 전압의 그래프를 퓨리에 시리즈로 변환하고, Voltage second balance low를 통해 DVg = V라는 방정식을 얻을 수 있고, 이에 따라서 출력전압/입력전압의 비가 D(듀티사이클)이 되는 것을 확인할 수 있습니다.

빠밤~~ 즉, 출력 전압이 듀티사이클에 의해 변화시킬 수 있다는 결론이 나옵니다. 즉 220v 콘센트를 꽂은 후에 출력 전압이 110v가 나오도록 하려면, 듀티사이클을 1/2만큼만 만들어 주면(반 주기만 ON하면) 된다는 겁니다.

단, 이론적으론 그러나 실제의 경우는 다릅니다.. 하하

이상으로 코딩부자의 벅 컨버터 원리 내용입니다.

정리에 앞서, 저는 현재 지거국 3학년으로 재학 중인 공대생입니다. 여기에 나와있는 내용들은 제가 직접 공부하고 요약해서 쓰기 때문에 정확하지 않은 정보가 있거나, 원하는 정보를 얻지 못하실 수 있습니다. 최대한 객관적이고 다양하게 준비해서 올리도록 노력하겠습니다. 자료의 출처나 내용에 대한 질문은 댓글이나 hcbeom9635@gmail.com으로 보내주시면 감사하겠습니다.

교재는 Steven C. Chapra, Applied Numerical Methods with MATLAB for Engineers and Scientists (4 th edition), McGraw-Hill, 2019의 재본판을 사용했습니다.

근(Roots)을 찾는 방법(Method)들

수치해석은 기본적으로 '해를 찾아가는 방법'들을 배우는 과목입니다. f(x) = 0 을 만족하는 x의 값을 해 또는 근 이라고 부릅니다. 우리가 수학을 배울 때는 일반적인 함수들 (ex 1차,2차,3차 함수)을 주로 다뤄서 상대적으로 해를 구하기가 쉬웠습니다. 하지만 더 복잡한 함수의 근을 구해야 할 때는 기존의 방법이 비효율적일 수 있습니다. 즉, f(x) = 0의 방정식으로 푸는 것이 아닌, 여러 과정을 통해서 근삿값을 구한 후, 점점 근에 점근하는 식으로 찾는 것입니다. 그것이 바로 수치해석의 목적입니다.

5장에서는 Bracketing Methods를, 6장에서는 Open Methods를 배웁니다. 앞선 글에서 말씀드렸지만, Bracketing Method와 Open Method는 각각 장단점이 있습니다. 그 내용은 아래 링크를 보시면 될 겁니다.

6장에서는 총 4가지 방법의 수치해법 과정을 배웁니다. 

1. Simple Fixed-Point Method

2. Newton-Rapshon Method

3. Secant Method (Modified Secant Method)

4. Brent's Method -> Bracketing Method + Open Method

이번 장에서는 Simple Fixed-Point Method만 알아보겠습니다.

Simple Fixed-Point Method란?

x=g(x)의 함수 형태를 사용하여 근을 찾아내는 수치해법이다. 

하나의 예시를 들어서 설명해보겠다.

f(x)의 형태가 주어질 때 x=g(x)의 형태로 변환한다. 그러면 f(x)=g(x)라는 방정식이 나오게 되고, 두 그래프의 교점의 x좌표가 근이 되는 것이다.

또한 Bracketing Method와는 다르게 구간이 필요없어서 적당한 초기값을 설정해서 근을 구하면 된다.

예시는 초기값을 0으로 두고 풀었을 경우이다.

또한 근사 오차와 참 상대 오차도 구했다. 

여기서 좀 더 자세히 보면, 참 오차가 계속 비슷한 비율로 줄어드는 것을 볼 수 있습니다.

그 이유는 평균값 정리와 관계가 있습니다.

마지막으로 Open Method는 발산하는 단점이 있다고 했는데, Simple Fixed-Point Method에서 발산하는 경우를 알아보겠습니다. 첫 초기값인 X0에 대해서 도함수의 절댓값이 1보다 크면 발산하는 경향이 있습니다. 아래의 예시를 보면 더 와닫을 것입니다.

정리에 앞서, 저는 현재 지거국 3학년으로 재학 중인 공대생입니다. 여기에 나와있는 내용들은 제가 직접 공부하고 요약해서 쓰기 때문에 정확하지 않은 정보가 있거나, 원하는 정보를 얻지 못하실 수 있습니다. 최대한 객관적이고 다양하게 준비해서 올리도록 노력하겠습니다. 자료의 출처나 내용에 대한 질문은 댓글이나 hcbeom9635@gmail.com으로 보내주시면 감사하겠습니다.

교재는 Steven C. Chapra, Applied Numerical Methods with MATLAB for Engineers and Scientists (4 th edition), McGraw-Hill, 2019의 재본판을 사용했습니다.

근(Roots)을 찾는 방법(Method)들

수치해석은 기본적으로 '해를 찾아가는 방법'들을 배우는 과목입니다. f(x) = 0 을 만족하는 x의 값을 해 또는 근 이라고 부릅니다. 우리가 수학을 배울 때는 일반적인 함수들 (ex 1차,2차,3차 함수)을 주로 다뤄서 상대적으로 해를 구하기가 쉬웠습니다. 하지만 더 복잡한 함수의 근을 구해야 할 때는 기존의 방법이 비효율적일 수 있습니다. 즉, f(x) = 0의 방정식으로 푸는 것이 아닌, 여러 과정을 통해서 근삿값을 구한 후, 점점 근에 점근하는 식으로 찾는 것입니다. 그것이 바로 수치해석의 목적입니다.

5장에서는 Bracketing Methods, 6장에서는 Open Method를 배우고, Bracketing Methods + Open Methods = Brent's Methods도 뒤에 나옵니다. 

우선 5장의 Bracketing Methods를 알아보겠습니다.

Bracketing Methods

Bracketing Methods는 구간을 정하고 근을 추정하는 방법입니다. 그렇기에 구간을 위한 2개의 초기값을 요구합니다.

장점은 정확하게 근을 추정할 수 있다는 것이고,

단점은 속도가 느리다는 것입니다.

뒤에서 배우겠지만 Open Methods는 반대로 속도가 빠르지만, 정확하지 않아서 발산할 가능성이 있습니다.

Bracketing Methods에는 Bisection Method와 False position Method가 있습니다.

• 근을 추정하는 구간을 정했을 때 나타는 여러 경우들

• (a), (b) 경우

• (c), (d) 경우

• 일반적으로 두 경계치 간의 함수값의 곱이 양수이면 근이 존재하지 않고, 함수값의 곱이 음수이면 근이 존재한다. 그러나 (e), (f)의 경우처럼 두 경계치의 값이 양수임에도 근이 존재할 수 있고, 음수여도 근이 존재하지 않거나 중근이 존재할 수 있다. 즉, 여러 경우에 대해 정확한 알고리즘 개발은 매우 힘든일이다. 그래서 수치해법을 사용해야 하는 것이다.

• Bracketing Method에서는 주로 두 경계치를 알맞게 정했다는 가정하에 시작하므로, 두 경계치의 곱을 통해서 근을 찾아낼 수 있다. 그 방법을 Incremental search라고 한다.

(1). Bisection Methods

• absolute error는 bisection method에서 나타나는 에러이다. 이것을 통해 원하는 횟수 n을 구할 수 있으며, 반대로 원하는 횟수 n번에 대한 에러를 찾아낼 수도 있다.

(2). False Position

근을 쉽게 찾기 위해 경계의 함수크기를 고려한다. 주로 Bisection보다 효과적이고, 오차가 빨리 감소하는 장점이 있다.

항상 bisection보다 좋은 것은 아닌데, 이렇게 심한곡률을 가진 함수는 너무 느리게 수렴하는 단점이 존재한다.

정리에 앞서, 저는 현재 지거국 3학년으로 재학 중인 공대생입니다. 여기에 나와있는 내용들은 제가 직접 공부하고 요약해서 쓰기 때문에 정확하지 않은 정보가 있거나, 원하는 정보를 얻지 못하실 수 있습니다. 최대한 객관적이고 다양하게 준비해서 올리도록 노력하겠습니다. 자료의 출처나 내용에 대한 질문은 댓글이나 hcbeom9635@gmail.com으로 보내주시면 감사하겠습니다.

저는 공부할 때 Discrete Mathematics - Richard Johnsonbaugh 7th 제본판을 사용했습니다.

이산수학 1장. Sets and Logic

연산자(Quantifier)

이산수학 1장에서는 두 가지의 연산자를 배웁니다.

Universal Quantifier ∀

Existential Quantifier ∃

입니다.

• Universal Quantifier  ∀xP(x)

"for every" , "for all" 즉, 모든 x에 대해 만족하는 명제를 나타낼 때 쓰입니다. Universal Quantifier 명제가 참인지 거짓인지 판별하기 위해서는 반례(CounterExample)를 들어서 판별할 수 있습니다. 모든 x에 대해 만족하는 명제가 거짓이라면, 그 명제를 만족하지 않는 x를 찾으면 됩니다. 수식으로 설명해보겠습니다.

Ex)

• Existential Quantifier  ∃

"there exist" 즉, 명제에 해당하는 x의 값이 하나라도 '존재'하는지의 여부를 확인할 때 쓰입니다. 예시를 통해 확인해보겠습니다.

Ex)

그렇다면 이 두 가지를 동시에 쓸 수는 없을까요? 당연히 쓸 수 있습니다. 그런 경우를 Nested Quantifier라고 합니다.

• Nested Quantifier

Ex)

모든 x에 대해 식을 만족하는 모든 y가 있다면 명제는 참입니다. Nested Quantifier에 드모르간 법칙을 사용하면 아래와 같이 됩니다.

드모르간 법칙을 사용할 때 주의할 점은, ∀이 not을 취하면 ∃이 되고, ∃이 not을 취하면 ∀가 되는 것이 핵심입니다. 또한 명제에도 Not을 포함해줘야 합니다.

정리에 앞서, 저는 현재 지거국 3학년으로 재학 중인 공대생입니다. 여기에 나와있는 내용들은 제가 직접 공부하고 요약해서 쓰기 때문에 정확하지 않은 정보가 있거나, 원하는 정보를 얻지 못하실 수 있습니다. 최대한 객관적이고 다양하게 준비해서 올리도록 노력하겠습니다. 자료의 출처나 내용에 대한 질문은 댓글이나 hcbeom9635@gmail.com으로 보내주시면 감사하겠습니다.

저는 공부할 때 Discrete Mathematics - Richard Johnsonbaugh 7th 제본판을 사용했습니다.

이산수학 1장. Sets and Logic

명제란?

명제(Proposition)이란 참인지 거짓인지 결정할 수 있는 문장을 뜻합니다. 우리는 일상 속에서 수많은 대화를 주고받습니다. 그 말 중에서는 명제인 것도 있고 아닌 것도 있습니다. 예를 들어서 확인해보겠습니다.

ex)

1) 7을 나눌 수 있는 양의 정수는 오직 2와 5이다. -> 거짓으로 판단되므로 명제가 맞다.

2) 모든 양의 정수 n에 대해, n 보다 큰 소수(prime number)가 있다. -> 참으로 판단되므로 명제가 맞다.

3) x + 10 = 14 -> x의 값에 따라 참 또는 거짓이 될 수 있으므로 명제가 아니다. 즉, 참인지 거짓인지 판명 불가.

• p 와 q 가 명제 일 때,
• conjunction (AND) : p ∧ q
  disjunction (Inclusive-OR) : p v q
  disjunction (Exclusive-OR) : p v q
  negation (NOT) : ~ p , ¬ p

Truth Table

명제는 다양한 연산자를 갖고 있는데, 이 연산자에는 '연산우선순위'가 존재합니다. 어려울 것 없습니다. 괄호가 없을 때 연산자 우선순위는 (not) -> (and) -> (or)의 순으로 연산하면 됩니다.

Conditional Proposition(조건 명제)

조건 명제에 대해 알아보겠습니다. 흔히 얘기하는 "p 이면 q 이다"라는 것이 조건 명제입니다. p는 가정이며, q 는 결론에 해당합니다. 이것을 수식으로 써서 표현하면 p -> q 가 됩니다. 그리고 또 한 가지, 영어로 표현하면 "if p, then q" 또는 "p only if q"인 경우도 모두 p->q와 같은 의미로 받아들이면 됩니다. 

어떤 명제의 진리값이 같다면 명제 P와 Q는 logically equivalent하다고 하고, 수식으로는 방정식의 '='처럼 세 줄로 나타냅니다.

• Biconditional Propositions

바이컨디셔널 프로포지션은 한국말로 '필요충분조건' 입니다. 어렵게 왜 영어로 썼냐구요? 대학가면 다 그렇답니다...

여튼 필요충분조건은 문제에서 " p if and only if q"라고 많이 씁니다. 논리식과 여기표는 다음과 같습니다.

• 역(Converse) & 대우(Contrapositive)

역과 대우는 아주 중요한 개념입니다. 주어진 명제가 참인지 거짓인지 판별할 때 역이나 대우를 이용하며 증명하는 경우도 있으니까요..! 역과 대우의 여기표는 다음과 같습니다.

• Arguments

Deductive reasoning(연역적 추론) : 연속적인 명제들로부터 결론을 도출하는 과정

여기서 Argument는 가정들이 모두 참일 경우에 결론이 참이라는 것을 말합니다. 만약 가정에서 거짓이 존재한다면 결론은 거짓입니다. 수식으로 살펴보겠습니다.

• Rules of Inference (추론의 규칙)

이산수학을 배웠다면 여기 부분에서 가장 골머리가 아플 것이다. 그러나 차근차근 공부하다보면 알게된다. 여기 부분은 나중에 더 자세하게 써야겠다... 일단 외워!

정리에 앞서, 저는 현재 지거국 3학년으로 재학 중인 공대생입니다. 여기에 나와있는 내용들은 제가 직접 공부하고 요약해서 쓰기 때문에 정확하지 않은 정보가 있거나, 원하는 정보를 얻지 못하실 수 있습니다. 최대한 객관적이고 다양하게 준비해서 올리도록 노력하겠습니다. 자료의 출처나 내용에 대한 질문은 댓글이나 hcbeom9635@gmail.com으로 보내주시면 감사하겠습니다.

저는 공부할 때 Discrete Mathematics - Richard Johnsonbaugh 7th 제본판을 사용했습니다.

이산수학 1장. Sets and Logic

집합(Set)이란?

Set(집합)은 서로 다른 물체들의 모음 입니다. 그리고 집합 안에 있는 것을 Elements(원소)라고 불립니다.

예를 들어 집합 A에 원소 x가 있다면 아래와 같이 간단하게 표현합니다.

x라는 원소를 조금 더 구체화 시켜서 예를 들어봅시다.

A안에 {1,3,5,7}라는 원소가 있어서 1은 A에 속한다고 볼 수 있습니다. 

또한 B안에는 k가 0~5까지의 상수이므로 {1,3,5,7,9,11}라는 원소가 있어서 3또한 A에 속합니다.

이렇게 간단하고 유한한 집합을 Finite sets이라고 불립니다.

반대로 무한한 집합을 Infinite sets이라고 합니다. 무한한 집합은 무엇이 있을까요? 대표적인 예만 들어보자면

정수의 집합은 무한한 집합입니다.

이렇듯 사용자에 따라 여러 가지 종류의 집합을 만들 수 있습니다. X, Y라는 집합이 있을 때, X의 모든 원소가 Y에 포함된다면 X는 Y의 부분집합(subset)이며 기호로는 아래처럼 나타낼 수 있습니다.

또한 X가 Y의 부분집합일 때 X≠Y이면 X는 Y의 진부분집합(proper subset)라고 하며 기호로는 다음과 같습니다.

여기서 중요한 점은, 대부분 교육과정에서는 부분집합과 진부분집합의 표기를 혼용해서 사용하는 것입니다. 사실 중요한 부분은 아니므로 그냥 넘어가도 좋습니다. 만약 교수님께서 구분해서 사용하신다면 그렇게 쓰고, 아니면 아닌 대로 쓰면 됩니다..하하

예를 들어 아래와 같은 집합 A,B가 있으면 A는 B의 부분집합으로 볼 수 있습니다.

생소한 집합인 멱집합(Power Set)와 기수(Cardinality)라는 것을 알아보겠습니다.

멱집합은 집합 X의 모든 부분 집합의 집합입니다.

직관적으로 알 수 있도록 식으로 보면 아래와 같습니다.

기수(Cardinality)는 집합 안의 원소의 수를 뜻합니다. 기호로는 절댓값처럼(A의 기수 = |A|) 쓰면 됩니다.

집합 A에는 a,b의 두 가지 원소만 있으므로

여기서 멱집합과 기수간의 관계를 알아보겠습니다. 

A = {a, b} 이고 P(A) = {∅, {a}, {b}, {a,b}}이므로 |P(A)| = 4 

즉, 집합 A의 원소가 n개일 때 멱집합A의 기수는

집합 안에는 또 다른 집합이 있는 경우도 있습니다. 그런 경우를 벤다이어그램으로 나타내면 아래와 같고, 이러한 모음을 Pairwise Disjoint라고 합니다.

Partition이라는 것은 X가 nonempty subsets S의 모음일 때, X안의 모든 원소들이 S의 한 멤버 안에만 속해 있다면 S는 X의 partition이라고 합니다. 즉, S가 X의 partition이면 S는 pairwise disjoint하다고 볼 수 있습니다.

글로만 보면 확 와닿지 않는데, 예시를 보면 쉽게 이해할 수 있습니다.

마지막으로 Cartesian Product(데카르트 곱)에 대해서 알아보겠습니다. 데카르트 곱은 기호로 X x Y이며 정의는

x ∈ X and y ∈ Y 인 모든 순서쌍 (x,y)들의 집합이다. 데카르트 곱의 예시를 보고 이해해보겠습니다.

지금까지 집합에 대한 내용을 알아봤습니다. 사실 집합은 중학생 때부터 배운 것들이라서 이해하는데 큰 어려움이 없습니다. 그러나 생소한 용어와 영어로 나오니까 몰랐던 부분은 체크하는 게 좋습니다. 다음장에서는 명제를 알아보겠습니다.