• KIPS Transactions on Computer and Communication Systems
• /
• v.8 no.2
• /
• pp.29-34
• /
• 2019

Priority queues, one of the fundamental data structures, have been studied for a long time by computer scientists. This paper proposes an implicit double-ended priority queue, called IMI-heap, in which insert operation takes constant amortized time and each of removal operation of the minimum key or the maximum key takes O(logn) time. To the author's knowledge, all implicit double-ended priority queues that have been published, perform insert, removeMin and removeMax operations in O(logn) time each. So, the proposed IMI-heap is superior than the published heaps in terms of insertion time complexity.The abstract should concisely state what was done, how it was done, principal results, and their significance.

• Geophysics and Geophysical Exploration
• /
• v.26 no.4
• /
• pp.199-210
• /
• 2023

The physical properties of rocks in reservoirs change after CO₂ injection, we modeled a reservoir with a transition zone within which the physical properties change linearly. The function of the Wolf reflection coefficient consists of the velocity ratio of the upper and lower layers, the frequency, and the thickness of the transition zone. This function can be used to estimate the thickness of a reservoir or seafloor transition zone. In this study, we propose a method for predicting the thickness of the transition zone using deep learning. To apply deep learning, we modeled the thickness-dependent Wolf reflection coefficient on an artificial transition zone formation model consisting of sandstone reservoir and shale cap rock and generated time-frequency spectral images using the continuous wavelet transform. Although thickness estimation performed by comparing spectral images according to different thicknesses and a spectral image from a trace of the seismic stack did not always provide accurate thicknesses, it can be applied to field data by obtaining training data in various environments and thus improving its accuracy.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2023.05a
• /
• pp.321-321
• /
• 2023

가뭄은 수개월 혹은 수년간 지속적이며, 점진적으로 광범위하게 피해를 미치는 자연재해이다. 강수 부족과 같은 비정상적 기상환경으로 인해 발생하는 기상학적 가뭄이 지속되어 토양 수분량 감소 및 식생에 영향을 미치는 농업적 가뭄을 발생시킬 수 있으며, 하천유출량 및 가용수자원이 감소하는 수문학적 가뭄으로까지 진행된다. 이처럼 분야별 가뭄이 장시간 지속됨에 따라 다른 종류의 가뭄을 발생시키는 현상을 가뭄 전이라고 하며, 가뭄이 전이되지 않은 비전이 사상보다 지역에 큰 피해를 야기한다. 최근 우리나라에서도 가뭄 전이와 관련된 연구들이 진행되고 있다. 하지만 기상학적, 농업적 및 수문학적 가뭄에 대한 가뭄 전이를 모두 고려하여 가뭄의 전이 및 비전이사상간의 피해 양상을 비교하는 연구는 부족한 실정이다. 따라서, 본 연구에서는 전국 단위의 시군구별 SPI(Standardized Precipitation Index), SGI(Standardized Groundwater level Index) 및 PHDI(Palmer Hydrological Drought Index)를 사용하여 각각 기상학적, 농업적 및 수문학적 가뭄을 판단하였다. 각 분야별 가뭄간의 시간적 중복여부를 통해 가뭄의 전이 여부를 판단하고, 가뭄의 전이 특성(풀링, 감쇠, 지체, 연장) 분석을 수행하였다. 또한, 가뭄 전이 사상과 비전이 사상이 발생한 시기의 가뭄 피해 관련 자료를 수집하여, 지역별 가뭄 전이 사상 및 비전이 사상간의 피해 양상을 비교 및 분석하였다. 과거 충청북도 충주시는 2011년의 기상학적 가뭄(비전이 사상) 발생시 피해 인구가 없었으나, 2019년의 기상학적 가뭄에서 수문학적 가뭄으로 전이가 발생하여 999명의 피해 인구가 발생하였다. 즉, 동일한 지역에서 다른 시기에 발생한 가뭄 피해 및 동일한 연도에서 인접한 지역의 가뭄 피해를 분석한 결과, 비전이된 가뭄 사상에 비해 전이된 가뭄 사상에서 더욱 큰 피해를 가지는 것을 확인하였다.

• Proceedings of the Optical Society of Korea Conference
• /
• 2000.02a
• /
• pp.12-13
• /
• 2000

진행파형 광 검출기는 전기적으로 분포된(distributed) 구조이므로, 그 대역폭은 RC 시정수에 의해 제한되기보다는 광 흡수계수와 광과 마이크로파 사이의 진행속도 차에 의해 제한된다$^{(1)(2)}$ . 진행파형 광검출기에서 광과 마이크로파 사이의 속도 부정합이 대역폭에 미치는 영향은 속도 부정합 임펄스 반응(velocity-mismatch impulse response)의 제시를 통해 이미 분석되었다$^{(1)(2)}$ . 그러나, 대역폭에 제한에 큰 영향을 미칠 것이 예상되는 진성 흡수 영역에서의 전송자 표류 시간은 아직 구체적으로 고려되지 않았다. 본 논문에서는 진성 흡수영역에서의 전송자 표류 시간을 고려하였다. 그 전이 시간(transit time)을 고려하기 위해 속도 부정합 임펄스 반응을 수정하여 제시하였다. 새로히 제시된 임펄스 반응은 광 도파로 해석과 진성 영역 분할에 의해 모델화 되었으며, 이 임펄스 반응을 통해 전이 시간과 속도 부정합이 대역폭에 미치는 영향을 살펴보았다. (중략)

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.264-266
• /
• 1999

고정 네트워크를 기반으로 하는 클라이언트/서버 환경에서 클라이언트가 제기하는 요청에 대한 응답시간을 최소화하기 위해 사용되는 캐슁 기법은 이동 컴퓨팅 환경에서도 이동 클라이언트가 제기하는 질의에 대한 응답시간을 최소화하기 위해 적용될 수 있다. 기존의 분산 환경과 비교해 보면, 이동 컴퓨팅 환경에서는 연결 상태의 변호가 빈번하게 발생한다. 따라서 일반적인 분산 환경에서의 캐슁 기법이 이동 컴퓨팅 환경에 적용되기 위해서는 이동 컴퓨팅 환경에 맞도록 수정이 되어야만 한다. 즉, 이동 호스트의 이동성으로 인하여 연결 상태가 변화 할 수 있기 때문에 이동 컴퓨팅 환경을 위한 캐슁 기법은 이동 호스트의 연결 상태 전이에 적응성을 갖도록 해야 한다. 연결 상태 전이에 적응성을 갖도록 하기 위해서본 논문에서는 연결 상태 전이 예측 윈도우를 사용하고 연결 상태 전이에 미리 대비하여 캐슁을 수행함으로써 이동 호스트의 캐쉬는 최신의 유효한 데이터의 일관성을 보장하며, 사용자에게는 신속한 응답을 수행할 수 있다.

• Science of Emotion and Sensibility
• /
• v.6 no.3
• /
• pp.63-72
• /
• 2003

This study investigated how cognitive style and training context influenced visual discrimination skill acquisition and transfer under time pressure. This experiment consisted of a screening session, a training session, and a transfer session using random polygon comparison tasks. Screening session was designed to separate participants according to their cognitive style (analytic or holistic). Training session was divided into difficult and easy conditions. In transfer session, participants compared polygon pairs in a novel task. The stimuli were presented for 1.5 seconds to examine the influence of time pressure. Through the all sessions, this experiment measured accuracy and response time. According to the results of this study, analytic group responded as quickly as holistic group in the beginning of training session because time pressure induced them to the holistic strategy. However, as training session progressed, their slopes of reaction time increased, suggesting that their own analytic style emerged. Holistic group showed flatter slopes than did analytic group for training session. Of interest is the slopes increased at the beginning of transfer session, suggesting that they developed analytic strategies in difficult training context. It is suggested individuals differently develop strategic processing skills depending on cognitive styles even under time pressure.

• 한국HCI학회:학술대회논문집
• /
• 2008.02b
• /
• pp.386-391
• /
• 2008

제품의 기능이 다양화 되고 신제품의 출시기간이 짧아지면서 소비자들은 새로운 제품의 조작 방법을 익히는데 어려움을 겪게 된다. 사용자 중심의 잘 설계된 메뉴 구조는 이러한 사용성 문제를 해결 해줄 수 있을 것이다. 따라서 본 연구에서는 사용자 중심의 좋은 정보 구조 설계를 위해 활성화 확산의 비대칭 전이를 이용한 메뉴구조 및 레이블 평가 방법을 연구하였다. 활성화 확산 실험은 반응 시간이 짧을수록 연상 강도가 강하고, 단어 쌍간의 관계가 밀접함을 보여주므로, 잘 디자인된 메뉴구조는 상-하위 메뉴 쌍의 연상 정도가 활성화 진행 방향의 영향을 받지 않는다는 가설을 세울 수 있다. 따라서 본 연구는 휴대폰(모델명;SPH-W2900)의 메뉴를 추출하여 1차 활성화 확산(SAT)실험을 수행한 뒤, 각 메뉴 쌍에 대하여 정확도와 진행 방향에 따른 반응시간의 차이(비대칭 전이)를 파악함으로 레이블의 문제점을 도출하고 메뉴 구조 및 어휘를 개선하였다. 2차 활성화 확산 실험은 개선된 메뉴 쌍에 대해 비대칭 전이 현상이 감소하였는지를 확인하기 위해 실시되었으며 활성화 진행 방향에 대한 반응시간의 차이(비대칭 전이)는 월등히 감소함을 알 수 있었다. 따라서 본 연구에서 제시하는 활성화 확산의 비대칭전이는 사용자 중심의 메뉴 레이블을 정의 하는데 도움이 될 것이다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2021.07a
• /
• pp.551-552
• /
• 2021

인공지능 기술의 발달로 현대사회 사람들은 일상생활에 편리함을 제공받고 업무의 효율성과 생산성이 향상되었다. 대한민국 보육교사들은 수많은 업무로 인해 근무시간 대비 휴식시간과 점심시간이 턱없이 부족하다. 본 논문에서는 보육교사가 일일이 아동들의 사진을 분류하는 업무에 편의성을 제공하여 보다 많은 휴식시간을 보장받고 활용할 수 있도록 전이학습을 통한 아동 이미지 자동 분류 시스템에 대해 기술하고자 한다. 이 시스템을 통해 분류된 아동들의 사진을 매년 제작하는 유아 포토북 제작에도 활용할 수 있을 것으로 기대된다.

• The KIPS Transactions:PartA
• /
• v.9A no.3
• /
• pp.351-362
• /
• 2002

Along with an asynchronous finite state machine, in short AFSM, a signal transition graph, in short STG, is one of the most widely used behavioral description languages for asynchronous controllers. Unfortunately, STGs are not user-friendly, and thus it is very unwieldy and time consuming for system designers to conceive and describe manually the behaviors of a number of asynchronous controllers which constitute an asynchronous control unit for a target system in the form of STGs. In this paper, we suggest an automatic STG derivation method through a process-oriented method. Since the suggested method considers special properties of STG-based asynchronous logic synthesis very carefully, asynchronous controllers which are synthesized from STGs derived through the suggested method are superior in aspects of area, synthesis time, performance and implementability compared to those obtained through previous methods.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04a
• /
• pp.85-88
• /
• 2001

이 논문은 시간 데이터베이스에 능동 규칙 시스템을 결합한 능동적 시간 데이터베이스의 능동 규칙 및 실행 모델을 제안하며 그 모델을 설계 구현한다. 기존의 시간 데이터베이스 능동 규칙 연구들이 시간 릴레이션에 대한 조건-조치 형태의 규칙 지원에 머물렀던데 비하여 제안하는 능동 규칙 모델은 유효시간 및 트랜잭션 시간을 지원하는 이원 시간 릴레이션에 대해 SQL3 트리거의 기능 모두를 시간 데이터베이스 상에서 지원한다. 즉, 전이 릴레이션 및 전이 변수, 조건-조치의 류플 및 문 단위 수항을 포함한다. 또한, 능동 규칙의 유효시간 정의 및 유효시간 사건 등의 새로운 개념을 제시하고 시스템 구조 및 설계 구현에 대하여 기술한다.