• 청정기술
• /
• 제7권2호
• /
• pp.151-159
• /
• 2001

암모니아 흡수식 열펌프의 falling film type 흡수기에 대한 수학적 모델링 및 수치모사 연구를 수행하였다. 기존의 수학적 모델에 열역학적 물성을 온도의 함수로 적용하여 수치모사를 수행하였고 이로부터 얻은 결과를 실험결과와 비교함으로써 모델의 성능이 향상되는 것을 확인하였다. 그리고 개발된 모델을 이용하여 냉각수의 유량과 온도가 흡수기내에서 일어나는 열 및 물질전달에 미치는 영향을 평가하였다. 수치모사 결과로부터 냉각수 온도가 낮을수록 유량이 증가할수록 열 및 물질전달 효율이 증가하는 것을 알 수 있었다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제63권2호
• /
• pp.165-186
• /
• 2024

학교 현장과 대규모 평가에서 서술형 문항 도입을 지원하기 위한 방안 중 하나로 인공지능 기반의 자동 채점 기술이 주목받고 있음에도 불구하고, 수학 교과에서는 타 교과에 비해 이에 대한 기초 연구가 부족한 상황이다. 이에 본 연구는 중학교 1학년 수학 서술형 문항 두 개를 대상으로 랜덤 포레스트 알고리즘을 활용하여 자동 채점 모델을 개발하고 그 성능을 평가하였다. 연구 결과, 두 문항에 대한 최종 모델의 평가요소별 정확도는 각각 0.95-1.00, 0.73-0.89의 범위로 나타났으며, 이는 타 교과에 비해 상대적으로 높은 수준이다. 데이터의 양을 고려한 평가 범주 설정의 중요성을 확인하였으며, 수학 교육전문가에 의한 텍스트 전처리와 데이터 특성에 맞는 벡터화 방법의 선택이 모델의 성능 및 해석 가능성을 향상시키는 데 기여하였다. 또한, 현실적 한계로 인해 균형적인 데이터 수집이 어려운 상황에서 오버샘플링이 성능을 보완하는 유용한 방법임을 확인하였다. 교육적 활용도를 높이기 위해, 랜덤 포레스트 기반 모델에서 도출된 특성 중요도를 활용하여 피드백과 같이 교수-학습에 유용한 정보를 생성하는 추가 연구가 필요하다. 본 연구는 수학 서술형 자동 채점에 관한 기초 연구로서 의미가 있으며, 인공지능 전문가와 수학교육 전문가 간의 긴밀한 협력을 통해 다양한 후속 연구가 진행될 필요가 있다.

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

기후변화에 대응하기 위한 가뭄과 홍수 등의 수재해 관리체계 수립의 필요성이 높아지고 있어, 기후예측모형과 연계하여 수문 및 에너지 순환과정에서 하천유출에 대한 기후변화 영향예측이 가능한 지표수문모형(Land Surface Model, LSM)의 개발과 적용이 요구되고 있다. 또한, LSM은 연속적이고 장기적인 유출을 모의할 수 있어 수재해에 관한 예측과 정보 제공에 유용하므로, 최근 수재해 예측시스템 구축을 위한 주요한 도구로 관심을 받고 있다. 이에 따라, 본 연구에서는 기후모형 CWRF(Climate-Weather Research and Forecasting Model)와 연계되어 물-에너지 순환모의가 가능한 최신 LSM 중 하나인 Common Land Model(CoLM)을 우리나라 유역의 장기하천유출모의에 적용하고자 한다. 대부분의 LSM은 지상의 물과 에너지 순환과정이 각 단일 격자의 수직적인 모의과정으로 제한되고 있었지만, 현재 지속적인 개선을 통해 많은 LSM에서 보다 현실적인 물과 에너지 변화를 모의하고자 노력하고 있다. 그러나, 지속적인 모형의 개선에도 불구하고(또는 그로 인해) 정교한 수학적 프로세스를 통합하여 개선된 최신 LSM은 오히려 복잡한 매개변수 체계, 매개변수 추정, 입력자료, 초기 및 경계조건 등에서 비롯된 불확실성이 존재하고 있다. 따라서, 모형의 주요 매개변수값의 추정은 모의결과의 성능과 안정성을 확보하기 위한 LSM의 모의에서 필수적인 과정 중 하나이다. 유역의 특성에 따라 결정되는 모형 매개변수는 관련자료의 부재 또는 관측의 부정확성으로 인해 검보정 과정을 통해 결정되어야 하므로, 유역의 수문특성을 최대한 반영하고 모형의 성능과 안정성을 확보하기 위해 모의목적에 따라 적절한 검보정 목적함수의 선정도 요구된다. CoLM과 같이 다양한 매개변수가 사용되는 LSM에서는 모의결과에 대한 불확실성을 줄이고, 모의목적에 따른 모형의 예측도 향상을 위해서 모의결과에 민감한 주요 매개변수의 검보정이 과정이 중요하다. 따라서, 본 연구에서는 격자기반 지표수문모형인 CoLM을 이용하여 우리나라 유역의 장기하천유출을 모의하는 과정에서 CoLM의 주요 매개변수 검보정에 필요한 적절한 목적함수의 적용을 통해 CoLM 장기하천유출 모의결과의 예측성능을 개선하고자 한다.

• 항공우주기술
• /
• 제4권2호
• /
• pp.27-35
• /
• 2005

본 연구에서는 에어터보램제트(ATR) 엔진의 탈설계점 성능해석을 위한 코드를 개발하고 이를 이용하여 기 설계된 ATR 엔진에 대한 탈설계점 성능해석을 수행하였다. 미리 정의한 작동 영역 중 중요 작동점을 정의하여 성능해석을 수행하였으며, 작동 영역이 넓음을 고려하여 가변 흡입구 및 가변 노즐을 사용하는 것으로 가정하였다. 각 요소 부품은 탈설계점 성능을 계산할 수 있도록 수학적 모델을 개발하였으며, 이 과정에서 일부 설계 개념을 도입하여 각 요소 부품의 설계 인자에 따른 성능 변화도 계산하였다. 성능해석 결과 기 설계된 엔진은 ATR 비행체의 임무 영역(마하 6.0, 고도 30km)을 모두 달성하기 어렵고, 낮은 마하 수에서 예냉각기의 역할이 크지 않음을 알 수 있었다.

• 한국추진공학회지
• /
• 제14권4호
• /
• pp.59-64
• /
• 2010

터보샤프트 엔진의 고공성능시험에서 주요 성능 인자인 축마력, 연료 유량, 비연료 소모율 및 공기유량에 대하여 측정의 수학적 모델을 제시하고 측정 불확도를 평가하였다. 터보제트 및 터보팬 엔진의 경우와 비교하여 차이점을 논의하였다. 시험 조건의 측정 불확도를 평가하였으며, 이를 보정된 성능 데이터 측정 불확도에 반영하는 방법을 제시하였다. 실제 터보샤프트 엔진 고공성능시험설비를 이용한 시험 사례에 대한 측정 불확도 평가 결과를 제시하였다. 주요 성능 인자의 측정 불확도는 시험 조건측정의 불확도를 반영하였을 경우 0.65~1.09%, 반영하지 않았을 경우 0.36~0.94%로 평가되었다.

• 한국콘텐츠학회논문지
• /
• 제11권11호
• /
• pp.34-41
• /
• 2011

IEEE 802.11 WLAN의 MAC에서는 데이터 전송을 제어하기 위한 방법으로 DCF와 PCF를 사용하며, DCF는 CSMA/CA를 기반으로 BEB 백오프 알고리즘을 사용한다. BEB 백오프 알고리즘은 경쟁 스테이션이 적은 상황에서는 비교적 우수한 성능을 보이나 경쟁 스테이션의 수가 많은 경우 처리율, 지연 관점에서 성능이 저하되는 문제점이 있다. 본 논문에서는 패킷 전송 후 충돌이 발생하면 경쟁윈도우를 최대경쟁 원도우로 증가시키고 패킷의 정상적인 전송 후에는 경쟁윈도우를 서서히 감소함으로써 패킷 충돌 확률을 낮추는 백오프 알고리즘을 제안하고 이를 수학적으로 분석한다. 제안하는 알고리즘의 효율성을 입증하기 위해 시뮬레이션을 수행하고 분석하였다.

• 한국항공우주학회지
• /
• 제32권9호
• /
• pp.80-87
• /
• 2004

향후 인공위성의 정밀 자세지향 요구가 매우 높아짐에 따라 궤도상의 위성에서 발생하는 고주파 진동인 지터 (Jitter) 의 능동적인 재어가 중요한 문제로 대두되고 있다 . 지터는 탑재체의 성능을 저하시키는 주요 요인이다. 지난 10년간 수동식 및 능동식의 지터 제어 방법이 연구되어 왔다. 본 연구에서는 모텔 장치에 대한 능동식의 지터 분리에 대한 기법을 소개하기로 한다. 모델 장치는 피드백 제어의 원리를 기반으로 3 자유도의 운동을 통해 능동적인 제어가 가능하게 해준다. 이를 위해 시스템의 수학적 모델링을 수행하고 확보된 모델은 기본적인 제어기 설계에 이용된다. 설계된 제어법칙은 시뮬레이션을 통해 그 성능을 검증하도록 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 추계학술발표대회
• /
• pp.1278-1281
• /
• 2007

초고속 인터넷망이 발달됨으로써 분산 컴퓨팅 시스템 구축이 용이해졌다. 분산 컴퓨팅 시스템은 저비용과 유휴 계산 자원의 활용으로 기존의 슈퍼컴퓨터와 유사한 능력을 발휘할 수 있다는 장점을 지닌다. 암호 알고리즘의 실질적인 안전성 요소인 키의 길이는 전수조사 계산량에 의존한다. 키 전수조사를 위한 대용량 계산은 슈퍼컴퓨터, 클러스터, 분산 컴퓨팅 등의 환경에 따라 세부적인 메커니즘에 차이를 보인다. 본 논문에서는 분산 컴퓨팅 시스템을 소개하고, 이러한 환경 하에서 암호 알고리즘의 키 전수조사 작업을 수행하기 위한 세부적인 절차에 대해서 논하고, 구체적으로 키 전수조사 작업을 효율적으로 수행하기 위한 방법을 제안한다.

• 한국통신학회논문지
• /
• 제38A권12호
• /
• pp.1110-1116
• /
• 2013

3D-ray tracing tool은 신호의 반사, 투과, 그리고 회절까지 고려하여 3차원 공간에서 더욱 정확한 네트워크 성능을 분석하기 위한 소프트웨어이다. 통신표준에서는 통신 자원을 효율적으로 제공하기 위해 소형셀을 포함한 Heterogeneous Networks (HetNets)을 도입하고 있다. 매크로셀에 비해 좁아진 커버리지를 사용하는 소형셀 환경에서는 3D 공간에서 성능분석이 중요해 졌다. 또한 지형구조와 건물의 배치 그리고 3D 빔포밍(beamforming) 기술 등의 사용으로 인해 네트워크 환경이 복잡해지기 때문에 기존의 2차원 수학적 모델들을 이용하여 성능을 분석하기에는 어려움이 따른다. 본 논문에서는 소형셀 네트워크 성능을 더욱 효율적으로 분석하기 위한 3D-ray tracing tool을 활용한 성능평가 방법을 소개한다. 성능평가 결과 기존의 방법보다 3D-ray tracing tool을 활용한 성능평가 방법이 소형셀 환경에서 더욱 적합하다는 결론을 내렸다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (3)
• /
• pp.33-35
• /
• 1998

본 논문에서는 형식론적 모델링 및 모의 실험 방법을 사용하여 병렬 디스크의 성능 예측 및 영상 데이터용 비선형 편집기의 개발을 위한 여러 형태의구조에 대해서 모의 실험한 결과 및 성능에 영향을 미치는 요소들에 대해 다루고 있다. 컴퓨터가 발전하기 전에는 테이프를 이용한 선형 편집기를 사용하였으나. 컴퓨터가 발전하고 또한 입출력 장치의 성능이 향상되면서 RAID(Redundant Array of Inexpensive Disk)가 개발되었고, 이것을 이용한 비선형 편집기가 개발되었다. 병렬디스크는 비선형 편집기뿐만 아니라 VOD(Video On Demand)나 데이터 서버등 응용분야가 많고, 요구되는 성능에 따라서 다양한 구조의 병렬디스크가 사용된다. 매우 큰 대역폭이 요구되는 병렬디스크의 경우에는 다양한 버스와 버퍼를 사용한 복잡한 계층적 구조가 요구된다. 그러나 이렇게 복잡한 병렬디스크를 개발하기 에 적당한 개발 도구가 없어 필요한 성능에 꼭 맞는 시스템을 개발하기가 어렵다. 특히 디스크의 성능을 수학저으로 쉽게 구할 수 없다. 또한 시스템이 실물로 완성되기 전에는 디스크의 운영 알고리즘의 개발 및 파일 시스템의 개발이 쉽지 않다. 그래서 쉬운 소프트웨어 개발과 디스크의 성능을 쉽게 측정하기 위해서 객체 지향 성능 예측시스템(OOPPS :Objet Oriented Performance Prediction System)을 개발하였고, 이것을 이용하여 HDTV용 비선형 편집기의성능을 예측하고, 필요한 성능을 만족하는 구조를 선택하여 실물로 개발하였다.