뛰는 놈 위에 나는 공대생

수학 공부를 할 때마다 증명 문제를 많이 마주하게 되는데 그럴 때마다 증명에 대한 체계가 없어서 이번에 겸사겸사 정리한다. 1. 논리 기호 표시 $\neg$ 또는 $\thicksim$ : not $\wedge$ : and $\vee$ : or $\bot$ : a logical contradiction or a false statement (a statement which truth value is false). $\neg p \rightarrow \bot$ 은 곧 $p$가 참이라는 뜻이다. 2. 직접 증명 Direct proof 일반적인 수학책에서 다루는 것처럼 정의(definition), 공리(axiom), 정리(theorem)를 이용해서 증명하는 방법 3. 수학적 귀납법 proof by inducti..

이번에는 추진 방법에 대한 분류를 정리하도록 한다. 분류를 할 때는 그 기준이 중요하다. 위의 그림과 같이 크게 Power source, Working fluid를 기준으로 분류를 할 수 있다. 어떻게 추진을 만들어내는지에 따라 piston engine, jet engine, rocket engine으로 나눌 수 있고, 추진 과정에서 사용되는 작동유체에 따라, 공기를 사용하는 방식인 airbreathing propulsion과 rocket propulsion으로 나눌 수 있다. NOTE : 여기서 제트 엔진, 피스톤 엔진, 그리고 가스 터빈까지 온갖 용어를 혼재해서 사용하는 경향이 있어서 몹시 헷갈린다. 가스 터빈은 열역학에서 배우는 Brayton cycle을 사용하는 회전 동력 기관이다. 입력으로 들어..

Mom-Friends Take Different Paths in Providing for Kids DEAR ABBY: I met my friend "Ashley" and her daughter three years ago. Our daughters are 9 years old. Ashley makes good money and is married. I'm a single mom. I do well as a registered nurse, but I'm not on her level when it comes to money. We all get along great and have a lot in common. However, Ashley buys her daughter, "Mimi," a lot. Eve..

추진에 대해서 아는 게 많지 않아서 이번에 정리하는 글. 1. Propulsion이란 추진 자체는 넓게 이해한다면, 어떤 물체를 움직이게 하는 것이라고 할 수 있다. 지상이동체, 해양운송에 쓰이는 동체, 비행체(우주비행체든 항공기든)이 추진을 통해 움직이는 물체이고 이런 이동하는 물체를 위해 추진공학이 필요하다. 2. Propulsion 기본 원리 기계공학, 항공우주공학에서 식을 유도할 때 기본이 되는 원리는 Newton's Second Law, Momentum conservation이다. 비행기가 날기 위해서는 외부 공기를 흡입해서 압축한 다음에 연소를 통해 빠른 속도로 공기를 방출함으로써 mass와 속력 변화 덕분에 추진을 할 수 있다. 로켓을 쏘기 위해서는 외부 공기를 쓰지 않더라도 내부에 있는 추..

face gets flushed 얼굴이 빨개지다 heat rash 땀띠 limited childcare options for parents 부모는 아이보육 방법이 제한되어있다 compaines aren't offering enough maternity leave 회사는 충분한 육아휴직을 주지 않는다 out-lying universities 수도권 외 대학 All I can is to twiddle my thumbs 손으로 장난치는 것 외에는 할 수 있는 전부였다 soak in the hot springs 온천에 몸을 담그는 것 an attitude adjustment 태도 교정 search article for specific information : 기사에서 특정 정보를 찾기 위해 찾아보는 것 sear..

MATLAB에서 결과를 plot하고 싶을 때 유용한 기능들을 모아놓고 쓰려고 기록하는 글. 1. Plot할 때 디폴트 속성 지정하기 plot을 많이 쓰면 일일이 plot의 디테일을 지정해주는 게 번거롭고 귀찮다. 그럴 때는 아예 figure 디폴트 속성을 지정해놓으면 된다. 내가 자주 쓰는 명령은 다음과 같다. set( groot, 'defaultLineLineWidth', 1.5 ) ; % plot line 두께 지정 set( groot, 'defaultAxesXGrid', 'on' ) ; % x축 방향으로 grid 생성 set( groot, 'defaultAxesYGrid', 'on' ) ; % y축 방향으로 grid 생성 set( groot , 'defaultAxesFontSize', 12 ); %..

매트랩에서는 다양한 자료형을 지원하고 있다. 그 중에서 string과 char에 대해서 이야기하려고 한다. 이렇게 string과 char를 특정해서 이야기하는 이유는 string과 char의 차이를 모르고 두 문자형의 데이터를 결합하려고 하면 문제가 생기기 때문이다. 보통 MATLAB Code를 돌리고 나서 나온 결과값을 .mat이든 .csv, .txt든 저장을 하고 싶을 수 있다. 이 때는 파일명을 특정해줘야하는데, 파일명은 문자이다. (데이터형의 문제가 아니라 진짜 그냥 문자이다.) 따라서 파일명을 filename = "hello.mat" save(filename, 'var.mat') % 변수이름이 var일 때 이런 식으로 저장을 할 수 있다. 하지만 파일명이 지속적으로 바뀌어야 하는 경우나, 파일을..

Estimation theory은 많은 분야에서 사용되고 있는 방법론이다. 최근 머신러닝이 빠르게 발전하면서 Estimation theory와 겹치는 영역이 많다는 것을 알게 되었고, estimation theory와 머신러닝을 따로 배우다보니, 비슷한 내용을 배우면서도 둘을 다르게 구별하는 일이 생겼다. 따라서 이 글에서는 estimation thoery와 machine learning에서 다루는 추정 방법에 대해 정리하고자 한다. 이 글의 내용은 단순 분류에 불과하며 구체적인 내용은 개별 글을 통해 정리하면 좋을 것이다. 또한 공부를 하다가 내용을 더 추가하거나 수정할 가능성도 열어두고 싶다. 기술적 용어의 경우에는 최대한 영어로 쓴다. 어차피 학계에서는 영어로 통용되기 때문에 한글로 번역해서 쓰면 ..

5. MATLAB과 연동 5.1. HL-20 예제 보통 시뮬레이션을 MATLAB에서 수행하므로 MATLAB은 Flight gear와 연동할 수 있는 여러 기능을 준비해놓았다. Aerospace blockset을 다운받는 것이 먼저 필요한 과정이다. Aerospace blockset에는 몇 가지 example이 준비되어있고 flight gear와 연동할 수 있도록 잘 되어있는 예제도 있다. HL-20 예제가 대표적이다. 그런데 이 예제는 처음부터 끝까지 거의 다 해놓았기 때문에 실제 내가 시뮬레이션을 만들어서 적용하기는 어렵다. 위의 시뮬레이션에서 flight gear라고 써진 저 빨간 박스를 누르면 위의 창을 볼 수 있다. steps로 나와있는 순서대로 따라가면서 버튼만 눌러주면 된다. 1번은 Fligh..

flight simulation을 위한 open source인 프로그램 flight gear를 사용하기 위해 몇 가지 필요한 내용을 기록한다. 1. 설치 아래 링크에서 프로그램을 다운받으면 된다. windows, linux, mac 모두 지원한다. https://www.flightgear.org/download/ Download Central – FlightGear Flight Simulator Download FlightGear 2020.3 – the latest stable, supported release – for free. Download Aircraft The easiest way to install aircraft is via the launcher – this will ensure airc..