• 한국건축시공학회지
• /
• 제10권4호
• /
• pp.31-39
• /
• 2010

선형 공정계획 방법은 1929년 엠파이어 스테이트 빌딩에서 그래픽한 용도로 사용되면서 현재는 다양한 작업 공간, 현장 작업과 조립 작업에 적용되고 있다. 선형 공정계획 상에 동시적인 크리티칼 패스가 발생하면 자원 관리는 작업흐름의 최적화 문제로 연결되어 유연한 작업생산성과 지속적인 자원의 할당을 하기 위해 적용되고 있다. 그러나 선형 공정계획 모델 연구에서 간과하고 있는 선형 공정계획 모델의 작업 관계성을 고려하는 것이 필요하다. 이에 본 연구는 선형 공정계획 모델에 관한 기존 연구를 분석하여 네트워크 공정표의 관계성을 선형 공정표에 적용할 수 있는 방법을 제시한다. 네트워크 공정표를 선형공정표로 변환 시에 발생하는 작업의 관계성을 고찰하고 건축물의 물리적 층수 변화와 같이 작업공간의 변화에 따라 선형 공정표에 반영되어야 할 선형 공정표상의 액티비티의 이동 문제를 고찰하여 네트워크 공정표를 선형 공정표로 호환할 수 있는 시스템 개발을 위한 기초연구를 제공하는 것이 본 연구의 목적이다.

• 한국시뮬레이션학회논문지
• /
• 제28권1호
• /
• pp.67-79
• /
• 2019

다기능레이더(MFR)를 장착한 함정의 작전수행은 적의 위협에 대한 징후를 바탕으로 위협의 정도를 판단하고 이를 바탕으로 MFR 자원을 위협별로 할당하는 것으로 작전을 시작한다. 본 연구는 MFR 탐지체계를 가진 함정의 임무 시작 시 필요한 위협별 MFR 자원할당 문제에 대하여 시뮬레이션을 이용한 기법과 Greedy 기법을 이용한 MFR 자원할당 방안을 제시하여 그 결과를 비교분석하였다. 분석시 자원할당에 따른 탐지확률 함수가 선형인 경우와 지수형인 경우를 고려하여 실험을 수행하였다. 실험 결과 시뮬레이션 기법과 Greedy기법의 결과는 서로 비슷한 자원할당 결과를 보여주고 있으며, Greedy 기법은 시뮬레이션 기법에 비하여 그 수행시간이 아주 짧아 실제 임무 수행 시에 이용 가능한 기법으로 판단된다. 여러 가지 위협의 정도에 대해 Greedy 기법을 이용하여 MFR 자원할당 결과를 분석하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (A)
• /
• pp.319-321
• /
• 2006

본 논문에서는 다양한 캐리 전달 방식(carry propagation scheme)이 단일 가산기 설계를 위하여 복합적으로 사용되는 가산기 구조물 제안하며. 이를 통하여 보다 향상된 delay-area trade-off 점들을 갖는 설계공간을 생성한다. 제안된 구조의 가산기는 각기 다른 캐리전달 방식의 하부 가산기 블록들을 캐리 입/출력 신호를 선형으로 연결한 구조이며, 기존의 단일 캐리전달 방식의 가산기와 달리, 다양한 delay-area trade-off 특성을 갖는 여러 종류의 캐리전달 방식을 비트 수준에서 조합하여 사용함으로써 보다 섬세한 delay-area 설계공간을 생성해낼 수 있다. 그러나, 제안된 가산기 구조의 설계공간은 다양한 캐리전달 방식이 비트 수준에서 할당되므로, 할당가능한 설계 조합은 설계하고자 하는 가산기의 비트 폭과 고려하는 캐리전달 방식의 수에 비례하여 폭발적으로 증가하게 된다. 따라서, 제안된 가산기의 효율적이며, 자동화된 설계공간 탐색 방범이 요구된다. 본 논문에서는 이를 해결하기 위하여 정수 선형 프로그래밍 (Integer Linear Programming, ILP) 방법을 이용하여 제안한 가산기의 최적화 문제를 형식화함으로써 효과적인 설계공간의 탐색 방법을 제안하였다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2022년도 추계학술대회
• /
• pp.459-461
• /
• 2022

Network-on-Chip (NoC) 이 오프칩 네트워크 기반의 기존 병렬처리 시스템과 가장 크게 다른 점은 데이터 패킷 라우팅을 중앙 제어 방식(Centralized control scheme)으로 수행한다는 점이다. 이러한 환경에서 Best-effort 패킷 라우팅 문제는 데이터 패킷이 해당 코어에 도달 및 처리되는 시간을 Cost 로 하는 실시간 최소화 할당 문제(Assignment problem)가 된다. 본 논문에서는 할당 문제의 선형 대수 방정식에 대한 대표적인 연산 복잡도 저감 알고리즘인 헝가리안 알고리즘을 하드웨어 가속기 형태로 구현하였다. TSMC 0.18um 표준 셀라이브러리를 이용하여 논리 합성한 결과 헝가리안 알고리즘의 연산과정을 그대로 구현한 하드웨어 회로보다 Cost 분포에 대한 Case 분석을 통하여 구현한 것이 면적은 약 16%, Propagation delay는 약 52% 감소한 것으로 나타났다.

• 한국방재학회:학술대회논문집
• /
• 한국방재학회 2011년도 정기 학술발표대회
• /
• pp.200-200
• /
• 2011

실제 유역에서 지류유입량(tributary inflow)의 형태로든 사면류의 형태로든 측방유입은 반드시 존재한다. 측방유입이 하도의 지배적인 흐름이 되는 경우 이는 유출수문곡선의 종거값과 형태를 변화시키는데 중요한 역할을 하게 된다. 따라서 측방유입의 형태를 저류상수 및 집중시간과 같은 수문학적 특성으로 적절하게 표현할 수 있다면, 전체 유역 내에서 측방유입의 지체효과 및 저류효과를 파악하는데 크게 기여하게 된다. 측방유입과 관련된 선행연구들을 살펴보면, Saint-Venant 방정식을 근간으로 하는 연구가 주를 이루고, Muskingum 하도추적모형 또는 Muskingum-Cunge 하도추적 모형을 확장한 연구가 나머지 부분을 차지한다(Hayami, 1951; Dooge et al. 1982). 지금까지 수행된 대다수의 연구들은 수치해석적으로 측방유입의 유출량을 모의하거나 혹인 관측값이 존재하는 경우 역으로 측방유입의 특성을 유추한 것들로 다소 복잡하고, 관측값이 존재하지 않는 경우에는 적용이 어려운 문제점을 가지고 있다. 그러나 유역의 물리적인 특성과 주하도의 특성만을 이용하여 측방유입의 특성을 대략적으로 유추하는 것이 가능하다면, 전체유역과 각 소유역의 관계는 전체유역의 물리적인 특성과 주하도의 수문학적 특성만으로 충분히 파악할 수 있게 된다. 다시 말해 유역분할 시 각 소유역 사이의 관계를 고려하여 전체유역의 유출량을 파악하는 것이 가능해진다. 이에 본 연구에서는 Muskingum 하도추적모형을 재해석한 순간단위도를 이용하여 측방유입의 수문학적 해석을 시도하였다. 대상유역으로는 격자형태의 사각형과 삼각형 유역을 임의로 가정하였으며, 각각의 유역에서의 순간단위도를 선형하천모형과 선형저수지모형의 합으로 유도하였다. 이때 저류상수는 하도길이와 비례한다는 가정을 바탕으로 사각형과 삼각형 유역에서의 저류상수 및 집중시간을 유도하였다. 특히 유역 출구에서 최원점에 위치한 격자에서 유출이 발생시간을 집중시간으로 가정하였으며, 이 시점에서의 종거값과 기울기를 이용하여 저류상수를 유도하였다. 그 결과, 선형하천과 선형저수지모형 각각은 집중시간과 저류상수로 특징지어짐을 알 수 있었으며, 결정된 측방유입의 저류상수 및 집중시간이 적절한 것을 확인하였다. 이러한 결과는 향후 대유역에서 유역분할의 효과뿐만 아니라 홍수량 할당문제를 입증하는데 크게 기여할 것으로 기대된다.

• 한국정보과학회논문지:시스템및이론
• /
• 제27권1호
• /
• pp.61-67
• /
• 2000

산업용 실시간 시스템에서 사용되는 디지털 제어기는 상호 작용하는 주기적 태스크들로 이루어져 있다. 이러한 태스크들은 최대 수행 주기 (maximum activation periods)를 제약조건으로 가짐으로써, 요구되는 제어특성을 유지한다. 그러므로 실시간 시스템을 개발하는데 있어 필수적인 단계는 각각의 태스크에 게 자원 이용률을 최소화하면서 최대 수행 조건을 만족시킬 수 있는 고정된 주기를 할당하는 것이다.[1] 각각의 태스크간의 생산자/소비자(producer/consumer)관계를 나타내주는 태스크 그래프와 자원 요구량, 그리고 주기에 대한 범위제한이 주어진다면 주기 할당 문제는 비선형 최적화 문제가 된다. 이 논문에서는 최적해의 자원이용률의 두 배를 넘지 않는 해를 찾을 수 있는 선형 수행시간의 근사 알고리즘을 제시한다. 실험 결과에서 알 수 있듯이, 제안된 알고리즘은 대부분의 경우 최적해에 매우 근접한 해를 가지게 된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
• /
• pp.179-181
• /
• 1999

본 논문에서는 내장 실시간 시스템(real-time embedded system)에서의 성능 재조정(re-engineering) 문제를 다룬다. 성능 재조정 문제는 하드웨어와 소프트웨어가 이미 구현된 상태에서 새로운 성능조건이 요구될 때 이를 만족시키도록 시스템을 수정하는 문제이다. 본 논문에서의 성능 요구조건은 시간당 처리량(throughput)이나 입출력 지연시간(input-output latency)등이 고려된다. 제안된 방법은 병목점 분석(bottleneck analysis)과 비선형 최적화를 이용한다. 이를 위해 프로세스 네트워크(process network)로 표현된 시스템 디자인과 태스크 그래프, 태스크 할당(allocation)과 스케쥴링, 그리고 새로운 성능조건인 실시간 처리량을 입력으로 사용한다. 제안된 방법은 두 단계로 구성된다. 첫째, 프로세스 네트워크에서 프로세스의 지연시간을 계산하여 병목이 되는 프로세스를 찾아낸다. 둘째, 프로세싱 요소의 성능 개선율(performance scaling factor)을 변수로 하여 주어진 성능을 만족시키기 위한 시스템 제약조건을 유도한다. 이를 사용하여 하드웨어의 업그레이드 비용을 최소화하도록 제약조건을 풀고 각 프로세싱 요소(processing element)에 필요한 성능개선율을 구한다. 제안된 방법은 기존에 구성된 소프트웨어의 구조를 고치기 않기 때문에 재조정의 시간을 줄일 수 있게 한다.

• 한국항공우주학회지
• /
• 제48권9호
• /
• pp.691-701
• /
• 2020

본 논문은 전기 추진 수직이착륙 무인기의 형상에 적합하도록 회전익 모드에서 추진시스템이 고장난 상황을 대처하기 위한 컨벡스 최적화 기법 기반의 믹서를 제시한다. 각 모터 및 프로펠러의 고장 영향성을 분석하기 위하여 컨벡스 함수 성질을 이용하여 가용 조종력 집합을 계산하였으며 이를 도시하는 방법을 기술하였다. 조종력 할당을 최적화 문제로 정의하고, 실시간으로 최적해를 구하기 위하여 컨벡스 함수로 문제를 재정의하였다. 컨벡스 최적화 솔버를 사용하여 수직 이착륙 비행 모드의 믹서를 구현하였으며 조종력 할당 기법들의 성능을 가용 조종력 범위 집합으로 비교하였다. 최종적으로 비선형 6자유도 시뮬레이션을 통하여 타기법(의사역행렬 기법, 재분배의사역행렬 기법)과 비교 분석하였다.

• 한국정보처리학회논문지
• /
• 제4권10호
• /
• pp.2571-2580
• /
• 1997

본 연구에서는 자원의 수가 한정된 상태에서 동작 알고리즘의 수행을 마치기 위한 자원제약 스케쥴링 방법을 다루었다. 특히, 제한된 자원제약하에서 연산이 할당되는 제어스텝의 최하한값을 구하기 위한 지연 스케쥴링 방법을 제안하였다. 스케쥴링 문제에 대하여 연산의 멀티싸이클과 기능적 파이프라이닝을 고려하였으며 스케쥴링 문제에 대한 최적의 결과를 얻기 위해 선형정수계획법을 이용하였다. 5차 디지털 웨이브 필터 DFG를 실험 대상으로 하여 본 연구의 효용성을 입증하였다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2008년도 학술발표회 논문집
• /
• pp.664-668
• /
• 2008

본 연구에서는 비정상상태 자유수면 모의를 위해 2차원 유한체적법을 이용한 수치모형을 개발하였으며, 이론적인 해석해 및 수리실험을 통한 실측자료를 이용하여 검증하였다. 개발된 모형은 지배방정식으로 비선형 및 보존형 2차원 천수방정식(shallow water equation)을 이용하였으며, 동적메모리 할당 기능이 포함된 Fortran-90으로 코딩되었다. 또한 구조화된 격자 및 비구조화 격자 시스템에도 적용될 수 있도록 모형을 구성하였으며, 불규칙한 하상지형에 의해 수치진동을 감소시키기 위해 본 모형에 well-balanced HLLC 기법을 적용하였다. 모형의 적용성을 검증하기 위하여 1차원의 경우 젖은/마른 하상 조건하에서의 댐 붕괴파 문제와 하상이 변화하는 지형 구간을 통과할 때 발생되는 천이류에 대한 문제 그리고 시간에 따라 변화하는 수위와 지형 조건에서의 wetting & drying에 대한 문제에 적용하였으며, 2차원의 경우 전통적인 댐 붕괴파 문제 및 구조물에 미치는 댐 붕괴파의 영향에 대한 수리모형실험을 통한 실측자료를 이용하여 검증하였다. 검증결과 본 모형을 통해 계산된 수치해는 이론적인 해석해와 실측자료에 거의 정확히 일치하였으며, 향후 실제 하천 자료를 이용하여 모형의 현장 적용성을 검증할 것이다.