• 한국전자통신학회논문지
• /
• 제5권1호
• /
• pp.10-16
• /
• 2010

전이 규칙 90과 150만을 사용하는 90/150 CA는 최소다항식과 특성다항식이 같은 CA로 랜덤성이 우수하여 LFSR의 대안으로 사용되어왔다. 90 Uniform CA와 150 uniform CA는 모든 셀에 동일한 전이규칙이 적용되는 CA로 기밀성과 인증을 제공하는 Sarkar의 암호기법에 사용되었다. 본 논문에서는 전이규칙이 90 또는 150인 uniform CA에 대하여 분석하고 특별한 전이규칙을 갖는 n-셀 90/150 CA를 이용하여 2n-셀 uniform CA와 (2n+1)-셀 uniform CA를 합성하고 대응하는 특성다항식을 계산하는 효율적 방법을 제안한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2009년도 춘계학술대회
• /
• pp.441-445
• /
• 2009

본 논문에서는 Self-Programmable Cellular Automata(SPCA)를 기반으로 하여 최대주기수열을 생성하는 방법을 제안한다. 최근 긴 주기의 수열을 생성하기 위해서 CA의 차원을 증가시키거나, 상태전이 단계마다 각 셀의 전이규칙을 바꾸는 PCA를 사용하여 왔다. 본 논문에서는 셀의 전이 규칙에 역동성을 부여하기 위하여 각 셀의 상태전이 규칙을 각 시간 단계마다 바꿈으로써 더 긴 주기의 수열을 생성하고 생성된 수열의 랜덤성을 높이고자 한다.

• 한국전자통신학회논문지
• /
• 제13권3호
• /
• pp.593-600
• /
• 2018

효과적인 암호시스템 설계에 셀룰라 오토마타(이하 CA)가 적용되고 있다. CA는 국소적 상호작용에 의해 상태가 동시에 업데이트되는 성질이 있어서 LFSR보다 랜덤성이 우수하다. 이런 CA를 암호 시스템에 적용하기 위해 주어진 다항식에 대응하는 CA를 합성하는 방법에 대한 연구가 진행되었다. 본 논문에서는 90 UCA의 특성다항식과 전이규칙이 <$00{\cdots}001$>인 90/150 CA의 특성다항식의 점화관계를 분석한다. 또한 f(x)=f(x+1)을 만족하는 삼항다항식 $x^{2^n}+x+1$에 대응하는 90/150 CA를 90 UCA 전이규칙 블록과 특별한 전이규칙 블록을 이용하여 합성한다. 또한 $x^{2^n}+x+1$의 기약인수에 관한 성질을 분석한 후 $x^{2^n}+x^{2^m}+1(n{\geq}2,n-m{\geq}2)$에 대응하는 90/150 CA 합성 알고리즘을 제안한다.

• 한국지리정보학회지
• /
• 제7권3호
• /
• pp.118-125
• /
• 2004

본 논문은 향후 도시의 물리적 성장형태를 예측하고자 하는 일련의 연구로서 김해의 과거 도시 성장과정을 분석함으로써 김해지역에 적합한 셀룰라 오토마타의 네이버후드 및 전이규칙을 결정하는 것을 목적으로 한다. 동적모델과 시간에 따른 변화를 다룰 수 있는 셀룰라 오토마타를 도입하여 1987년부터 2001년까지 김해지역의 도시성장을 분석하였으며, 다양한 네이버후드와 전이규칙의 시뮬레이션을 통해 김해지역에 적합한 네이버후드와 전이규칙을 정립하였다. 결론으로 김해지역은 네이버후드의 행렬이 작을수록, 또한 동일한 거리를 가진 circle 형태보다 정사각형의 네이버후드가 적합하였고, 도시성장속도를 조절하는 ${\alpha}$값이 작을수록, 그리고 전환가능성 ($P_{ij}$) 이 클수록 적합한 것으로 나타났다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 춘계학술발표논문집 (상)
• /
• pp.85-88
• /
• 2001

이 논문은 시간 데이터베이스에 능동 규칙 시스템을 결합한 능동적 시간 데이터베이스의 능동 규칙 및 실행 모델을 제안하며 그 모델을 설계 구현한다. 기존의 시간 데이터베이스 능동 규칙 연구들이 시간 릴레이션에 대한 조건-조치 형태의 규칙 지원에 머물렀던데 비하여 제안하는 능동 규칙 모델은 유효시간 및 트랜잭션 시간을 지원하는 이원 시간 릴레이션에 대해 SQL3 트리거의 기능 모두를 시간 데이터베이스 상에서 지원한다. 즉, 전이 릴레이션 및 전이 변수, 조건-조치의 류플 및 문 단위 수항을 포함한다. 또한, 능동 규칙의 유효시간 정의 및 유효시간 사건 등의 새로운 개념을 제시하고 시스템 구조 및 설계 구현에 대하여 기술한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2006년도 춘계종합학술대회
• /
• pp.393-396
• /
• 2006

본 논문에서는 전이규칙으로 90, 150 규칙만을 사용하는 90/150 셀룰라 오토마타의 특성다항식을 분석한다. 특히 최대길이를 갖는 90/150 CA를 합성하여 CA의 특성다항식이 원시다항식의 지수승 형태를 갖는 방법을 제안한다.

• 전자공학회논문지CI
• /
• 제38권3호
• /
• pp.41-54
• /
• 2001

본 논문은 시간 데이터베이스에 능동 규칙 시스템을 결합한 능동적 시간 데이터베이스의 능동 규칙 및 실행 모델을 제안한다. 기존의 시간 데이터베이스 능동 규칙 연구들이 시간 릴레이션에 대한 조건-조치 형태의 규칙 지원에 머물렀던데 비하여 제안하는 능동 규칙 모델은 유효 시간 및 트랜잭션 시간을 지원하는 이원 시간 릴레이션에 대해 SQL3 트리거의 기능 모두를 시간 데이터베이스 상에서 지원한다. 즉, 전이 릴레이션 및 전이 변수, 조건-조치의 튜플 및 문 단위 수행을 포함한다. 또한, 능동 규칙의 유효 시간 정의 및 유효시간 사건 등의 새로운 개념을 제시한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.31-33
• /
• 2004

웹 사용에 대한 다음 요구 사항을 예측하기 위한 마이닝 방법으로 연관규칙이나 순차 패턴 등이 많이 사용되고 있지만, 이러한 방법들은 생성된 규칙들의 지지도(Support)나 신뢰도(Confidence)에 의한 예측만을 고려하기 때문에 정확한 예측을 하기 어려운 단점을 가지고 있다. 따라서, 본 논문에서는 빈도 수에 의한 Markov model을 기반으로 하여 웹 로그 파일에 저장된 사용자들의 행동 패턴에 따라 생성되어지는 여러 형태의 규칙 유형을 찾아내고, 사용 빈도 수를 이용한 전이 확률 행렬에 따른 다음 요구사항을 정확하게 예측할 수 있는 모델을 제시하고자 한다. 그 결과 여러 형태의 규칙 유형을 $K^{th}$ -order Markov 과정에서 효율적으로 발견해 낼 수 있다.

• 한국정보통신학회논문지
• /
• 제12권3호
• /
• pp.493-499
• /
• 2008

셀룰라 오토마타는 오랫동안 모델링과 컴퓨팅 패러다임에 사용되어 왔다. 또한 셀룰라 오토마타는 많은 물리계를 모델링 하는데 사용되어 왔다. 그러한 시스템의 모델을 연구함에 있어서 물리계의 복잡성이 증가하여 셀룰라 오타마타를 이용한 모델은 매우 복잡하고 분석적으로 추적하기가 어렵게 되었다. 또한 그러한 모델들은 물리계의 내재적 계층적 성질의 나타남을 인식할 수 없다. 본 논문에서는 이러한 문제점의 해결의 대안으로 등장한 계층적 셀룰라 오토마타의 특성을 논한다. 특히 전이규칙, 특성다항식과 사이클 구조를 분석한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 1999년도 추계종합학술대회
• /
• pp.294-299
• /
• 1999

CCSR은 CCS에 시간적인 개념이 추가된 실시간 명세 언어로 실시간 프로세스의 정적 분석에 이용되고 있다. CCSR은 프로세스 전이 규칙을 이용하여 프로세스 동작의 관심 부분만 하여 분석하기 때문에 전체 태스크(task)의 동작을 분석하는데 적용하기 어렵고, 전이규칙에 따른 상태 변화를 이해하기 어렵다. E-TCPN은 시간 요소가 첨가된 Petri Net의 변형된 형태로 실시간 시스템의 분석과 모델링을 위한 형식적(formal) 방법을 제공한다. 본 논문에서는 CCSR로 표현된 프로세스 동작을 E-TCPN 모델에 적용함으로써 실시간 시스템을 중요한 사건을 중심으로 전체 태스크의 동작 과정을 표현하고 프로세스의 수행 과정을 이해하기 쉽도록 CCSR을 변형하여, E-TCPN 명세 모델에 적용하고, 적용된 E-TCPN으로 스케줄링가능성 분석 알고리즘을 제안하고 구현하였다.