• Journal of Oral Medicine and Pain
• /
• 제26권1호
• /
• pp.51-58
• /
• 2001

다양한 자세에서 교합장치의 두께가 저작근에 미치는 영향을 근전도학적으로 평가하고자, 측두하악장애의 징후와 증상이 없고 정상교합을 가진 성인 8명을 대상으로, 교합장치를 장착하지 않은 상태에서와 4.3, 6.0, 8.1mm 두께를 가진 교합장치를 장착한 상태에서 직립위, 식사위 그리고 앙와위에서 최대 이악물기 상태의 좌, 우측 교근 몇 전측두근의 근활성도를 채득, 분석하여 다음과 같은 결과를 얻었다. 1. 전측두근에서는 교합장치를 장착하지 않은 상태보다 교합장치를 장착한 상태에서 근활성이 유의하게 감소하였고 (p<0.05), 교근에서는 차이가 없었다. 2. 직립위에서 전측두근의 근활성은 교합장치를 장착하지 않은 상태보다 8.1mm 두께의 교합장치를 장착한 상태에서 유의하게 감소하였다 (p<0.05). 3. 식사위에서 전측두근의 근활성은 교합장치를 장착하지 않은 상태보다 8.1mm 두께의 교합장치를 장착한 상태에서 유의하게 감소하였다 (p<0.05). 4. 앙와위에서 전측두근의 근활성은 교합장치를 장착하지 않은 상태보다 4.3, 6.0, 8.1mm 두께의 교합장치를 장착한 상태에서 유의하게 감소하였다 (p<0.05).

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

현재 인터넷 환경에서 크래킹은 보편화되어 있다. 이러한 크래킹을 탐지하거나 방어하기 위한 기법들은 대부분 기존의 불법 침입 유형을 분석하여 대응 알고리즘을 개발하는 것이 대부분이다. 현재 알려진 침입 탐지 기법은 비정상 탐지(Anomaly Detection)와 오용 탐지(Misuse Detection)로 분류할 수 있는데, 전자는 통계적 방법, 특징 추출 등을 이용하며, 후자는 조건부 화률, 전문가 시스템, 상태 전이 분석, 패턴 매칭 둥을 적용한다. 본 연구에서는 상태전이 기반의 연관 마이닝 기법을 이용한 침입 시나리오 탐지 알고리즘을 제안한다. 이를 위해 본 연구에서는 의사결정지원시스템에서 많이 적용한 연관 마이닝 기법을 여러 가지 불법 침입과 연관된 상태 정보를 분석할 수 있는 수정된 상태전이 알고리즘을 제시한다.

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

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

• 대한화학회지
• /
• 제53권2호
• /
• pp.99-110
• /
• 2009

본 총설에서는 유리 전이에 관계되는 상태인 과냉각 액체와 유리의 특성, 그리고 유리 전이 관련 이론에 살펴보았다. 이 상태들은 비평형 상태로, 유리 전이는 일반적인 상전이와는 다르다. 유리와 관련 실 험 방법에 관하여 간략히 요약하였다.

• 전기의세계
• /
• 제41권1호
• /
• pp.19-22
• /
• 1992

최근 개개 원자들의 움직임을 조절할 수 있는 scanning tunnelling microscope(STM)의 유용성을 입증할만한 가공할 발명은 원자 한개로 ON-OFF 상태를 구현 할 수 있는 원자 스위치의 발명이라 할 수 있다. 이 원자 스위치는 원자를 조정하는 STM의 scanning용 침으로 부터 원자 하나를 니켈 기판위에 전달 할 수 있게 함으로써 가능하게 되었다. STM의 Xenon침과 기판 사이를 Xenon원자 하나가 이동함으로써 스위치 작용이 이루어 지는데 이 스위치 작용이란 높은 전도 상태의 침으로부터 낮은 전도 상태의 기판으로 원자가 이동함으로써 침과 기판 사이에 이루어지는 전기적 전도 현상을 말한다 이러한 전기적 전도 상태는 마이크로 회로에서 중추적인 역할을 수행하는 ON-OFF의 2진 소자나, 스위치 소자로써 사용할 수가 있다.

• 정보보호학회논문지
• /
• 제15권2호
• /
• pp.105-111
• /
• 2005

GF(2) 셀룰라 오토마타가 비트단위로 데이터가 처리되는데 비하여 GF(2P) 셀룰라 오토마타는 비트단위 이상의 단위로 데이터론 처리할 수 있다. 본 논문에서는 GF(2p) 위에서의 유한체 성질을 이용하여 한 개의 트리로 구성되는 GF(2P)위에서의 nongroup 셀룰라 오토마타의 상태들의 움직임을 분석한다. 또한 기력경로를 이용하여 GF(2P)위에서 선형 SACA의 상태전이 그래프를 구성하는 방법과 선형 SACA의 상태전이 그래프를 이용하여 비선형인 여원 SACA의 상태전이 그래프를 구성하는 방법을 제시한다.

• 한국정보통신학회논문지
• /
• 제5권2호
• /
• pp.371-384
• /
• 2001

최근 인터넷 환경에서 시스템 불법 침입은 계속적으로 증가하고 있다. 이러한 침입을 탐지하기 위한 기법들은 크게 비정상 탐지와 오용 탐지로 분류할 수 있다. 전자는 통계적 방법, 특징 추출 등을 이용하며, 후자는 조건부 확률, 전문가 시스템, 상태 전이 분석, 패턴 매칭 둥을 적용한다. 현재 연구된 침입탐지 시스템들은 결합된 방법을 사용하고 있다. 본 연구에서는 상태전이 기법과 연관 마이닝 기법을 결합한 새로운 침입 탐지 알고리즘을 제안한다. 이를 위해 첫 번째 단계는 네트워크를 통해서 입력된 명령어에 대해서 상태 테이블을 작성하는데, 이는 기존의 상태전이 분석 방법과 유사하다. 다음 단계는 연관 마이닝 기법을 이용하여 침입의 유형을 판정한다. 이러한 처리 과정에 따라 본 연구에서는 자동화된 침입 시나리오 생성 알고리즘을 제안한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 춘계학술발표대회
• /
• pp.513-516
• /
• 2005

셀룰라 오토마타가 비트단위로 데이터가 처리되는데 비하여 계층적 셀룰라 오토마타는 바이트 단위 또는 그 이상의 단위로 데이터를 처리할 수 있다. 본 논문에서는 GF($2^p$) 위에서의 유한체 성질을 이용하여 한 개의 트리로 구성되는 계층적 비그룹 셀룰라 오토마타인 SAHCA의 성질에 대하여 분석한다. 또한 기본경로를 이용한 선형 SAHCA의 상태전이 그래프를 구성하는 방법과 선형 SAHCA의 상태전이 그래프를 이용하여 비선형인 여원 SAHCA의 상태전이 그래프를 구성하는 알고리즘을 제안한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권12호
• /
• pp.1428-1444
• /
• 1999

MSC는 ITU에 의해 표준화된, 병행 시스템의 명세를 기술하기 위한 그래픽 형태와 텍스트 형태를 제공하는 언어로서 실시간 시스템 특히 통신 교환 시스템의 특성을 기술하기 위해 자주 사용된다. 통신 시스템이 제대로 동작함을 보이기 위해서는 정형적인 방법을 사용하여 시스템 행위를 검증할 필요가 있다. 통신 소프트웨어를 검증하는 방법 중 하나의 방법으로 유한 상태를 기반으로 하는 방법이 있다. 유한 상태를 기반으로 하는 방법에서는 먼저 시스템 명세에 해당하는 전체 상태 전이 그래프를 생성한 후 이를 바탕으로 model-checking 등의 방법을 사용하여 시스템의 특성을 검증한다. 본 논문에서는 MSC로 기술된 통신 소프트웨어 명세로부터 전체 상태 전이 그래프를 생성하는 방법에 초점을 맞추었다. 시스템 명세에 해당하는 상태 전이 그래프를 생성하기 위해 보다 직관적으로 MSC의 의미론을 표현할 수 있고, 또한 쉽게 전체 상태 전이 그래프를 생성할 수 있는 행위 종속 그래프를 제안하였다. MSC 명세는 일단 행위 종속 그래프로 변환이 되고 이 행위 종속 그래프를 이용하여 전체 상태 전이 그래프가 생성된다.Abstract Message Sequence Chart (MSC) standardized by International Telecommunication Union is a graphical and textual language for describing the specification of concurrent systems. It is frequently used both formally and informally for specifying the behavior of real-time systems, in particular telecommunication switching systems. To ensure that a communication system operates properly, the verification process showing the correctness of system's behavior formally is necessary. One of the verification methods is a finite-state method. In the finite-state method, the global state transition graph (GSTG) is constructed and then safety and liveness properties of systems are verified through a well-known method such as model checking. In this paper, we forcus on the construction of GSTG from the specifications of telecommunication software written in MSC. We suggest Action Dependency Graph (ADG) which can present the semantics of MSC intuitively and also provide a GSTG construction method from ADG. MSC specifications are translated to ADGs and, in turns, the GSTGs are constructed by using these ADGs.

• 대한위암학회:학술대회논문집
• /
• 대한위암학회 2002년도 제13회 춘계학술대회
• /
• pp.37-46
• /
• 2002

전통적으로 수술 전 평가는 수술 전날 밤에 시행되는 것이 일반적이었다. 그러나 외래수술을 받는 환자의 증가로 인하여 많은 환자들이 수술 당일 아침에 마취과 의사를 처음 만나게 되는 경우가 많고 심지어는 심각한 내과적 문제를 가진 환자들도 충분한 수술 전 평가가 이루어지지 않은 상태에서 수술실로 들어오게 되는 경우가 있다. 그러나 이러한 상황에서도 마취과의사는 주술기(perioperative period)의 환자 상태를 관리하는 주된 역할자로서 수술 전 환자에 대한 평가를 충실히 해야 한다. 수술 전 평가는 환자의 현재 상태를 평가하는 것이고, 수술 중 발생할 수도 있는 상황에 대비하며, 수술실을 넘어서 중환자실, 통증치료실에서의 마취의사의 역할로 이어지도록 하는 것이다. 최근 발전하고 있는 수술 전 평가 클리닉은 환자의 수술준비의 기초적인 정보를 제공한다. 이는 마취의사에게는 상당한 장점과 편리성을 제공하는 것이고, 환자 관리의 질적 향상과 급변하는 병원관리정책의 요구에 부합하는 것이다.