• 한국정보과학회논문지:데이타베이스
• /
• 제37권6호
• /
• pp.333-342
• /
• 2010

온톨로지는 시맨틱 웹을 구현하기 위해 중요한 역할을 하지만 이를 구축하는 작업은 많은 시간을 필요로 한다. 그러므로 기존 웹의 데이터 중 많은 양을 차지하고 있는 관계형 데이터베이스로부터 온톨로지를 자동으로 생성하는 연구들이 진행되고 있다. 기존의 연구들은 데이터베이스 스키마와 저장된 데이터 분석을 통한 온톨로지 생성에 대한 연구들이 주를 이룬다. 이러한 연구들은 데이터베이스 스키마 중 테이블과 제약조건만을 분석하여 온톨로지 스키마를 생성하며, 뷰 정의를 고려하지 않는다. 그러나 뷰는 데이터베이스 설계자가 데이터베이스를 사용하는 도메인을 고려하여 정의하므로, 뷰 정의를 고려할 경우 추가적인 클래스와 상하위 관계를 생성할 수 있다. 그리고 이렇게 생성된 클래스는 온툴로지에 대한 질의 처리와 통합에 유용하게 사용될 수 있다. 본 논문에서는 기존의 방법들을 분석하여 클래스와 상하위 관계 생성을 정형화하였으며, 뷰 정의를 분석하여 기존의 방법을 통해 생성된 온톨로지에 추가적인 클래스와 상하위 관계를 생성하는 방법을 제안한다. 또한 제안하는 방법을 이용해 예제 데이터베이스 스키마로부터 생성된 온톨로지의 결과 분석을 수행하고, 이를 통해 뷰 정의로부터 의미 있는 클래스와 상하위 관계가 추가적으로 생성되었음을 보인다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제8권1호
• /
• pp.25-35
• /
• 2002

멀티미디어 프리젠테이션 응용은 대개 여러 개의 협동 서버(collaborating server)로부터 데이타의 검색을 필요로하며, 검색된 데이타의 검색을 필요로 하며, 검색된 데이타의 프리젠테이션은 상호 의존적이다. 이것은 프리젠테이션을 위해서 다른 협동 서버에 저장되어 있는 데이타들이 주어진 시간적 제약 조건에 따라 연속적으로 검색되어 전달되어야 하기 때문이다. 이러한 응용에서 서버는 먼저 이용 가능한 네트워크 대역폭과 시스템 자원을 평가하여 초기 검색 스케줄을 생성하고 협동 서버는 시스템 부하에 따라 검색 스케줄에 적절한 변경을 제안할 수 있어야 한다. 전체 스케줄에서 이러한 부준적 변경은 연차적으로 다른 협동 서버의 검색 스케줄에 영향을 미친다. 따라서 멀티미디어 프리젠테이션을 구성하는 객체에 대한 검색 스케줄을 확정하기 위해서는 이러한 일련의 협상이 협동 서버 사이에 진행되어야 한다. 본 논문에서는, 협동적 멀티미디어 프리젠테이션을 위한 자원의 협상과 승인을 다루기 위해 RLCP(Resource Lock Commit Protocol)라는 프로토콜을 제안하고 분산 비디오 프리젠테이션 응용에 적용해 본다.

• 정보과학회 논문지
• /
• 제42권7호
• /
• pp.852-859
• /
• 2015

최근 지식 정보의 양이 방대해지면서, 대용량 온톨로지를 효과적으로 추론하는 연구가 활발히 진행되고 있다. 이러한 추론 방법들은 TBox 분류와 ABox 실체화로 나누어진다. TBox 추론은 스키마의 무결성과 종속성을 주로 다룬다면, ABox 추론은 인스턴스 위주의 다양한 문제를 다루어서 실제 응용에서의 중요성이 매우 크다. 따라서 본 논문은 클래스의 제약 조건을 분석하고, 이를 통해 인스턴스가 속하는 클래스를 추론할 수 있는 방법을 제안한다. 객체 지향 언어 기반의 분산 파일 시스템을 활용했던 기존 방법과 달리 함수형 프로그래밍 기반의 인 메모리 시스템인 스파크를 통해 대용량 온톨로지 실체화 방법에 대해서 설명한다. 제안하는 기법의 효율성을 검증하기 위해 W3C의 Wine 온톨로지를 이용해 인스턴스를 생성(1억 2천만~6억개의 트리플)하고 실험을 수행하였다. 6억개의 트리플을 대상으로 진행한 실험의 경우 전체 추론 시간이 51분(696 K Triple/sec)이 소요되었다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제5권6호
• /
• pp.738-747
• /
• 1999

본 논문에서는 분산 실시간 시스템의 특징인 분산 처리 과정의 신뢰성을 지원하기 위한 동적 트랜잭션 처리 구조를 연구하였다. 실시간 분산 처리 환경에서 동적으로 발생하는 실시간 분산 트랜잭션 처리를 위하여 트랜잭션 내에 필수적인 3가지 언어적 특성들을 제시하였다. 첫째는 트랜잭션 내에 실시간 시스템의 가장 중요한 특징인 시간적인 제약 조건들을 정의 할 수 있는 방안을 제시하고, 둘째는 비동기적인 처리 성격을 지닌 실시간 특성을 고려한 비동기적 트랜잭션 처리 방법을 제시한다. 또한, 분산 처리 과정에서 발생되는 예외 사항들을 처리하기 위하여 긴급성을 고려한 다중레벨 우선순위 스케줄링 (Multi-Level Priotiry Scheduling)이라 부르는 트랜잭션 스케줄링 방안을 제시한다. 그리고, 제시한 실시간 분산 트랜잭션 처리 구조의 타당성 및 가능성을 입증하기 위한 실시간 트랜잭션 처리 과정을 시물레이션을 통하여 제시한 언어적 특성에 대한 고려 사항들을 보여준다.Abstract We propose a dynamic transaction processing model that supports a reliability for distributed real-time processing. For the dynamic processing in distributed real-time transaction systems, we suggest three features that are defined in programming language. First, we propose a specification model to explicitly define the time constraints, needs in real-time distributed processing. Second, we describe an asynchronous transaction processing mechanism based on the real-time characteristics. So, we suggest three communication primitives to support asynchronous transaction processing. Lastly, a scheduling policy based on urgent transaction is suggested to manage the exception occurred during the distributed processing. This scheduling policy is called multi-level priotiry scheduling (MPLS). Based on three features and scheduling policy, we describe a direction to manage a dynamic transaction processing in distributed real-time systems.

• 한국항해항만학회지
• /
• 제32권10호
• /
• pp.851-856
• /
• 2008

대규모 컨테이너항만의 건설과 함께 컨테이너 크레인의 생산성 향상으로 선박 체항시간을 단축시켜 항만의 서비스 수준을 높이려는 노력이 가속화되고 있다. 컨테이너 크레인 시스템에 가해지는 입력에 대하여 바람직한 성능을 보이도록 설계사양을 고려한 상태 퍼드백 제어시스템을 사용한다. 컨테이너 크레인에서 측정이 까다롭거나 측정 잡음이 클 것으로 예상되는 상태 변수를 추정하는 방법으로 상태 관측기를 설계하고자 한다. 기존의 연구에서는 상태 피드백 제어시스템의 피드백 이득행렬과 상태 관측기 이득행렬을 분리하여 구하였다. 그러나 본 연구에서는 피드백 이득행렬과 상태 관측기 이득행렬을 선정함에 있어 최근 강인한 탐색법으로 많이 사용되는 REGAs를 사용해 설계사양을 만족하도록 동시에 구하고자 한다.

• 한국지능시스템학회논문지
• /
• 제27권1호
• /
• pp.7-14
• /
• 2017

이론적으로 분산 비동기 통신 환경에서 공통믿음 또는 공통지식의 형성은 불가능하다고 받아들여져 왔으나, 서로 신뢰하는 에이전트 그룹에서는 비동기 통신을 사용하더라도 데드라인이 있는 명제들은 공통믿음이 될 수 있고 이를 바탕으로 한 추론이 가능함을 보여준다. 일반적으로 멀티에이전트 환경에서 공통믿음의 형성은 통신의 문제로 접근하며 통신 시간의 제약이 없는 시스템 상에서는 공통믿음이 형성되지 않는다는 공통믿음 역설 문제를 느슨한 정밀도를 적용하고 필요한 요구조건을 완화시켜 공통믿음을 형성 할 수 있음을 카카오톡 채팅방 모델을 통해 확인한다. 또한 카카오톡 채팅방 모델의 각 에이전트에 추론 기능을 구현하여 생성된 공통믿음을 알고 있는지에 관한 질의를 통해 공통믿음임을 확인하는 추론 기능을 실험하였다. 분산 멀티에이전트 환경에서 공통믿음의 표현과 추론을 메타논리 프로그래밍으로 형식화하였으며, 카카오톡 채팅방 모델을 통해 비동기 통신을 사용하는 분산 에이전트 그룹이 공통믿음을 형성할 수 있음을 실험적으로 보였다.

• 한국시뮬레이션학회논문지
• /
• 제28권2호
• /
• pp.81-88
• /
• 2019

능동배열안테나는 원전계에 있는 표적과 지형 등을 탐지/추적하기 때문에 개발 간 항공기 탑재 전 시험 수행을 위해 원전계 거리 조건을 만족하게 하는 수십 미터 이상의 지상 시험장이 필요하다. 따라서 빔 조향, 표적, 클러터 및 재밍 등의 시험 수행을 위해 지상에서 높은 곳에 실험실을 구축하는 야외 실험장을 구축하는 것이 일반적이다. 하지만 야외 실험장은 주변 지형, 날씨, 외부 신호등으로 인해 시험에 영향을 받으며, 시간/공간/비용적인 제약사항이 많다. 이러한 문제를 해결하기 위해 근전계에서 빔을 집속 시키는 이론적인 방안이 제시되었지만, 이를 실험실 환경으로 구축하기 위해서는 AESA 레이다 하드웨어의 변화를 초래한다. 본 논문에서는 관련 하드웨어와 소프트웨어의 변화 없이 AESA 레이다를 구성하는 안테나 송수신 모듈의 편차를 보정하기 위해 단일 LUT를 이용해 근전계의 빔 집속을 구현하는 기법을 제안한다. 제안한 기법은 원전계 실험 환경 및 다중 LUT를 이용한 근전계 빔 집속 구현 기법보다 실험 비용을 최소화하면서도 유사한 실험 결과를 도출할 수 있는 장점이 있다.

• 한국콘텐츠학회논문지
• /
• 제19권7호
• /
• pp.130-137
• /
• 2019

스마트 미디어의 등장으로 짧고 빠르게 진행되는 영상 콘텐츠가 등장했고 관람의 조건도 산만한 환경과 짧은 시간에 복잡한 외부 상황으로 지각이 분산된 환경에서의 관람으로 변화했다. 이에 따라 스마트 미디어 영상은 인내심이 부족한 시청자의 시선을 잡아두면서 빠르게 의미전달을 어떻게 할 것인가를 고려하는 것이 중요하게 되었다. 작은 화면이라는 제약 과 빠르게 변화하는 이미지 정보는 장편 극영화의 경우와는 다른 지각적 수용과정을 염두에 두어야 하는 것이다. 우리의 시 지각은 받아들일 수 있는 시각적 정보가 한계가 있고 특히 움직이는 영상에서의 인지력은 더 부족하므로 스마트미디어 영상의 연출은 지각적 이해를 높일 수 있는 방식이 관건이 될 수 있다. 시각적 부담을 줄이면서도 이야기하고자 하는 바를 효과적으로 전달할 수 있게 하려면 UI Design에서 말하는 직관성과 행동 유도성을 영상에 적용하여 직관적인 영상 이해를 끌어내는 것도 하나의 방안이다. 클로즈업, 정면성과 3분할의 안정된 구도, 색채 등은 직관적 시각을 유도하는 '시각유도성'의 수단으로 적절하게 활용될 수 있다.

• 해양환경안전학회지
• /
• 제28권1호
• /
• pp.161-167
• /
• 2022

낮은 수심에 있는 수중보를 통과하는 해양파 문제는 수심이 낮아지면서 발생하는 Shoaling 효과, 이로 인한 비선형파의 간섭효과, 그리고 수중보를 통과한 후 수심이 다시 깊어지면서 발생하는 파주기 별 분산효과 등을 복합적으로 포함하고 있다. 따라서, 이 문제는 해양파의 이론적 접근이나 CFD의 유효성을 검증하는 좋은 사례로 많이 활용되고 있는데, 주로 규칙파에 대해서 시간영역에서의 파형변화를 수조실험 결과와 비교하여 분석한다. 본고에서는 주파수 영역에서의 에너지 스펙트럼 변화를 분석하여, OpenFOAM 등의 CFD를 적용함에 있어서 초기위상조건 등 별다른 제약이 없는지, 비선형파의 간섭효과로 인한 배음 주파수 간의 에너지 교환이 나타나는지 등을 연구하였다.

• 정보보호학회논문지
• /
• 제33권2호
• /
• pp.253-266
• /
• 2023

널 포인터 역참조 (Null Pointer Dereference) 취약점은 정상적인 메모리 주소를 저장한 포인터가 아닌 널 포인터를 참조할 때 발생하는 취약점이다. 그러므로, 서비스거부공격 (Denial-of-service)와 같은 공격에 악용되어 큰 피해를 줄 수 있기 때문에 식별하고 제거해야 할 중요한 취약점이다. 기존 연구에서는 기호실행과 같은 정적분석을 통해 취약점을 탐지하는 방법을 많이 제안하였다. 그러나 커널과 같은 복잡도가 높은 대형 프로그램을 검사할 때는 경로폭발 (path explosion)과 제약조건(constraint solver) 때문에 효율성이 제한되며 주어진 시간 내에 탐지하지 못할 수 있다. 또는 대형 프로그램 중 일부 함수들 혹은 라이브러리 함수를 탐지할 때 전체 프로그램의 상태를 알 수 없기 때문에 완전한 분석을 수행하지 못해 정확도가 높지 않은 경우가 있다. 본 논문에서는 소스코드가 없는 대규모 프로그램에서 특정한 일부 기능 검사 할 때 빠르고 정확하게 검사하기 위한 가벼운 취약점 탐지도구를 연구개발 하였다. 변수나 포인터를 기호로 표시하고 프로그램 실행을 에뮬레이션하여, 각 실행경로에서 데이터 의존성(data dependency) 분석과 휴리스틱 방법으로 널 포인터 역참조 취약점을 탐지한다. 기존 bap_toolkit과 실험하여 비교하였을 때 오탐율이 8% 높지만, 존재하는 취약점을 모두 탐지해냈다.