• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.7-10
• /
• 2005

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

• Journal of the Korea Computer Industry Society
• /
• v.10 no.5
• /
• pp.201-206
• /
• 2009

The timetabling problem is a one of the optimization problem for satisfied a constraints. Most optimization algorithm arrives optimal to use a method that is make a initial solution and modify and reconstruct it repetitively. In case of insufficient resources, it is not easy to obtain initial solution oneself. The most method of make a initial solution is high constrained subject assign first. The freedom rate is a numerical value of degree of how much constrained. In this paper, we define the freedom rate in timetabling problem and experiment its role in timetabling process.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.1361-1364
• /
• 2012

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

• Proceedings of the Korea Water Resources Association Conference
• /
• 2009.05a
• /
• pp.1703-1706
• /
• 2009

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

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.278-280
• /
• 1999

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

• Journal of KIISE:Databases
• /
• v.34 no.6
• /
• pp.493-502
• /
• 2007

Due to a growing interest in searching and expressing knowledge effectively, knowledge management methods such as Topic Map are becoming more important. Topic Map organizes knowledge that is full of intricate relations, so maintaining and managing Topic Map consistently is very essential. TMCL and other constraint languages have limits as they can check simple constraints but can not support complex constraints like dependence constraints. Current constraint checking systems operating at the application level are also showing an inferiority in performance. In this paper, we extend TMCL based on the characteristics of other constraint languages in the information system field and related fields. We build and propose an RDBMS-based Topic Map constraint checking system to support the extended constraint language effectively. This new system handles complex types of constraints like dependency constraint as well as basic Topic Map constraints present in the TMCL. As the system examines each constraint it uses templates to generate queries for effective checking and overall shows a higher performance level than current systems.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.4
• /
• pp.43-52
• /
• 2007

As the number of public Web Services increases, there will be many services with the same functionality. These services. however, will vary in their QoS properties, such as price, response time and availability, and it is very important to choose a best service while satisfying given QoS constraints. This paper brings parallel branching and response time constraint of business processes into focus and investigates several service selection plans based on multidimensional multiple choice Knapsack model. Specifically. proposed in the paper are a plan with response time constraints for each execution flow, a plan with a single constraint over the whole service types and a plan with a constraint on a particular execution path of a composite Web Services. Experiments are conducted to observe the performance of each plan with varying the number of services, the number of branches and the values of response time constraint. Experimental results show that reducing the number of candidate services using Pareto Dominance is very effective and the plan with a constraint over the whole service types is efficient in time and solution quality for small to medium size problems.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.10a
• /
• pp.153-156
• /
• 2000

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

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2013.10a
• /
• pp.267-269
• /
• 2013

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.349-352
• /
• 2005

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