• 한국멀티미디어학회논문지
• /
• 제9권5호
• /
• pp.671-680
• /
• 2006

'최소 순회 시간’ 방법은 ‘시간 넷’(Timed Net)에서 모든 변천(transition)들을 최소한 한번 이상 격발하고 초기 마킹으로 되돌아오는데 걸리는 최소 시간을 찾아주는 수학적 방법으로, 컴퓨터 시스템 분석에 널리 사용된다. 시간 넷은 변천에 지연 시간이 연합된 변형된 페트리 넷으로 실세계의 사건이 실행되는데 걸리는 시간이 일반적으로 확률적 시간인데 반하여 시간 넷에 사용되는 지연시간은 상수이기 때문에 최소 순회 시간 방법에 의한 분석 결과는 현실성이 부족하다. 그래서 본 논문은 사건의 실행 시간을 확률적 숫자로 표현하는 ‘확률적 시간 넷'을 제안하고 ‘확률적 시간 넷'의 최소 순회 시간 분석 방법을 소개한다. 또한 ‘확률적 시간 넷’의 적용 예로 위치 기반 서비스를 제공하는 멀티미디어 시스템을 ‘확률적 시간 넷’으로 모델링하고 분석한다. 기존의 최소 순회 시간 분석 결과의 전형적인 형태는 '최소 10 단위 시간 이상 걸린다'와 같은 형태인데 반하여 ‘확률적 시간 넷’의 분석 결과의 형태는 '10 단위 시간 이내일 확률이 85% 이다.'와 같은 확률적 형태이다.

• 한국멀티미디어학회논문지
• /
• 제9권11호
• /
• pp.1503-1514
• /
• 2006

오늘날 대부분의 고객들이 어디에서든지 인터넷을 사용할 수 있게 됨에 따라, 대부분의 기업들이 자신들의 서비스를 인터넷상에서 제출하게 되었다. 그 결과 무수히 많은 웹 서비스 시스템이 이미 인터넷상에서 서비스를 하고 있으며 더 많은 시스템들이 구축 중이다. 그래서 구축 중인 시스템이 교착상태와 같은 문제점이 없이 성공적으로 실행될 것이라는 것을 설계 초기 단계에 검증하는 방법에 대한 연구가 많이 수행되어 왔다. 페트리 넷을 이용하는 방법들도 몇 가지 소개되었는데, 이들은 웹 서비스 시스템을 페트리 넷으로 표현하는 방법에 주안점을 두고 있으며, 효율적인 분석 방법에 대한 연구는 부족한 실정이다. '최소 순회 시간' 방법은 '시간 넷'(Timed Net)에서 모든 트랜지션(transition)들을 최소한 한번 이상 격발하고 초기 마킹으로 되돌아오는데 걸리는 최소 시간을 찾아주는 수학적 방법으로, 컴퓨터 시스템 분석에 널리 사용된다. 시간 넷은 트랜지션에 지연 시간이 연합된 변형된 페트리 넷으로. 실세계에서의 지연시간은 확률적임에도 불구하고 기존의 시간 넷에서는 상수가 사용된다. 본 논문은 사건의 실행 시간이 화률 분포를 이루는 '혼합 분포 확률 시간 넷'을 제안하고 '혼합 분포 확률 시간 넷'의 최소 순회 시간 분석 방법을 소개한다. 또한 '혼합 분포 확률 시간 넷'의 최소순회시간 분석을 이용하여 웹 서비스 시스템의 응답 시간을 분석하는 방법을 보인다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권9호
• /
• pp.669-675
• /
• 2010

이른 시스템 개발 단계에서 요구사항 에러를 찾기 위해서는 시스템의 행위가 정형 언어로 표현되어야 하고, 도달성 분석이나 싸이클 탐색과 같은 분석 기술로 분석해야 한다. 하지만 이 기술들은 시스템의 상태 공간 순회를 기반으로 하기 때문에 시스템이 복잡해지면 상태 폭발 문제가 발생할 수 있다. 즉, 순회를 위한 메모리와 수행 시간이 큰 상태 공간 때문에 기하 급수적으로 증가한다. 본 논문에서는 병행 시스템에서 이러한 문제가 나타나는 원인을 지적하고 순회에 필요한 메모리를 줄이기 위해서 병행적 상태 공간을 합성하지 않고 순회한다. 또한 수행 시간을 줄이기 위해서 방문 기록을 최소한으로 유지하는 새로운 기술을 제시한다. 마지막으로 이 기법이 효과적임을 실험 결과를 통해 보인다.

• 한국정보과학회논문지:시스템및이론
• /
• 제34권5_6호
• /
• pp.195-201
• /
• 2007

트리의 최소단말경로분할이란 트리를 에지가 서로 소인 단말 노드 간 경로들로 분할하되, 가장 긴 경로의 길이를 최소화하는 문제이다. 본 논문에서는 트리의 최소단말경로분할을 $O({\mid}V{\mid}^2$시간에 구하는 알고리즘을 제시한다. 이 알고리즘은 주어진 최적화 문제를 이에 대응하는 결정 문제, 즉 최소단말경로 분할의 비용이 l 이하인지를 결정하는 문제를 이용한 이진 탐색으로 환원한다. 결정 문제는 트리를 한 차례 순회하는 동안 동적 계획법에 의해 해결된다

• 방송공학회논문지
• /
• 제11권3호
• /
• pp.326-335
• /
• 2006

본 논문에서는 직교 주파수분할다중화(orthogonal frequency division multiplexing; OFDM)의 변조된 신호열에서 항상 최소화된 첨두전력 대 평균전력비(peak-to-average power ratio; PAPR)를 보장할 수 있는 블록부호가 제안된다. 제안된 최소 PAPR 부호(minimum PAPR code; MPC) 부호화 과정은 씨앗부호어(seed codeword) 검색, 레지스터 요소의 순회천이(circular shifting), 그리고 비트반전(bit inversion)으로 이루어진다. 시간영역 전송신호열의 첨두 포락선전력(peak envelope power; PEP)이 레지스터에 저장된 부호어의 순회천이와 부호의 비트반전에 대하여 변화되지 않음을 보였다. 이러한 성질에 기반하여 체계적인 MPC 부호화 규칙이 제안되었다. 제안된 부호 규칙으로 MPC 부호화를 위한 조견표(look-up table)의 크기를 대폭 감소시킬 수 있다.

• 한국항공우주학회지
• /
• 제48권8호
• /
• pp.621-629
• /
• 2020

탑재 장비의 위치 결정 문제는 감항, 성능, 정비성, 환경요구사항 등의 다양한 기준을 고려해야 하는 복잡한 문제이다. 항공기의 기능이 복잡해짐에 따라 필요한 장비가 증가하고 있으며, 무인항공기는 조종사를 대신할 장비의 탑재로 더 많은 장비가 장착된다. 문제의 복잡성, 대상 장비의 수량 증가, 제한된 개발 기간 등으로 인하여 장비의 배치 결정은 설계자의 직관과 경험에 의존하는 부분이 크다. 최적화를 위해서는 정량적인 기준으로 평가가 필요하나 안전, 성능, 정비성 등의 기준은 정량적인 비교가 어렵거나 대상이 제한적인 한계가 있다. 본 연구에서는 장비의 장착과 정비를 고려하고 배치 모델을 순회판매원 문제로 단순화하고, 장비 간 연결 케이블의 중량이 최소가 되도록 유전알고리즘을 이용하여 최적화를 수행하였다. 최적화 결과를 전역 계산 결과와 비교하였을 때 더 적은 소요 시간으로 동일한 결과를 얻을 수 있었으며, Heuristic과 비교하여 개선됨을 확인하였다.