• Title/Summary/Keyword: 제약 만족 문제

검색결과 256건 처리시간 0.026초

애너그램 문제 인지적 해결과정의 분자컴퓨팅 시뮬레이션 (Molecular Computing Simulation of Cognitive Anagram Solving)

  • 천효선;이지훈;류제환;백다솜;장병탁
    • 정보과학회 컴퓨팅의 실제 논문지
    • /
    • 제20권12호
    • /
    • pp.700-705
    • /
    • 2014
  • 애너그램은 주어진 문자들을 재배열하여 숨겨진 단어를 찾아내는 철자바꾸기 놀이로, 문제를 빨리 풀어내는 사람들은 제약 만족 네트워크의 병렬적 탐색에 의해 문제를 해결한다. 본 연구에서는 이러한 인지적 현상을 모델링한 분자 애너그램 풀이 알고리즘을 제시하였다. 문자를 DNA 서열로 인코딩하고, 문자 DNA 가닥을 연결하여 바이그램과 단어 서열을 만들었다. DNA 혼성화, 연결, 젤 전기영동, 추출 연산을 수행해 문자와 바이그램 집합으로부터 답을 찾는 데 필요한 바이그램을 추출한 후, 추출한 바이그램과 단어 집합으로부터 다시 네 가지 DNA 연산을 반복하여 답을 찾는다. 분자 실험 결과 분자 컴퓨터는 정답인 단어와 오답인 단어를 구분해낼 수 있었다. 이를 통해 인간의 병렬적 사고과정을 분자 컴퓨터로 모델링할 수 있는 가능성을 보였다.

Cognitive Relay 네트워크에서 일차 사용자의 Outage 제약 조건 하에서의 이차 사용자의 파워 할당 기법 및 성능 분석 (Power Allocation and Performance Analysis for the Secondary User under Primary Outage Constraint in Cognitive Relay Network)

  • 김형종;홍대식
    • 대한전자공학회논문지TC
    • /
    • 제49권8호
    • /
    • pp.46-51
    • /
    • 2012
  • 본 논문에서는 무선 인지 중계 네트워크에서의 파워 할당 기법에 대해서 연구한다. 무선 인지 중계 네트워크는 주파수 공유를 통해서 주파수 효율성을 높일 뿐만 아니라 중계기의 사용으로 시스템의 커버리지를 확장시킬 수 있는 장점을 가진다. 그러나 기존의 연구들에서는 주파수 공유를 위해서 이차 사용자가 일차 사용자 사이와의 채널 정보를 완벽하게 알아야 한다고 가정한다. 그러나 이 채널 정보는 시변 특성 또는 피드백 지연 등의 이유로 이차 사용자가 불완전한 채널 정보를 얻게 된다. 이러한 불완전한 채널 정보로 인하여 결국 이차 사용자는 간섭 제약을 위반하게 되고 주파수를 공유할 수 없게 된다. 따라서 이 문제를 극복하기 위해서 본 논문에서는 일차 사용자의 허용 가능한 outage확률 간섭 제약을 만족하는 이차 사용자의 파워 할당 기법을 제안한다. 제안된 파워 할당 기법은 순시적인 채널 정보를 사용하지 않기 때문에, 이차 사용자의 피드백 부담을 덜어줄 뿐만 아니라 지연된(outdated) 채널 환경에 관계없이 간섭 제약을 만족시키는 장점을 가진다.

동작 주파수 설정을 이용한 에너지 효율적인 이미지 전송 (Energy-Efficient Image Transmission using Frequency Scaling)

  • 이성주;김희곤;정용화
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2011년도 춘계학술발표대회
    • /
    • pp.433-436
    • /
    • 2011
  • 자원 제약적인 임베디드 시스템 기반의 비디오 압축/전송 시스템에서 고수준의 영상품질과 에너지 효율성을 동시에 만족시키는 것은 쉽지 않은 문제이다. 본 논문에서는 동작 주파수 설정을 이용하여 주어진 네트워크 환경과 영상품질을 만족하면서 에너지 소비가 최소화되는 솔루션을 제안한다. 즉, 주어진 네트워크 환경에서 압축/영상품질의 상관관계를 분석하고 에너지가 최소화되도록 동작 주파수를 결정한다. JPEG을 이용한 실험 결과, 동작 주파수 설정을 이용한 방법은 기존의 방법 보다 사용자가 요구하는 영상품질을 만족하면서 약 60% 정도 에너지를 절감할 수 있음을 확인하였다.

시뮬레이션 부하기법을 이용한 경로기반 동적통행배정모형의 개발 (Path-based Dynamic User Equilibrium Assignment Model using Simulation Loading Method)

  • 김현명;임용택;백승걸
    • 대한교통학회지
    • /
    • 제19권3호
    • /
    • pp.101-113
    • /
    • 2001
  • 지난 20여년간 연구자들이 가장 주목한 분야 중 하나가 동적 통행배정모형(Dynamic Traffic Assignment model) 분야다. 그러나 현재까지 발표된 많은 모형들은 모형의 안정적인 수렴성과 동적 통행배정모형이 갖는 많은 제약식들을 동시에 만족시키기에는 미흡한 상태였다. 이는 동적모형이 실시간 적용되기 위해서는 이용자의 경로선택문제 뿐만 아니라 각 링크의 대기행렬 길이, 통행시간, 유입·유출 교통량의 동적 변화가 교통류이론에 부합하도록 설계되어야 하기 때문이다. 이런 측면에서 기존에 주로 사용되던 링크기반(link-based)의 통행배정 알고리즘은 위와 같은 동적 특성들을 모두 만족시키기에는 한계가 있다. 링크기반모형의 경우, 각 링크에 대해 여러 제약식 (flow Propagation, FIFO constraint 등)들을 개별적으로 만족시켜야 하는데, 실제 이러한 작업은 모형을 매우 복잡하게 만들뿐만 아니라 실제 현실상의 교통류 특성을 비현실적으로 표현하는 결과를 낳기 때문이다. 본 연구에서는 이러한 문제를 극복하기 위하여 시뮬레이션을 이용한 경로기반(Path-based) 동적 통행배정모형을 제시하고자 한다. 차량의 흐름을 좀 더 현실적으로 표현하기 위하여 개별 링크의 교통류상태를 point queue 이론으로 설명하였다. Point queue 이론은 각 링크 유출부에서의 유출교통량 및 대기시간을 전통적인 대기행렬 이론에 근거해 모형화하는 것으로 본 연구에서 실험한 결과 각 링크의 대기행렬 변화추이를 묘사하는데는 합리적인 것으로 분석되었다. 또한, 시간 종속적 기종점 교통량을 교통망에 부하하기 위해 Simulation Loading Aalgorithm(SLA)을 개발하였다. SLA를 point queue 이론과 결합할 경우 별다른 명시적 제약없이도 앞에서 언급한 제 약식들을 만족시킬 수 있으며, 동적 통행배정모형이 갖추어야 할 두 가지 필요조건 즉 수렴성과 현실적인 교통류의 동적 변화를 묘사하는 것으로 판단되었다.

  • PDF

객체기반 공연예술 예약 스케줄링 기법 (The techniques of object-based scheduling for performing art reservation)

  • 김진봉
    • 한국컴퓨터산업학회논문지
    • /
    • 제9권4호
    • /
    • pp.171-176
    • /
    • 2008
  • 인터넷상에서 고객들이 공연을 예약할 때에 대다수 예약 기법들은 고객들의 선호도를 고려하지 않고 예약이 이루어진다. 이러한 예약 기법들은 서비스 산업에서 중요한 고객들의 만족도를 향상시키기 어려운 문제점이 있다. 본 논문에서는 객체기반 스케줄링 기법을 공연예술 예약 문제에 적용하여 공연예술 예약 시에 일어날 수 있는 문제점을 해결하고자 하였다. 객체기반 공연예술 예약 스케줄링 기법은 객체지향개념을 기반으로 각 객체들이 가지고 있는 사건들을 주어진 제약들에 만족하도록 목표인 좌석배치도에 배정하는 기법이다. 각 객체들은 전체적인 만족도를 고려하면서 그 객체들의 우선순위에 따라서 자원을 배정하고, 자원에 대한 객체의 선호도 차이를 가질 수 있게 하였다. 클래스에 따라서 우선순위를 가진 객체들은 제약을 만족하면서 최선의 슬롯을 선택하여 사건을 배정한다. 사건의 배정이 실패하거나 백크래킹을 최소화하도록 전체 객체들의 만족도를 높이는 방향으로 스케줄링을 시행한다.

  • PDF

효율적인 결함허용 시스템 설계를 위한 탐색기법 (Search Technique for the Design of Cost Effective Fault Tolerant Systems)

  • 이효순;신현식
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
    • /
    • pp.6-8
    • /
    • 2000
  • 결함허용 시스템은 다양한 형태의 중복을 사용하여 신뢰도를 향상시킬 수 있는 반면, 시스템의 비용을 크게 증가시킨다. 본 논문은 만족스러운 신뢰도를 갖추면서 추가 비용을 적게 요구하는 결함허용 컴퓨터 시스템의 구조를 결정하기 위한 설계 문제를 정의하고 탐색에 기반을 둔 해결법을 제안한다. 이 때, 탐색 기법이 방문하는 탐색 공간의 크기를 줄이기 위하여 사용되는 세 가지의 유용한 사실을 설명한다. 이를 바탕으로 삼중 모듈 중복(TMR: Triple-Modular-Redundancy), 백업 예비(backup sparing), 그리고 혼합 중복(hybride redundancy) 기법과 같은 결함허용 기법들이 시스템 구조에 적용되었을 때, 탐색 공간을 줄이는 용도로 사용될 수 있는 신뢰도 제약조건을 유도해낸다.

  • PDF

에어콘의 소음저감 문제 (Noise Reduction Problems of Air-Conditioner)

  • 김장권
    • 기계저널
    • /
    • 제33권2호
    • /
    • pp.171-182
    • /
    • 1993
  • 소음을 현저히 저감하기 위해서는 상품의 원가상승, 고효율화 및 상품의 외곽크기 콤팩 트(compact)화에 제약을 받기 때문에, Q(품질 : quality), C(가격 : cost), D(납기 : delivery)를 만족하는 기술개발과 상품개발의 노력이 매우 필요하게 된다. 따라서 국내 . 외 가전업체에서는 소음을 줄이기 위한 심도있는 연구가 많이 진행되고 있으며, 이를 반영한 상품 출시도 매우 빠 르게 변화하고 있는 추세이다. 이 글에서는 에어콘 저소음화에 관련한 각종 기술자료 및 논문 들을 토대로 하여 가정용 에어콘에서의 소음발생의 종류 및 각각의 소음발생 원인에 대해 소개 하고, 그 저소음화 대책 기술 동향을 매우 제한된 범위내에서 서술하였다.

  • PDF

분산 환경 하에서 지능형 에이전트 기반의 자동 스케줄링을 위한 제약만족 기법의 응용 (Applying CSP techniques to automated scheduling with agents in distributed environment)

  • 정종진
    • 한국산업정보학회논문지
    • /
    • 제12권1호
    • /
    • pp.87-94
    • /
    • 2007
  • 분산 인공지능 기법들은 기존의 처리되지 못했던 많은 복잡한 문제들을 모델링하여 해결할 수 있도록 하고 있다. 특히 지능형 에이전트 기법은 분산 처리 환경 하에서 프로세스들 간의 각기 다른 문제 해결 능력들을 공유하도록 하는 방법들을 제공함으로써 효율적인 방법론이 될 수 있음을 증명하고 있다. 본 논문에서는 분산 환경의 스케줄링 문제에 에이전트 기법을 적용하여 문제를 해결하는 멀티에이전트 기반의 스케줄링 시스템 모델을 제안하고자 한다. 특히 멀티에이전트 스케줄링 시스템에 CSP 기법을 응용하여 모델링함으로써 효율적인 스케줄링이 이루어지도록 한다. 제안하는 모델에서는 스케줄링 문제를 제약조건에 따라 부문제들로 분할하고 부문제들에 대해서 분산되어 있는 각각의 에이전트가 자체적인 CSP 해결 기에 의해 해를 구하도록 한다. 본 논문에서는 제안하는 모델의 사례 연구로써 회의일정 스케줄링 문제를 통해 CSP의 모델링과 멀티에이전트 시스템을 이용한 문제해결 기법을 제시한다.

  • PDF

복잡한 의사결정과 협상 환경을 위한 에이전트 기반 시스템: 가상생산 응용 (Agent-based System for Complex Decision Making and Negotiation: Application to Virtual Manufacturing)

  • 이경전;장용식;최형림;김현수;박영재;박병주
    • 경영정보학연구
    • /
    • 제4권2호
    • /
    • pp.223-236
    • /
    • 2002
  • 복잡한 의사결정과 협상 환경을 위한 에이전트 기반 시스템은 환경에 대한 감지 및 반응이라는 간단한 작동방식을 가지는 다중 에이전트 시스템과는 다르게 접근되어야 한다. 본 논문에서는 가상 생산 환경을 응용 분야로 하여 복잡한 의사결정과 협상 환경을 위한 다중에이전트 시스템을 구현하는 과정에서 발생하는 연구이슈를 정리하고, 이들을 해결하는 하나의 사례를 제시한다. 가상 생산 환경은 다수 조직치 존재, 자원제약의 문제, 시간이 제한된 상황에서의 일정 계획 문제 등 복잡한 의사결정과 협상 환경의 전형적인 요소를 가지고 있다. 이 문제를 해결하기 위해서, 본 연구는 시간제약하에서의 외부협상 및 내부협력을 위한 프로토콜을 개발하고, 실세계의 시간제약을 만족하는 범위에서 최적화모형과 휴리 스틱모형을 상황적으로 적응하는 체계를 제시하며, 에이전트간의 소통 메시지를 이들 의사결정모형으로 모형화하는 과정을 예시한다.

열차 발착시간에 대한 열차 운용 스케줄링 시스템 (Train Operations Scheduling System for Train Time-Table)

  • 유영훈;황종규;조근식
    • 지능정보연구
    • /
    • 제5권1호
    • /
    • pp.81-93
    • /
    • 1999
  • 열차운용이라 함은 열차의 출발과 도착 시간을 나타내는 열차번호들에 여러 객차들로 구성된 하나의 열차를 일컫는 열차 다이아(train DIAgram)들을 여러 제약조건을 고려하여 배정함으로서 열차 번호가 열차 다이아에 의해 운행될 수 있도록 열차운용 다이아를 작성하는 작업이다. 이러한 작업을 다수의 스케줄링 전문가들이 스케줄링 할 경우 많은 시간과 노력을 감수해야만 하며, 전문가의 실수로 인해 오류가 발생할 가능성이 있다. 뿐만 아니라, 복잡한 스케줄의 특성상 운용 비용이 적게 드는 스케줄 결과를 이끌어 내기가 어렵다. 본 연구에서는 열차운용 시스템을 구성하기 위해서 현재 철도청에서 사용하는 시스템을 분석하여, 열차운용 스케줄링 시스템을 모델링 하였고, 이에 모델링한 시스템을 바탕으로 CSP(Constraint Satisfaction Problems: 제약조건 만족 문제) 해결 기법을 적용하여 계산시간 및 계산 복잡성 면에서 효율적인 스케줄링을 행함과 동시에 비용 최적 함수를 적용함으로서 열차 운용 비용이 최소가 되는 열차운용 스케줄링 시스템을 구현하였다. 더불어, 시스템모델 검증과정의 하나로 과거 운용되었던 새마을호 열차시간표와 열차 데이터를 사용하여 열차 운용 및 운용 비용의 최적화를 실험하였다.

  • PDF