• Journal of Internet Computing and Services
• /
• v.9 no.6
• /
• pp.1-13
• /
• 2008

Trusted Computing is a hardware-based technology that aims to guarantee security for machines beyond their users' control by providing security on computing hardware and software. TPM(Trusted Platform Module), the trusted platform specified by the Trusted Computing Group, acts as the roots for the trusted data storage and the trusted reporting of platform configuration. Data sealing encrypts secret data with a key and the platform's configuration at the time of encryption. In contrast to the traditional data sealing based on binary hash values of the platform configuration, a new approach called property-based data sealing was recently suggested. In this paper, we propose and analyze a new property-based data sealing protocol using the weakest precondition concept by Dijkstra. The proposed protocol resolves the problem of system updates by allowing sealed data to be unsealed at any configuration providing the required property. It assumes practically implementable trusted third parties only and protects platform's privacy when communicating. We demonstrate the proposed protocol's operability with any TPM chip by implementing and running the protocol on a software TPM emulator by Strasser. The proposed scheme can be deployed in PDAs and smart phones over wireless mobile networks as well as desktop PCs.

• Korean Journal of Construction Engineering and Management
• /
• v.7 no.6
• /
• pp.151-164
• /
• 2006

Numerous efforts are currently underway to automate pavementcrack and joint sealing activities. Productivity improvements, improved safety and quality, and reduced road user costs motivate these developments. Recently, an automated pavement crack sealing machine has been developed to automate the process of sealing pavement cracks and joints in Korea. This paper mainly describes the results of the economic feasibility analysis revealed through its overall performance evaluation and field tests. Finally, it is concluded that the automated machine exceeds the performance in terms of productivity, safety, and quality required in conventional method, thus making the machine economically feasible.

• Korean Journal of Construction Engineering and Management
• /
• v.11 no.4
• /
• pp.68-79
• /
• 2010

During the last two decades, several tele-operated and machine-vision-assisted systems have been developed in construction and maintenance area such as pavement crack sealing, sewer pipe rehabilitation, and excavation. In developing such tele-operated and machine-vision-assisted systems, trajectory plans are very important tasks for optimal motions of robots whether their environments are structured or unstructured. This paper presents an optimal trajectory planning algorithm used for a machine-vision-assisted automatic pavement crack sealing system. In this paper, the performance of the proposed optimal trajectory planning algorithm is compared with the greedy trajectory plans which are used in previously developed pavement crack sealing systems. The comparison is based on computational cost versus overall gains in crack sealing efficiency. Finally, it is concluded that the proposed algorithm plays an important role in productivity improvement of the automatic pavement crack sealing system developed.

• 유체기계공업학회:학술대회논문집
• /
• 2000.12a
• /
• pp.278-282
• /
• 2000

상온 기체 유량 표준 시스템에서 물을 실링액으로 사용하는 습식 가스미터의 성능시험을 하였다. 습식 가스미터의 출구에서 습도를 측정하여 이를 보정에 사용하였다. 보정의 결과로 습식 가스미터가 가지고 있던 오차가 현저히 감축되는 것으로 보아 수분이 습식 가스미터의 성능에 지대한 영향을 미치는 것으로 본 실험에서 보여졌다. 이 결과로서 습식 가스미터의 성능 향상 및 국내 기술 개발에 유용한 데이터로 사용될 수 있을 것으로 기대된다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2004.05a
• /
• pp.741-744
• /
• 2004

원격 교육시스템의 구현은 인터넷의 기술의 급격한 발전과 함께 활발하게 연구가 진행 되고 있다. 공학 분야에서 원격 교육시스템을 구현하는데 가장 큰 제약사항은 하드웨어의 제어이다. 본 연구에서는 8051 원격 컴파일 시스템을 구현하였으며, 시스템의 구성은 학습자가 웹에서 8051실습 키트를 직접 제어해보며 학습하도록 할 것이다. 학습자는 C언어와 어셈블리어로 8051제어 소스를 작성하고 작성된 소스 파일을 서버에 업로드 하여 컴파일 및 링크할 수 있다 이 과정을 통해 생성된 실행파일을 서버에 연결되어있는 8051 실습키트에 다운로드하여 실행하도록 구현하였다. 또한, 실링 결과의 확인은 웹 카메라를 통해 학습자의 PC에 영상데이터를 전송하여 8051키트의 동작을 학습자들이 확인하게 된다.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.7 no.5
• /
• pp.1053-1059
• /
• 2012

Barcode labels are being widely used for identifying products since they are cheap and easy to use. As the barcode labels are massively produced by seal printing, some labels have defects such as poor printing quality or data mismatch between barcode and the text. Barcode read errors and business errors caused by defected barcodes result in delay in logistics and increased processing costs. In this paper, we propose an on-line barcode verification system that uses image processing technique to verify the quality of labels at the production stage. The proposed system captures label images through the vision camera and then checks the print quality and verifies the combination of barcodes and texts in a label. If any defected label is found, the proposed system gives alarm signals and marks the defected labels so that they are removed at early stage of the production.