• 한국철도학회논문집
• /
• 제10권6호
• /
• pp.758-765
• /
• 2007

본 논문에서는 철도차량의 이동성을 기반으로 MR의 핸드오프 때 발생할 수 있는 패킷손실량을 최소화하는 방안을 제안하고자 한다. 철도차량에 탑재된 MR은 기본적으로 고정된 AR 영역을 따라 이동한다. MR이 NAR로 이동하면. PAR은 MR의 HA로부터 전송받은 패킷을 자신의 HML에 따라 NAR로 전송시킨다. 그 후 NAR은 MR의 L3 핸드 오프과정이 마칠 때 까지 PAR로부터 전송받은 패킷을 버퍼링하게 된다. 이와 같은 절차에 따라 MR의 핸드오프 소요시간 동안에는 패킷의 손실을 최소화하게 되고, 아울러 인터넷 상에 불필요한 패킷이 발생하지 않게 된다. 성능분석 결과 제안한 방안은 NEMO Basic 방안과 Bi-casting 방안보다 효율적인 방안임을 확인할 수 있었다.

• 대한인간공학회지
• /
• 제29권3호
• /
• pp.383-391
• /
• 2010

The present study evaluated a preliminary control room (CR) design of radioactive waste facility using the $JACK^{(R)}$ human simulation system. Four digital humanoids ($5^{th}$, $50^{th}$, $95^{th}$, and $99^{th}$ percentiles) were used in the ergonomic evaluation. The first three were selected to represent 90% of the target population (Korean males aged 20 to 50 years) and the last to reflect the secular trend of stature for next 20 years in South Korea. The preliminary CR design was assessed by checking its compliance to ergonomic guidelines specified in NUREG-0700 and conducting an in-depth ergonomic analysis with a digital prototype of the CR design and the digital humanoids in terms of postural comfort, reachability, visibility, and clearance. For identified design problems, proper design changes and their validities were examined using JACK. A revised CR design suggested in the present study would contribute to effective and safe operations of the CR as well as operators' health in the workplace.

• Journal of Advanced Marine Engineering and Technology
• /
• 제36권6호
• /
• pp.850-856
• /
• 2012

고정노드 2개를 사용하는 이변측위 방법은 건물이나 선박의 복도와 같은 좁은 공간에서 실시간 실내위치인식 시스템 분야에 사용되고 있다. 하지만 이러한 공간에서 고정노드 간 거리가 멀어지거나 장애물이 있을 경우 위치정보 수신율 저하로 인하여 이동노드(사용자)의 위치 추정이 어렵게 된다. 본 논문에서는 이와 같은 문제를 보완하기 위하여 IEEE 802.15.4a Chirp 신호를 기반으로 사용자에게 부착된 센서를 통하여 위치를 계산할 수 있는 보폭 측정 알고리즘을 이용하는 새로운 실시간 실내위치인식 시스템을 제안한다. 제안한 시스템은 다리길이 측정을 위한 초음파센서, 사용자의 방향을 인식하는 지자기 센서 및 다리사이 각을 획득하기 위한 관성센서로 구성된다. 실험 결과 제안한 시스템은 통신도달성이 결여된 구간에서 기존 실내위치인식 방법에 비해 2배 이상 정교한 결과를 나타내었다.

• 한국인터넷방송통신학회논문지
• /
• 제11권5호
• /
• pp.101-106
• /
• 2011

본 연구는 이산사건 시스템인 제조 시스템에 대하여 사용자 명세서에 따라 충실하게 동작하는 제어기를 설계하는 것이 목적이다. 특히, W. M. Wonham의 감독제어 이론을 기반으로 병렬처리가 가능한 패트리 넷을 이용한 제어기를 설계하는 것이다. 또한, 패트리 넷을 이용한 설계 시 고려해야 할 문제 중 공유하는 자원의 할당에 관한 문제를 다루고자 한다. 공유자원에 대한 처리를 사용자 명세서로 제시하고 제시한 패트리 넷으로 모델링하여 합성하면 제어기가 생성된다. 이렇게 생성된 제어기는 공유하는 자원이 있는 경우에 발생가능 한 교착상태(deadlock)와 기아상태(Starvation)에 대한 제어가 가능하다. 선행연구에서는 페트리 넷의 두 모델을 합성하는 방법으로 동기식 도달성 그래프를 제안하였다. 따라서 본 연구에서는 그 결과를 이용하여 교착상태와 기아상태를 예방한 제어된 시스템을 설계하여 제시하고자 한다.

• 대한산업공학회지
• /
• 제26권2호
• /
• pp.88-94
• /
• 2000

For efficient operation, vital hand controls must be easily controlled by the operator from his or her normal working position. The primary working area based on the operator-perceived working comfort was developed to serve as a design guideline to the control panel layout. Six male and four female subjects voluntarily participated in the experiment in which working comfort was measured for two types of controls - knob and lever. The operator-perceived working comfort was examined for the frontal and sagittal distances from the body center and the slope of a work surface. The response surface methodology using a central composite design was employed to develop a prediction model for operator's working comfort on each type of controls. The proposed working areas based on the actual working comfort of an operator avoided the dichotomy that considers only the reachability of control devices, and showed a distinct shape, when compared to the existing normal working areas following the Farley's concept. It was shown that the distance from the body to control devices and the slope of a work surface have a quadratic relationship to the working comfort, and that the most comfortable area for seated tasks is located at the distance of about 2∼4 cm in the sagittal direction and about 42∼43 cm in the frontal direction from the shoulder, respectively. It was also found that the working comfort varies within the working area even at the positions with an equal distance from the body. It is expected that the isocomfort working area generated in the study will be used as a useful guideline for control panel layout.

• 한국게임학회 논문지
• /
• 제4권1호
• /
• pp.58-66
• /
• 2004

본 논문에서는 반례를 도달성 게임 풀이에 활용했다. 도달성 게임이란, 게임 규칙을 준수하면서 초기 상태에서 목표 상태로 가는 경로를 찾는 것이다. 게임의 초기 상태를 유한 상태 모델로 표현하고 목표 상태의 부정(오답)을 시제 논리식으로 표현해서 모델 검사기에 입력하면, 반례로 오답에 대한 부정 즉 정답을 출력한다. 다시 말해서 반례로 출력된 것이 문제를 해결하는 정답인 것이다. 이와 같은 아이디어를 푸쉬푸쉬 게임 풀이에 적용했다. 그 결과 크기가 작은 푸쉬푸쉬 게임의 경우 게임을 해결하는 최단 경로를 쉽게 찾아냈다. 그러나 게임의 크기가 큰 경우 제한된 시간(실험에서는 3시간)내에 찾아내지 못했다. 왜냐하면 게임의 크기가 커질 경우 검사해야할 상태의 수가 지수적으로 증가하는 상태 폭발 문제가 발생했기 때문이다. 상태 폭발 문제를 해결하기 위해 추상화 기법을 이용해서 검사해야 할 상태공간을 축소하였다. 상태 공간을 줄인 결과, 기존 모델체킹으로 해결하지 못했던 게임을 풀 수 있었다.

• 한국위성정보통신학회논문지
• /
• 제11권2호
• /
• pp.8-13
• /
• 2016

부표는 항구나 해양의 위험물을 표시하기 위하여 체인에 의해 묶여진 부양물체이며, 크게 이동형과 고정형 부표로 나눌 수 있다. 해양 생태환경의 관찰과 연안지역 주변을 관찰 요구를 충족하기 위하여 스마트 부표들이 개발되었다. 스마트 부표들은 GPS, CDMA, ZigBee과 같은 무선 네트워크 시스템을 가진다. GPS 기술을 사용하면 부표의 위치나 주변 환경에 대한 추적이나 관찰을 할 수 있다. 그러나 고정 부표에 사용되는 GPS 시스템은 비싼 비용과 많은 양의 전력을 소모한다. 많은 부표들은 ZigBee를 사용하여 전력소비를 급격하게 줄인다. 본 논문에서는 적은 데이터 전송과 적은 전력소모를 가진 추적가능 부표 시스템을 소개한다. 제안하는 프로토콜은 시스템의 변경없이 비정상적인 움직임을 찾고 추적 가능한 정보 모을 수 있는 장점을 가진다. 2개의 추가적인 비트와 가입요청 메시지들이 추적 가능한 부표시스템에 사용된다. 제안하는 프로토콜은 페트리넷으로 모델링하였고 도달 가능성을 증명한다.

• 인터넷정보학회논문지
• /
• 제10권5호
• /
• pp.27-32
• /
• 2009

레이블 교환 망의 경로 설정을 위해 제안된 칼라 스레드 알고리즘을 패킷 교환 망에 적용하기 위하여 알고리즘 보완이 필요하다. 칼라 스레드 알고리즘은 스레드의 동작을 extend, rewind, stall, withdraw, merge로, 상태를 null, colored, transparent의 3종류로 정의하였지만 여기에 merged상태를 추가하였다. 또 루프 경로를 도출하기 위하여 스레드가 일단 중복이 되면 다시 새로운 칼라를 생성하여 unknown 홉 카운트를 갖는 스레드로 재차 확장하는 방식인데, 이를 수정하여, 업스트림 방향의 rewind 동작을 소스 노드에 의하여 다운스트림 방향으로 작동하도록 하였다. 스레드가 중복으로 접수되면 merge 동작에서 홉 카운트가 오름차 순이면 스레드의 병합을 시행하고, 그렇지 않는 경우에는 우선 스레드의 칼라가 투명해지거나 제거될 때까지 나중의 스레드를 stalling 시키도록 함으로써, unknown 홉 카운트를 갖는 새로운 칼라의 스레드 생성을 제거하였다.

• 한국정보통신학회논문지
• /
• 제16권12호
• /
• pp.2792-2799
• /
• 2012

3개 혹은 그 이상의 고정노드로 구성된 다변측량법은 실내의 실시간 위치 인식 시스템 분야에서 현재 널리 사용되고 있다. 하지만 이 고정노드 중 일부가 장애물 및 고정노드의 불안정에 따라 통신도달성이 결여된 상황에서는 효율적 위치 정보를 획득하기가 어렵다. 이러한 환경에서 위치측정 결여 및 변동을 개선하기위하여 본 논문에서는 TOF(Time of Flight)기반으로 이동노드의 변위 추정을 위한 벡터예측알고리즘과 효율적인 거리평균을 위한 칼만필터를 이용하여 기존의 다변측량법에서 발생하는 내재적 위치측정오차를 줄일 수 있는 새로운 알고리즘을 제안한다. 보행자가 이동노드와 함께 이동하고 임의의 고정노드로부터 거리측정이 실패하더라도, 현재 및 이전 거리측정 값을 이용하는 제안한 알고리즘은 이동노드와 거리측정에 실패한 고정노드 사이의 거리를 예측할 수 있다. 실험결과 기존의 방법 대비 위치추정 성능과 효율이 향상됨을 확인하였다.

• 한국정보처리학회논문지
• /
• 제5권6호
• /
• pp.1522-1536
• /
• 1998

우리는 이 논문에서 실시간 시스템을 위한 모형화 방법을 제공한다. 이 방법은 DARTS(Design Approach for Real Time Systems)에 기초하며 훨씬 확장되었다. 기존의 DARTS 방법은 좋은 설계 가이드라인은 제공해 주지만, 구조적 분석방법을 이용하며, 명세언어를 제공하지 않는다. 그래서 본 논문에서는 객체에 기반하고 분석까지 가능한 확장된 DARTS 모형화 방법을 제공하고자 한다. 분석을 위해 수치 페트리넷(NPN)을 이용하여 시스템의 내부행위를 보여주며, 천이동기 순서제어를 위해 시제논리에 기초한 명세언어를 제공한다. 적용 예제를 통하여 제안된 방법이 잘 적용되었고 내부의 메시지 전달과정에 대한 도달성 그래프를 통하여 데드락의 존재여부를 미리 확인할 수 있어 분석이 용이하며 자연스럽게 설계와 연결된다.