• Journal of KIISE:Software and Applications
• /
• v.34 no.8
• /
• pp.721-730
• /
• 2007

UML (Unified Modeling Language) is widely used to analyze and design target software. Developers also implement the target software based on the UML artifacts. However, it is difficult to validate whether the artifacts are generated to correspond to the modeling guidelines because the guidelines for UML modeling are described in natural language. This paper discusses rule based model checker focused on whether models are designed according to modeling methodology. We propose rules and their own checker, named GARDIAN, for UML model validation. The checkers are designed for COMET method for the real-time embedded system. We illustrate our checkers using Intelligent Robot system to validate our approach.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.4
• /
• pp.51-58
• /
• 2008

In this paper, we propose a place modeling based on the distribution of scale-invariant features, and a place recognition method that recognizes places by comparing the place model in a database with the extracted features from input data. The proposed method is based on the assumption that every place can be represented by unique feature distributions that are distinguishable from others. The proposed method uses global information of each place where one place is represented by one distribution model. Therefore, the main contribution of the proposed method is that the time cost corresponding to the increase of the number of places grows linearly without increasing exponentially. For the performance evaluation of the proposed method, the different number of frames and the different number of features are used, respectively. Empirical results illustrate that our approach achieves better performance in space and time cost comparing to other approaches. We expect that the Proposed method is applicable to many ubiquitous systems such as robot navigation, vision system for blind people, wearable computing, and so on.

• 전자공학회논문지 IE
• /
• v.46 no.2
• /
• pp.33-45
• /
• 2009

In this paper, the implementation of the backward movement control of a truck-trailer type mobile robot using fuzzy model based control scheme considering the practical constraints, computing time-delay and quantization is presented. We propose the fuzzy feedback controller whose output is delayed with unit sampling period and predicted. The analysis and the design problem considering the computing time-delay become very easy because the proposed controller is syncronized with the sampling time. Also, the stability analysis is made when the quantization exists in the implementation of the fuzzy control architectures and it is shown that if the trivial solution of the fuzzy control system without quantization is asymptotically stable, then the solutions of the fuzzy control system with quantization are uniformly ultimately bounded. The experimental results are shown to verify the effectiveness of the proposed scheme.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.1
• /
• pp.135-145
• /
• 2000

Manufacturing Message Specification (MMS) is designed as a communication standard protocol, ISO/IEC 9506, on factory automation for messaging between heterogeneous programmable unit controller, PLC, NC, Robot, of different vendors on the networks. MMS is also a standard protocol of OSI reference model application layer, In this paper, we show an implementation of MMS over TCP/IP using ANSI-C programming language on the unix environment, and make java classification using java native interface (NJI) with MMS library. The use of java classification provides a basic environment ot overcome a difficult programming with different MMS application programming interface (MMS-I) which requires a siklled programming technique of graphic user interface (GUI). In this paper, we implement a MMS application program of the automated assembly model for printed circuit board based on WWW which shows the operation, control and monitoring of real manufacturing device (RMD) with web browser providing users for consistent user interface.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.33 no.2
• /
• pp.631-642
• /
• 2013

The standard CPT(Cone Penetration Test), which can be easily performed to investigate in-situ soil engineering properties, has been widely used. CPT are also widely being utilized in centrifuge model tests. In this study, a miniature cone with 10mm diameter was developed and its applicability in the centrifuge was evaluated. The developed miniature cone was equipped with a four degree-of-freedom in-flight robot. A series of cone penetration tests was performed under four centrifuge acceleration levels. As results, the cone resistances measured at the same confining stress within shallow penetration depth were affected by the centrifugal accelerations. The critical depth was proportional to the cone diameter and relative density. Cone resistances results below the critical depth and soil parameters obtained from the laboratory tests were compared with those by previously proposed empirical relations.

• Korean Journal of Agricultural Science
• /
• v.47 no.2
• /
• pp.205-217
• /
• 2020

In this study, a deep learning-based tillage boundary detection method for autonomous tillage by a tractor was developed, which consisted of image cropping, object classification, area segmentation, and boundary detection methods. Full HD (1920 × 1080) images were obtained using a RGB camera installed on the hood of a tractor and were cropped to 112 × 112 size images to generate a dataset for training the classification model. The classification model was constructed based on convolutional neural networks, and the path boundary was detected using a probability map, which was generated by the integration of softmax outputs. The results show that the F1-score of the classification was approximately 0.91, and it had a similar performance as the deep learning-based classification task in the agriculture field. The path boundary was determined with edge detection and the Hough transform, and it was compared to the actual path boundary. The average lateral error was approximately 11.4 cm, and the average angle error was approximately 8.9°. The proposed technique can perform as well as other approaches; however, it only needs low cost memory to execute the process unlike other deep learning-based approaches. It is possible that an autonomous farm robot can be easily developed with this proposed technique using a simple hardware configuration.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.2
• /
• pp.195-199
• /
• 2005

Semi automatic welding method to use carriage for welding at large size block manufacture welding process of present shipbuilding industry is used much. Carriage is device that transfer welding torch in horizontal fillet weld here, but because it is no function that chase welding like robot welding method, use can be impossible in curved line welding, and simply use in straight line welding. Also, because it is no function that chase welding, though welding mistake corrects this happening often in straight line welding, much times and expense are cost. Added welding chase sensor and 80C196KC microcontroller that use strain gauge to carriage that is using present in paper that see hereupon and manufacture a private line model and container box model welding because developing system that can chase welding automatically straight line and curved line welding establishing and investigate about chase phenomenon.

• Journal of Broadcast Engineering
• /
• v.28 no.2
• /
• pp.178-184
• /
• 2023

Finding texts in general scene images and recognizing their contents is a very important task that can be used as a basis for robot vision, visual assistance, and so on. However, for the low-resolution text images, the degradations, such as noise or blur included in text images, are more noticeable, which leads to severe performance degradation of text recognition accuracy. In this paper, we propose a new Korean text image super-resolution based on a Transformer-based model, which generally shows higher performance than convolutional neural networks. In the experiments, we show that text recognition accuracy for Korean text images can be improved when our proposed text image super-resolution method is used. We also propose a new Korean text image dataset for training our model, which contains massive HR-LR Korean text image pairs.

• Journal of Korean Society for Quality Management
• /
• v.52 no.1
• /
• pp.95-113
• /
• 2024

Purpose: This study focused on the societal changes associated with the entry into an ultra-aged society and the increase in single-person households. The core objective of this research is to investigate how social intelligent robots can bring about positive changes in the lives of individuals in single-person households and how such changes influence user satisfaction and the intention to use these robots. Methods: The study employed a cross-sectional analysis using a structural equation model. A survey designed to assess the impact of social intelligent robots' characteristics, such as perceived encouragement, empathy, presence, appearance, and attachment, on user satisfaction and usage intentions was conducted. Data were collected from a total of 335 users and analyzed using the structural equation model. Results: In the characteristics of social intelligent robots for single-person households, it was found that empathy, presence, and attachment significantly influenced satisfaction, while perceived encouragement, empathy, and attachment significantly influenced usage intentions. The research results indicate differences between enhancing user satisfaction and increasing the intention to use social intelligent robots. The findings suggest the essential need for a user-centric approach in the design and development of social intelligent robots. Additionally, it was observed that emotional support plays a crucial role in users' experiences with social intelligent robots. Conclusion: This study verified the impact of social intelligent robots on satisfaction and usage intentions based on users' experiences. It examined the influence of linguistic, visual, and personal characteristics of robots on user experiences, providing insights into how technological and human aspects of social intelligent robots interact to shape user satisfaction and usage intentions. Consequently, the study confirmed that social intelligent robots can bring positive changes to human life, emphasizing the necessity for the advancement of robot technology in a human-centric direction.

• The KIPS Transactions:PartB
• /
• v.17B no.1
• /
• pp.47-54
• /
• 2010

Old archived film shows two major defects: line scratch and blobs. In this paper, we present a design and implementation of an automatic video restoration system for line scratches observed in archived film. We use autoregressive (AR) image model because we can make stochastic and specifically autoregressive image generation process with our PAST-PRESENT model and Sampling Pattern. We designed locality maximizing scanning pattern, which can generate nearly stationary time-like series of pixels, which is a strong requirement for a stochastic series to be autoregressive. The sampled pixel series undergoes filtering and model fitting using Durbin-Levinson algorithm before interpolation process. We designed three-stage film restoration system, which includes (1) film acquisition from VHS tapes, (2) simple line scratch detection and restoration, and (3) manual blob identification and sophisticated inpainting scheme. We implemented film acquisition and simple inpainting scheme on Texas Instruments DSP board TMS320DM642 EVM, and implemented our AR inpainting scheme on PC for sophisticated restoration. We experimented our scheme with two old Korean films: "Viva Freedom" and "Robot Tae-Kwon-V", and the experimental results show that our scheme improves Bertalmio's scheme for subjective quality (MOS), objective quality (PSNR), and especially restoration ratio (RR), which reflects how much similar to the manual inpainting results.