• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.38 no.2
• /
• pp.51-51
• /
• 2001

본 논문은 디지털 순서회로 설계시 상태할당 알고리즘 개발에 관한 연구로, 동적 소비전력을 감소시키기 위하여 상태변수의 변화를 최소로 하는 코드를 할당하여 상태코드가 변화하는 스위칭횟수를 줄이도록 하였다. 상태를 할당하는데는 Markov의 확률함수를 이용하여 hamming거리가 최소가 되도록 상태 천이도에서 각 상태를 연결하는 edge에 weight를 정의한 다음, 가중치를 이용하여 각 상태들간의 연결성을 고려하여 인접한 상태들간에는 가능한 적은 비트 천이를 가지도륵 모든 상태를 반복적으로 찾아 계산하였다. 비트 천이의 정도를 나타내기 위하여 cost 함수로 계산한 결과 순서회로의 종류에 따라 Lakshmikant의 알고리즘보다 최고 57.42%를 감소시킬 수 있었다.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.12
• /
• pp.127-137
• /
• 2009

A practical algorithm of generating most probable states in decreasing order of probability of the network system state is suggested for approximating the performance of multi-mode network system using algebraic structure of the system states. Most complex system having network structure with multi-mode unit state is difficult to evaluate the performance or reliability due to exponentially increasing size of state space. Hence not an exact computing method but an approximated one is reasonable approach to solve the problem. To achieve the goal we should enumerate the network system states in order as a pre-processing step. In this paper, we suggest an improved algorithm of generating most probable multi-mode states to get the ordered system states efficiently. The method is compared with the previous algorithms in respective to memory requirement and empirical computing time. From the experiment proposed method has some advantages with regard to the criterion of algorithm performance. We investigate the advantages and disadvantage by illustrating experiment examples.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2016.02a
• /
• pp.86-86
• /
• 2016

최근 포항가속기연구소 10A 빔라인에 Scanning Transmission X-ray Microscopy (STXM)가 완성되어 운영 중이다. Soft x-ray imaging 장치로서 기술적으로 Sample scanning 기법이 활용된다. 이는 Zone plate를 통해 집속된 빔이 샘플에 조사되고 검출되는 방식이다. 이러한 Scanning 기법을 활용하고 있는 10A STXM은 기본적으로 흡수분광기법 (x-ray absorption spectroscopy)을 이용하고 있다. 특히, 10A 빔라인 STXM은 최고 20 nm까지 공간분해능이 가능하다는 장점이 있다. 따라서 수십에서 수백 나노미터 크기의 시료들 또는 나노구조에 대한 물리화학적 상태 분석이 쉽게 이루어지고 있다. 주로 시료를 투과하면서 흡수되는 X-선 세기 대비를 맵핑하는 형식의 이미지 데이터와 더불어 X-선의 에너지를 조정함으로써 각 에너지에 해당하는 이미지스택을 결과로 얻게 된다. 이러한 이미지 결과로부터 시료의 나노크기에서 오는 물리화학적 상태를 분석하고 물리에서 바이오까지 다양한 분야의 실험 활용이 가능한 상태다.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.38 no.2
• /
• pp.137-144
• /
• 2001

In this paper, a state assignment algorithm was proposed to reduce power consumption in control-flow oriented finite state machines. The Markov chain model is used to reduce the switching activities, which closely relate with dynamic power dissipation in VLSI circuits. Based on the Markov probabilistic description model of finite state machines, the hamming distance between the codes of neighbor states was minimized. To express the switching activities, the cost function, which also accounts for the structure of a machine, is used. The proposed state assignment algorithm is tested with Logic Synthesis Benchmarks, and reduced the cost up to 57.42% compared to the Lakshmikant's algorithm.

• Proceedings of the KIEE Conference
• /
• 2007.10a
• /
• pp.223-224
• /
• 2007

초정밀 위치 제어 시스템에서 미지의 상태변수를 관측하는 경우, 파라미터의 불확실성은 관측기 설계에 많은 어려움을 주게 된다. 슬라이딩 모드 관측기는 불확실성과 외란이 존재하는 시스템의 상태변수를 관측가능하게 하며 강인한 성능을 보여준다. 본 논문에서는 불확실성이 존재하는 시스템의 관측기를 설계하고 최적제어를 통하여 정밀 스테이지의 위치를 제어하며, 시뮬레이션을 통해 개선된 성능을 입증한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2023.11a
• /
• pp.858-859
• /
• 2023

작업자의 안전을 최우선적으로 고려하여 라즈베리 파이와 아두이노를 활용하여 작업자의 건강상태와 위치를 실시간으로 모니터링하며 작업자의 건강상태를 케어하고 카메라와 마이크를 설치하여 작업자의 현 상황을 실시간으로 모니터링하고, GPS를 이용하여 작업자 위치도 추적이 가능한 스마트 안전모를 개발하고자 한다.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 1998.10a
• /
• pp.13-13
• /
• 1998

램가속기의 발진 과정에서 유동장 내에는 수백 기압 이상의 고압 영역이 존재하며 이러한 영역에서는 이상기체 가정이 더 이상 유효하지 않게 된다. 따라서 램가속기 작동조건에 적용 가능한 적절한 형태의 실제 기체 상태 방정식이 요구된다 또한 기존의 온도에 종속적인 Arrhenius 형태의 기초 반응들로 이루어진 축소 화학 반응 모델은 상압 조건하에서 적용 가능하므로 고압 화경에서 적용하기 위해서는 온도뿐 아니라 압력에 종속적인 형태의 반응율 상수가 도입되어야 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10c
• /
• pp.366-370
• /
• 2006

정형명세는 자연어의 모호함을 없는 명료한 시스템 설계를 가능하게 한다. 상태차트와 같은 정형명세 된 요구사항은 시뮬레이션이나 정형검증을 통해 요구사항을 실행하여 볼 수 있으며, 더 나아가 여러 가지 특성을 정형검증과 같은 검증 기법으로 검증 할 수 있다. 하지만 자연어 요구사항을 상태차트로 변환하여 다양한 요구사항의 특성을 기술하기 위해서는 상당한 노력과 경험이 필요로 하다. 본 논문에서는 자연어 요구사항을 상태차트로 직접 변환하는 기법을 제안한다. 이를 위해 본 논문에서는 기능적인 요구 사항의 자연어를 분석하고, 또한 소프트웨어 요구사항 기술에 적절하도록 상태차트 문법의 의미를 제안한다.

• Physical Therapy Korea
• /
• v.6 no.4
• /
• pp.30-35
• /
• 1999

본 증례연구는 복합손상을 가진 척수손상환자의 재활치료과정을 소개하여 유사한 사례의 치료에 도움이 되고자 하는 것이다. 증례연구의 대상자인 26세의 남자환자는 흉수 4번 완전손상과 사고 당시 전기화상에 의한 좌측하박 절단과 우측손의 정중신경이 마비되었다. 치료초기에는 일상생활동작 검사에서 MBI (Modified Barthel Index) 점수가 22점으로 독립적으로 가능한 것은 거의 없었고, 기능적으로도 모든 도움이 필요한 상태였으나 재활치료결과 독립적으로 가능한 기능수행 능력은 돌아눕기, 일어나 앉기, 침상에서 의자차로 이동하기, 의자차 굴리기였고 제한적이기는 하지만 독립적으로 가능한 일상생활동작은 식사, 상의 입기, 의자차와 같은 높이의 이동 등이 가능하여 MBI 점수가 47점을 나타내었다. 이 환자의 초기의 장기치료목표는 전동 의자차를 이용하여 보호자의 도움을 줄이는 것이었다. 그러나 환자가 익숙하게 의지를 사용하였으며 일반 의자차 사용을 위해 필요한 만큼의 근력증가가 있었고, 의자차에 앉은 상태의 균형감각이 증가하여 목표를 수정하여 일반 의자차를 사용하도록 하였다. 환자 본인이 가지고 있는 재활 잠재력을 최대로 이끌어낼 수 있도록 유도한 결과 부분적으로 제한이 있었지만 실내에서는 의자차를 이용하여 독립적인 생활이 가능하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.485-488
• /
• 2015

지속가능한 모바일 상황인지 서비스를 위한 효율적인 전력 사용에 대한 연구가 요구된다. 모바일 상황인지 서비스에 대한 전력소비 연구를 위해서는 모바일 상황에 맞는 전력 측정 및 분석 도구가 요구되며, 모바일기기 내부의 다양한 모듈의 동작에 대한 관찰이 가능해야 한다. 하지만 기존의 전력측정 도구의 경우 센서동작에 대한 모델링에 대해 ON/OFF 와 같은 간단한 모델로 정의하여, 전력의 원인이 되는 센서모듈의 동작에 대한 정보를 얻기 어렵다. 이에 본 논문에서는 GPS 모듈을 대상으로 안드로이드 API 계층에서 명시하는 모듈의 동작을 바탕으로 GPS동작정보를 기록하는 전력측정도구를 제안하였다. 제안된 전력측정도구를 이용하여 상용 내비게이션 애플리케이션의 실행에 따른 전력소모를 측정하였으며, API에 명시된 GPS 모듈의 동작상태들의 변화를 확인하였다.