• Proceedings of the Korean Society of Soil and Groundwater Environment Conference
• /
• 2003.04a
• /
• pp.237-241
• /
• 2003

본 연구에서는 강원도 속초시 쌍천에 위치한 쌍천지하댐이 지하수흐름에 미치는 영향을 범용 지하수 흐름해석 프로그램인 MODFLOW를 사용하여 검토하였다. 먼저 지하댐이 설치되기 전인 초기 정상류 상태를 모의하여 수두 분포를 확인하였으며, 그 후 지하댐 설치 전의 정상류 상태를 수위를 초기 수두로 하여 지하댐이 설치된 후의 대수층의 지하수위 변화를 모의하였다. 모의 결과 대수층에 지하댐을 설치하면 지하댐을 설치하기 전에 비하여 지하수위가 약 0.4m 정도 상승하는 것으로 나타났다.

• The Journal of the Korea Contents Association
• /
• v.11 no.10
• /
• pp.49-58
• /
• 2011

Fault Tree Analysis(FTA) builds fault trees to perform safety analysis of systems. However, building fault trees depends on domain knowledge and expertize on target systems and consumes lots of time and efforts. In this paper, we propose a technique that builds fault trees systematically based on state-transition models which are software design artifacts. For the end, this paper identifies conditions that should be satisfied to guarantee safety of state-transition models and develop templates for fault tree construction. This paper also describes the results of appling the proposed method to railway crossing control system.

• Proceedings of the KIEE Conference
• /
• 2005.07c
• /
• pp.1868-1869
• /
• 2005

이 논문은 반도전 실리콘 고무 표면에 코로나 방전 처리하여 이종의 실리콘 고무와의 접착 특성을 나타낸 것이다. 반도전 실리콘 고무 표면 상태를 발수성 등급에 따른 분류와 FTIR(Fourier Transform Infrared Spectroscopy)를 사용하여 평가하였다. 표면 상태 변화에 따른 반도전 실리콘 고무의 접착 특성은 T-peel test로 접착강도를 시험하였다. 실험 결과 고에너지의 코로나 방전으로 반도전 실리콘 고무의 결합쇄가 절단되었고 이 부분에 산소가 결합되어 극성 관능기를 생성하여 표면을 산화시켰다. 이러한 표면 상태 변화에 따른 접착강도는 초기 상태일 때 보다 코로나 방전 처리 후 증가하는 것을 확인 할 수 있었다. 이 논문을 통하여 코로나 방전 처리는 이종 계면의 접착 특성을 향상시킬 수 있으며, 이종 계면에서 발생하는 절연 파괴 전압을 높여 전기절연 성능을 향상시키는데 도움이 될 것이다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.1
• /
• pp.335-338
• /
• 2005

Though GF(2) CA can only handle data with bit units, GF(2$^{p}$) CA can handle data with byte units. In this paper we analyze the state-transition of nongroup cellular automata(CA) with a single attractor over GF(2$^{p}$). And we propose the constructing method of the state-transition diagram of a linear SACA over GF(2$^{p}$) by using the concept of basic path. Also we propose the state-transition diagram of the nonlinear complemented SACA by using the state-transition diagram of a linear SACA.

• Journal of Korea Game Society
• /
• v.14 no.5
• /
• pp.127-136
• /
• 2014

NPC in game is an important factor to increase the fun of the game by cooperating with player or confrontation with player. NPC's behavior patterns in the previous games are limited. Also, there is not much difference in NPC's ability among the existing games because it's designed to FSM. Therefore, players who have matched with NPCs which have the characteristics may have difficulty to play. This paper is for improving the problem and production and evaluation of the game NPC behavior model based on wolves hunting model in real life. To achieve it, first, the research surveys and studies behavior states for wolves to capture prey in the real world. Secondly, it is implemented using the Unity3D engine. Third, this paper compares the implemented state transition probability to state transition probability in real world, state transition probability in general game. The comparison shows that the number of state transitions of NPCs increases, proportions of implemented NPC behavior patterns converges to probabilities of state transition in real-world. This means that the aggressive behavior pattern of NPC implemented is similar to the wolf hunting behavior pattern of the real world, and it can thereby provide more player experience.

• The KIPS Transactions:PartA
• /
• v.9A no.1
• /
• pp.61-74
• /
• 2002

This paper presents a method which synthesizes asynchronous circuits from free-choice Signal Transition Graphs (STGs) with timing constraints. The proposed method synthesizes asynchronous circuits by analyzing: the relations between signal transitions directly from the STGs without generating state graphs. The synthesis procedure decomposes a free-choice STG into deterministic STGs which do not have choice behavior. Then, a timing analysis extracts the timed concurrency and tamed causality relations between any two signal transitions for each deterministic STG. The synthesis procedure synthesizes circuits for each deterministic STG and synthesizes the final circuit by merging the circuits for each deterministic STG. The experimental results show that our method achieves significant reductions in synthesis time for the circuits which have a large state space, and generates circuits that have nearly the same area as compared to previous methods.

• Journal of Oral Medicine and Pain
• /
• v.24 no.1
• /
• pp.49-58
• /
• 1999

저자는 하악의 위치변화가 저작근에 미치는 영향을 근전도학적으로 평가하고자, 측두하악장애의 징후와 증상이 없는 정상성인 28명을 대상으로 중심위 교합장치(centric relation splint), 중심교합위 교합장치(centric occlusion splint), 전방 재위치 교합장치(anterior repositioning splint)를 장착시킨 상태에서 하악의 중심의, 중심교합위, 전방위률 유도한 후 최대 이악물기 상태의 좌우측 교근 및 전측두근의 근전도를 채득, 분석, 평가한 결과 다음과 같은 결론을 얻었다. 1. 전측두근에서 하악의 위치변화에 따른 최대 근활성도의 차이가 나타났으나(p<0.05), 교근에서는 나타나지 않았다. 2. 전측두근의 경우 중심교합위에서 최대 이악물기 상태의 최대 근활성도는 교합 장치물을 장착하지 않은 경우 및 중심위에서와 비교하여 감소하였다(p<0.05). 3. 전측두근의 경우 전방위에서 최대 이악물기 상태의 최대 근활성도는 교합 장치물을 장착하지 않은 경우 및 중심위에서와 비교하여 감소하였다(p<0.001). 4. 교근과 전측두근의 좌우 비대칭지수(asymmetry index)는 하악의 위치변화에 따른 차이가 나타나지 않았다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10c
• /
• pp.246-248
• /
• 1998

본 논문에서는 대화형 시스템을 시험하기 위한 시험 사례를 마코프 연쇄의 통계적 확률 과정으로 생성하는 방안을 제시한다. 객체지향 방법론의 통합안인 UML에서는 클래스도(Class Diagram)가 표현할 수 없었던 시스템의 동적인 관점을 상태 전이도(State Transition Diagram)는 구체적으로 표현할 수 있다. 시스템의 사용법을 상태 전이도로 표현하고, 상태간의 전이 확률(Transition Probability)을 계산하여 사용법 연쇄(Usage Chain)를 구성한다. 사용법 연쇄는 다음 상태가 과거의 상태에 영향을 받지 않고 현시점의 상태에만 의존하는 이산 시간형 확률과정인 마코프 연쇄(Markov Chain)가 된다. 본 논문에서는 사용법 연쇄를 분석하여 상태 전이도의 상태와 원호가 어떤 범위에서 시험될 것인지 결정되었을 때, 사용법 연쇄의 전이 확률이 높은 순서별로 연결하여 시험 사례를 생성하는 방안을 제시하고, 예제를 설명한다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 1995.11a
• /
• pp.91-104
• /
• 1995

본 논문은 UNIX 시스템에서 불법행위를 막을 수 있는 규칙 베이스 전문가 시스템의 설계에 관한 연구이다 먼저 해킹의 유형과 예방 대책에 대한 연구와 아울러 침입 탐지 기법들을 소개하였다. 본 논문에서의 설계된 시스템은 오용 탐지 기법을 적용한 상태전이 분석 침입 탐지의 규칙 베이스 전문가 시스템이다. 기존의 규칙 베이스 시스템이 침입 시나로오에 대한 원시 감사 레코드를 패턴 매칭하는 반면 상태전이 분석 시스템은 상태 변화에 관한 분석에 초점을 둠으로써 시스템의 보안 침해를 받기 직전의 임박한(Impending) 위험에 신속히 대처할 수 있다. 따라서 이러한 분석 기법을 국내에서 개발된 주 전산기 타이컴II의 감사 메카니즘과 연관시켜 규칙 베이스 침입 탐지 시스템을 설계하는 방안을 제시하고자 한다.

• 한국HCI학회:학술대회논문집
• /
• 2006.02a
• /
• pp.728-734
• /
• 2006

유비쿼터스 컴퓨팅 환경에서 상황정보 관리자는 특정인 주변의 상황정보의 변화를 관찰하여 그 사람의 현재 상태를 추론하는 역할을 한다. 지금까지의 상황정보 관리자는 사용자의 상태를 추론하는 과정에서, 관련된 상황정보 값들의 변화를 곧바로 사용자 상태의 변화로 간주하기 때문에, 사용자의 의도와는 상관없이 빈번하게 사용자 상태가 변화되는 결과가 초래되었다. 다시 말하여, 실제 사용자가 현재의 추론된 상태를 계속 유지하고 싶은 의도를 지닌 경우에도, 주변의 특정 상황정보의 값이 규칙에서 규정한 것과는 다르게 조금이라도 변하게 되면, 현재까지 유지되던 사용자의 상태 상황정보가 새로이 추론된 사용자상태 상황정보로 대체되게 되는 것이다. 따라서 해당 사용자는 전 상태를 기반으로 받고 있던 서비스를 더 이상 제공받지 못하게 되는 문제가 생기게 된다. 본 논문에서는 실제로 지속될 필요가 있는 것과 지속될 필요가 없는 상황정보를 구분하여 사용자의 상태 상황정보를 관리하고 범용적으로 적용될 수 있는 메커니즘을 제안한다. 본 메커니즘을 적용하게 되면, 사용자의 상태 상황정보의 존립에 영향을 미치는 주변 상황정보의 값이 달라지게 되어도, 활성화되어 있던 당시의 사용자의 상태정보는 '보류'된 상태로 남아있다가 활성화시키는 이벤트가 발생하였을 때에 '재개'되어 보류되기 전까지 서비스의 상태 그대로, 사용자의 생활패턴과 의도에 부합되는 서비스를 지속적으로 제공할 수 있게 된다.