• 한국정보과학회논문지:정보통신
• /
• 제27권4호
• /
• pp.507-521
• /
• 2000

실시간 멀티미디어 서비스에서 Quality of Service(QoS) 보장의 필요성이 증가하고 있다. 멀티미디어 서비스 제공 형태의 대다수가 될 멀티캐스트 경로설정에서도 QoS 보장은 확장성 신뢰성과 함께 매우 중요한 문제이다. QoS 기반 코어 선택 알고리즘을 제안한다. 제안 알고리즈믄 멀티캐스트 경로설정에서 코어 선택시에 다중 QoS 제약조건을 고려한다. QoS 제약조건은 최소보장 대역폭, 종단 지연, 종단 지연변이 등으로 정의한다. 모의 실험결과는 제안한 QCSA와 Maximum Centered Tree(MCT) Average Centered Tree (ACT) Initial Delay-Constrained Shared Tree(Dcinitial) Random Tree(Random)등의 기존 코어 선택 알고리즘의 성능을 각 항목별로 비교한다 멀티캐스트 그룹 멤버수와 QoS 제약조건을 인자로 한 모의 실험 결과는 제안한 QoS 기반 코어 선택 알고리즘이 기존 코어 선택 알고리즘에 비해서 다중 QoS 제약조건 보장 코어 선택 성공률에서 성능 개선 효과를 가짐을 보여준다. 제안 알고리즘이 본 논문에서 설정한 모의 실험 환경에서는 QoS 기반 코어 선택의 정도를 나타내는 성공률에서 약 10% 정도 기존 알고리즘보다 우수함을 보인다. 이 결과는 제안 알고리즘이 코어 선택 과정의 초기부터 멀티캐스트 그룹내의 모든 멤버에 대한 다중 QoS 제약조건을 고려하는 점이 QoS 기반 코어 선택에서 개선 효과를 나타냄을 보여준다.

• Nuclear Engineering and Technology
• /
• 제16권4호
• /
• pp.181-194
• /
• 1984

변분법을 사용하여 원자로의 핵연료 관리문제를 연구하였다. 원자력 발전소에 영향을 미치는 두 함수 즉 이윤함수와 가격함수는 원자로의 연소도방정식과 최대허용출력 밀도에 대한 부등 제약조건이며, 이들은 임계성의 제약조건이 된다. 초기이윤의 변분해는 원자로에 뚜렷한 두 영역이 있음을 보여 주었다. 즉 일정 출력 영역과 최소 재고량 또는 평활 중성자속 영역이 그것이다. 이들 든 영역의 변이점은 전력에 대한 이윤과 연료에 대한 이자 지급에 상당히 중요하다. 그러므로 각 영역에서 동일 농축도의 핵연료를 가질 동일 부피의 세 영역으로 된 원자로를 최적화 하기 위하여 핵연료 주기 가격 함수가 사용 되었다. 최대 허용 출력 밀도에 대한 부등 제약조건들은 이들 부등 제약 조건이 원자로심의 어느 특정 점이나 로심주기를 통하여 항상 동일 제약조건이 되어야 한다. 원자로의 임계성과 출력밀도에 대한 동일 제약조건에 관계된 핵연료의 연소도에 대한 계차 방정식의 해를 구하였으며 최적 농축도의 위치를 구하기-위하여 구배법을 사용하였다. 이들 계산결과는 부동 제약 조건들을 적절히 적용하면 원자로를 최적화하기 위하여 비선형 최적 기술이 사용될 수 있음을 보여 주었다.

• 한국전산구조공학회논문집
• /
• 제12권3호
• /
• pp.495-508
• /
• 1999

변형된 라이저의 단위 접선벡터상의 운동학적 제약조건을 적용하여 심해저 라이저의 비선형 동적해석을 행한다. 이 조건의 적용으로 자유도수를 감소시킬 수 있으며 심한 비선형성으로 인한 해의 발산 가능성을 제거할 수 있다. 라이저의 거대변형으로 인한 기하학적 비선형성과 비선형 경계조건이 고려된다. 또한, 비선형성이 포함되는 수동학적 하중이 조류와 파랑에 의해 발생하여 내부에 정상류가 흐르는 라이저관의 외벽에 작용하게 된다. 이 외에도라이저 자체의 축방향 변형조건을 고려한다. Galerkin의 유한요소 근사화와 시간증분자를 적용하여 유한요소에 대한 평형 메트릭스 방정식을 유도하고, 수치해석을 위한 알고리즘을 제안하며 API 보고서의 결과와 비교함으로써 제안된 모델이 검증된다. 또한, 기하학적 비선형성으로 인한 영향을 조사하였다.

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

공간 데이터베이스 시스템에서 객체간의 인접성을 유지해야하는 공간 객체의 갱신 연산 수행시, 이와 인접한 공간 객체들은 의미적 무결성을 상실하게 된다. 이러한 의미적 무결성을 만족하기 위해서는 수작업으로 무결성을 유지하는 수동적 무결성 유지 방법보다 사용자 편의성을 위해 자동 보정 연산의 지원이 필요하다. 본 논문에서는 공간 객체의 갱신 연산 수행시 인접한 공간 객체간의 의미적 무결성을 지원하기 위한 능동적인 공간 연산 트리거를 제안한다. 제안한 기법은 무결성 제약조건 검증 단계에서 인접한 공간 객체에 대한 자동 보정 연산을 수행하여 객체간의 의미적 무결성을 유지한다. 제안한 기법의 지원을 위해 무결성 제약조건은 레이어, 공간 객체의 순서로 기술하며, 무결성 검증 단계는 공간 객체, 레이어 순으로 제약조건 검사를 수행한다. 능동적 공간 연산 트리거는 레이어 제약조건 검증 단계에서 갱신연산에 대해 공간 위상 추출연산을 포함한 확장된 SQL을 사용하여 무결성을 유지하도록 한다. 능동적 공간 연산 트리거는 레이어 제약조건 검사와 공간 객체에 대한 자동 보정 연산의 수행을 통하여 인접성을 유지해야 하는 공간 객체들의 의미적 무결성과 사용자 편의성을 제공한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제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.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (B)
• /
• pp.202-204
• /
• 2003

본 논문은 isophote 제약조건을 사용한 유전자 알고리즘(Genetic Algorithms) 기반의 효율적인 오류 은닉 방법을 제안한다. 제안된 방법은 먼저 오류 블록을 경계선 정합 알고리즘(Boundary Matching Algorithm)을 사용하여 오류 블록의 주변과 가장 유사한 블록을 이전 프레임에서 찾아 교체한 후, isophote를 제약조건으로 가진 유전자 알고리즘을 사용하여 교체된 오류 블록을 재구성하는 것이다. Isophote들은 영상에서 일정한 밝기 값을 가지는 곡선들로, 본 논문에서는 비디오 통신 시 화질을 개선하기 위해, 전송 오류에 의한 끊어진 isophote들을 부드럽게 연결한다. 끊어진 isophote들을 연결하기 위해, isophote를 제약조건으로 가진 적합도 함수를 최소화하는 픽셀 값을 유전자 알고리즘을 사용하여 추정하고, 그 값을 isephote 방향으로 투영한다. 실험 결과, 제안된 방법이 다른 오류 은닉 방법 보다 좀 더 화질을 개선시킬 수 있다.

• 지능정보연구
• /
• 제3권2호
• /
• pp.71-82
• /
• 1997

이 연구의 모형은, 자원(기계, 인력), 주문(작업)의 의미를 확정한 "일반화된 job-shop"이다. 이 모형의 제약조건을 파악한 후, 불확정 제약조건의 표현과 추론방법을 연구하였으며, 이를 위하여 일정계획 수립 기능들을 모듈화하였다. 불확정제약조건에 따라 모듈들을 선택적으로 사용하기 위한 추론 과정은, 먼저, 납기만족이 우선이며 제약만족(CSP) 일정계획 모듈을 사용하고 그렇지 않으면 디스패칭 모듈을 사용한다. 그리하여, 납기, 작업시간의 불확정성과 자원의 변동, 새 주문의 추가, 일정계획 목표의 변경등을 반영하는 일정계획 수립방법을 제시하였다. 이 논문은 제약만족 일정계획과 디스패칭 일정계획을 하나의 틀에서 함께 사용함으로써, 일정계획 목표의 변경이나 제조환경이 변화에 대처할 수 있음을 보인다.수 있음을 보인다.

• 정보처리학회논문지D
• /
• 제13D권2호
• /
• pp.191-198
• /
• 2006

다양한 환경 속에서 기업이 업무의 효율성과 효과적인 업무처리를 해결하기 위해서 핵심정보시스템으로 워크플로우를 도입하고 있다. 최근에는 워크플로우 확장으로 비즈니스 프로세스 관리(BPM: Business Process Management)가 기업 소프트웨어 시장의 가장 중요한 부분을 차지하고 있다. 비즈니스 프로세스 관리에서 워크플로우는 핵심적인 역할을 수행하고 있지만, 워크플로우 연구의 대부분은 복잡한 업무의 정확한 실행 순서를 찾기 위한 시간적인 제약들에 집중되어 있다. 그런 이유에서 워크플로우 스케줄링의 대부분은 처리해야 할 다양한 자원의 모델링에 집중되었으며, 자원과 연관된 제약조건에서의 워크플로우 스케줄링에 대한 관심은 미흡한 편이다. 본 논문에서는 자원할당 제약조건에 따른 워크플로우 스케줄링에 적합한 CTR(Concurrent Transaction Logic) 기반의 변형 템플릿(Transformation Template)과 논리적 프레임워크를 제안한다. 변형 템플릿은 워크플로우 변형 템플릿(Workflow Transformation Template)과 제약조건 변형 템플릿(Constraint Transformation Template)으로 구성된다. 이 변형 템플릿은 기존의 워크플로우를 자원할당 제약조건 하에서 새로운 워크플로우를 논리적으로 표현하는데 용이하게 사용할 수가 있다.

• 공학논문집
• /
• 제6권1호
• /
• pp.5-14
• /
• 2004

제약조건을 만족시키기 위한 문제에서 해를 얻는 일은 그 문제의 조건들을 만족시키기 위한 변수들의 값을 선정하는 것이다. 이것은 주어진 영역내의 다수의 불확정적인 변수들의 논리적 관계를 탐색하여 조건을 만족하는 최적의 해를 얻는 것이다. 그러나, 이러한 문제들의 해를 구하는 과정에는 두 가지 큰 문제를 내포한다. 즉, 다양한 형태와 다수의 속성을 지닌 제약 조건들을 시스템내부에 효율적으로 표현하는 방법이 어렵고, 탐색과정에서 기하급수적으로 발생하는 공간문제와 처리시간을 최소화 하기가 힘들다. 그 이유는, 적절한 제약 조건의 표현방법과 효율적인 알고리즘에 의해 스케줄링을 한다 해도 모든 조건들을 항상 다 만족시킬 수는 없기 때문이다. 즉, 제약 조건 내에 충돌의 요소가 있을 수도 있기 때문이다. 따라서 이 논문에서는, 스케줄링을 진행하는 과정에서 이러한 제약 조건위반(충돌)에 대한 정보 및 차선의 조건을 사용자에게 제시하여 사용자로 하여금 조건의 재조정이 가능하도록 하는 대화형 스케줄링시스템의 모델을 제시한다.

• 한국산학기술학회논문지
• /
• 제16권7호
• /
• pp.4999-5008
• /
• 2015

제약조건이 있는 공학 최적화 문제에서 보다 좋은 결과를 얻기 위해서는 효율적인 제약조건 처리기법의 적용은 필수적이다. 본 연구에서는 네 가지의 제약조건 처리기법을 적용하여 메타휴리스틱 최적화 기법으로 널리 사용되고 있는 Harmony Search 알고리즘의 최적화 효율성을 평가하였다. 평가를 위해 대표적인 이산형 최적화 문제 중 하나인 상수관로 최소비용설계 문제를 적용하였다. 적용결과 전통적인 제약조건 처리방법으로 사용되던 벌칙함수에 비해 제안된 제약조건 처리기법의 결과가 효율적임을 확인하였다. 특히, ${\varepsilon}$-Constrained Method의 경우 기존방법에 비하여 효율적이고 안정적인 결과를 도출하였다. 제안된 방법은 새로운 최적화 알고리즘의 개발 필요 없이 HS의 성능을 증가시킬 수 있다는 점에서 의의가 있다고 판단된다. 또한 400개 이상의 결정변수를 가지는 대규모 문제의 적용을 통하여, 제안된 방법이 대규모 공학 최적화 문제에서도 활용이 가능함을 확인하였다.