• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.764-773
• /
• 2008

W3C는 시맨틱 웹 환경에서 온톨로지를 저작하고 공유하기 위해 온톨로지 구축 언어인 OWL을 발표하였다. 현재 OWL 온톨로지의 논리적 정당성을 검사하기 위해서, OWL 추론 엔진들이 소개되고 있다. 그러나 대부분의 추론 엔진들은 정당하지 못한 개념의 탐지 과정 없이 결과만을 보여준다. 본 논문에서는 온톨로지내의 정당하지 못한 개념을 디버깅하기 위해 종속 부호 기반 비논리적 공리(CIA-Causing Inconsistency Axiom) 탐색 기법을 제안한다. 비논리적 공리는 정당하지 못한 개념들을 유발하는 공리들의 집합이다. 비논리적 공리를 탐지하기 위해서는 온톨로지 내에서 비 일관성을 유발하는 공리를 찾아내야 한다. 온톨로지 저작 도구에 정확한 비논리적 공리가 제공된다면, 온톨로지 저작 도구는 온톨로지 내에서의 정당하지 못한 내용을 수정할 수 있도록 수정될 일부 내용만을 보여줄 것이다. 따라서 본 논문은 두 부분에 초점을 맞추었다. 첫 번째, 정당하지 못한 내용을 가진 온톨로지가 주어졌을 때 비 정당성을 유발하는 공리들을 도출하고, 이들의 근원을 식별한다. 두 번째 비 정당성을 유발하는 공리가 탐지되었을 때 이들만을 추출하여, 온톨로지 설계자에게 보여주는 것이다. 따라서 먼저 기존에 발표되었던 테이블로 알고리즘 기반의 결정 모듈을 소개하고, 이보다 향상된 기법인 종속 부호 기반 비논리적 공리 탐지 기법을 제안한다. 본 논문의 결과물은 현재 온톨로지 언어의 기본이 되는 SHOIN 서술 논리 응용시스템에 적용가능하다.

• 정보처리학회논문지A
• /
• 제16A권6호
• /
• pp.427-436
• /
• 2009

디지털 가상 제조는, 생산 시스템의 요소를 컴퓨터상에서 모델링 하여 디지털 모델을 구성한 뒤, 3차원 CAD, 시뮬레이션 등의 관련 기술을 이용하여, 신속하고 효율적인 제품 개발과 생산 프로세스를 사전에 검증하여 지원하는 기술이다. 여기에 혼합현실 기술을 응용하면, 모든 개체 가 그래픽 객체들로만 표현된 순수한 가상환경 기반의 디지털 가상 제조 기술을 보완하여 좀 더 현실감이 있는 환경을 제공할 수 있으며, 동시 에 필요한 일부만 그래픽 객체로 표현하므로 모델링에 필요한 시간과 비용을 절감할 수 있다. 본 논문은 이러한 혼합현실 기술을 디지털 가상 제조 과정 중 가상 공정설비 배치 기술에 이용하면서, 현장에 이미 구축되어 있는 레가시(legacy) 데이터를 이용하는 방안을 제안한다. 이를 위 하여 혼합현실 기반 공정설비 배치 시스템에 적합한 현장의 레가시 데이터의 취득 방법과 가공 방법이 개발되었으며, 가공된 데이터를 기반으 로 시뮬레이션이 가능한 혼합현실 기반 디스플레이 시스템을 구축하였다. 개발된 혼합현실 기반 가상 공정설비 배치 시스템은, 실제 설비를 배 치하기 전에, 현장에서 그 위치와 적용성을 미리 검증함으로써, 설비 배치와 관련된 오류를 줄일 수 있다.

• 암석학회지
• /
• 제23권2호
• /
• pp.61-73
• /
• 2014

소백산육괴의 중앙부에 위치하는 경상북도 북후면-평은면 지역에서 주 구성암류인 선캠브리아기 변성퇴적암류와 중생대 화강암에 대한 변형된 암석 및 미구조 연구를 통하여 (동)북동-(서)남서 방향으로 발달하는 우수 주향 이동성 예천전단대의 상대적인 형성시기, 변형온도, 초압쇄암대의 분포 등을 파악하였다. 연성 변형된 주요 암석구조는 전단변형에 의해 형성된 압쇄구조면과 신장선구조 그리고 편마구조면 내지 압쇄구조면이 습곡되어 형성된 (동)남동-버전스의 완침강-중경사 밀착습곡 등이 있다. 연성전단변형 동안에 형성된 장석들의 특징적인 미구조는 플레임 퍼어사이트, 밀메카이트, 미세단열, 미세킹크, 킹크대, 파동소광 등이 인지된다. 재결정된 석영집합체의 c-축 배열은 rhomb와 basal가 탁월한 미끄럼계로 작용하여 형성된 single girdle과 Type I crossed girdle 형태를 보여준다. 전단운동감각 결정면상에서 인지되는 전단운동감각은 우세한 방향성인 북서-경사와 부수적인 방향성인 남동-경사 압쇄구조면상에서 상부-북동-이동과 상부-남서-이동을 각각 보여준다. 이러한 특징적인 암석 및 미구조로부터 예천전단운동은 밀착습곡이 형성된 이후 발생하였으며, 예천전단운동이 발생할 당시의 변형온도는 $350{\sim}450^{\circ}C$이었음을 알 수 있다. 선캠브리아기 변성퇴적암류의 대상 분포와 변형된 선캠브리아기 변성퇴적암류의 장석과 중생대 화강암의 석영의 입도 분포로부터 불노봉과 박달산 북부를 통과하는 (동)북동 방향의 예천전단대의 초압쇄암대가 설정된다.

• 전자공학회논문지C
• /
• 제36C권10호
• /
• pp.17-28
• /
• 1999

본 논문에서는 ASIC 설계 회로를 빠른 시간 내에 구현 및 검증할 수 있는 에뮬레이션 시스템 ACE(ASIC Emulator)를 제안한다 ACE는 EDIF 번역기, 라이브러리 변환기, 기술 맵퍼, 회로 분할기, LDF 생성기를 포함하는 에뮬레이션 소프트웨어와 에뮬레이션 보드, 논리 분석기를 포함하는 에뮬레이션 하드웨어로 구성된다. 기술 맵퍼는 회로 분할과 논리 함수식 추출, 논리 함수의 최소화, 논리 함수식의 그룹핑의 세 과정으로 이루어지며, 같은 기본 논리 블록에 할당되는 출력의 적항과 변수들을 많이 공유하게 하여 기본 논리 블록 수와 최대 레벨 수를 최소화한다. 에뮬레이션 보드의 배선 구조와 FPGA 칩이 갖는 제한 조건들을 만족시키면서 서로 다른 칩 사이에 연결된 신호선 뿐만 아니라 서로 다른 그룹 사이에 연결된 신호선 수의 최소화를 목적 함수로 하는 새로운 회로 분할 알고리듬을 제안한다 여러 FPGA 칩으로 구성된 에뮬레이션 보드는 완전 그래프와 부분 그래프를 결합한 새로운 배선 구조로 회로의 크기에 관계없이 칩 사이의 지연 시간을 최소화하도록 설계하였다. 논리 분석기를 이용하여 구현된 회로에서 검증을 원하는 내부신호에 대한 파형을 PC의 모니터로부터 관측할 수 있다. 제안한 에뮬레이션 시스템의 성능을 평가하기 위하여 상용 회로중 하나인 화면4분할기 회로를 에뮬레이션 보드상에 설계하여 동작 시간과 기능을 확인한 결과, 14.3MHz의 실시간 동작과 함께 기능이 완전함을 확인할 수 있었다.

• 전자공학회논문지SC
• /
• 제47권6호
• /
• pp.97-104
• /
• 2010

본 논문에서는 연성회로기판에 실장된 부품의 불량여부를 판별하기 위해 핀 드라이버와 접지 가딩 기법을 적용한 인 서킷검사 시스템을 제안한다. 핸드폰 및 모바일용 디스플레이 장치에 사용되는 연성회로기판 모델의 검사신호의 입/출력을 위한 구조적인 공통 특성을 분석하고, 회로도를 기반으로 인가해야 할 검사 신호의 종류와 인가 위치에 대한 정보를 핀 맵으로 저장한다. 검사 신호는 저항, 콘덴서와 인덕터의 특성 검사가 가능하도록 응용회로와 알고리즘을 구성한다. 특정 위치에 특정 검사신호를 인가하기 위한 핀 드라이버를 설계하고, 핀 맵을 바탕으로 측정 대상이 포함된 최소한의 노드 및 메시가 구성되도록 핀 드라이버를 설정한다. 제안된 핀 드라이버와 접지 가딩 기법을 적용한 인 서킷 검사 시스템을 구현하고, 수동소자 각각에 대한 측정 실험과 선정된 테스트 모델에 대한 검사 실험을 수행하고, 제안된 시스템의 정밀도와 효율성을 검증한다.

• 한국컴퓨터그래픽스학회논문지
• /
• 제23권3호
• /
• pp.65-75
• /
• 2017

360 영상은 상하좌우 모든 영역에 대한 정보를 갖고 있기 때문에 종종 지나치게 많은 정보를 포함하게 된다. 또한 360 영상의 내용을 2D 모니터를 이용하여 확인하기 위해서는 마우스를 이용하여 360 영상을 돌려 봐야 하거나, 또는 심하게 왜곡된 2D 영상으로 변환해서 봐야 하는 문제가 있다. 따라서 360 영상에서 사용자가 원하는 물체를 찾는 것은 상당히 까다로운 일이 될 수 있다. 본 논문은 물체나 영역을 묘사하는 문장이 주어졌을 때, 360 영상 내에서 문장과 가장 잘 어울리는 영상을 추출해 내는 방법을 제시한다. 본 논문에서 제시한 방법은 주어진 문장 뿐 아니라 구도 역시 고려하여 구도 면에서도 보기 좋은 결과 영상을 생성한다. 본 논문에서 제시하는 방법은 우선 360 영상을 2D 큐브맵으로 변환한다. 일반적인 큐브맵은 큐브맵의 경계 부분에 걸쳐 있는 물체가 있을 경우, 이를 검출하기 어려운 문제가 있다. 따라서 더 정확한 물체 검출을 위해 본 논문에서는 변형된 큐브맵을 제시한다. 이렇게 변형된 큐브맵에 Long Short Term Memory (LSTM) 네트워크 기반의 자연어 문장을 이용한 물체 검출 방법을 적용한다. 최종적으로 원래의 360영상에서 검출된 영역을 포함하면서도 영상 구도 면에서 보기 좋은 영역을 찾아서 결과 영상을 생성한다.

• 대한전자공학회논문지SP
• /
• 제43권3호
• /
• pp.25-33
• /
• 2006

본 논문에서는 모바일 카메라와 모바일 LCD 간의 컬러 충실도를 높이기 위한 3차원 RGB 참조표에 기반한 장치 독립적인 색 정합 방법을 제안하였다. 제안한 색 정합 방법은 크게 모바일 디스플레이(LCD) 및 카메라의 장치 특성화, 색역 사상, 대표색에 기반한 3차원 참조표 설계로 구성된다. 먼저, 모바일 디스플레이의 장치 특성화 과정은 전기-빛 입출력의 특성으로부터 기존의 CRT 모니터에 적용된 GOG(Gai Offset Gamma) 모델이나 LCD 모니터에 적용된 S-curve 모델과는 다른, Sigmoidal 함수를 사용해서 모델링되었고, 모바일 카메라의 장치 특성화는 표준(D65)환경하에서 촬영된 컬러 차트의 디지털 값(RGB)과 표준 색 자극치 데이터(CIELAB, CIEXYZ)를 다항 회귀 방정식에 대입해서 모델링되었다. 그리고 다항 회귀 방정식으로부터 획득된 표준 색 자극치 데이터는 카메라 장치 특성화 모델링의 특성으로 인해 표준 색 공간의 최대 값을 초과할 수 있기 때문에, 선형적인 채도와 밝기 압축 과정을 통하여 보정되었다. 마지막으로, 표준 환경하에서의 모바일 카메라의 색역과 모바일 디스플레이 장치의 색역의 차이를 보상하기 위해, 경계면 설정과 다중-닻 점 색역 사상 기법이 수행되었다. 이러한 장치 독립적인 색 정합 처리 과정을 실시간으로 구현하기 위해 대표색에 기반한 3차원 참조표를 설계하여, 참조표에 기반한 장치 독립적인 색 재현의 정량적인 화질을 평가하고, 기존의 장치 의존적인 방법과 성능을 비교 분석하였다.

• 정보처리학회논문지C
• /
• 제11C권6호
• /
• pp.799-806
• /
• 2004

근래에 인터넷 등의 네트워크를 통해 어떤 정보에 접근할 수 있는 다양한 클라이언트 장치들이 널리 보급되고 있다. 하지만 통신능력이나 처리 및 저장능력, 화면표시 능력 등 여러 가지 제약을 가진 클라이언트 장치들로서는 방대한 양의 멀티미디어 콘텐츠를 쉽게 처리할 수 없는 문제가 있다. 또한 네트워크 측면에서도 음성, 데이터 및 비디오의 통합 서비스는 네트워크 기술의 목표를 수정하게 되어 네트워크가 다양한 서비스의 종합 제공 능력과 각 서비스에 필요한 QoS를 제공할 수 있는 능력을 가져야 하게 되었다. 이러한 이유로 ATM망과 인터넷 사이에 중단없는 멀티미디어 서비스를 제공할 수 있는 EAGIS(Efficient ATM Gateway for real time Internet Service)를 개발하게 되었다. EAGIS는 연동장치, 콘텐츠 서버, 트랜스코딩 서버, 서비스 브로커로 구성된다. 본 논문에서는 EAGIS의 구조 설계와 트랜스코딩 서비스 제공 방식을 설계하였다. RTP(Real Time Protocol)를 이용한 양방향 통신은 RTCP(Real Time Control Protocol)의 시각-소인(time-stamp)에 의하여 트랜스코딩 시간을 설정하며, HTTP를 이용한 단방향 통신은 셀프타이며(self-timer)를 이용한다. 이러한 기준 시간을 이용함으로써 네트워크 트래픽 부하와 프레임 전송률에 의한 표준화된 트랜스코딩 방법을 적용할 수 있었다. 또한 다중 사용자 유효 대역폭 확보 알고리즘을 통한 서비스의 품질을 보장할 수 있었다.

• 정보처리학회논문지B
• /
• 제8B권5호
• /
• pp.523-532
• /
• 2001

주문형 비디오 시스템의 성능에서 핵심적인 문제는 클라이언트 요청들을 만족시키기 위해 요구되는 비디오 서버의 입.출력 대역폭이다. 이는 지연시간을 증가시키는 원인이 되는 중요한 자원이다. 따라서, 공유를 통하여 비디오 서버 입.출력 요청을 감소시키는 일괄처리 및 피기백킹 등의 다양한 방법들이 사용되고 있다. 일괄처리 정책은 같은 객체에 대한 요청들을 묶어서 기억장치 서버에 대한 하나의 입.출력 요청을 만드는 것이고, 피기백킹 정책은 대응하는 입.출력 스트림들을 그룹으로 서비스할 수 있는 하나의 스트림으로 병합하기 위하여 진행중인 요청들의 디스플레이 율을 변경하는 정책이다. 본 논문에서는 인기 있는 비디오에 대한 요청들의 가능한 한 스케쥴링 되도록 비디오 서버의 입.출력 스트림 용량을 비디오 요청 도착율에 따라 동적으로 예약해 둔다. 그리고 일괄처리의 단점인 스트림 요청 지연시간과 피기백킹의 문제점은 디스크 대역폭 낭비 등을 해결하는 예약기반 하이브리드 디스크 대역폭 절감 정책을 제안한다. 제안한 정책의 성능은 시뮬레이션을 통해 기존의 일괄처리와 피기백킹 정책들과 비교 평가한다. 시뮬레이션 결과에 따르면, 예약기반 하이브리드 디스크 대역폭 절감 정책이 기존의 일괄처리나 피기백킹 정책들에 비해 낮은 서비스 이탈확률과 높은 프레임 절약 백분율 그리고 일정한 서비스 평균대기시간을 제공함을 알 수 있다.

• 대한지리학회지
• /
• 제42권4호
• /
• pp.616-631
• /
• 2007

거주지 분화 현상은 도시적 삶의 공간성을 파악하는데 본질적인 요소이기 때문에 도시학 연구에서 오랫동안 주목을 받아왔다. 거주지 분화 현상에 대한 연구 과제 중의 하나가 상이한 두 집단이 얼마나 공간적으로 분리되어 있는지를 측정하는 문제이다. 이러한 측면에서 가장 널리 사용되어온 것이 상이지수(index of dissimilarity)인데, 이 지수는 거주지 분리의 '불균등성(unevenness)'은 측정할 수 있지만, 공간적 '집중도(clustering)'는 측정하지 못하는 단점을 갖고 있다. 이러한 단점을 극복하기 위해 제안되어 온 '공간적 격리 지수(spatial indices of segregation)' 역시 가설검정 절차를 제시하지 못하고 최근의 공간통계학 연구 성과를 수용하지 못하는 등의 단점을 가지고 있다. 이러한 의미에서 본 논문의 주된 연구 목적은 새로운 '공간 분리성 측도(spatial separation measure)'를 개발하는 것이다. 이 공간 분리성 측도는 상이한 인구 집단이 거주 공간에 얼마나 불균등하게 분포하고 있는지에 대한 것뿐만 아니라 그러한 불균등 분포가 보여주는 공간적 의존성의 정도까지도 측정하는 새로운 통계량이다. 주요 연구 결과는 다음과 같다. 첫째, 기존의 '공간 연관성 측도(spatial association measures)'와 '공간적 카이-스퀘어 통계량(spatial chi-square statistics)'을 통합하여 새로운 측도를 개발했으며, 일반화된 랜덤화 검정법을 적용해 측도에 대한 유의성 검정법을 제시하였다. 둘째, 개발된 측도와 유의성 검정법을 우리나라 7대 도시의 학력 집단 간 거주지 분리 현상에 적용함으로써, 연구방법론으로서의 유용성을 확인하였다.