• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권5호
• /
• pp.403-410
• /
• 2010

하스켈의 모나드는 순수 함수형 프로그래밍뿐만 아니라 명령형 형태의 프로그래밍도 가능케 하고 있다. 본 연구에서는 순수 함수형 프로그래밍 방식으로 코딩된 어셈블리 언어 인터프리터 구현을 모나드 방식으로 재 구성함으로써 모나드 추상화와 프로그래밍 기법의 특성을 부각시킨다. 모나드 프로그래밍은 스택과 심볼 테이블에 상태 모나드를 적용하는 것과, 이 모나드들을 상태 모나드 트랜스포머를 이용하여 통합 구성하는 두 단계로 이루어진다. 결과적으로, 모나드 프로그래밍에 의한 코드는 순수 함수형 스타일의 코드보다 훨씬 더 간결하고 직관적임을 볼 수 있다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2009년도 학술발표회 초록집
• /
• pp.796-800
• /
• 2009

토목구조물 및 사면의 붕괴는 집중호우가 내리는 경우 많이 발생하고 있으며, 특히 사면에서는 붕괴까지의 변형이 급속히 진행되어 이를 사전에 예방하기는 매우 어려운 현실이다. 침투 및 배수과정에서의 사면 붕괴는 강우침투로 인한 지반의 물리적 특성변화가 직접적으로 사면의 안전계수 변화에 영향을 주는 것으로 판단되며, 이때 발생하는 물리적 특성변화로는 침투시 사면 내 지반의 단위 중량은 증가하여 전단응력의 증가 및 전단강도 감소현상이 발생하며, 이와 반대로 사면 내 배수로 인하여 전단응력의 감소 및 전단강도의 증가현상이 발생한다. 따라서 본 연구에서는 강우침투로 발생하는 지반의 포화도 변화를 지반 내 투수계수의 함수로 설명하여 강우로 인한 지반의 침투 및 배수과정을 규명하고자 한다. 일반적으로 지반 내 지하수의 침투과정은 라플라스 공식을 적용한다. 그러나 라플라스 공식은 정상 상태(Steady State)일 경우에만 사용할 수 있고, 강우 등으로 인한 지하수의 수두 변화가 발생한 비정상 상태(Unsteady State)의 경우에는 부적합하므로 사면과 옹벽 등의 토질구조물에서는 안전성 변화를 계산할 수 없다. 이를 위해 사면 내 지반의 침투 및 배수과정을 투수계수의 함수로 나타내어, 강우의 침투과정을 Fourier Series, 변수분리법 및 섭동함수를 사용하여 식으로 유도함으로서 강우에 의한 지반의 침투 및 배수과정에 따른 사면 내 지하수의 분포를 예측한다. 침투과정 해석을 위하여 지표에서 포화대까지의 깊이 10m의 모델사면 및 지표부터 포화대까지의 포화도는 직선으로 비례한다는 가정을 적용한다. 먼저 푸리에 급수를 이용, 시간에 따른 온도를 열전달에 관하여 편미분하여 발생하는 열확산계수를 투수계수로 변환함에 따라 지하수의 시간과 수직방향거리에 대한 지반의 포화도를 산정한다. 변수분리법은 산정된 포화도에 지반의 초기조건과 경계조건를 고려하기 위해 적용하며, 변수분리법에 의해 산정된 지하수 분포를 섭동함수법으로 과도 및 정상상태로 분류한다. 본 연구의 수행으로 인해 얻어진 결과를 요약하면 다음과 같다. 첫째, Fourier Series와 변수분리법, 섭동함수를 이용하여 강우에 의한 지반의 포화도 변화를 수식적으로 나타낼 수 있으며 둘째, 지반에서의 강우침투과정을 식으로 표현함으로서, 깊이별 시간에 따른 포화도의 영역이 상부로부터 하부로 전이되는 과정을 알 수 있다. 셋째, 푸리에 급수를 이용한 지반의 침투계산으로 강우로 인한 지반의 포화영역 및 불포화영역을 명확히 구분할 수 있으며, 각 깊이별 포화도를 계산하여 각 구간에서 불포화구간의 전단강도에 대한 보다 정확한 계산이 가능하리라 판단된다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 1998년도 학술발표회 논문집
• /
• pp.395-403
• /
• 1998

오염원의 이송확산에 관한 많은 연구들이 수행되어 왔으나 특히 비포화 영역에서 오염원 이송확산을 측정하는 것은 매우 어려운 것으로 알려지고 있다. 비포화 토양에서의 오염원 이송확산은 매질의 함수량 변화에 영향을 받기 때문에 오염원 거동특성을 이해하려면 비포화 흐름 분석을 선행한 후 오염원의 이송확산 특성을 분석하여야 한다. 본 연구에서는 비포화 영역에서의 오염원 이송특성을 분석하기 위하여 TDR(Time Domain Reflectometry)을 이용하여 비포화 흐름 및 오염원 이송을 측정하였다. 이를 위하여 본 연구에서는 TDR을 이용하여 오염원 이송을 측정하는 방법을 개발하였으며, 이 방법을 이용하여 1차원의 토양기둥시료에서 비포화 흐름 및 오염원 이송확산에 관한 실험을 수행하고 수치모형을 적용함으로써 비포화 영역에서 오염원의 이송확산에 관한 거동특성을 규명하였다. 본 연구에서는 두 종류의 국내 토양시료(SUS, KUS)를 사용하였는데, 토양의 물리적 특성을 예비실험을 통하여 규명한 후 토양기둥시료를 이용한 본실험을 수행하였다. 비포화 천이흐름하의 오염원 이송확산 실험에서는 급격한 습윤전선의 전진에 따른 종형의 함수량변화를 관측할 수 있었고, 이때 오염원의 농도는 함수량의 천이구간의 중심점으로부터 전방영역의 농도분포가 습윤전선에서의 함수량 분포와 유사한 종형을 이루고 있음을 관측할 수 있었다. 비포화 정상흐름하의 오염원 이송확산 실험에서는 오염원이 이송하며 농도 천이구간이 확장되어지는 전형적인 형태를 보였다. 또한 예비실험에서 측정한 매개변수를 입력자료로하여 수행한 수치결과와 실험결과를 비교하였는데 비포화 흐름특성은 실험결과와 수치결과가 정량적으로 일치하는 경향을 보였으나, 오염원 이송확산 특성은 정량적으로 수치결과가 실험결과보다 더 많이 확산되는 경향을 보였다. 따라서 수치모형을 현장에 적용할 경우 확산지수 결정에 주의하여야 할 것으로 판단된다. 즉, 수치모형에 적용할 확산지수는 BTC 실험을 통하여 측정한 확산지수, 수치확산, 흡착계수, 적용영역의 크기 등을 고려하여 결정하여야 한다. 특히 본 논문에서는 TDR을 이용하여 최초로 천이상태의 함수량과 오염원 농도를 측정하였는데 이를 위하여 전기전도도와 함수량관계를 추정하는 식을 제안하였으며, 전기전도도와 토양수 농도, 전기전도도와 함수량의 관계를 이용한 천이상태의 오염원 농도 측정방법을 개발하였다. 특히 제안식에서는 한계함수량의 개념을 도입하여 전기전도도와 함수량관계를 추정하므로 추정식의 실험값 반영 정도를 증가시켰다. 본 연구에서 제안된 식을 이용하여 추정된 전기전도도와 함수량관계는 다른 제안식에 비하여 개선된 결과를 보여 주었고, 본 연구에서 개발한 오염원 농도 측정법을 이용하여 측정한 결과 함수량이 0.15이하에서는 측정오차가 크지만 함수량이 0.15이상일 경우 매우 좋은 결과를 보였는데 질량평형을 검토한 결과 약 5-10%의 오차율을 보였다. 따라서 본 논문에서 개발된 천이상태의 오염원 농도측정법은 용존 오염물질의 이송에 관한 정확한 실험을 제공할 것으로 판단된다.

• 한국진공학회지
• /
• 제3권1호
• /
• pp.1-7
• /
• 1994

전자방출에서 에너지 교환과 역온도를 새롭게 계산하였다. 전자방출에서 대체전자들에 유용한 빈상태들을 만드는 요소로 터널링 효과를 이 계산에서 고려하였다. 그것은 방출부분에서 일어나는 대체 관정을 설명하기 위해서는 빈상태를 만드는데 터널링 기여가 필수적이기 때문이다. 이렇게 계산하여 온 도와 전장의 함수로 얻어진전자당 에너지 교환은 실험결과와 잘 일치하였다. 또한 전장의 함수로 얻어 진 역온도도 실험치와 만족할 만한 일치를 보여주었다. 이 결과는 대체전자들의 평균에너지에 대한 노 팅햄-플레밍과 헨더슨의 논쟁에서 후자의 견해를 지지하는 것이다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 제39회 하계학술대회
• /
• pp.99-100
• /
• 2008

본 논문은 전력계통의 과도상태에서의 STATCOM에 의해 제공되는 제동력을 평가한다. 기존의 논문들은 FACTS장비가 시스템의 안정도에 영향을 주는 제동력을 주로 고유치해석을 통하여 평가하였지만 본 논문은 에너지함수를 이용하여 FACTS장비에 의한 추가적인 제동력을 평가한다. 동기발전기의 상세모델링을 사용한 에너지함수를 통하여 STATCOM의 제동력이 전력계통의 과도 안정도에 미치는 영향을 시뮬레이션한다. 1기무한대모선 시스템에 적용한 결과를 보인다.

• 콘크리트학회논문집
• /
• 제14권1호
• /
• pp.118-125
• /
• 2002

콘크리트는 수화과정을 통하여 재료가 성숙되고, 경화된다. 수화의 진행은 엄밀한 의미에서 재령에 의하지 않고 수화도에 의해 제어되므로, 경화가 진행되는 콘크리트의 모든 재료특성과 미세구조 형성과정은 수화도에 의해 정식화되는 것이 바람직하다. 기존 연구는 주로 양생온도가 수화발열속도에 미치는 영향을 고려한 반응함수 개념을 주로 사용하였고, 또한 내부 수분상태의 영향을 습도함수의 형태로 고려한 연구결과는 실제 수화기구를 반영하지 못하고 단지 각 연구자의 실험조건과 배합조건에만 부합하는 결과를 보인다. 따라서 본 연구는 기존 제안식의 단점을 보완하기 위하여 수화기구와 미세구조 형성 과정에 기초하여 반응속도함수를 모델링하였다. 수화반응속도는 온도 및 수분상태에 따라 변화하므로, 본 연구에서는 수화발열 속도에 영향을 미치는 인자로, 시멘트 종류, 물-시멘트비 등의 배합특성과 양생온도 빛 세공조직의 내부수분상태를 고려하였다. 똔 연구에서 제시한 콘크리트의 수화도 예측모델은 기존의 온도영향만을 주로 고려하는 반응속도함수를 콘크리트내부의 수분분포 상태를 고려하여 모델을 개선하였으며, 이는 실제 측정한 수화도에 매우 근접하여 그 유용성을 검증하였다. 또한 수화도의 정의와 제시한 모델을 이용하여 콘크리트 요소내의 온도, 습도 덴 수화도를 수치적으로 결정하여 단열온도상승곡선을 정확히 모사 할 수 있었다. 제안된 모델은 수화가 진행되는 콘크리트의 여러 역학적 특성 및 미세구조 형성과정을 적절히 표현하고, 수화과정이 온도 및 습도상태를 결정하는 초기재령 콘크리트의 단면 내 온 습도상태를 추정하여 궁극적으로 초기재령 콘크리트의 균열 위험성을 평가하는데 유용하게 이용될 수 있을 것으로 사료된다.

• 전자공학회논문지
• /
• 제52권9호
• /
• pp.28-35
• /
• 2015

본 논문은 클럭 게이팅 구동신호를 이용한 전력 모델링 방법에서 회로에서 나타나지 않는 잉여 전력 상태를 확인함으로써 전력 상태 수를 줄이는 방법을 제안한다. 회로에 나타나지 않는 전력 상태를 확인하기 위해 함수적 종속성과 구조적 종속성을 확인한다. 본 논문에서는 2개의 클럭 게이팅 구동신호 간에 나타나는 함수적 종속성 중 동치 관계, 역관계, 포함 관계만을 다룬다. 구조적 종속성은 클럭 게이팅 셀의 위치적 특성에 의한 종속성을 의미한다. 두 종속성으로 발견한 관계를 이용해 전력상태의 수를 줄였으며, 감소 후 남은 전력 상태수를 세기위해 이진결정다이어그램을 사용하였다. 함수적 종속성과 구조적 종속성을 이용해 전력 상태 수를 알고리즘 적용 전 대비 평균 59%까지 감소시켰다.

• 대한전자공학회논문지SP
• /
• 제39권2호
• /
• pp.116-127
• /
• 2002

본 논문에서는 CDHMM 음성인식기의 인식성능을 향상시키기 위해 상태 당 관측밀도함수 수 변화에 의한 화자적응 알고리듬을 제안하였다. 제안한 방법은 CDHMM의 각 상태마다 관측 확률밀도함수의 가지 수가 두 개 이상이 릴 수도 있게 하여 발음특성의 다양성을 반영할 수 있게 하였다. 가지 수는 각 상태에 속하는 적응음성의 프레임 수에 따라 정하는 방법과 특징벡터 행렬식에 따라 정하는 방법으로 하였다 이두 방법중의 어느 하나로 관측 확률밀도함수의 가지가 결정되면, 세분화된 각 가지로부터 MAP 파라미터를 추출함으로써 정밀한 화자적응모델의 파라미터를 구할 수 있었다. 아울러 적응음성을 상태분할 할 때 기존의 화자독립모델을 사전정보로 이용함으로써 ML 추정시의 초기 상태분할 오류의 영향을 줄여 기존 상태분 할 방법의 단점을 개선하였다 그리고 상태지속분포를 화자에 적응시킴으로써 화자 고유의 발음속도와 발음 패턴 등의 음성특성을 흡수하도록 하였다. 제안한 방법들의 타당성을 확인하기 위한 실험에서 제안한 방법이 기존 방법에 비해 높은 인식률을 얻음을 확인하였다.

• 유변학
• /
• 제8권1호
• /
• pp.49-57
• /
• 1996

단섬유 강화복합재료의 가공공정에 있어서 유동 중에 일어나는 섬유 배향상태를 정 확히 예측하고 제어하는 일은 대단히 중요하다. 본 연구에서는 섬유현탁액의 거동을 살펴보 기 위하여 뉴톤유체를 매질로하는 섬유현탁액을 대상으로 하여 유변학적 해석을 하였다. 이 를 위해 섬유간 상호계수는 섬유배향상태의 함수의 섬유간 평균거리를 이용하여 계산하였는 데, 섬유간 평균거리는 변형된 Doi-Edwards의 방법을 이용하였다. 축대칭 압출팽창 문제를 예로 수치모사를 하여 본 저자들이 앞서 행한 결과와 비교하였다. 유동장을 축대칭 이차원 으로 하고 섬유배향을 삼차원 모두 고려하여 구한 수치모사의 결과는 실험과 잘 일치하였 다. 진한 섬유현탁액의 경우 섬유간 상호계수는 중요한 인자로서 이것을 섬유 배향상태에 의존하는데 이섬유간 상호계수를 섬유간 거리와 섬유배향상태의 함수로 나타내는 방법을 사 용하여 보다 실제적인 해석을 할수 있었다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1999년도 추계학술대회 논문집
• /
• pp.218-223
• /
• 1999

현재의 발전소 보일러 제어방식은 프로세스 성격에 따라 제어루프의 상태변수들을 근간으로 세부적인 독립된 제어루프별로 제어를 시행하는 개별 루프를 채택하고 있다. 발전소에서 사용하는 PID제어 방식은 각 부시스템들의 상태변수, 출력변수가 다른 부시스템의 선행신호가 되거나 기준신호가 되어 피드백제오, 피드포워드 제어와 캐스케이드 제어 등의 신호로 작용한다. 선행신호와 상태 궤환 신호는 다른 부시스템의 상태변수를 측정함에 의하여 결정되며, 상호연결 함수는 경험에 의한 함수 설정에 의해 결정된다. 본 논문에서는 먼저 화력발전소 보일러 제어시스템을 플랜트 변수들 사이의 인과관계를 표현하는 신호흐름도의 보일러 모델과 실제 발전소에 적용되고 있는 드럼 수위 제어기에 대해 기술한다. 그리고 현장에서 취득한 운전데이터를 이용한 보일러 드럼수위 제어계통의 모델링에 관한 내용에 대해 기술하고, 마지막으로 컴퓨터 시뮬레이션에 의한 제어루프의 모의실험 결과를 통해 제어기의 설계와 제어루프의 효용성을 보이고자 한다.