• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2000년도 춘계공동학술대회 논문집
• /
• pp.57-60
• /
• 2000

본 논문은 전송되는 멀티캐스트 트래픽에 의해 아크별로 발생하는 전송비용의 합을 최소화하는 멀티캐스트 경로 설정 알고리즘을 제시한다. 비용함수는 콘벡스 형태이고 멀티캐스팅이 요구되는 트래픽은 분할 전송이 가능하다고 가정한다. 가정에 의해 분할되는 트래픽은 여러 개의 다른 멀티캐스트 트리경로 상으로 전송이 가능하며 총 전송비용도 줄일 수 있다. 트래픽의 분할전송이 가능하여도 만일 비용함수가 선형이면 이는 Steiner 문제가 된다. 본 연구는 단일 멀티캐스트 트래픽 수요형태만을 고려한 본 연구자들의 수행연구［1］에 대한 계속연구로서 복수개의 멀티캐스트 트래픽 수요형태를 고려한다. 또한 본 연구의 결과에서 얻는 많은 멀티캐스트 트리 경로들 중 전송비용을 최소화하도록 하면서 제한된 k개의 트리 경로들을 선택하는 휴리스틱 방법을 소개한다. 본 연구는 ATM 망의 멀티캐스트 트래픽을 위한 가상경로 설계 또는 인터넷 환경의 다양한 멀티캐스트 트래픽을 위한 경로설정 등에 적용될 수 있다. 임의의 적용 망에 대한 결과를 포함한다.

• 한국통신학회논문지
• /
• 제37권4A호
• /
• pp.197-204
• /
• 2012

본 논문에서는 피드포워드 방식을 이용하여 전력 증폭기의 비선형성 보상과 스마트 안테나 시스템의 경로 결함 보정을 결합하는 새로운 기술을 제안하였다. 배열 안테나의 각각의 경로들이 동일한 특성을 갖도록 하기 위한 보상과 보정을 위해 선형 식에 3차 항을 추가한 다항식과 피드포워드 방식을 사용하였다. 이 방식은 원래의 기저대역 신호를 변형하지 않으므로, 시스템의 기저대역 부와는 독립적인 스마트 안테나 시스템에 적용할 수 있다. 컴퓨터 모의실험을 통하여, 단 하나의 3차 항을 추가함으로써 전력 증폭기의 비선형 효과를 효율적으로 보상하고, 배열 안테나의 각 경로의 선형 결함들 역시 부차적으로 보정할 수 있다.

• 한국항행학회논문지
• /
• 제24권2호
• /
• pp.128-133
• /
• 2020

본 연구에서는 위치추정을 하는 경우 선형회귀법을 반복적으로 적용하여 신호의 경로 손실을 추정하는 방법을 제안한다. 제안한 방식에서는 단말이 이동하면서 여러 위치에서 측정한 수신신호세기와 가속도계로 구한 측정 위치들 사이의 거리 정보를 이용하여 전송 비콘부터의 경로 손실을 선형회귀를 이용하여 추정한다. 전송 비콘과 특정 위치사이의 거리에 대하여 여러 잠정값들을 가정하고, 각 잠정값에 대하여 선형회귀식을 구한다. 이 선형회귀식들 중에서, 기준 수신 세기에 가장 가까운 식을 이용하여 송신 비콘와 목표 위치사이 거리를 구한다. 테스트 결과, 제안 방식은 단순 경로 손실 모델보다 훨씬 더 높은 정확도를 보인다.

• 대한수학교육학회지:수학교육학연구
• /
• 제20권1호
• /
• pp.85-102
• /
• 2010

선형계획법은 일정한 조건아래 여러 가지 가능성 중에서 최적의 경우를 찾아낼 때에 유용하다. 본 연구에서는 수학적 맥락과 학교수학의 맥락에서 선형계획법을 분석하고, 인식론적 관점에서 선형계획법의 학습 과정을 살펴봄으로써, 가설 학습 경로를 탐색하였다. 수학적 맥락과 학교수학의 맥락의 차이는 주어진 영역이 실현 가능한지 또는 유계인지를 다루는가의 여부, 주어진 영역 속의 점 중에서 제한된 개수의 점만을 대입해도 최적해를 구할 수 있다는 정리의 정당화를 다루는가의 여부에 있었다. 그리고 학생들이 정의역이 제한된 경우에 이원일차함수의 최댓값과 최솟값이 무엇인지를 이해하지 못할 가능성이 있었다. 이 세 가지 측면을 인식론적 관점에서 고려하여 가설 학습 경로를 4단계 즉, 주어진 일차식이 함수식임을 이해하는 단계, 부등식 영역과 일차식을 목적함수와 관련시킴으로써 부등식 영역을 직선으로 분할하는 단계, 직선의 그래프와 k의 범위를 관계시켜 y절편의 개념을 구성하는 단계, 주어진 영역에서 최적해의 존재가능성을 확인하는 단계로 구성하였다.

• 정보보호학회논문지
• /
• 제28권6호
• /
• pp.1379-1392
• /
• 2018

차분선형 분석의 복잡도는 라운드 독립성, 선형 근사식 독립성, 차분 경로를 만족하지 못하는 경로에 대한 균일성 가정 아래 계산되는 차분선형 특성의 확률에 큰 영향을 받는다. 따라서 차분선형 특성의 정확한 확률을 계산하는 것은 공격의 유효성과 관련된 매우 중요한 문제이다. 본 논문은 차분선형 분석을 위한 새로운 개념 DLCT(Differential-Linear Connectivity Table)를 제안한다. 그리고 DLCT를 적용하여 선형 근사식 독립성 가정을 완화할 수 있는 차분선형 특성의 향상된 확률 계산 방법을 제안하며, DES와 SERPENT에 적용하여 기존 분석결과를 재분석한다. DES의 7-라운드 차분선형 특성의 확률은 $1/2+2^{-5.81}$, SERPENT의 9-라운드 차분선형 특성의 확률은 $1/2+2^{-57.9}$로 다시 계산되었고 공격에 필요한 데이터 복잡도는 각각 $2^{0.2}$, $2^{2.2}$배 감소한다.

• 대한조선학회논문집
• /
• 제28권1호
• /
• pp.182-188
• /
• 1991

구조물의 비선형 거동을 추적 조사하는 비선형 유한요소 해석에서 하중증분을 사용하는 Newton-Raphson방법은 임계점 근처에서는 수렴이 안되는 단점을 갖고 있으므로 구조물의 거동이 심한 비선형 경로(nonlinear path)를 포함하고 있는 구조물의 거동을 조사하기 위해서는 Newton-Raphson 방법의 부가적인 수정이 필요하다. Newton-Raphson 방법의 수정보완 방법으로 Riks에 의해 제안된 구속조건식을 사용하여 반복계산하는 arc-length method로써 접선강성벡터에서 수직인 방향으로 접근하는 방법(normal arc-length method)과 접선강성벡터가 원호를 그리며 비선형 경로에 접근해 가는 방법(cylindrical arc-length method)을 사용하였으며 또한 각 단계에서 비선형의 정도에 따라 arc-length를 조절하는 자동하중 증분법을 사용하였다. 비선형 수치해석의 예로 경사진 외팔보, 단순 아치구조, 쉘 구조 및 편심 보강평판의 비선형 거동을 추적 조사하였다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1996년도 춘계공동학술대회논문집; 공군사관학교, 청주; 26-27 Apr. 1996
• /
• pp.602-605
• /
• 1996

가상경로의 개념은 ATM망의 효율적인 전송체게임이 이미 여러 연구에 의하여 밝혀져 있다[1,2,7,9,10]. 본 논문에서는 등가대역의 개념을 이용하여 가상경로가 가질 수 있는 QoS를 다양하게 고려한 새로운 가상경로 설정모형(MVCAP)과 해법을 제사하였다. 모형 MVCAP은 (1) 가상경로의 설정에 따르는 용량비용(capacity cost)과 제어비용(control cost)간의 trade-off을 반영하였으며 (2) 가상경로의 QoS를 다양하게 고려하여 통계적 다중화 효과를 충분히 반영하도록 하였고 (3) 가상경로의 설정방법들인 분리설정법(segregation method)와 통합설정법(integration method)을 동시에 고려한 모형을 수립하였으며 (4) 등가대역식의 선형근사를 이용하여 목적함수를 단조 감소시키는 발견적 해법을 제시하였다. 소형문제에 대한 실험결과, 본 논문의 모형은 가상경로의 설정을 실시간 안에 이룰 수 있는 가능성을 열어 보였다.

• 한국지능시스템학회논문지
• /
• 제17권6호
• /
• pp.766-772
• /
• 2007

XML의 광범위한 사용으로 XML 저장과 질의 처리에 관한 많은 연구가 이루어지고 있다. 하지만 기존의 경로 질의 처리에 대한 연구들은 한 개의 대규모 XML 문서나 동일한 구조를 가진 문서들에 대한 저장, 검색에 초점이 맞춰져 있어서 상이한 구조를 가진 대규모 문서들에 대해서 부분 매치 질의(partial match query)를 효과적으로 지원하지 못하는 단점이 있었다. 본 논문에서는 상이한 구조를 가지는 대규모 문서들에 대해서도 부분 매치 질의를 효과적으로 지원할 수 있는 관계형 테이블을 이용한 새로운 인덱스 구조를 제안하였다. 본 방법은 경로 정보를 저장할 때 기존의 연구에서 사용된 순방향 레이블 경로 대신 역방향 레이블 경로를 사용하여 $B^+$-트리 인덱스를 구축함으로써 부분 매치 질의 처리시 구축된 인덱스를 이용하여 질의에 해당되는 레이블 경로들을 효율적으로 찾을 수 있도록 하였다.

• 한국정보과학회논문지:정보통신
• /
• 제29권1호
• /
• pp.48-56
• /
• 2002

본 연구는 IP(Internet Protocol) 망에서 복수 트리경로에 의한 멀티캐스팅 방법을 제시한다. 트래픽 양에 대해 아크 비용이 비선형 함수이고 멀티캐스트 트래픽 수요가 대용량일 때, 단일의 트리경로 대신에 트래픽을 분할하여 복수개의 트리경로로 전송하는 것이 멀티캐스트 서비스 품질을 향상시킬 수 있다. 제시하는 멀티캐스팅 방법은 원하는 수준까지 트리경로를 추가하며, 주어진 트리경로 집합에 대해서 트래픽을 분할한다. 트래픽 분할을 위한 수학적 모형과 최적조건을 도출하였으며, 여러 개의 멀티캐스팅 트래픽을 동시에 전송하고자 할 때도 적용 가능하다. 적용 결과는 제안한 복수 트리경로에 의한 IP 멀티캐스팅 방법이 단-대-단 서비스 품질을 보장하는 데도 상당한 효과를 있음을 보인다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제5권4호
• /
• pp.526-532
• /
• 1999

본 논문에서는 마이크로프로그램을 위한 테스트 데이타를 자동으로 생성하는 시스템을 제안하였다. 이 시스템에서는 주어진 경로를 따라 마이크로프로그램을 기호수행(symbolic execution)시켜 경로조건식을 구하고 이 식를 풀어서 테스트 데이타를 생성한다. 기호수행 방법을 이용하여 테스트 데이타를 생성하기 위해서는 경로조건식이 선형이어야 한다. 따라서 본 논문에서는 마이크로프로그램의 테스트 데이타를 생성하기 위하여 마이크로프로그램에서 사용되는 연산자들을 선형 연산자로 변환하는 방법을 제안하였다. Abstract In this paper, we propose an automated test data generation system for microprogram. This system symbolically executes microprogram along a given path, extracts path conditions for the given path, and generates test data by solving the path conditions. To generate test data using symbolic execution, the path conditions must be linear. Therefore, we propose a linearization method which transforms operators used in the microprogram into linear operators.