• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.5
• /
• pp.187-192
• /
• 2019

Majority problem and synchronization problem on cellular automata(CA) are hard to solve, since they are global problems while CA operate on local information. This paper proposes a way to find state transition rules of these problems. The rules of CA are represented as CMR(conditionally matching rules) and evolutionary algorithms are applied to find rules. We find many solution rules to these problems, compared the results with the previous studies, and demonstrated the effectiveness of CMR on one-dimensional cellular automata.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2002.06a
• /
• pp.10-38
• /
• 2002

본고는 한국어 영형 대명사의 적절한 해석을 위해 개념적으로 전혀 새로운 이론을 제안한다. 일련의 다양한 제약들이 서로 연관되어 있음을 보인 후, 그러한 규칙의 다양성을 적절히 포착하기 위해 적절성 이론 (Optimality Theory)을 도입할 것을 제안하고, 그 토대 위에 다양한 제약들을 형식화한 후, 그 규칙들의 위계관계를 설정한다. 가장 우선순위를 갖는 제약으로 인접 요소간 어휘의미자질들이 일치해야 한다는 어휘의미제약(*Feature Mismatch)과 통사적 결속규칙을 의미론적으로 재해석한 결속원리 B(Principle B)를 선정한다. 그 다음 순위를 갖는 제약으로, 가능한 한 선행명사를 지칭하도록 요구하는 대용존중제약(DOAP: Don't Overlook Anaphoric Possibilities)과, 센터링 이론의 전이방식 개념을 도입하여 정의한 계속선호제약 (CONTINUE)을 제안한다

• Annual Conference on Human and Language Technology
• /
• 2007.10a
• /
• pp.282-289
• /
• 2007

통계를 이용한 품사 태깅에서는 자료부족 문제가 이슈가 된다. 한국어나 터키어와 같은 교착어는 어절(word)이 다수 형태소로 구성되어 있어서 자료부족 문제가 더 심각하다. 이러한 문제를 극복하고자 교착어 문장을 어절 열이 아니라 형태소의 열이라 가정한 연구도 있었으나, 어절 특성이 사라지기 때문에 파생에 의한 어절의 문법 범주 변화 등의 통계정보와 어절 간의 통계정보를 구하기 어렵다. 본 논문은 효율적인 어절 간 전이확률 계산 방법론을 고안함으로써 어절 단위의 정보를 유지하면서도 자료부족문제를 해결할 수 있는 확률 모델을 제안한다. 즉, 한국어의 형태통사적인 특성을 고려하면 앞 어절의 마지막 형태소와 함께 뒤 어절의 처음 혹은 끝 형태소-즉 두 개의 어절 간 전이 링크만으로도 어절 간 전이확률 계산 시 필요한 대부분 정보를 얻을 수 있고, 문맥에 따라 두 링크 중 하나만 필요하다는 관찰을 토대로 규칙을 이용해 두전이링크 중 하나를 선택해 전이확률 계산에 사용하는 '다이내믹 링크 모델'을 제안한다. 형태소 품사 bi-gram만을 사용하는 이 모델은 실험 말뭉치에 대해 96.60%의 정확도를 보인다. 이는 같은 말뭉치에 대해 형태소 품사 tri-gram 등의 더 많은 문맥 정보를 사용하는 다른 모델을 평가했을 때와 대등한 성능이다.

• Journal of the Korean Chemical Society
• /
• v.41 no.4
• /
• pp.175-179
• /
• 1997

Luminescence of $Eu^{3+}$ has been studied in $Sr_{2-2x}Eu_xK_xSnO_4$ with two-dimensional $K_2NiF_4$ structure. The $^5D_o$ → $^7F_o$$Eu^{3+}$ ion represents the J=0 → J=0 transition which is forbidden by a Judd-Ofelt selection rule for electric dipole transition in 4f shell of $Eu^{3+}$ ions. However, the emission line of $^5D_o$ → $^7F_o$$Eu^{3+}$ emission spectra of Sr2-2xEuxKxSnO4$Sr_{2-2x}Eu_xK_xSnO_4$structure around $Eu^{3+}$ ions.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 1999.05a
• /
• pp.208-212
• /
• 1999

실시간 스케줄가능성 분석에 대한 기존의 방법들은 프로세스의 모든 상태공간을 추적하거나 고정 우선 순위 스케줄 방법을 사용하기 때문에 시간 및 공간에 대한 복잡성이 증가된다. 본 논문에서는 프로세스 대수의 전이규칙을 이용하여 프로세스의 최소 수행시간, 주기, 마감시간, 동기화 시간을 고려하여 실시간 프로세스가 마감시간을 지키는가를 판단하고, GUI 환경을 기반으로 스케줄이 불가능한 프로세스에 대해 스케줄 가능하게 하는 회복 알고리즘을 제안하고, 이들의 상태 공간을 화면상에 표시해 주는 실시간 프로세스의 상태 분석기를 구현한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.1063-1066
• /
• 2005

셀룰라 오토마타(Cellular Automata, 이하 CA)는 LFSR의 대안으로 제안되었으나 일반화와 분석이 어려워 거의 이뤄지지 않고 있다. 본 논문에서는 특별한 전이규칙을 가지는 그룹 CA에서 각각의 여원벡터에 대응하여 유도되는 여원 그룹 CA의 구조를 분석한다. 여기서 분석하는 그룹 여원 CA는 전체 상태가 그룹 CA의 최대 주기나 그것의 2배가 되는 같은 길이의 사이클들로 분리된다. 이러한 성질은 암호학에서 키 공유 프로토콜에 유용한 성질로 사용될 수 있다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2006.05a
• /
• pp.406-409
• /
• 2006

In this paper, we analyze reachable/nonreachable state of 3-neighborhood cellular automata and propose give the algorithm finding the predecessor of a reachable state.

• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.8
• /
• pp.752-757
• /
• 2000

The recursive formulae, which can self-reproduce the state transition graphs, of one-dimensional cellular automata rule 15 with two states (0 and 1) and four different boundary conditions were founded by categorical access. The categorical access makes the evolution process for cellular automata be expressed easily since it enables the mapping of automata between different domains.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06c
• /
• pp.365-370
• /
• 2008

본 논문에서는 개미 집단 최적화(Ant Colony Optimization, ACO)의 시간적 공간적 효율성을 향상시키기 위해 ACO에 엘리트 콤팩트 유전 알고리즘(Elitist compact Genetic Algorithms, elitist cGAs)의 아이디어를 적용한 콤팩트 개미 최적화(Compact elitist Ant Optimization, CAO)를 제안한다. CAO는 elitist cGAs에서 각 세대마다 염색체의 수를 둘로 고정하고 우월한 염색체를 유지하여 최적의 해를 찾는 방식을 적용하여 개미의 수를 하나로 고정하고 전이 확률식과 페로몬 갱신 규칙을 변형하고 특정 문제에 적용할 수 있는 타부 규칙을 추가한 알고리즘이다. 이 알고리즘의 공간 효율성이 ACO보다 좋다는 것을 증명하고 스테이너 트리 문제(Steiner Tree Problem)에 적용하여 제안된 알고리즘의 시간 효율성이 ACO보다 좋다는 것을 보인다.

• Journal of the Korean Ceramic Society
• /
• v.34 no.2
• /
• pp.175-180
• /
• 1997

새로운 복합페로브스카이트계 고용체 (1-x)Ba(Mg1/3Ta2/3)O3-xLa(Mg2/3Ta1/3)O3(x=0.0-1.0)를 설계하고 조성에 따른 고용체의 결정구조의 변화 및 MPB(Morphotropic Phase Boundary)를 분말 XRD를 이용하여 분석하였다. 초격자회절선의 변화로부터 MBT에 10mol%의 LMT를 치환함에 따라 1:2에서 1:1로의 규칙화타입의 전이가 일어남을 알 수 있었다. 면심입방정구조 영역(0.10.8조성의 경우, 주회절선의 피이크분리 및 새로운 회절선들로부터 격자비틀림의 형태가 단사정임을 알 수 있었다.