• 한국정보통신학회논문지
• /
• 제13권10호
• /
• pp.2129-2139
• /
• 2009

본 논문에서는 셀룰라 오토마타를 이용하여 테스트되는 회로에 상관없이 마지막 테스트 압축치가 일정하게 되도록 조직함으로써 오류를 진단한다. 이 방법은 셀룰라 오토마타를 이용한 테스트 절차를 간결하고 명확하게 한다. 그리고 셀룰라 오토마타의 상태전이 행렬의 역행렬을 사용하여 오류가 있는 입력수열의 오류를 탐지한다.

• 한국전자통신학회논문지
• /
• 제15권6호
• /
• pp.1105-1112
• /
• 2020

1차원 3-이웃 셀룰라 오토마타(Cellular Automata, 이하 CA) 기반의 의사난수 생성기는 시스템의 성능을 평가하기 위한 테스트 패턴 생성과 암호 시스템의 키수열 생성기 등에 많이 응용되고 있다. 본 논문에서는 더 복잡하고 혼돈스러운 수열을 생성할 수 있는 CA기반의 키 수열 생성기를 설계하기 위해 각 셀의 상태전이에 영향을 주는 이웃을 5개로 확장한 1차원 대칭 5-이웃 CA에 대해 연구한다. 특히 대칭 5-이웃 CA를 합성하기 위해 Krylov 행렬을 이용하는 대수적인 방법과 Cho et al.의 알고리즘을 기반으로 한 1차원 n셀 대칭 5-이웃 CA 합성 알고리즘을 제안한다.

• 자원ㆍ환경경제연구
• /
• 제5권1호
• /
• pp.113-136
• /
• 1995

자원 및 환경이 경제에 미치는 영향이 큼에도 불구하고 경제-환경의 상관관계를 분석하는 방법은 아직 초보 단계에 있다. 본 연구에서는 UN, 세계은행, 멕시코 정부가 구축한 환경계정(環境計定)을 한 국가의 경제상태를 사회계정에 도입한 후, 환경(環境)-사회계정(社會計定)(ESAM) 행렬을 구축하고, Pyatt와 Round의 분할 행렬 방법에 의해서 직 간접 파급승수 효과를 측정하여, 환경관련 외생변수가 경제변수에 미치는 효과를 분석하였다. 분할 행렬 분석 결과, 농업관련 외생변수에 변화가 있으면 제조업 부문과 상업부문, 민간 서비스부문(금융, 보험, 부동산)이 가장 크게 영향을 받는 것으로 나타났다. 또한 레온티에프의 승수효과와 유사한 전이효과(轉移效果)는 순수한 간접효과인 순환효과의 상쇄로 인해 기존의 산업 연관분석에 의존한 분석은 경제와 환경의 관계를 과대추정할 수 도 있다는 것이다. 자본 투자가 5% 감소할 경우, 경제 전 부문에 상당한 영향을 준 것으로 나타났으며 생산부문에서는 임업, 건설업이 가장 영향을 받으며, 환경부문에서는 토양의 침식으로 인한 환경서비스의 감소가 가장 크게 영향을 받는 것으로 추정되었고 수산자원 또한 많은 영향을 받는 것으로 나타났다.

• 한국시뮬레이션학회논문지
• /
• 제33권1호
• /
• pp.19-26
• /
• 2024

단계형 확률분포는 마코프 체인이 특정 상태로 흡수되는 시점까지 거쳐가는 여러 단계에서 체재하는 시간들의 합으로 정의되며 대기행렬 시스템과 신뢰성 분석 모형 등에 광범위하게 사용된다. 연속적 단계형 분포의 경우 흡수 상태로 진입하기까지 거쳐가는 각각의 단계에서의 체재 시간이 지수분포를 따르므로 연속적 단계형 분포는 다양한 지수분포들의 합 또는 볼록 결합으로 나타낼 수 있다. 단계형 분포를 생성하는 가장 일반적이면서도 직관적인 방법은 마코비안 표현방법이라 불리는 초기 확률벡터와 전이 생성행렬에 의해 주어지는 조건부 확률을 이용하는 것이다. 적률이 주어진 상황에서 단계형 변수를 생성하는 방법에 대한 기존의 연구들은 대부분 적률을 마코비안 표현방법으로 변환하는 것을 전제로 하고 있다. 본 연구에서는 적률을 마코비안 표현방법으로 변환하지 않고 확률 분포함수를 결정하여 단계형 확률변수를 생성하는 방법에 대해 살펴보고 마코프 표현을 사용하는 기존의 방법 대신에 조단 분해법과 최소 표현 라플라스 변환을 이용하여 2계 단계형 확률변수를 분포함수를 결정하는 공식과 절차를 제시한다. 이러한 접근 방법은 고차원의 단계형 확률분포를 이용하여 대기행렬의 시뮬레이션을 하는 경우에 마코비안 표현방법의 전이행렬을 결정하여 변수를 생성하는 경우보다 효율적이다.

• 제어로봇시스템학회지
• /
• 제1권3호
• /
• pp.92-100
• /
• 1995

본 연구에서는 페트리 네트를 사용하여 모델링된 이산 사건 시스템의 제어시 발생하는 충돌 현상을 해결하기 위하여 퍼지 개념을 사용하였다. 이를 통하여 페트리 네트로 시스템을 제어할 경우 발생하는, 큰 문제점인 외부 시스템과의 데이터 입출력 설정의 어려움을 해결하는 방법을 보였다. 또한 제시된 규칙 행렬의 단순성으로부터 쉽게 충돌 현상하의 우선 순위를 변화시킬 수 있다. 시스템을 제어하는 전문가의 지식이 모호하여 단순히 상수값으로 우선순위를 표현할 수 없는 경우에는 퍼지개념을 이용하여 해결하였다. 이러한 방법들은 소규모의 모터 자동 조립 시스템을 제어하는데 부품의 수량, 작업의 대기 상태를 퍼지화하여 규칙행렬을 만들어 제어신호를 발생시켰다. FMS, CIM을 제어할 때 발생하는 Scheduling 문제도 본 논문의 방법을 사용하면 해결할 수 있다고 본다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2007년도 춘계학술대회 학술발표 논문집 제17권 제1호
• /
• pp.193-196
• /
• 2007

본 논문은 관측기 기반 시스템에 대한 강인 디지털 재설계 방안을 제안한다. 디지털 재설계란, 기존의 안정화된 연속시간 플랜트와 이산 시간에서 설계된 디지털 제어기와의 상태 접합 및 안정도 분석을 통해 전체 시스템을 재구성 하는 것을 말한다. 그리고 전 역적 접근을 위한 방안으로서 문제를 볼록 최적화 관점으로 변환 후, 에러가 가질 수 있는 놈의 영역을 최소화 하여 상태 접합을 이루고자 하였다. 본 논문에서는 관측기 기반 시스템에 대한 디지털 재설계를 목표로 하되, 추가적인 파라미터 불확실성을 고려한 강인 디지털 재설계를 구성하게 된다. 파라미터 불확실성은 이산화 과정에서 구조적 형태가 변화하기 때문에, 이를 고려하여 주어진 식을 선형 행렬 부등식 형태로 나타내게 된다. 이 조건들을 통해 디지털 재설계의 상태 접합 및 안정도가 유도 가능하다는 것을 본 논문에서 증명하게 된다.

• 한국정보통신학회논문지
• /
• 제13권10호
• /
• pp.2171-2179
• /
• 2009

본 논문에서는 MLCA (Maximum Length Cellular Automata)와 CAT (Cellular Automata Transform)을 이용한 새로운 영상 암호화 방법을 제안한다. 먼저 Wolfram 규칙을 선택하여 규칙행렬을 구성하고 규칙행렬에 의하여 MLCA의 상태 전이행렬 T를 만든 후 암호화 하려는 영상의 픽셀 위치에 따라 전이행렬을 곱하여 픽셀의 값을 변환한다. 다음 게이트웨이 값의 설정에 따라 2D CAT 기저함수를 생성하여 MLCA 암호화한 영상을 CAT 암호화를 한다. 실험결과와 안정성 분석을 통하여 제안한 방법은 높은 암호화 수준과 무손실 암호화의 성질을 가졌음을 확인한다.

• 한국전자통신학회논문지
• /
• 제16권3호
• /
• pp.533-540
• /
• 2021

시스템의 성능을 평가하기 위하여 1차원 3-이웃 셀룰라 오토마타(Cellular Automata, 이하 CA) 기반의 의사 난수 생성기가 여러 분야에서 많이 응용되고 있다. 보다 더 효과적인 키 수열 생성을 위해 2차원 CA와 1차원 5-이웃 CA가 응용되었으나, 주어진 특성 다항식에 대응하는 대칭 1차원 5-이웃 CA를 설계하는 것은 매우 어려운 문제이다. 이를 해결하기 위해 특성 다항식의 점화식을 이용한 합성 방법, Krylov 행렬을 이용한 합성 방법과 같이 1차원 5-이웃 CA 합성에 관한 연구들이 진행되었다. 그러나 여전히 비선형 방정식을 풀어야 하는 문제점이 있었다. 이러한 문제점을 해결하기 위해, 최근 90/150 CA의 전이 행렬과 블록행렬을 이용한 1차원 5-이웃 CA 합성 방법이 제안되었다. 본 논문에서는 제안된 알고리즘의 이론적인 과정을 상세히 기술하고 그 알고리즘을 이용하여 높은 차수의 원시 다항식에 대응하는 대칭 1차원 5-이웃 CA를 구한다.

• 한국전자통신학회논문지
• /
• 제17권2호
• /
• pp.333-342
• /
• 2022

셀룰라 오토마타(이하 CA)는 이산적이고 추상적인 계산 모델로 다양한 분야에서 적용되고 있다. 우수한 의사 난수열 생성기로 적용 가능한 CA는 최근에 암호 시스템의 기본 요소로 발전했다. CA 기반 스트림 암호에 대한 여러 연구가 수행되었으며 적절한 CA 규칙이 사용되는 경우 CA의 이웃의 반경이 증가될 때, 암호화 강도가 증가됨이 관찰되었다. 본 논문에서는 1차원 의사 난수열 생성기(PRNG)로 응용될 수 있는 CA 중 1차원 5-이웃 CA를 이웃의 연결 상태에 따라 분류하고, 특성다항식의 점화관계를 구한다. 또한 1차원 3-이웃 90/150 CA의 상태 전이행렬을 이용하여 이웃의 반경을 2로 증가시킨 비대칭 5-이웃 선형 MLCA를 합성 알고리즘을 제안한다.

• 한국지진공학회논문집
• /
• 제5권6호
• /
• pp.37-46
• /
• 2001

본 연구에서는 부분적으로 정상상태 확률과정으로 모델링할 수 있는 가진입력에 대하여 확률적으로 정의된 구조물의 최대응답에 대한 구속조건을 만족시키면서 제어력을 최소화 할 수 있는 최적설계 방법을 제안한다. 최적화 과정에서 안정성의 확보를 위해 제어기를 전상태 피드백 LQR제어기의 형태로 한정하였으며 가중치 행렬을 설계변수로 하고 Riccati 행렬을 매개변수로 하여 목적함수와 구속조건 함수 및 그 기울기를 계산한다. 제안된 방법을 통해 설계된 전상태 피드백 LQR제어기는 목표 응답성능을 만족시킬 수 있었고 이에 필요한 최대 제어력을 확률적으로 정량화하여 제어금기의 제작에 유용한 자료가 될 수 있도록 하였다. 상태변수 추정을 위해 독립적으로 설계된 Kalman 필터와 최적화된 LQR 제어기가 결합된 LQG 제어기 및 그 차수를 축소시킨 제어기는 모두 큰 성능의 저하가 없었으며 따라서 제안된 설계방법을 이용하여 구조물의 최대응답에 관한 구속조건을 만족시키는 출력 피드백 제어기 설계가 충분히 가능함을 확인하였다.