• Title/Summary/Keyword: The Constraint Programming

검색결과 260건 처리시간 0.028초

에너지 균형비와 중계노드 위치를 함께 고려한 센서 네트워크의 에너지 소비 최소화 (Minimizing Energy Consumption of Sensor Networks with Energy Balance Ratio and Relay Node Placement)

  • 손석원;한광록
    • 한국산학기술학회논문지
    • /
    • 제10권7호
    • /
    • pp.1549-1555
    • /
    • 2009
  • 무선센서 네트워크에서 노드들의 데이터를 수집하고 기지국에 전달하는 중계노드의 위치(Relay Node Placement)를 구하는 문제는 전체 네트워크의 생존시간에 관련되어 있기 때문에 매우 중요하다. 중계노드 위치문제는 전체 네트워크의 센서노드에서 소비되는 에너지를 최소화시키는데 그 초점이 맞추어져 있다. 그러나 중계노드 위치와 센서노드와의 거리가 모두 다르므로 센서노드에서 소비되는 에너지의 불균형이 초래된다. 본 논문에서는 클러스터링 모델에서 에너지 균형비(Energy Balance Ratio)라는 개념을 제안하고 이 에너지 균형비를 최대화시키는 목적함수를 사용하여 중계노드의 위치를 구한다. 에너지 균형비를 최대화시키는 것은 클러스터에 할당된 센서노드들의 에너지 소비를 클러스터 간에 균형 잡히게 한다. 이것은 궁극적으로 대규모 센서 네트워크의 에너지 소비를 최소화시켜서 네트워크 생존기간을 최대화시키는 효과가 있다. 그러나 이 문제의 해를 구하는 것은 NP-hard 문제이므로 완전해(Exact Solution) 를 구하는 것은 현실적으로 힘들다. 따라서 제약프로그래밍 방법을 사용하여 에너지 균형비와 중계노드 위치를 함께 고려하는 EBR-RNP 문제로 모델링하여 근사해를 구한다.

분산 메모리 환경에서의 ABox 실체화 추론 (ABox Realization Reasoning in Distributed In-Memory System)

  • 이완곤;박영택
    • 정보과학회 논문지
    • /
    • 제42권7호
    • /
    • pp.852-859
    • /
    • 2015
  • 최근 지식 정보의 양이 방대해지면서, 대용량 온톨로지를 효과적으로 추론하는 연구가 활발히 진행되고 있다. 이러한 추론 방법들은 TBox 분류와 ABox 실체화로 나누어진다. TBox 추론은 스키마의 무결성과 종속성을 주로 다룬다면, ABox 추론은 인스턴스 위주의 다양한 문제를 다루어서 실제 응용에서의 중요성이 매우 크다. 따라서 본 논문은 클래스의 제약 조건을 분석하고, 이를 통해 인스턴스가 속하는 클래스를 추론할 수 있는 방법을 제안한다. 객체 지향 언어 기반의 분산 파일 시스템을 활용했던 기존 방법과 달리 함수형 프로그래밍 기반의 인 메모리 시스템인 스파크를 통해 대용량 온톨로지 실체화 방법에 대해서 설명한다. 제안하는 기법의 효율성을 검증하기 위해 W3C의 Wine 온톨로지를 이용해 인스턴스를 생성(1억 2천만~6억개의 트리플)하고 실험을 수행하였다. 6억개의 트리플을 대상으로 진행한 실험의 경우 전체 추론 시간이 51분(696 K Triple/sec)이 소요되었다.

건설 공정계획 자동화와 시각화를 위한 가산 그리드 공정계획 기법(CSM)과 CSM기반 소프트로직 알고리즘 개발 연구 (Countable-grid Scheduling Method (CSM) and CSM-based Soft-logic Algorithm Development for Automated Construction Scheduling and Visualization)

  • 최흥순;문성현;지석호
    • 한국건설관리학회논문집
    • /
    • 제23권4호
    • /
    • pp.65-77
    • /
    • 2022
  • 공정관리는 건설 프로젝트에서 가장 중요한 프로젝트 성공 요인 중 하나이다. 그러나, 기존의 공정계획 기법은 건설 프로젝트에서 상당한 수작업과 관리자의 판단이 필요하기 때문에 신속한 공정계획과 운영에 많은 어려움이 있다. 본 연구는 공정계획을 자동화하고 시각화하기 위한 새로운 공정계획 기법과 알고리즘을 제안하는 것을 목적으로 하며, 이를 가산 그리드 공정계획 기법(CSM)이라고 한다. 이 기법은 시각화된 도구를 통해 작업 범위를 정의하면 각 작업의 생산성과 작업 가능 조건에 따라 일정계획이 자동으로 생성된다. 날짜별 작업의 위치를 그리드 기반 접근방식으로 시각화할 수 있다. 또한 작업 일정은 진행 상황에 따라 자동으로 갱신할 수 있다. 제안된 기법의 산업적 활용 가능성을 건설프로젝트의 샘플 데이터를 가지고 사례 연구를 통해 검증하였다. 본 연구는 공정관리 프로세스를 자동화하여 건설 산업에 기여할 수 있을 깃으로 기대한다.

비트겐슈타인(Wittgenstein)앨범에 관한 고찰 (A Study on "Wittgenstein" Album)

  • 김준수;조태선
    • 한국산학기술학회논문지
    • /
    • 제22권3호
    • /
    • pp.374-380
    • /
    • 2021
  • 밴드 비트겐슈타인은 신해철이 이전에 결성했었던 대형 밴드 "넥스트" 이후 비교적 밴드의 형태를 갖춘 팀이다. 신해철 특유의 가사와 특정 컨셉이 돋보이는 이 앨범 또한 넥스트 앨범과 유사한 성향을 띄고 있다. 다만 샘플링과 컴퓨터음악을 바탕으로 다양한 형태의 밴드 사운드가 적절하게 융합을 이루고 있다는 점에서 그 차이점이 나타난다. 본 앨범은 300만원대의 비용으로 제작된 저예산 홈 레코딩 앨범으로 신해철은 메인보컬과 프로그래밍만 맡았고, 모든 작품들은 멤버가 함께 작업하였다. 이 앨범에서는 신해철 혼자만의 음악을 생산하기보다는 팀워크에 비중을 두어 멤버들과 공동 작업을 진행하였다. 앨범 녹음 저예산 홈 레코딩이 음악 생산에 제약이 될 수는 있었지만, 참신하고 매우 새로운 시도라는 점에서는 높이 평가받을 부분임을 틀림없는 사실이다. 음악을 창작하는 뮤지션들은 자신이 항상 선호하는 음악과 대중들이 선호하는 음악 사이에서 갈등을 초래한다. 그렇지만, 창작의 노력이 없으면 진화와 발전도 없다. 끊임없는 변화는 음악 능력을 계속해서 발전시킬 수 있으며, 이것은 한국대중음악의 발전으로 이어진다는 것은 분명한 사실이다.

압력구배기법을 이용한 난류 유동장 해석 (Analysis of Turbulent flow using Pressure Gradient Method)

  • 유근종
    • 한국추진공학회지
    • /
    • 제3권2호
    • /
    • pp.1-9
    • /
    • 1999
  • 층류 유동을 기준으로 형성된 압력구배기법의 적용성을 난류유동에 대하여 검증하였다. 압력구배기법은 압력 자체보다는 연속방정식을 이용하여 구한 압력의 구배를 활용하므로서 유동장의 해석에 질량보존의 물리적 법칙을 용이하게 반영할 수 있는 특징이 있다. 압력구배기법은 모든 유동변수를 한 점에 위치시키고 압력구배는 그 사이에 위치시키는 준 엇갈림 좌표계를 기준으로 형성되었다. 이러한 격자계는 프로그램하기가 용이하며 유동의 물리적 특성을 올바로 반영할 수 있는 장점이 있다. 난류유동에 대한 검증은 저 레이놀즈수 $\kappa$-$\varepsilon$ 모델을 이용하여 완전히 발달한 채널유동, 후향계단유동, 원추형 디퓨저유동 등에 대하여 수행하였다. 이러한 해석결과로부터 압력구배기법은 난류유동의 해석에 적용이 가능한 것으로 판단된다. 그러나 압력구배기법은 계산시간이 다소 길게 요구되며 압력구배식의 적정 $\gamma$를 구하는 방법이 용이하지 않아 이에 대한 개선이 요구되고 있다.

  • PDF

$H_2$, $H_{\infty}$, and mixed $H_2/H_{\infty}$ FIR Filters for Discrete-time State Space Models

  • Lee, Young-Sam;Jung, Soo-Yul;Seo, Joong-Eon;Han, Soo-Hee;Kwon, Wook-Hyun
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 2003년도 신호처리소사이어티 추계학술대회 논문집
    • /
    • pp.401-404
    • /
    • 2003
  • 이 논문에서는 이산형 상태공간 모델에 대한 $H_2$, $H_{\infty}$, 및 혼합 $H_{\infty}$ FIR 필터를 선형행렬부등식(LMI)를 이용하여 제안한다. 제안되는 필터는 FIR 구조로서 $H_2$$H_{\infty}$ 관점에서의 성능기준을 만족함과 더불어 선형성 및 불편향성의 특성을 지니고, 초기 상태에 관한 정보를 필요로 하지 않는다. 그리고 FIR 구조로 인해 기존의 FIR 형태의 필터에 비해 불확실성에 대해 보다 견실하며 빠른 수렴성을 갖는다. 모의 실험을 통해 이러한 장점을 예시한다.

  • PDF

3단계(段階) 분할기법(分割技法)에 의한 평면(平面)트러스 구조물(構造物)의 형상(形狀) 최적화(最適化)에 관한 연구(硏究) (Optimal Configuration of the Truss Structures by Using Decomposition Method of Three-Phases)

  • 이규원;송기범
    • 대한토목학회논문집
    • /
    • 제12권3호
    • /
    • pp.39-55
    • /
    • 1992
  • 본(本) 연구(硏究)에서는 트러스구조물(構造物)의 효율적(效率的)인 형상최적화(形狀最適化)를 위해서 3단계분할최적화(段階分割最適化) 기법(技法)을 유도(誘導)하였다. 3단계분할최적화(段階分割最適化) 기법(技法)을 적용(適用)하기 위하여 제(第)1단계(段階)에서 설계변수(設計變數)로 목적함수(目的函數)는 구조물(構造物)이 에너지를 최대(最大)로 흡수(吸收)할 수 있도록 변형(變形)에너지를 택하였으며 제약조건식(制約條件式)으로는 허용응력(許容應力), 좌굴응력(挫屈應力), 변위제약(變位制約) 및 다(多) 재하조건(載荷條件)을 고려(考慮)하여 최적화문제(最適化問題)를 형성(形成)하였다. 제(第) 2단계(段階)에서 설계변수(設計變數)는 부재단면적(部材斷面積)으로하여 목적함수(目的函數)는 구조물(構造物)의 중량(重量)이 최소(最小)가 되도록 중량함수(重量函數)를 택하였으며 제약조건식(制約條件式)으로는 제(第)1단계(段階)에서 얻은 최대변위(最大變位)를 대입(代入)한 평형조건식(平衡條件式) 및 다재하조건(多載荷條件)을 고려(考慮)하여 최적화문제(最適化問題)를 형성(形成)하였다. 제(第) 3단계(段階)에서는 조정변수(調整變數)를 절점좌표(節點座標)로 하고 목적함수(目的函數)로는 중량함수(重量函數)로 하여 최적화(最適化) 문제(問題)를 형성(形成)하였다. 이와같이 형성(形成)된 제(第)1, 제(第)2단계(段階)의 최적화(最適化) 문제(問題)는 선형계획문제(線形計劃問題)로 된다. 따라서 3단계(段階) 분할최적화(分割最適化) 기법(技法)은 최적화(最適化) 과정(過程)이 간편(簡便)하고 구조해석(構造解析) 및 감도분석(感度分析)을 위한 기법(技法)을 적용(適用)할 필요(必要)가 없으므로 최적화(最適化) 과정중(過程中) 구조해석(構造解析) 및 감도분석(感度分析)에 요구(要求)되는 시간(時間)을 줄일 수 있는 효율적(效率的)인 기법(技法)이었다. 제(第) 3단계(段階)에서는 절점좌표(節點座標)를 설계변수(設計變數)로 하므로서 무제약최적화문제(無制約最適化問題)로 형성(形成)되므로 최적화과정(最適化過程)이 용이(容易)하다. 또한 본(本) 연구(硏究)는 각(各) 단계(段階)에 각각(各各) 다른 최적화기준(最適化基準)을 사용함으로써 수염속도(收斂速度)를 향상(向上)시키고 있다. 본(本) 연구(硏究)의 기법(技法)을 4종(種)으 트러스 구조물(構造物)에 적용(適用)한 결과 트러스 구조물(構造物)의 형태(形態), 제약조건식(制約條件式)에 구애받지 않고 효율적(效率的)으로 최적해(最適解)에 수염(收斂)함과 동시(同時)에 타(他)의 연구(硏究)와 거의 동일(同一)한 연구결과(硏究結果)를 얻었다.

  • PDF

선형계획법(線型計劃法)에 의한 대표단위도(代表單位圖) 유도(誘導) (A Derivation of the Representative Unit Hydrograph from Multiperiod Complex Storm by Linear Programming)

  • 권오헌;류태상;유주환
    • 대한토목학회논문집
    • /
    • 제13권2호
    • /
    • pp.173-182
    • /
    • 1993
  • 본 논문은 여러개의 복합호우 자료로써 선형계획법에 의한 대표단위도를 유도하는 앨고리즘을 제공한다. 주어진 한 유역에서 종전의 방법은 여러 호우사상에 대해서 각각 단위도를 유도하여 첨두유량 및 시간에 대한 특성치 평균법을 썼다. 본 연구에서 사용한 LP모형은 Mays 등이 제안한 모형을 다음과 같이 수정하였다. 목적 함수는 가중치를 부여한 잔차의 합의 최소화로 설계하였고, Mays 논문에서 실제로는 적용하지 않은 부등호 제약보다 더 적극적인 2점 이동평균에 의한 부등식 제약조건을 두어 하강부의 진동을 제거하였다. 또한 Diskin이 지적한대로 강우 행렬의 구성을 개선하여 행렬의 차원을 줄였다. LP접근법은 대표값을 나타내는 우월성에도 불구하고 기저유출과 손실우량 분리의 정도에 매우 민감하였다. 유효우량 및 직접 유출량 분리를 위해 몇가지 방법을 적용하였으나 뚜렷이 우월한 방법은 없었다. 이것은 유역과 강우의 특성을 고려하여 판단할 문제였다. 본 연구의 앨고리즘을 낙동강 지류 위천에 적용하여 대표단휘도를 유도하였다. 기존의 IHP 성과와 비교할 때, 최적화된 대표단위 유량도의 첨두유량은 상대적으로 작고, 발생시간은 빨라졌으며, 하강부의 진동은 이동 평균법의 제약 조건에 의하여 성공적으로 소거할 수 있었다.

  • PDF

고성능 집적회로 설계를 위한 새로운 클락 배선 (A New Clock Routing Algorithm for High Performance ICs)

  • 유광기;정정화
    • 전자공학회논문지C
    • /
    • 제36C권11호
    • /
    • pp.64-74
    • /
    • 1999
  • 본 논문에서는 연결 에지 추가 기법을 이용하여 주어진 클락 스큐를 만족시키면서 동시에 총 배선 길이를 증가시키지 않는 새로운 클락 배선 최적화 알고리즘을 제안한다. 고속의 동기식 집적 회로에서는 클락 스큐가 회로의 속도를 제한하는 주된 요소로 작용하므로 성능의 향상을 위해서는 클락 스큐를 최소화해야 한다. 일반적으로 클락 스큐를 최소화하면 총 배선 길이가 증가하므로 오동작하지 않는 클락 스큐 범위 내에서 클락 배선을 수행한다. 이를 이용하여 본 논문에서는 제로 스큐 트리에 연결 점 이동 방법을 적용하여 총 배선길이와 지연 시간을 감소시킨다. 제안하는 알고리즘은 클락 트리의 두 노드 사이에 연결 에지를 추가하여 일반적인 그래프 형태의 클락 토폴로지를 구성하여 주어진 클락 스큐 범위를 만족시키고 동시에 총 배선장의 증가를 억제한다. 연결 에지를 구성하는 두 노드를 선택하기 위한 새로운 비용 함수를 고안하였다. 클락 트리 상에서 지연 시간의 차이가 크면서 거리가 가까운 두 노드를 연결함으로서 싱크 사이의 지연 시간의 차를 감소시켜서 클락 스큐를 감소시킨다. 또한 클락 신호선의 지연 시간 최소화를 위하여 배선 토폴로지 설계 및 배선 폭 조절 알고리즘을 개발하였다. 본 논문에서 제안하는 알고리듬을 C 프로그램 언어로 구현하여 실험한 결과 주어진 스큐 범위를 만족시키면서 지연 시간을 감소시키는 효과를 얻을 수 있었다

  • PDF

SUMT법(法)에 의(依)한 2골절(滑節) I형(形) 강재(鋼材) 아치의 최적설계(最適設計) (Optimum Design of Two Hinged Steel Arches with I Sectional Type)

  • 정영채
    • 대한토목학회논문집
    • /
    • 제12권3호
    • /
    • pp.65-79
    • /
    • 1992
  • 본(本) 연구(硏究)는 2골절(滑節) 강재(鋼材) 아치의 최적설계(最適設計)에 관(關)한 것으로 아치구조(構造)의 정확(正確)한 해석(解析)과 구조(構造)를 안전(安全)하며 경제적(經濟的)으로 설계(設計)하는 데 목적(目的)을 둔다. 구조해석(構造解析) 방법(方法)은 해석과정(解析過程)에서 구조물(構造物)의 처짐울 고려(考慮)하는 유한차분법(有限差分法)을 도입(導入)하므로 해석오차(解析誤差)를 소거(消去)하여 구조물(構造物)의 단면력(斷面力)을 결정(決定)할 수 있는 방법(方法)을 사용(使用)한다. 최적화문제(最適化問題)는 설계변수(設計變數)를 단면(斷面)의 칫수들(B, D, $t_f$, $t_w$)로 하는 목적함수(目的函數)와 제약건식(制約件式)으로 형성(形成)한다. 목적함수(目的函數)는 아치구조(構造)의 총(總) 중량(重量)으로하고 제약조건(制約條件)은 한국(韓國) 도로교(道路橋) 표준시방서(標準示方書)에 규정(規定)된 허용응력(許容應力), 플랜지와 복부(腹部)의 최소칫수에 관한 규준(規準)을 사용(使用)하고 I형(形) 단면(斷面)의 경제적(經濟的) 높이 조건(條件)과 복부(腹部)의 상한계(上限界) 칫수와 플랜지 폭(幅)의 하한계(下限界) 칫수를 포함(包含)하여 유도(誘導)된다. 본(本) 연구(硏究)에서 개발(開發)된 비선형계획문제(非線型計劃問題)를 풀기 위해 수정(修正) Newton Raphson 탐사법(探査法)을 사용(便用)하는 SUMT 기법(技法)을 도입(導入)하여 수치예(數値例) 통(通)하여 시험(試驗) 본다. 본(本) 연구(硏究)에서 개발(開發)된 아치구조(構造)의 최적화(最適化) 프로그램은 여러 아치구조(構造) 수치예(數値例)를 통하여 시행(試行)하고 고찰(考察)한다. 이러한 수치결과(數値結果)를 통(通)하여 본 알고려즘의 최적화(最適化) 가능성(可能性), 적용(適用) 가능성(可能性) 및 수검성(收檢性)과 타(他) 문현(文獻)(30)을 사용(使用)한 수치결과(數値結果)와도 비교분석(比較分析)한다. 본(本) 연구(硏究)의 최적단면적(最適斷面績)과 2차(次)모멘트의 상관관계식(相關關係式)은 많은 수치적(數値的) 최적설계(最適設計) 결과(結果)로부터 도출(導出)한다.

  • PDF