• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 춘계학술발표대회
• /
• pp.7-10
• /
• 2005

본 논문에서는 관계형 데이터베이스를 이용하여 XML Schema 문서를 저장 및 갱신 시 유효성이 유지되는 저장 모델을 설계하였다. 기존의 XML Schema 저장 모델은 갱신 시 유효성 검증을 위해 XML Schema 를 파일로 추출하여 변경한 후 XML Parser 를 이용하는 복잡한 과정을 필요로 한다. 이 논문에서 설계한 모델은 슈퍼타입 서브타입을 이용한 모델링과 관계형 데이터베이스에서 제공 하는 참조 키, NOT NULL, Default, Check(Rule), Trigger 등의 제약 조건을 사용하므로 다른 응용 프로그램의 의존 없이 저장 및 갱신 데이터의 유효성을 간단하게 검증할 수 있다. 그러므로 이 저장 모델을 이용하면 XML Schema 문서가 데이터베이스에 저장이 되어 있는 그 자체로 유효한 스키 마임을 보장할 수 있어 저장 및 갱신의 효율을 높일 수 있는 장점이 있다. 본 논문에서 설계한 저장 모델은 상용 관계데이터베이스인 SQL 서버 2000 에 적용하여 테이블과 제약조건을 설정한 후 데이터 갱신과정을 실험하였으며, 실험결과 XML Schema의 작성규칙에 위배되는 변경 시도는 설정한 제약조건에 의해 사전 방지되어 데이터의 유효성이 유지됨을 확인하였다.

• 한국컴퓨터산업학회논문지
• /
• 제10권5호
• /
• pp.201-206
• /
• 2009

시간표 문제는 제약조건을 만족하는 최적화 문제이다. 대부분의 최적화 알고리즘은 일단 시간표를 생성하고 이를 반복적으로 변형하고 재구성하는 전략을 통해 최적에 도달하는 방법을 이용하고 있다. 시간표 문제는 자원이 부족한 경우에 초기해를 만드는 과정에서부터 어려움을 겪게 된다. 초기해를 만들기 위한 대표적인 방법은 높은 제약조건을 갖는 과목 먼저 배정하는 것이다. 여기서 제약 조건의 정도를 수치화 한 것을 자유도라고 한다. 본 연구에서는 이 자유도를 정의하고 실험을 통해 자유도의 역할을 살펴보고자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 추계학술발표대회
• /
• pp.1361-1364
• /
• 2012

현대 산업 발전에 따라 대량 생산 체제에서 소비자 개별 주문 요건을 반영하여 생산하는 대량맞춤 생산(Mass Customization) 체제로 변화해가고 있다. 이런 대량맞춤 생산 체제의 제품구성(Product Configuration) 시에 나타나는 CSP(Constraint Satisfaction Problem) 해결 방법론을 제시하고 있다. 기존 방법에서는 복잡 다양한 제약조건을 수학적으로 표현하여 제약 조건 검사에서 소요시간과 검색 공간을 최소화 할 수 있는 알고리즘이 제시했다. 그런데 소비자의 주문 요건들이 빠르게 변화되고 복잡 다양 해지고 있다. 그래서 대상 모델 및 제약조건이 변경이 되었을 경우 기존 방법에서 제시하고 있는 CSP 해결에서는 수정 관리 하기가 쉽지 않고 확장성이 낮다. 본 연구에서는 룰 기반 모델링으로 CSP 문제 해결 프로세스 정립을 하여 관리의 편리성을 제공하고 확장성을 향상시킨다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2009년도 학술발표회 초록집
• /
• pp.1703-1706
• /
• 2009

빗물관리시설은 강우, 증발량 등 기상조건과 집수면의 토지이용 및 토양 특성에 영향을 받으므로 대상지역의 조건에 따라 설치가능 여부, 시설 규모 등에 차이가 있다. 따라서 빗물관리시설의 계획 수립 시에는 대상지역의 기상, 지형특성을 종합적으로 검토할 필요가 있으며, 이는 시설의 효율적인 활용을 위해 필수적이다. 본 연구에서는 GIS 공간분석 기능을 통해 대상 지역의 강우-유출특성, 지형 공간 특성을 고려하여 빗물관리 포텐셜을 분석하였다. 빗물관리 포텐셜은 저류시설을 통해 확보하거나 침투시설로 침투시킬 수 있는 잠재적인 능력을 말한다. 저류 포텐셜은 잠재 지표면 유출량(Runoff potential)으로 산정하였으며, 침투 포텐셜은 일반화된 Green-Ampt 모델에 따라 산정하였다. 산정한 저류 및 침투 포텐셜의 크기, 제약조건인 경사도 등급에 따라 빗물관리 적합도(Suitability map)을 도출하였다. 향후 본 연구의 물리적 변수뿐만 아니라 사회 경제적 인자, 빗물관리가 어려운 제약조건들을 추가로 고려한다면 빗물관리시설의 적지 선정에 활용도가 높을 것으로 기대된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.278-280
• /
• 1999

실시간 GIS 응용 프로그램에서는 기존의 GIS 시스템과는 달리 동적인 공간데이터가 신뢰성을 위해 일정한 시간 내에 갱신되어야 유효성을 유지하며, 사용자가 요청하는 질의는 일정 시간 내에 처리되어야 하는 시간제약조건을 갖는다. 이러한 GIS응용프로그램을 지원하기 위한 실시간 공간데이터베이스 시스템에서는 기존의 실시간 데이터베이스 시스템에서 고려되지 않은 동적 실시간 공간데이터와 실시간 공간질의에 대한 처리가 필요하며 질의 처리 시 실시간 데이터와 실시간트랜잭션의 시간제약조건의 만족을 초대화하기 위한 고려가 필요하다. 본 논문에서는 실시간 공간질의 처리 시 예측성을 최대화 하기 위해 질의에서 빈번히 사용되는 데이터를 주기억상주 데이터베이스에 저장하였고, 실시간 공간데이터의 관리를 위하여 공간질의어를 확장하였다. 또한 실시간 공간질의 처리 시에 실시간 데이터와 실시간트랜잭션의 시간제약조건을 최대한 만족시키기 위해 공간질의 분석과 연산 순서의 재배치 기법을 사용하였다.

• 한국정보과학회논문지:데이타베이스
• /
• 제34권6호
• /
• pp.493-502
• /
• 2007

지식을 효과적으로 표현하고 검색하는 방법에 대한 관심이 증가함에 따라, 토픽맵을 비롯한 지식 표현 기법들이 점점 중요해지고 있다. 토픽맵은 지식을 구조화하여 표현하게 되는데 지식은 매우 복잡한 의미적 관계를 포함하고 있기 때문에 이를 의미적으로 일관성 있게 유지, 관리하는 것은 매우 중요한 문제가 된다. 현재 토픽맵 무결성 검사를 위하여 TMCL을 비롯한 여러 토픽맵 제약 조건 언어와 시스템들이 제안되었다. 그러나 이들은 단순한 의미적 제약들에 대해 지원하고 있지만, 의존성과 같은 복잡한 제약들에 대한 것들은 다루고 있지 못하다. 또한, 단순히 응용 레벨에서 제약들을 검사함으로써 좋지 않은 성능을 보인다. 이에 본 논문에서는 기존의 정보 시스템 분야 및 관련 분야에서 제공하고 있는 제약 언어들의 특성을 기반으로 TMCL을 확장하였다. 또한 이를 효율적으로 지원하기 위한 관계형 데이타베이스기반의 토픽맵 무결성 검사 기법을 제안하고 구현하였다. 구현한 시스템에서는 TMCL에서 제공하고 있는 기본적인 토픽맵 제약 조건들뿐만 아니라 의존성과 같은 복잡한 형태의 제약도 다루고 있다. 그리고 각각의 제약 조건을 검사할 때 템플릿을 이용하여 질의를 생성시켜 효율적인 무결성 검사가 가능하게 함으로써 기존 시스템들의 검사 방식에 비해 높은 성능을 보임을 확인하였다.

• 한국컴퓨터정보학회논문지
• /
• 제12권4호
• /
• pp.43-52
• /
• 2007

공개 웹 서비스의 수효가 증가하면 동일한 기능을 제공하는 웹 서비스가 여러 개 존재하게 될 것이다. 이들은 가격, 응답 시간, 가용성 등 다양한 QoS 특성들을 가지게 되는데, 주어진 QoS 제약을 만족하며 가장 적합한 서비스를 선택하는 것은 매우 중요한 작업이다. 본 논문에서는 비즈니스 프로세스의 병행 분기와 응답시간 제약을 중점적으로 고려하여 서비스의 선택 모형을 연구하였다. 다차원 다중선택 Knapsack 모형을 기본으로, 각 프로세스 실행 경로 별로 응답시간 제약조건을 갖는 방안과 전체 서비스 타입에 대하여 하나의 응답시간 제약조건을 갖는 방안, 그리고 특정 경로에 대해서만 응답시간 제약 조건을 적용하는 방안을 제시하고, 실험을 통하여 서비스 수, 병행 분기의 수 그리고 제약 조건 값의 크기 등의 변화에 따른 각 방안의 성능을 살펴보았다. 실험에 사용된 데이터를 기준으로 볼 때, 파레토 우세를 이용하여 후보 서비스 수를 줄이는 것은 매우 효과적이며, 중소규모의 복합 웹 서비스에서는 전체 서비스 타입에 대하여 하나의 응답시간 제약을 설정한 방안이 실행시간과 탐색 해의 최적 해 근접도 면에서 효율적인 것으로 분석되었다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2000년도 추계학술대회 및 정기총회
• /
• pp.153-156
• /
• 2000

철도 승무원 교번표는 승무사업이 작성된 이후 순서규칙(sequencing rule), 운영규칙 등과 같은 제약조건을 만족하는 사업(duty)의 진행 내용을 나타내고 있는 표이다. 일반적으로 철도 승무원 교번표 작성은 승무원 사업표가 작성된 후 각 사업소 별로 승무원간 사업시간의 차이가 최소가 되도록 즉, 승무원이 균등한 사업시간을 갖도록 작성이 된다. 교번표의 작성은 각 나라마다 독특한 노동협약이나 운용규정 등과 같은 복잡한 제약조건들을 충분히 고려하여 작성되어야 하므로 그 동안 연구에 어려움이 많았다. 본 연구에서는 우리나라 철도청에서 현재 수행하고 있는 교번표 작성현황을 살펴보고 문제점을 파악하였다. 또한 교번표 작성 절차를 분석하여 모형화 하였으며 추후 연구방향을 제시하였다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2013년도 추계학술대회
• /
• pp.267-269
• /
• 2013

플로팅 함체 진수를 위한 진수공법 개발시 대지, 함체 크기, 적용 공법 등에 따른 제약조건이 발생하게 된다. 제약조건의 해결을 위하여 공학 설계 절차 중 공법의 분석과 특성 도출 절차를 적용하여 진수공법의 특성별 고려사항을 제시하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 춘계학술발표대회
• /
• pp.349-352
• /
• 2005

USE는 OCL(Object Constraint Language)로 작성된 UML 다이어그램의 제약조건을 검증해볼 수 있는 가장 뛰어난 도구이다. USE는 다이어그램에 적용되는 제약조건을 미리 저장해두고 검증 다이어그램을 명령어 형태로 입력받아 정확성 또는 일관성을 검증하는데 사용된다. 본 연구에서는 이러한 검증과정의 복잡함을 줄이기 위하여, UML 모델링 시에 검증 대상이 되는 다이어그램의 USE 명령어를 생성하는 효율적인 도구를 설계하고 구현한다.