• 한국컴퓨터정보학회논문지
• /
• 제14권5호
• /
• pp.1-9
• /
• 2009

XML 데이터를 효율적으로 저장하고 질의하기 위하며 많은 기법들이 제안되었다. 이러한 목표를 위한 한 가지 방법은 XML 데이터를 관계형 형식으로 변환하여 관계형 데이터베이스를 사용하는 것이다. 그러나 대부분의 연구가 XML의 내용과 구조만 변환하고 숨겨진 의미적 제약조건을 간과하거나 일부만 적용하였다. 따라서 이 논문에서는 XML Schema로부터 의미적 제약조건의 체계적인 추출 방법과 추출된 의미적 제약조건을 관계형 스키마로 변환할 때에 보존하는 방법을 제안한다. 변환 알고리즘은 XML Schema로부터 의미적 제약조건을 추출하고 보존하는데 이용되며, 추출된 의미적 정보들을 스키마표기법에 따라 재작성하여 어떻게 의미적 제약조건을 보존하는지를 보여준다. 또한 변환하는 동안에 올바른 관계형 스키마를 보증하기 위하여 제약조건 확인에 필요한 의미적 지식을 제공한다. 이 방법에서는 내용, 구조와 함께 무결성 제약조건들은 동시에 유지되며, 또한 저장 중복성을 줄일 수 있다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 1999년도 추계학술대회-지능형 정보기술과 미래조직 Information Technology and Future Organization
• /
• pp.151-157
• /
• 1999

선석계획 및 크레인 일정계획은 컨테이너 터미널에서 입항하는 선박들의 빈번한 변동상황에 능동적으로 대처하고 유연하면서도 신속한 의사결정이 가능하도록 여러 명의 전문가가 장기적인 계획을 바탕으로 지속적으로 수정 보완해 나가는 방법으로 이루어지고 있다. 본 논문에서는 선사 및 컨테이너 터미널에서 수시로 변경되는 다양한 요구조건을 수용하는 최적의 선석 및 크레인 일정계획 수립을 위하여 제약만족기법과 휴리스틱 교정(Heuristic Repair)기법을 이용하였다. 선석계획 및 크레인 일정 계획문제는 기본적으로 제약조건 만족문제로 정형화할 수 있지만 선박의 접안위치를 결정하는 문제는 목적함수를 가지는 최적화문제이다. 따라서 이 문제는 제약조건 만족문제와 최적화문제가 혼합된 문제(CSOP, Constraint Satisfaction and Optimization Problem)로 볼 수 있다. 이러한 문제를 해결하기 위해서 각 선박의 최적 전압위치를 찾고 최우선 순위 선박의 최적 접안위치로부터 주어진 모든 제약조건을 만족하는 해를 찾는 탐색기법을 활용했고 휴리스틱 교정기법을 사용해서 제약만족기법에서 찾은 해를 교정했다. 우선순위가 가장 높은 선박부터 탐색을 하기 위해 Variable Ordering 기법을 사용했고 그 선박의 최적 접안위치부터 탐색을 해 나가는 Value Ordering 기법을 사용하였다. 실제 부산 신선대 컨테이너 터미널의 선석계획자료를 사용해서 실험을 하였다.

• 한국지리정보학회지
• /
• 제12권1호
• /
• pp.81-95
• /
• 2009

지리정보시스템(GIS)과 같은 대용량 공간 데이터 처리에 대한 새로운 패러다임이 바로 제약 데이터베이스(CDB) 모델이다. 이 논문에서는 기존의 공간 데이터베이스의 관련연구를 통하여 스키마 구성 및 질의처리의 한계점을 찾아내고 보다 효율적인 처리방식의 제약 데이터 모델을 제안한다. 제약 데이터 모델의 개념, 표현방법, 질의처리의 예를 제시했으며, 특히 평면자료에 높이를 표시하는 불규칙 삼각망(TIN)을 제약 데이터 모델로 표현하고, 기존 공간 데이터 모델과 비교 평가했다. 우리는 제약 데이터모델링을 통하여 단순하고 우아하게 형식화할 수 있다는 것을 확인하였다.

• KDI Journal of Economic Policy
• /
• 제17권4호
• /
• pp.63-95
• /
• 1995

본(本) 연구(硏究)에서는 가계(家計)가 소비지출시 어느 정도 유동성제약(流動性制約)(liquidity constraint)하에 처해 있는가를 분석하기 위하여 이론적인 모형(模型) 제시와 함께 한국(韓國) 일본(日本) 미국(美國)을 대상으로 실증분석(實證分析)을 시도하였다. 3개국 공히 내구재(耐久財) 소비지출시 비내구재(非耐久財) 소비에 비해 상대적으로 유동성제약 현상이 더 심한 것으로 추정되었다. 특히 우리나라의 소비자들은 내구재와 비내구재 등 모든 형태별 소비지출에 있어서 일본(日本)과 미국(美國)에 비해 더 심한 유동성제약하에 처해 왔던 것으로 나타났다. 1980년대에 들어서는 소비자금융시장에서의 유동성제약(流動性制約)이 점차 완화(緩和)되어 온 것으로 나타났으나, 여전히 일본과 미국의 수준을 크게 상회(上廻)하였다. 이러한 추정결과들은 장기간에 걸친 생산자(生産者) 중심의 금융제도 및 관행 등으로 인해 우리나라의 소비자금융시장(消費者金融市場)이 선진국에 비해 낙후(落後)되어 있음을 반영한다. 위의 분석결과는 향후 할부금융제도(割賦金融制度) 도입 등 소비자금융 규제 완화가 본격화되면 유동성제약(流動性制約)이 완화되어 가계의 차입(借入)과 저축(貯蓄)을 통한 소비의 평탄화(平坦化)(smoothing)가 가능해짐으로써 소비자의 후생(厚生)이 증대되고 경기변동(景氣變動)의 진폭이 축소될 것임을 시사한다. 또한 소비자금융의 활성화는 기존의 유동성제약하에 처해 있었던 가계들의 소비를 촉진시켜 단기적으로는 경제 전체의 저축률(貯蓄率) 하락요인으로 작용할 가능성도 있을 것이다.

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

일반적으로 두 개의 명사가 결합하여 하나의 명사 기능을 하는 어구를 복합명사라고 한다. 한국어는 복합명사 내의 명사를 붙여볼 수도 있고 띄어쓸 수도 있으므로 복합명사의 형태적 분석에 많은 어려움이 있다. 이 연구에서는 각 명사의 복합명사 결합을 최대한 제약하여 문법검사기에서 복합명사와 관련된 오류의 발생을 최소화할 수 있는 방범을 개발했다. 이 논문에서 복합명사 분석 기능을 제약하는 방법으로 형태적 제약 방법과 의미정보에 따라 복합명사의 결합관계를 제약하는 방법을 이용했다. 어휘 정보만으로 복합명사를 분석하면 의미관계에 의한 오류는 찾기 어려우므로 복합명사의 구조적 결합관계와 의미 결합관계를 밝혀 복합명사를 잘못 분석하는 문제점을 극복한다. 복합명사의 결합제약은 명사의 왼쪽과 오른쪽에 올 수 있거나 올 수 없는 명사를 의미, 형태적 특성과 명사가 나타나는 분포(distribution)에 따라 분류하여 규칙베이스화하였다. 의미정보를 이용한 복합명사 결합제약 알고리즘도 구현하였다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2007년도 추계학술대회
• /
• pp.468-474
• /
• 2007

가상기업(virtual enterprise)은 21세기에 고객의 요구가 매우 다양해지고 기술은 점점 더 복잡해지는 상황에서 정보네트워크 기술의 발전을 이용한 새로운 기업간 협력을 통해 극복하려는 경쟁전략의 일환이다. 현재까지의 가상기업에서는 주로 EDI(Electronic Data Interchange)를 이용한 국한된 정보의 교류가 이루어졌다. 그러나 이러한 국한된 정보이외에도 실제 가상조직 내에서는 규칙 또는 제약식 형태의 정보의 교류 또한 필요한 실정이다. 이러한 정보의 교류에 시맨틱 웹 플랫폼을 이용하게 되면 더욱 쉽고 유연한 정보의 전달이 가능하다. 현재 웹 온톨로지 언어인 OWL과 시맨틱 웹 규칙언어인 SWRL을 통해서 사실 및 규칙의 포맷은 갖추어져 있는 상황이지만 제약식의 표현에 있어서는 뚜렷한 포맷이 정해져 있지 않아 가상조직 내에서의 구성원간의 제약조건의 교류에 문제가 있는 상황이다. 본 논문에서는 가상기업조직에 있어서 각각의 구성 기업들간의 제약식 공유가 이루어 질 수 있도록, 시맨틱 웹 표현의 대표적 언어인 OWL 기반으로 하는 제약식 표현언어(Semantic Web Constraint Language)를 응용한다. 또한 실제로 이러한 SWCL이 가상기업 문제에 얼마나 효율적으로 적용될 수 있는지 증명하기 위해 실례를 적용해 보고자 한다.

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

복잡한 무결성 제약 조건을 효율적으로 확인하기 위해 제약 조건들을 룰 베이스(rule base)에 저장하고 별도의 룰 관리 시스템과 제약 조건 관리 시스템을 통해 제약 조건을 확인하는 기법이 많은 연구자들에 의해 연구되고 발표되었다. 그러나 제약 조건 관리 시스템이 실행시간에 응용 프로그램을 항상 모니터링하고 있다가 데이타의 수정이 요청될 때마다 개입하여 프로세스를 중단시키고 관련 제약 조건을 확인하는 기존의 방법들은 처리 시간의 지연을 피할 수 없다. 본 논문은 컴파일 시간에 제약 조건 확인 코드를 응용 프로그램에 미리 삽입할 것을 제안한다. 응용 프로그램 자체 내에 제약 조건 확인 코드가 삽입되기 때문에 실행 시간에 다른 시스템의 제어를 받지 않고 직접 제약 조건의 확인 및 데이타베이스의 접근이 가능해져서 처리 시간의 지연을 피할 수 있을 것이다. 이를 위해 어떤 구문이 제약 조건의 확인을 유발하는 지를 추적하였고, 컴파일러가 그러한 구문을 어떻게 전처리 과정에서 검색하는지 그리고 그러한 구문마다 어떻게 해당 제약 조건 확인 코드를 삽입할 수 있는 지를 객체지향1) 데이타베이스 언어인 Objectivity/C++에 대해 gcc의 YACC 코드를 변경함으로써 보여 주었다.Abstract To cope with the complexity of handling integrity constraints, numerous researchers have suggested to use a rule-based system, where integrity constraints are expressed as rules and stored in a rule base. A rule manager and an integrity constraint manager cooperate to check the integrity constraints efficiently. In this approach, however, the integrity constraint manager has to monitor the activity of an application program constantly to catch any database operation. For each database operation, it has to check relevant rules with the help of the rule manager, resulting in considerable delays in database access. We propose to insert the constraints checking code in the application program directly at compile time. With constraints checking code inserted, the application program can check integrity constraints by itself without the intervention of the integrity constraint manager. We investigate what kind of statements require the checking of constraints, show how the compiler can detect those statements, and show how constraints checking code can be inserted into the program, by modifying the GCC YACC file for Objectivity/C++, an object-oriented database programming language.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (B)
• /
• pp.25-27
• /
• 2001

컴퓨터와 통신 기술의 급소간 발전으로 이동 매체를 통한 정보 서비스 요구가 급증하고 있다. 이 중에서 이동 매체를 통한 전자 지도 서비스는 전송 정보의 용량이 크고 출력 장치의 resource를 많이 요구하기 때문에 이를 극복하기 위한 연구가 필요하다. 이 논문에서는 무선 지도 서비스 환경의 bandwidth 제약 조건과 resource 제약 조건을 새로이 정의하고 이를 해결하는 동적 약도 생성 기법을 소개한다. 본 논문은 resource 제약 조건을 해결하기 위해 지도 정확성의 기준을 완화하여 재 정의한 generalization 기법을 도입하며, bandwidth 제약 조건을 해결하기 위해 설정된 threshold 값을 만족하는 filtering 기법을 제안 및 설계 구현한다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2016년도 춘계 종합학술대회 논문집
• /
• pp.63-64
• /
• 2016

자원 제약이 있는 프로젝트 스케줄링 문제는 NP-hard인 순서기반 문제이다. 본 논문에서는 연속적인 문제 해결에 적합한 차분진화알고리즘에 난수 키 표현법을 적용하여 순서기반 표현을 가능하게 하여 자원 제약이 있는 프로젝트 스케줄링 문제를 해결하고자 한다. 실험 결과 작은 규모의 자원 제약이 있는 프로젝트 문제에 적용하여 난수 키 표현법 기반 차분진화알고리즘의 가능성을 보았다.

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

지금까지의 지리정보시스템에서는 시스템 구축관점에서의 공간 객체의 모델링, 공간 객체의 효율적인 저장방법, 인덱싱 방법 등이 중요한 연구 과제였으나 지리정보 시스템 관련 기술의 발달과 활용분야가 다양해짐에 따라 공간 데이터의 정확성에 대한 연구가 더욱더 중요시되고 있다. 본 논문에서는 지리 정보 시스템에서 위상 객체들간에 만족해야 하는 위상적 무결성 제약조건의 정의 과정을 보이고, 이러한 위상적 무결성 제약조건을 관리하기 위한 시스템을 설계한다.