• IEMEK Journal of Embedded Systems and Applications
• /
• v.8 no.6
• /
• pp.303-309
• /
• 2013

Cloud storage services are used for efficient sharing or synchronizing of user's data across multiple mobile devices. Although cloud storages provide flexibility and scalability in storing data, security issues should be handled. Currently, typical cloud storage services offer data encryption for security purpose but we think such method is not secure enough because managing encryption keys by software and identifying users by simple ID and password are main defectives of current cloud storage services. We propose a secure data access method to cloud storage in mobile environment. Our framework supports hardware-based key management, attestation on the client software integrity, and secure key sharing across the multiple devices. We implemented our prototype using ARM TrustZone and TPM Emulator which is running on secure world of the TrustZone environment.

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

초기에 제안된 Harel의 statechart를 개선하기 위한 노력으로 다양한 statechart의 변형들이 생겨나고, 시스템 개발자는 대상 시스템에 맞는 적절한 설계 명세 언어와 자동화 도구를 선택하는 것이 중요하게 되었다. 대상 시스템에 맞는 영세 언어를 선택하고, 다양한 자동화 도구(CASE tool)의 기능을 적용하기 위해 statechart의 상호 변환을 통한 각 지원 도구의 적용이 필요하다. 하지만, statechart 상호 변환 과정에서 각 statechart의 의미론적(semantics) 차이는 의도하지 않은 오류를 야기할 수 있다. 따라서 본 논문에서는 이들의 의미론을 비교 분석하기 위한 몇 가지 간단한 예제를 시뮬레이션 해 보고, statechart간 상호변환 방안의 기틀을 마련한다.

• Journal of the Korean Society for Precision Engineering
• /
• v.16 no.2 s.95
• /
• pp.74-81
• /
• 1999

The integrated chip of optical micro-encoder was fabricated and the feasibility as displacement measurement device was confirmed. The geometry of micro-encoder was designed to utilize the optical interference effect on the second order of diffracted beams. The hybrid-type micro-encoder consisted with light emitting diode, photodiode, polyimide wave-guide and micro-lens provides stable micro-encoding results for high speed displacements. The measurement shows the resolution of displacement of 1.00 +/- 0.02 ${\mu}m$ for the grating with scale pitch of 2.0${\mu}m$.

• The Journal of Korea Robotics Society
• /
• v.4 no.4
• /
• pp.312-319
• /
• 2009

This paper proposes a low-complexity indoor localization method of mobile robot under the dynamic environment by fusing the landmark image information from an ordinary camera and the distance information from sensor nodes in an indoor environment, which is based on sensor network. Basically, the sensor network provides an effective method for the mobile robot to adapt to environmental changes and guides it across a geographical network area. To enhance the performance of localization, we used an ordinary CCD camera and the artificial landmarks, which are devised for self-localization. Experimental results show that the real-time localization of mobile robot can be achieved with robustness and accurateness using the proposed localization method.

• The Journal of Korea Robotics Society
• /
• v.2 no.1
• /
• pp.71-79
• /
• 2007

We propose and develop Home Security robot system based on Sensor Network (HSSN) configured by sensor nodes including radio frequency (RF), ultrasonic, temperature, light and sound sensors. Our system can acknowledge security alarm events that are acquired by sensor nodes and relayed in the hop-by-hop transmission way. There are sensor network, Home Security Mobile Robot (HSMR) and Home Server(HS) in this system. In the experimental results of this system, we presented that our system has more enhanced performance of response to emergency context and more speedy and accurate path planning to target position for arriving an alarm zone with obstacle avoidance and acquiring the context-aware information.

• Journal of architectural history
• /
• v.23 no.5
• /
• pp.61-71
• /
• 2014

Through the changes of royal architectural bureau in Gungnaebu, this study attempts to find out the modern transition of traditional facilities belonging to Gungnaebu as well as the constituent of human resources in royal architectural bureau. Yeongseonsa, the royal architectural bureau in Gungnaebu after 1905, was comprised of traditional architectural engineers including Sim Euiseok, and they tried the modern transition of traditional royal facilities gradually. But, Yeongseonsa was transformed to Naejangwon Tomokgwa which was comprised of Kim Yungu and Japanese modern architectural engineers. As Kim Yungu was the modern civil engineer not architectural engineer, Japanese architectural engineers took the lead in the architectural activities of Naejangwon Tomokgwa, and Japanese architectural technology was applied to Korean royal facilities since then.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.31 no.10A
• /
• pp.996-1002
• /
• 2006

USB(Universal Serial Bus) is one of the most popular communication interfaces. When USB is used in an extended range, especially configurating In-home network by connecting multiple digital devices each other, USB interface uses the bandwidth in the way of TDM (Time Division Multiplexing) so that the bottleneck of bus bandwidth can be brought. In this paper, the more effective usage of bus bandwidth to overcome this situation is introduced.

• Annual Conference of KIPS
• /
• 2006.11a
• /
• pp.567-570
• /
• 2006

Statechart 는 상태 기반의 시각적 명세 언어로 UML 에 포함되어 매우 널리 사용되고 있다. 하지만 UXL 의 특성에 의해 그 의미론이 비정형적이 되었으며, 시스템의 행위를 불안하게 만드는 비결정적인 경우가 발생하게 된다. 본 논문에서는 UML 지원 도구인 Rhapsody의 statechart diagram 중 코어 부분을 정형적 의미론을 가지는 명세로 변환함으로써 비결정적 명세를 찾아낼 수 있음을 보였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06c
• /
• pp.277-279
• /
• 2012

사용자 기기가 다양해지고, 기기 간 데이터 동기화 필요성이 증대되면서, 클라우드 스토리지 서비스에 대한 수요가 증가되고 있다. 이러한 클라우드 스토리지 서비스는 클라우드 서버의 보안 취약점을 공격하거나, 악의적인 목적을 가진 관리자에 의한 데이터 유출 위협이 항상 내포되어 있다. 따라서, 본 논문에서는 TPM을 기반으로 한 클라이언트에서의 데이터 암호화를 통해 이러한 문제점을 해결하고, 사용자의 다양한 기기들간의 데이터 이용을 안전하고 편리하게 할 수 있는 클라우드 스토리지 시스템을 제시한다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.05b
• /
• pp.86-91
• /
• 1997

지르칼로이는 피복관으로 우수한 성질을 갖고있으나 고온에서 수증기와 발열반응을 일으켜 원자로의 안전성을 떨어뜨리는 단점을 가지고 있다. 사고시 1차 계통수에 함유된 수산화 리튬이니 붕소산은 지르칼로이에 흡착되어 산화에 영향을 줄 수 있다. 본 연구에서는 고온 수증기중의 지르칼로이 산화의 정확한 기술에 대한 연구를 수행하였으며 흡착물의 영향에 대한 실험을 수행하였다. 지르코늄 산화막이 단사정으로 존재하는 온도구간($650^{\circ}C$-105$0^{\circ}C$)에서 지르칼로이의 기존의 자료를 기반으로 계산 모형을 설정하였고 계산결과 Baker-just의 실험식은 상당히 보수적임을 알 수 있었다. 수산화리튬이 흡착된 시편은 1기압 고온 수증기중에서 산화시 푸른 간섭무늬의 막이 생성되어 산화가 억제되었다. 붕소산과 리튬의 혼합용액을 흡착한 시편은 푸른 간섭무늬의 막이 생성되지 않았으며 아무것도 흡착하지 않은 시편과 산화속도가 거의 같았다 고온 산화에서 열충격은 산화막의 균열을 발생하게 하여 산화가 가속되게 하고 지르칼로이의 기억효과를 상실케 한다.