• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.43-45
• /
• 2004

XML은 인터넷 상에서의 표준 데이터 형식으로 XML 데이터에 대한 구조적 제약 조건들은 DTD나 XML Schema에 정의한다. XML Schema에 유효한 XML 문서는 XML Schema에 정의된 모든 구조적 제약 조건들을 만족해야 하며, 갱신이 발생한 후에도 대응되는 XML Schema에 대해 유효함이 보장되어야 한다. 본 연구는 DBMS에 저장되어 있는 XML Schema에 대해 유효한 XML 데이터를 갱신 할 때 필요한 효율적인 유효 검증 기법을 제안한다. 이 유효 검증 기법에서는 유효 검증 범위를 갱신과 관련된 영역에 한정시키고 갱신 이전에 유효 검증을 수행하여 유효 여부를 판단한다. 또한 본 연구에서는 유효 검증을 위한 유효 검증 제약 조건들과 XML Schema문서의 특성을 분석하여 유효 검증 시 필요한 스키마 정보만을 효율적으로 추출할 수 있는 XML Schema 저장 방법 및 그에 따른 스키마 정보 추출 방법을 제안하고 실험을 통해 그 성능을 보인다.

• 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의 작성규칙에 위배되는 변경 시도는 설정한 제약조건에 의해 사전 방지되어 데이터의 유효성이 유지됨을 확인하였다.

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

댐이 건설된 이후 운영편익은 여러 가지 이유로 원래의 목적이나 목표를 달성하는데 어려운 상황이 발생하게 된다. 실제 대부분의 다목적댐의 경우 홍수기에 댐 하류 하천의 환경변화로 계획된 홍수량을 적절히 방류하지 못하는 사례가 늘고 있으며 이로 인해 유효 저수용량을 충분히 활용하지 못해 이수측면에서도 계획공급량을 충족시키지 못하는 경우가 발생하고 있다. 이는 하천이 댐에서 조절된 홍수량을 안전하게 하류로 배수시키는데 필요한 통수능을 충분히 확보하지 못하고 있기 때문이다. 이의 주요 원인은 댐 하류하천의 침식이나 제방상태가 부실하여 하천이 설계홍수량을 소통시키는데 많은 장애 요인을 갖고 있기 때문이다. 결국 하천의 통수능은 홍수조절과 관련된 댐 운영의 제약조건으로 작용하게 되어 댐 운영측면에서는 큰 손실을 야기하게 된다. 본 연구에서는 기존 다목적댐의 홍수기 운영제약조건으로 작용했던 하류의 통수능 개선을 통한 유효저수용량의 복원에 따른 기대효과를 분석하였다. 이를 통하여 댐의 유효저수용량 확보에 가장 큰 장애요인이라 할 수 있는 댐 직하류에서 계획홍수량의 일정 유량을 피해없이 방류할 수 있는 통수능 개선을 통해 이수목적의 유효저수용량의 회복이 현재의 운영여건에 비해 용수공급과 수력발전으로 대표되는 이수목적의 추가적 편익이 어떻게 발생하는지를 평가하였다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.2
• /
• pp.136-144
• /
• 1999

정규 순환 방정식형태로 표현된 문제로부터 시스톨릭 어레이를 유도하기 위하여 일반적으로 공간-시간 사상 기법이 널리 이용되고 있다. 이 기법에서 공간 행렬은 주어진 문제 공간을 시스톨릭 어레이로 사상시키는 역할을 한다. 이러한 공간 행렬에 의해 유도되는 시시톨릭 어레이가 유효한 것이 되기 위해서 몇 가지의 제약 조건을 필요로 한다. 본 논문에서는 지역 의존 제약 조건을 기초로 하여 3차원의 문제 공간으로부터 2차원의 시스톨릭 어레이를 유도하는 공간 행렬의 계산 방법을 제시하고자한다. 먼저, 지역 의존 조건을 만족시키기위해 공간 행렬의 요소들이 가져야 하는 조건을 찾고 이 조건으로부터 가능한 트사 벡터들을 선정한다. 다음으로, 필요조건으로서 이러한 투사 벡터들로부터 지역 의존 조건을 만족시키는 공간 행렬을 가지는 투사 벡터들을 선별함으로써, 유효한 시스톨릭 어레이를 유도할 수 있는 모든 가능한 공간 행렬들을 구한다. 이렇게 구해진 가능한 모든 공간 행렬은 시스톨릭 어레이를 위한 캐드도구 또는 시뮬레이터에서 유용하게 이용될 수 있다.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.51 no.11
• /
• pp.551-558
• /
• 2002

This paper describes an optimal power flow algorithm considering environmental constraints. In this algorithm, we use the costate method, concepts of fictitious generator, variable reduction and effective constraint for the effective linear programming application. Especially we consider environmental constraints. The proposed method is applied to IEEE RTS-30 model system, 24 and 96 Reliability Test Systems and the results shows the effectiveness of the method.

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

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

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.15 no.2
• /
• pp.281-291
• /
• 2002

This paper describes the minimum cost design of prestressed reinforced concrete (PRC) hem with rectangular section. The cost of construction as objective function which includes the costs of concrete, prestressing steel, non prestressing steel, and formwork is minimized. The design constraints include limits on the minimum deflection, flexural and shear strengths, in addition to ductility requirements, and upper-Lower bounds on design variables as stipulated by the specification. The optimization is carried out using the methods based on discretized continuum-type optimality criteria(DCOC). Based on Kuhn-Tucker necessary conditions, the optimality criteria are explicitly derived in terms of the design variables - effective depth, eccentricity of prestressing steel and non prestressing steel ratio. The prestressing profile is prescribed by parabolic functions. In this paper the effective depth is considered to be freely-varying and one uniform for the entire multispan beam respectively. Also the maximum eccentricity of prestressing force is considered in every span. In order to show the applicability and efficiency of the derived algorithm, several numerical examples of PRC continuous beams are solved.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.274-276
• /
• 2005

본 논문에서는 단백질 상호작용 네트워크의 복잡성을 제어하고 생물학자가 자신이 설정한 조건을 만족시키는 환경에서 추가적인 다양한 제약 조건을 가하면서 원하는 상호작용 네트워크를 구성하고 조작할 수 있도록 지원하는 Constraints Based Dynamic Protein Interaction Network 이라는 새로운 개념의 단백질 상호작용 네트워크를 소개한다. 본 기법에서는 기존의 단백질 상호작용 네트워크에서 주로 사용하는 단백질 상호작용 정보뿐 아니라 단백질 상호작용에 영향을 미칠 수 있는 개개 단백질의 물리 화학적 특성 및 위치 정보와 상호작용의 환경 정보도 단백질 상호작용 네트워크 구성에 활용한다. 제안된 네트워크상에서 생물학자는 단백질 상호작용 네트워크 구성 조건을 변경하거나 얻어진 네트워크에 변경을 가하면서 점차 자신이 원하는 의미 일은 대사경로 모델을 찾거나, 제약조건의 다양한 조작을 통하여 생물학적 실험을 통하여 얻어진 대사모델의 유효성을 검증하는 것도 가능하다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.7 no.3
• /
• pp.193-201
• /
• 2001

실시간 GIS 응용 시스템에서는 기존의 GIS 응용 시스템에서 고려되지 않은 실시간 공간데이타와 실시간 공간 질의에 대한 처리가 필요하다. 실시간 공간 질의는 공간 연산이 전체 실행 시간에서 차지하는 시간비중이 크기 때문에 실시간 공간 데이타의 유효성을 유지하면서 실시간 공간 질의의 시간제약조건을 만족시킬 수 있는 질의 처리 기법이 요구된다. 본 논문에서는 실시간 공간 데이타와 실시간 공간 질의의 시간제약조건을 최대한 만족시키기 위해 실시간 연산을 위해 실시간 연산을 후배치 시키는 실시간 연산 후배치 기법을 제안한다. 제안된 기법은 연산의 재배치를 통해서 전체 질의 수행시간을 증가시키지 않으면서 실시간 공간 질의의 시간제약조건을 최대한 만족시킨다.

• Proceedings of the KIEE Conference
• /
• 2006.07a
• /
• pp.311-312
• /
• 2006

본 논문에서는 선로 전력조류제약을 고려한 경제급전(SCED : Security-Constrained economic dispatch)에 내점 선형계획법을 이용하여 최적해를 구하는 문제를 다룬다. 최적전력조류(Optimal Power Flow)식으로부터 선로의 유효전력만을 근사화하여 선로 전력조류 제약을 고려할 경제급전(SCED)의 식을 정식화한다. 선형계획법을 적용하여 최적해를 구하기 위해서 발전기출력과 유효전력, 부하, 손실과의 관계를 이용하여 경제급전의 식을 선형화 하는 알고리즘을 제시한다. 선형화 알고리즘은 목적함수로 계통 발전기의 총 연료비를 취하고 전력수급평형식으로 발전기출력증분에 대한 선로의 증분손실계수를 이용하며, 선로의 제약조건은 일반화발전 분배계수(GGDF : Generalized Generation Distribution Factor)를 이용하여 선형화한다. 최적화 기법으로서 내점법(Interior Point Method)을 적용하고자 하며 사례연구를 통하여 선형계획법 중 가장 많이 사용하는 심플렉스(Simplex)법과의 수렴특성을 비교하여 내점 법의 효용성을 확인하고자 한다.