• Journal of Internet Computing and Services
• /
• v.14 no.6
• /
• pp.19-23
• /
• 2013

This research is about the Implementation of Remote Machine Health Monitoring System using Internet. This research will help users in the un-installed office to save a lot of cost and time from checking and managing machines' condition installed in the factory. We have made an experiment and developed the application program and the monitoring terminal which can monitor the machine's condition. This research will contribute to the development of internet and remote instrumentation engineering in the future. Finally the performance of the proposed system was evaluated through experiments, it showed the good performance and the possibility of commercialization.

• Journal of KIISE:Software and Applications
• /
• v.30 no.7_8
• /
• pp.642-648
• /
• 2003

In this paper, we are interested in checking equivalence of FSMs(finite state machines). Two FSMs are equivalent if and only if their responses are always equal with each other with respect to the same external stimuli. Equivalence checking FSMs makes complicated FSM be substituted for simpler one, if they are equivalent. We can also determine the system satisfies the requirements, if they are all written in FSMs. In this paper, we regard equivalence checking problem as model checking one. For doing so, we construct the product model $M ={M_A} {\beta}{M_B} from two FSMs ${M_A} and {M_B}$. And we also get the temporal logic formula ${\Phi}$ from the equivalence checking definition. Then, we can check with model checker whether if satisfies ${\Phi}$, written $M= {.\Phi}$. Two FSMs are equivalent, if $M= {.\Phi}$ Otherwise, it is not equivalent. In that case, model checker generates counterexamples which explain why FSMs are not equivalent. In summary, we solve the equivalence checking problem with model checking techniques. As a result of applying to several examples, we have many satisfiable results.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.37-39
• /
• 2002

정형 언어 OCL은 UML의 한 부분으로써 클래스 다이어그램과 상태 기계의 조건을 표현하는데 많은 장점을 가지고 있다. 그렇지만, OCL을 이용하여 상태 기계를 메타모델링 하는데는 적지 않은 한계가 있다. UML/OCL은 모델의 정적인 구조를 강조하지만, 시스템이나 서브 시스템의 시간과 환경에 대한 반응을 고려는 미흡하다. 또한, 시스템의 변화에 있어 시그널은 오퍼레이션과 유사하지만 상태 기계에서만 다루어진다. 결국, 시스템의 변화에 대한 고려는 상태 기계를 통하여 보다 명확하게 명세 될 수 있으며, 현재 OCL의 확장으로써 이러한 문제를 해결 할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.427-429
• /
• 2002

본 연구에서는 상태도를 평탄화 하는 대신에, 띠러 기계가 동시에 수행하는 병행 기계로 상태도를 표현한 후 ROBDD를 이 용하여 상태도의 동치 여 부를 기호적으로 검사하고자 한다. 상태도가 기능적으로 동치라는 것은, 두 상태도는 같은 함수를 구현하고 있다는 것과 같다. 이 것은 로든 입력 이벤트에 대하여 두 상태도의 반응이 항상동일 한지를 판정함으로써 가능하다. 즉 상태도의 동치 검사는, 입력 이벤트가 같은 상태들의 집합이 모든 입력 에 대 해서 출력 이 같은 상태들인가라는 문제로 축소된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.310-312
• /
• 2005

유한상태 기계는 신뢰성이 요구되는 내장형 시스템의 제어흐름을 표현하고 검증하는데 많이 사용되는 모델이다. 하지만 자체가 가지고 있는 단순함으로 인해 복잡한 시스템을 명세하기에는 부족하다. 이러한 유한상태 기계의 단점을 극복하기 위해 다양하게 확장시킨 유한상태 기계들이 나왔지만 이렇게 확장된 유한상태 기계들에 대한 정형 의미의 부재로 인해서 요구사항중 하나인 명세를 검증하는데 어려움이 따른다. 이에 우리는 확장된 유한상태 기계의 정형 단계 의미를 정의하고, 이를 사용하여 모델에 대한 정형검증을 수행하였다. 그 결과 레이스 조건(race condition)과 애매한 전이, 순환하는 전이 등의 버그들을 모델에서 정형적으로 검출 할 수 있었다.

• Journal of the KSME
• /
• v.32 no.11
• /
• pp.917-926
• /
• 1992

트라이볼로지의 핵심분야인 마찰, 마멸에 대해 간단히 살펴보았다. 과학의 급속한 발전에도 불 구하고 아직도 이들에 대한 완전한 지식은 아직 요원한 상태이다. 그러나 현재까지 알려진 지 식으로도 기계시스템의 최적설계에 크게 도움이 된다는 사실에 대해서는 의심의 여지가 없다. 앞에서 함께 살펴본 마멸 입자에 대한 소개는 마찰과 마멸의 복합적인 산물로서 이의 관찰을 통해 분석하고자 하는 기계시스템의 상태를 효과적으로 진단하여 트라이볼로지적 거동을 이해 하는 데에 중대한 정보가 된다. 따라서 마찰과 마멸에 대한 궁극적인 연구와 함께 그 산물인 마멸입자에 대한 보다 적극적인 이해와 지식의 축적은 요소(tribo-elements)의 고성능, 고정밀 화에 크게 이바지할 것이다.

• Journal of the KSME
• /
• v.24 no.6
• /
• pp.428-436
• /
• 1984

기계 시스템이 점차 복잡해지는 현재의 추세에서 진동 분석기술은 기계 설계자와 사용자에게 모두 필수적인 도구로서 등장하고 있으며, 이에 따라서 분석기술도 단순한 진동 레벨측정이나 주파수 분석의 단계를 넘어서서 점차 복잡한 신호처리를 요구하고 있다. 본 논문에서는 기계 진동분석에 의한 상태진단과 결함탐지 기술에 대한 기본적인 개념을 설명하고, 이 기술의 응용에 따르는 실질적인 문제들을 실제 측정예와 병행하여 논술하고자 한다.

• Proceedings of the Korean Society of Tribologists and Lubrication Engineers Conference
• /
• 1990.11a
• /
• pp.41-45
• /
• 1990

기계시스템의 파괴 마멸 진단을 위한 Condition Nonitoring 기술은 기계류의 작동 상태를 계속적$\cdot$정기적으로 검지하여 failure 발생을 사전에 예방$\cdot$조치하는데 중요성이 있으며, 계속적으로 기계시스템의 상태를 파악함으로써 차후 시스템 개선 및 윤활시스템의 최적화를 위한 data base를 구축함에 기술적용의 의의를 가지고 있다. 본 연구에서는 Condition Monitoring 기술중 Contaminant Inspection Method를 이용하여 볼베어링의 정상 마모상태에서 변화되어 가는 마모상태를 규명하며, 통계적 처리에 의해 시간의 추이에 따라 통계 변수들의 경향을 분석하며 마모 상태의 경향을 정량적으로 분석하였다.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.5
• /
• pp.127-134
• /
• 2011

A finite state machine was designed to control user's gaze on the screen when the user is monitoring the. It consists of a set of situations where pupils are gazed and a set of states which decide the gaze on a screen or sleeping. The states were especially classified into main states, pre-states and potential states. The machine uses the situation history, which decide current state using continuous previous situation and current situation, and improves the accuracy to control the gaze on a screen. We implemented the machine with the data which were get using a pupil detection method, and tested the verification of the system with monitoring operations. The experimentation using the method which get date from real images shows advantage of decision whether it is temporary gaze or long-term gaze.

• Proceedings of the Korean Society of Tribologists and Lubrication Engineers Conference
• /
• 1991.06a
• /
• pp.70-75
• /
• 1991

기어는 기계시스템에서 동력전달 및 운동전환을 담당하는 기본 요소로 공작기계, 건설기계, 농업기계 등의 산업기계와 항공기, 자동차, 선박등의 운송분야, 사무용 및 계측기기 등 산업전반에 걸쳐 사용되고 있으며, 최근에는 로보트를 위시한 자동화 장치의 구동 및 동력전달 장치로 사용되고 있다. 최근의 기어시스템은 기계류의 일반적인 경향인 고속, 고부하, 결량화 추세에 따라 고정밀, 소형화되어 가고 있으며 부하한계에 가깝도록 큰 하중에 견딜것이 요구되고 있다. 따라서 기어의 설계 및 제작시, 여유있는 설계가 허용되지 않으며 정밀성을 높이기 위한 설계로, 설계인자의 세분화가 요구되어지고 있다. 국제적으로 통용되고 있는 강도설계 규격에서 면압강도시 표면상태계수(Surface condition factor)를 정의하고 있다. 본 연구에서는 동력순환식 기어 시험장치를 이용하여 표면처리 상태가 다른 3종류(열처리를 하지 않은 기어, 침탄 및 고주파 표면 열처리한 기어)의 스퍼어 기어를 이요하여 회전수별 표면거칠기의 변화 상태를 고찰하고, 변수를 응용하여 물리적 의미를 파아갛고, 윤활해석을 통한 윤활조건과 치면상태와의 상호 관계에 대하여 고찰해 보고자 한다.