• 한국측량학회지
• /
• 제34권5호
• /
• pp.525-534
• /
• 2016

쌀은 오랜 기간 동안 남한 지역의 주식임과 동시에 농부들의 주 수입원이며, 농업 분야 관련 정책 수립을 위한 수학적인 쌀 생산량 추정 모델의 구축이 필요하다. 본 연구의 목적은 (1) 쌀 생산량 추정을 위한 회선신경망 모델의 구축과, (2) 최고의 성능을 보이는 회선신경망의 파라미터를 결정하는 것과, (3) 인공신경망 모델과의 비교를 통해 회선신경망의 성능을 평가하는 것이다. 각 모델의 입력데이터로는 2000~2013년도의 4~9월까지에 해당하는 기상자료와 MODIS 위성자료를 사용하였으며, 정확도 평가를 위해 교차 검증을 실시하였다. 회선신경망과 인공신경망은 쌀 생산 표본점을 대상으로 각각 36.10kg/10a, 48.61kg/10a와 시군구 지역을 대상으로 각각 31.30kg/10a, 39.31kg/10a의 RMSE를 보였다. 회선신경망 모델은 인공신경망 모델보다 우수한 성능을 보였으며, 본 연구를 통해 쌀 생산량 추정 분야에 대한 회선신경망 모델의 적용 가능성을 확인할 수 있었다.

• 한국광물학회지
• /
• 제20권2호
• /
• pp.97-102
• /
• 2007

보석질 천연 다이아몬드와 합성 다이아몬드의 $^{15}N$와 $^{13}C$에 대하여 다양한 스핀 이완 시간과 반복 시간을 적용한 NMR 실험을 수행하였다. $^{13}C$에 대해서는 보석질 천연 다이아몬드는 실험 반복 시간이 30초에서 34.1 ppm의 미약한 신호를 얻었으며 합성 다이아몬드에서는 실험 반복 간격이 0.5초에서부터 34.2 ppm의 신호를 얻었으며 실험 반복 시간이 50초에서는 더 뚜렷한 34.7 ppm의 신호를 얻을 수 있었다. 천연 및 합성 다이아몬드의 극히 낮은 함량에 기인하여 $^{15}N$는 NMR 신호가 감지되지 않았다. 천연 다이아몬드와 합성 다이아몬드의 이완 시간과 불순물의 성분 함량은 서로 밀접한 관련성이 있음을 확인하였으나 $^{13}C$의 NMR 특성의 유사성으로 신호의 강약의 차이를 제외하고는 천연 혹은 합성 여부의 구별은 가능하지 않았다.

• 한국융합학회논문지
• /
• 제9권3호
• /
• pp.257-263
• /
• 2018

고주파 열치료법은 1MHz 이상의 RF 고주파 전류를 전극을 통해 종양조직으로 공급, 가열하여 종양조직의 온도를 $42.0^{\circ}C$이상으로 상승시켜 열괴사시키는 치료법으로 알려져 있다. 인체 내에서 전자기에너지의 흡수와 전달을 위한 수학적으로 모델링과 생물학적인 신체조직의 온도 필드 분포의 해석과 평가를 통해 생체조직을 구성하는 분자들이 진동하면서 서로 마찰되어 열에너지로 전환되는 과정을 분석할 수 있다. 본 논문에서는 3차원 모델의 기하학적 형상의 성인남자 표준모델을 토대로 인체모형을 설정하고, 계산은 유한체적법 코드를 활용하였다. 인체에 전극을 장착하여 외부에서 유도되는 자기장을 모사한 쥴열이 공급되는 것으로 가정하였고 이에 대한 온도분포를 0-1,200초 동안 해석하였다. 시뮬레이션의 결과, 전달된 에너지는 전극의 가장자리로부터 전극의 안쪽으로, 피부 표면으로부터 피하층으로 점진적으로 침투되어 폐종양세포에 전달되어 종양이 열괴사하는 과정을 확인할 수 있었다.

• 한국해안해양공학회지
• /
• 제7권1호
• /
• pp.75-90
• /
• 1995

본 연구에서는 riser 내부의 유체흐름에 의해 발생하는 유체력이 심해저 riser의 동특성에 미치는 영향에 관해 조사하였다. riser의 비선형 동적해석을 위해 riser 내부의 유체흐름을 시스템에 포함하여 수학적 모델을 개발하였으며 유도된 모델에 Galerkin의 유한요소근사법과 시간증분자를 적용함으로써 수치해석을 위한 모델을 개발하였다. 또한 시스템의 자유도를 줄이고 비선형모델의 수치해를 얻기 위해 행해지는 반복계산을 줄이며 정확도를 높이기 위해 riser의 축방향 extensibility 조건을 사용 하였다. 관내부 유체 흐름으로 인한 riser의 동특성에 미치는 영향을 상부 인장력, 조류속도, 파주기 등과 같은 여러 영향요인들을 변화시키면서 조사하였다. 수치해석 결과 내부류체 흐름으로 인한 영향을 줄이기 위해서는 riser의 상부에 인장력을 riser의 허용내력 한도내에서 증가시키는 방법이 있으나 심해저로 갈수록 인장력 증가에 한계가 있기 때문에 riser 주위에 부체를 부착시키는 방법이 제시된다. 이 이외에도 riser의 해석시 대변형으로 인한 비선형성을 고려하게 되면 내부 유체흐름이 riser의 동특성에 미치는 영향을 증가시킴을 알 수 있었다.

• 한국정보전자통신기술학회논문지
• /
• 제13권5호
• /
• pp.436-442
• /
• 2020

ESS(energy storage system)는 재생에너지 자원의 증가 등의 영향에 따라 최근 다양한 분야에서 중요한 전력원으로 자리 잡고 있다. ESS는 사용에 따라 가용 용량이 지속적으로 감소하므로 잔존수명을 관리하는 것이 중요하다. 잔존수명의 추정을 위하여 주기적으로 점검자가 확인하는 방식이 사용될 수도 있으나, 관리시스템을 통하여 자동으로 모니터링되고 관리되는 것이 일반적이다. ESS 사업자 관점에서 정확도 높은 상태추정은 경제적, 효율적 운용을 위하여 중요하다. 잔존수명추정 모델은 운영에 따른 사이클 노후화와 기간 경과에 따른 캘린더 노후화를 고려하여 구성되며 복잡한 수학적 연산을 필요로 한다. ESS에 탑재되는 저비용 저성능의 프로세서에 잔존수명 추정모델의 적용을 위해서는 모델의 적절한 경량화 방안이 요구된다. 본 논문에서는 낮은 수준의 프로세서에서 연산이 용이하도록 ESS 잔존수명예측 모델을 경량화하였다. 시뮬레이션 평가 결과 ESS 잔존수명 추정 기준모델과 제안하는 모델간 오차는 1% 이내로 나타났다. 또한, 제안된 모델의 성능개선 효과 검증을 위하여 ATmega328을 기반으로 비교 평가를 수행하였을 때, 76.8~78.3%의 컴퓨팅 시간 단축을 확인하였다.

• 한국정보통신학회논문지
• /
• 제5권4호
• /
• pp.653-660
• /
• 2001

본 논문에서는 주파수합성기에서 가장 큰 잡음원인 VCO 및 각 단에서 발생하는 위상잡음 의 offset주파수에 따른 변화를 예측하기 위해 2303.15MHz의 주파수합성기를 설계하고 Lascari의 예측방법 을 이용하여 모델링 하였다. 또한, VCO에서 발생되는 여러 중첩 형태로 된 위상잡음중 저주파대역에서 문제가 되는 1/f noise를 3차 시스템에서 분석하였다. 3차 시스템에서는 해석이 복잡하므로 수학적인 분석을 통하여 1/f noise를 예측한다는 것이 어렵지만 pseudo-damping factor의 도입으로 3차 시스템에서의 1/f noise variance의 해석이 용이 하도록 시도하였고 이를 2차 시스템과 비교.분석하였다. 그 결과, tcxo의 경우 위상잡음이 루프 통과 전 10 kHz offset 주파수에서 -160dBc/Hz, 루프 통과 후 -162.6705dBc/Hz, 100 kHz offset 주파수에서 -180dBc/Hz, 루프 통과 후 -560dBc/Hz로 VCO의 위상잡음에 비해 offset주파수에 따라 루프 통과 후 급격히 감쇠 됨을 알 수 있었다. 2차와 3차 시스템에서의 잡음대역폭과 그 variance factor를 연관하여 3차 시스템에서 의 variance가 2차 시스템의 variance보다 크게 발생함을 알 수 있었다.

• 한국항해항만학회지
• /
• 제39권6호
• /
• pp.457-463
• /
• 2015

가스터빈 기관은 우주항공, 발전 플랜트뿐만 아니라 해상운송 분야에 사용되는 원동기로서 매우 중요한 역할을 하고 있다. 그러나 그 구조가 복잡하고 연소과정에서 시간지연 요소가 포함되어 있어 가스터빈 기관을 잘 제어할려면 정교한 수학적 모델링이 필요하다. 본 논문에서는 가스터빈 기관의 주요 구성품인 가스발생기, PLA 액추에이터, 미터링 밸브에 대한 모델링 기법을 설명한다. 또한, 가스터빈 기관의 시운전 데이터를 기초로 몇 가지 정상상태 때의 동작점에서 서브모델을 구하고, 각 서브모델에 대해 비선형 비례적분미분 제어기를 설계하여 기관의 속도를 제어하는 방법을 제안한다. 제안하는 비선형 제어기는 비선형 함수로 구현되는 3가지 이득을 사용한다. 비선형 제어기의 파라미터는 제어시스템의 목적함수를 최소화하는 관점에서 실수코딩 유전자알고리즘으로 동조한다. 제안한 방법은 가스터빈 기관에 적용하고 시뮬레이션을 실시하여 그 유효성을 확인한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2010년도 춘계학술대회
• /
• pp.401-404
• /
• 2010

최근 영재 및 영재교육에 관련된 연구가 다방면에서 진행되고 있으며, 초기에 수학 및 과학 분야 위주로 이루어졌던 영재교육은 정보, 발명, 인문, 예술 등의 기타 분야로 점차 확대되어 가고 있다. 사회적으로는 고도화된 정보화 사회로의 진행과 더불어 정보과학에서도 영재교육에 대한 관심과 중요성이 커지고 있다. 그러나 정보과학의 학문적 역사가 짧고 그 범위의 설정이 어려운 만큼 정보과학 분야의 영재교육에 있어서도 대상자의 선발과 교육이 어려운 것이 사실이다. 또한 2010 과학영재교육원 신입생 선발부터 지필검사의 방식을 없애고 장기간 관찰을 통한 교사 추천방식이 도입됨에 따라 이를 위한 관찰기록과 추천서, 포트폴리오 등을 사용하는 질적 선발방식에 대한 요구가 늘어나고 있다. 특히 영재교육 대상자의 선정에 대한 학문적 연구가 부족하여 교육 방식의 보완과 창의적인 대상자 선발에 있어 개선에 대한 목소리가 높다. 이에 본 연구에서는 3년여 간의 대학부설 과학영재교육원 신입생 선발 전형 절차와 본고에서 제시하는 모형이 적용된 2010 교육대상자 선발과정에서 실시한 관찰기록, 교사추천, 포트폴리오등 선발과정의 평가도구의 신뢰도를 분석하였다. 결론적으로 지필평가를 대체할 수 있는 여러 전형 요소의 결합에 따라 충분히 인지적, 정의적, 창의적 영역에서 학생들을 평가하고 선발 할 수 있었다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권10호
• /
• pp.1264-1274
• /
• 1999

본 논문에서는 분산된 클록들을 주기적으로 동기화 시키는 분산 실시간 시스템에서 시간적 제약을 만족시키기 위한 정적/동적 시간 제약(timing constraint) 변환 기법을 제안한다. 전형적인 이산클록동기화(discrete clock synchronization) 알고리즘은 클록의 값을 순간적으로 조정하여 클록의 시간이 불연속적으로 진행한다. 이러한 시간상의 불연속성은 시간적 이벤트를 잃어버리거나 다시 발생시키는 오류를 범하게 한다.클록 시간의 불연속성을 피하기 위해 일반적으로 연속클록동기화(continuous clock synchronization) 기법이 제안되고 있지만 소프트웨어적으로 구현되면 많은 오버헤드를 유발시키는 문제점이 있다. 본 논문에서는 시간적 제약을 동적으로 변환시키는 DCT (Dynamic Constraint Transformation) 기법을 제안하였으며, 이를 통해 기존의 이산클록동기화 알고리즘을 수정하지 않고서도 클록 시간의 불연속성에 의한 문제점들을 해결할 수 있도록 하였다. 아울러 DCT에 의해 이산클록동기화 하에서 생성된 태스크 스케쥴이 연속클록동기화에 의해 생성된 스케쥴과 동일함을 증명하여 DCT의 동작이 이론적으로 정확함을 증명하였다.또한 분산 실시간 시스템에서 지역 클록(local clock)이 기준 클록과 완벽하게 일치하지 않아서 발생하는 스케쥴링상의 문제점을 다루었다. 이를 위해 먼저 두 가지의 스케쥴링 가능성, 지역적 스케쥴링 가능성(local schedulability)과 전역적 스케쥴링 가능성(global schedulability)을 정의하고, 이를 위해 시간적 제약을 정적으로 변환시키는 SCT (Static Constraint Transformation) 기법을 제안하였다. SCT를 통해 지역적으로 스케쥴링 가능한 태스크는 전역적으로 스케쥴링이 가능하므로, 단지 지역적 스케쥴링 가능성만을 검사하면 스케쥴링 문제를 해결할 수 있도록 하였고 이를 수학적으로 증명하였다.Abstract In this paper, we present static and dynamic constraint transformation techniques for ensuring timing requirements in a distributed real-time system possessing periodically synchronized distributed local clocks. Traditional discrete clock synchronization algorithms that adjust local clocks instantaneously yield time discontinuities. Such time discontinuities lead to the loss or the gain of events, thus raising serious run-time faults.While continuous clock synchronization is generally suggested to avoid the time discontinuity problem, it incurs too much run-time overhead to be implemented in software. We propose a dynamic constraint transformation (DCT) technique which can solve the problem without modifying discrete clock synchronization algorithms. We formally prove the correctness of the DCT by showing that the DCT with discrete clock synchronization generates the same task schedule as the continuous clock synchronization.We also investigate schedulability problems that arise when imperfect local clocks are used in distributed real-time systems. We first define two notions of schedulability, global schedulability and local schedulability, and then present a static constraint transformation (SCT) technique. The SCT ensures that it is sufficient to check the schedulability of a task locally in a node with a local clock, since the global schedulability of the task is derived from its local schedulability through SCT. We formally prove the correctness of SCT.

• 한국정보과학회논문지:데이타베이스
• /
• 제31권3호
• /
• pp.261-273
• /
• 2004

정보 통신 기술의 발달은 데이타베이스 분야에도 새로운 응용들을 만들고 있다. 예를 들어, 수많은 객체들의 위치를 추적하는 이동 객체 데이타베이스나 각종 센서들로부터 들어오는 데이타 스트림을 처리하는 스트림 데이타베이스에서 다루는 데이타는 일반적으로 매우 빠르고 끊임없이 변경된다. 하지만, 전통적인 데이타베이스에서는 데이타를 사용자의 명시적인 변경이 있기 전까지는 변하지 않는 상대적으로 정적인 것으로 간주하고 있기 때문에, 전통적인 데이타베이스 시스템은 이러한 끊임없고 동적인 데이터의 변화를 효율적으로 처리하는데 문제를 지닌다. 특히 다차원 데이타 처리를 위한 대표적 인덱스 구조인 R-트리의 경우, 데이타의 삽입이나 삭제가 연속적인 노드의 분할이나 합병을 유발하고 있으므로 이러한 문제는 더 심각해진다. 본 논문에서는 이러한 빈번한 변경 효율적으로 처리하기 위하여 새로운 R-트리 갱신기법인 리프 갱신 기법을 제안한다. 리프 갱신 기법에서는 새로운 데이타가 이전에 속해있던 리프 노드의 MBR 내에 있으면 전체 트리를 변경하지 않고 해당 리프 노드만을 변경시킨다. 이러한 리프 갱신 처리와 리프 노드를 직접 접근하게 해주는 리프 접근 해시 테이블을 이용하여 리프 갱신 기법은 데이타의 변경연산 비용을 크게 줄인다. 제안기법은 기존 R-트리의 알고리즘과 구조를 그대로 이용하고, R-트리의 정확성을 보장하므로 다양한 R-트리 변종들에도 적용 가능하고 R-트리를 이용하는 다양한 응용 환경에 이용이 가능하다. 본 논문에서는 제안 기법이 기존 기법에 대하여 가지는 갱신 연산의 비용 이득을 수학적으로 분석하였고, 실험을 통하여 제안 기법의 우수성을 확인하였다.