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

공간 질의 제약조건 검증을 위해서는 다양한 공간객체와 이에 대응하는 복잡한 공간 연산자를 고려한 최적화가 필요하다. 그러나 이에 대한 연구가 아직은 미진한 상태이고, 공간 데이터베이스 시스템의 공간 술어는 기존의 단순 비교 술어와 비교할 때 수행시 많은 시간이 소비되기 때문에 기존의 질의 최적화 기법을 공간 최적화 기법에 적용하기에는 부적합하므로 공간 술어가 포함된 제약 조건이나 질의에 대해 효과적인 최적화 기법의 확장이 요구된다. 본 논문에서는 공간 제약조건 검증시 최적의 수행계획을 얻기 위하여 먼저 중복되는 공간 연산을 제거하고 공간 연산을 위한 선택인자와 복잡도를 계산하여 산출된 랭킹을 기반으로 재배치 기법을 사용하는 공간 제약조건 최적화 기법을 제안한다. 제안된 기법은 선택인자와 데이터베이스 접근시간 뿐만 아니라 공간 연산의 복잡도까지 반영하므로 최적화된 수행계획을 얻을 수 있는 장점을 지니고 있으며, 향후 공간 질의의 최적화 기법에도 적용이 가능하다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (C)
• /
• pp.319-323
• /
• 2007

실세계의 여러 문제들은 마르코프 결정 문제(Markov decision problem, MDP)로 표현될 수 있고, 이 MDP는 모델이 알려진 경우에는 평가치 반복(value iteration) 이나 모델이 알려지지 않은 경우에도 강화 학습(reinforcement learning) 알고리즘 등을 사용하여 풀 수 있다. 하지만 이들 알고리즘들은 시간 복잡도가 높아 크기가 큰 실세계 문제에 적용하기 쉽지 않아, MDP를 계층적으로 분할하거나, 여러 단계를 묶어서 수행하는 등의 시간적 추상화(temporal abstraction) 방법이 제안되어 왔다. 이러한 시간적 추상화 방법들의 문제점으로는 시간적 추상화의 디자인에 따라 MDP의 풀이 성능이 크게 달라질 수 있으며, 많은 경우 사용자가 이 디자인을 직접 제공해야 한다는 것들이 있다. 최근 사용자의 간섭이 필요 없이 자동적으로 시간적 추상화를 만드는 방법들이 제안된 바 있으나, 이들 방법들 역시 결과물에 대한 이론적인 성능 보장(performance guarantee)은 제공하지 못하고 있다. 본 연구에서는 이러한 문제점을 해결하기 위해 MDP의 구조와 그 풀이 성능을 연관짓는 복잡도 척도에 대해 살펴본다. 이를 위해 MDP로부터 얻은 상태 경로 그래프(state trajectory graph)의 위상적 성질들을 여러 네트워크 척도(network measurements) 들을 이용하여 측정하고, 이와 MDP의 풀이 성능과의 관계를 다양한 상황에 대해 실험적, 이론적으로 분석해 보았다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2018년도 제30회 한글 및 한국어 정보처리 학술대회
• /
• pp.185-188
• /
• 2018

띄어쓰기와 문장 경계 인식은 그 성능에 따라 자연어 분석 단계에서 오류를 크게 전파하기 때문에 굉장히 중요한 문제로 인식되고 있지만 각각 서로 다른 자질을 사용하는 문제 때문에 각각 다른 모델을 사용해 순차적으로 해결하였다. 그러나 띄어쓰기와 문장 경계 인식은 완전히 다른 문제라고는 볼 수 없으며 두 모델의 순차적 수행은 앞선 모델의 오류가 다음 모델에 전파될 뿐만 아니라 시간 복잡도가 높아진다는 문제점이 있다. 본 논문에서는 띄어쓰기와 문장 경계 인식을 하나의 문제로 보고 한 번에 처리하는 다중 클래스 분류 시스템을 통해 시간 복잡도 문제를 해결하고 다중 손실 선형 결합을 사용하여 띄어쓰기와 문장 경계 인식이 서로 다른 자질을 사용하는 문제를 해결했다. 최종 모델은 띄어쓰기와 문장 경계 인식 기본 모델보다 각각 3.98%p, 0.34%p 증가한 성능을 보였다. 시간 복잡도 면에서도 단일 모델의 순차적 수행 시간보다 38.7% 감소한 수행 시간을 보였다.

• 한국의학물리학회:학술대회논문집
• /
• 한국의학물리학회 2003년도 제27회 추계학술대회
• /
• pp.79-79
• /
• 2003

심실의 내부는 유두근이나 trabecular와 같은 해부학적 구조물들로 인해 복잡한 형태를 띄고 있다. 그러한 복잡한 구조는 MR 영상을 이용한 심박출량 측정시 오차를 유발시킬 수 있으며, 만약 오차를 줄이기 위해 수작업을 하게 된다면 많은 수고와 시간이 필요하게 될 것이다. 본 연구에서는 threshold 기법을 이용하여 짧은 시간동안에 정확하게 복잡한 구조를 가진 심실의 심박출량을 측정하고자 하였다. 7 명의 환자에 대해 l.5T 급 MR 장치 (INTERA, Philips, Netherlands)를 이용하여 short-axis cardiac MR 영상을 획득하였다. 한 환자에 대해서 8개에서 10개의 슬라이스 영상을 8-10 mm의 두께로, 하나의 심장주기(cardiac cycle)동안 일정한 시간간격으로 25 개의 영상을 획득하였으며, 펄스시퀀스로는 ECG-gated segmented balanced fast field echo (TR/TE = 3ms/1.56ms)를 사용하였다. 획득된 영상은 PC(threshold 기법)와 workstation (기존의 수동 및 자동 segmentation 기법)로 DICOM 형태로 전송되었다. 측정은 IDL을 이용하여 자체 제작된 소프트웨어와 상용화된 소프트웨어 (MASS 5.0, MEDIS, Netherlands)를 이용하여 분석되었다. MR 영상에서 심내벽 부위를 추출하기 위하여 자체제작된 소프트웨어로는 threshold 기법을, 상용 소프트웨어로는 기존의 수동 및 자동 기법을 이용하였다. 심박출량은 최대수축기와 이완기 사이의 용적 차이로써 계산되었으며, 좌심실 및 우심실 모두에 대해 수행되었다. 또한, 해부학적 구조의 복잡도에 따른 측정방법의 정확도를 확인하기 위해 유두근 및 trabecular의 hypertrophy의 정도를 3 단계로 구분하고 측정된 값들을 통계적으로 분석하였다. Hypertrophy가 약한 그룹에서는 기존의 수동방식과 threshold 기법간의 의미있는 차이가 없었으며 (p=0.372), 기존의 수동 및 자동방식 간에도 큰 차이가 없었다 (p=0.298). 그러나, hypertrophy가 심한 그룹에서는 수동방식 및 자동방식 측정치 사이에 통계적으로 유의한 차이를 보임을 알 수 있었다 (p=0.044). 그러나, threshold 기법과 수동방식 사이에는 유의한 차이가 없었다 (p=0.l94). 분석시간은 threshold 기법이 기존의 수동방식에 비해서 두배정도 빠르다는 것을 알 수 있었다, Threshold 기법은 심박출량 측정에 있어서 정확하면서도 빠른 결과의 도출이 가능했으며, 특히 심내벽의 구조가 복잡한 경우에 그 효과가 증대됨을 알 수 있었다.

• 정보보호학회논문지
• /
• 제13권3호
• /
• pp.27-34
• /
• 2003

요즘 암호시스템을 효율적으로 수행하는 하드웨어의 개발이 관심의 대상이 되고 있다. 암호시스템의 효율적인 수행은 연산기의 효율적인 연산이 뒷받침되어야 한다. 특히 유한체 GF(2$^n$)에서의 곱셈기는 여러 연산 중에서 효율성이 고려되어야 할 핵심적인 연산이다. 이 논문에서는 유한체에서의 곱셈기를 시간 복잡도(time complexity)와 하드웨어복잡도(size complexity) 사이의 교환(trade-off)을 고려하여 기존 곱셈기$^{［5］［12］}$의 하드웨어 복잡도인 #AND(AND gate 수)= $n^2$, #XOR(XOR gate 수) = $n^2$-1 보다 개선된 #AND = [n/2], #XOR = n([n/2+1])-$\delta$$_{n}$ (n이 짝수이면$\delta$$_{n}$ =1, n이 홀수이면 $\delta$n=0)이고 두 클럭 내에 결과를 얻을 수 있는 직렬-병렬 곱셈기를 제안한다. 우리는 기존의 논문에서 제안된 곱셈기와 구조를 달리하여 공간의 제약이 있는 하드웨어에 적합한 효율적인 연산기의 구현방안을 제시한다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2015년도 추계학술대회
• /
• pp.110-113
• /
• 2015

SHVC(Scalable High efficiency Video Coding)는 다양한 멀티미디어 서비스 환경에서 높은 코딩 효율을 위해 공간적, 시간적, 화질적 스케일러빌리티를 이용한 표준 기술이다. SHVC는 멀티-계층 부/복호화를 수행하기 때문에 싱글-계층인 HEVC(High Efficiency Video Coding) 보다 추가적인 복잡도를 요구한다. 본 논문에서는 SHVC 복호화기의 복잡도를 분석하고 SHVC 복호화기에서 높은 복잡도를 차지하는 프레임 기반 업샘플링을 PU 기반 On-the-fly 업샘플링(On-the-fly Up-sampling) 방법과 SIMD 연산을 통해 고속화 한다. 제안하는 알고리즘이 적용된 SHVC 복호화기는 기존 SHVC 복호화기의 복호화 시간보다 평균 1.23배 고속화 성능을 보이며 업샘플링의 복잡도가 24.7%에서 1.9%로 감소하였다. On-the-fly 업샘플링 과정은 기존 프레임 레벨 업샘플링 과정 대비 평균 90.3% 수행시간 감소율을 보인다.

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

본 연구에서는 설계홍수량 산정시 강우-유출모형의 입력인자인 설계강우량의 시간적 분포 방법을 실제 유역의 복잡 다양한 강우특성이 고려되도록 강우분포방법을 제시하고자 하였다. 연구는 무한천 예당지 상류유역에 적용하였으며, 설계강우의 시간분포를 위해 유역 내${\cdot}$외의 우량관측소를 이용 설계홍수량산정지점, 동시간의 강우자료를 만들고 유역 내 강우로 인한 유출의 기여도 가장 큰 지속시간별 강우사상을 이용하여 특정지점을 대표하는 강우분포방법을 개발하였다. 본 연구를 통해 기존 설계강우의 시간분포방법의 문제점들을 보완하여 재현기간별, 지속시간별, 대표누가우량곡선을 개발함으로써 설계홍수량 산정시 복잡 다양한 강우의 특성이 유역에 최대한 반영될 수 있도록 하였다.

• 한국통신학회논문지
• /
• 제31권7B호
• /
• pp.668-678
• /
• 2006

정해진 대역폭 내에서 시청자의 대기시간과 요구되는 버퍼의 량을 줄이는 것은 주문형 비디오(VoD) 서비스 시스템 설계에서 중요한 요소였다. 하지만 기존의 제안된 많은 주문형 비디오 방법들의 높은 복잡도가 구현을 어렵게 하기 때문에, 최근에는 이와 더불어 주문형 비디오 방법의 복잡도를 줄이는 것도 중요한 요소로 간주되고 있다. 본 논문에서는 대역폭의 효율성도 높이면서 기존의 주문형 비디오 방법들의 복잡성을 크게 줄인 Fast Staggered 방식을 제안한다. 논문에서 제안하는 Fast Staggered 방식은 Fast Broadcasting의 높은 대역폭 효율과 Staggered Broadcasting 방식의 간단한 구조적 특징을 한꺼번에 가지고 있는 매우 실용적인 주문형 비디오 방법이다. 모의실험 결과 제안된 방식은 시청자 최대 대기시간이 Fast Broadcasting 방식과 거의 일치하고, 시청자 최대 버퍼 요구량은 매우 낮게 나타났다. 그리고 제안된 방식은 비디오 분할에 따라서 시청자의 대기시간과 필요한 버퍼량을 조절 할 수 있기 때문에 주문형 비디오 방식이 적용되는 환경에 따라서 조절해서 적용이 가능하다. 또한 주문형 비디오 방식의 복잡성도 함께 줄일 수 있는데, 제안된 방식은 비디오 데이터 세그먼트 수를 크게 줄이고, 복잡한 채널 관리를 줄였으며, 사용하는 채널의 수도 크게 감소시켰다. 본 논문은 Fast Staggered 방식의 서버 동작과정, 클라이언트 동작과정, 성능 모델, 모의실험을 통해 제안된 방식의 높은 효율성과 실용성을 제시한다.

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

기후 변화로 인한 강우 패턴의 변화는 도심지 방재성능 목표를 상회하는 홍수로 이어져 침수피해를 가중시키고 있다. 이로 인한 도시침수 피해를 저감하기 위하여 도시침수 예측모형 개발이 활발히 이루어지고 있으나, 대규모 관망으로 이루어진 복잡한 도심지 우수관망을 모의하기 때문에 분석속도가 느려 실시간 예측 적용에 한계점이 있다. 도시침수 분석에 가장 많이 활용되는 대표적인 모형인 SWMM(Storm Water Management Model)은 복잡한 관망을 비교적 빠르고 정확히 해석할 수 있어 유용하지만, 이 또한 대도심의 우수관망 모의 시 많은 시간이 소요되며, 관망 정밀도 기준이 정의되어 있지 않아 분석에 어려움이 있다. 이러한 문제점을 해결하기 위하여 본 연구에서는 관망 간소화 기법(유역면적의 밀도, 관거 직경, 관로의 길이 등)을 적용하고, 이에 따른 주요 지선과 간선의 수위 변화와 침수흔적도를 비교하여 분석결과의 정확성을 담보하는 관망 간소화 수준을 파악하고 도시침수 분석 시 적정 간소화 기준과 자동 간소화 방안을 제시하고자 한다. 도시침수 분석 시 우수관망 자동 간소화를 위하여 Python을 활용한 코드를 작성하였으며, SWMM의 .inp 파일을 읽어들여 Dataframe형태로 저장한 후 분석을 위한 데이터 가공, 간소화 기준에 따른 분류, 간소화 대상 수리·수문인자 연산, 인접 간선에 연결, 간소화된 .inp파일 저장의 총 6단계로 구성하였다. 연구 대상지역은 도림천 유역으로 설정하였으며, 초기자료는 맨홀 30,469, 관거 32,443, 소유역 30,586개로 이루어져 있으며, 모의 시간은 약 2시간 30분이 소요되었다. 유역면적 100x100 미만을 대상으로 수행 시 맨홀 9,965, 관거 10,464, 소유역 9,240개로 관거의 복잡도가 약 1/3 감소하였으며, 모의 시간은 약 43분으로 기존대비 약 72% 단축되는 것으로 나타났다. 실제 침수가 발생한 주요지점들을 비교한 결과 R² 0.85 ~ 0.92로 예측모형의 정확도에 큰 영향을 끼치지 않는 것으로 나타났다. 도시침수모형 최적 간소화를 통해 모형의 복잡성을 줄이고, 계산량을 줄여 모형의 수행시간을 단축시킬 수 있으며, 불필요한 우수관망을 제거하거나 병합함으로써, 모형의 예측력 향상과 분석과 해석에 효율적으로 사용될 수 있을 것으로 기대한다.

• 정보처리학회논문지D
• /
• 제16D권3호
• /
• pp.339-352
• /
• 2009

유비쿼터스 컴퓨팅 환경에서 분산된 실시간 시스템의 행위와 공간, 시간 속성을 분석하고, 검증하기 위한 다양한 정형기법들이 존재한다. 그러나 대부분의 경우 공간과 행위를 같이 표현하는 구조적, 근본적 한계가 존재한다. 게다가 시간 속성이 포함되는 경우는 더욱 복잡해지게 된다. 이러한 한계를 해결하기 위하여 본 논문은 Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI)라는 새로운 정형기법을 제안한다. t-CARDMI는 행위의 표현으로부터 공간정보의 표현을 분리시켜 복잡도를 단순화 시키며, 시간 속성에 대해서 오직 행위적 표현에서만 허용하여 복잡한 명세를 덜 복잡하게 표현한다. t-CARDMI는 대기기간, 실행시작 만족시간, 실행시간, 실행완료 만족시간 등의 특유의 시간속성을 이동과 통신의 행위에서 모두 포함하는 특징을 갖는다. 새롭게 제안된 Timed Action Graph(TAG)는 공간과 시간을 포함하는 시스템의 명세를 분석하고 검증하기 위해서 공간과 시간속성을 2차원의 다이어그램으로 표현하며 그 안에서 이동과 통신의 정보를 분산된 그림정보로 표현하는 그래프로 t-CARDMI를 좀더 효율적으로 명세하고 분석할 수 있는 방법을 제공한다. t-CARDMI는 유비쿼터스 컴퓨팅에서의 분산된 실시간 시스템의 공간적, 행위적, 시간적 속성에 대한 명세, 분석 및 검증에 매우 효율적이고 효과적인 혁신적인 정형기법의 하나로 고려될 수 있다. 본 논문은 t-CARDMI의 문법과 의미, TAG 그리고 Specification, Analysis, Verification, and Evaluation (SAVE)로 명명된 툴을 제안하고 유비쿼터스 헬스케어 시스템 예제를 통해 효율성을 분석한다.