• Journal of Information Processing Systems
• /
• v.15 no.3
• /
• pp.570-592
• /
• 2019

The Event-B design pattern is an excellent way to quickly develop a formal model of the system. Researchers have proposed a number of Event-B design patterns, but they all lack formal behavior semantics. This makes the analysis, verification, and simulation of the behavior of the Event-B model very difficult, especially for the control-intensive systems. In this paper, we propose a novel method to transform the Event-B synchronous control flow design pattern into the labeled transition system (LTS) behavior model. Then we map the design pattern instantiation process of Event-B to the instantiation process of LTS model and get the LTS behavior semantic model of Event-B model of a multi-level complex control system. Finally, we verify the linear temporal logic behavior properties of the LTS model. The experimental results show that the analysis and simulation of system behavior become easier and the verification of the behavior properties of the system become convenient after the Event-B model is converted to the LTS model.

• Journal of Sensor Science and Technology
• /
• v.25 no.4
• /
• pp.285-290
• /
• 2016

Human sensing is an important but challenging technology. Unlike other methods for sensing humans, a vision sensor has many advantages, and there has been active research in automatic human detection in camera images. The combination of Histogram of Oriented Gradients (HOG) and Support Vector Machine (SVM) is currently one of the most successful methods in vision-based human detection. However, extracting HOG features from an image is computer intensive, and it is thus hard to employ the HOG method in real-time processing applications. This paper describes an efficient solution to this speed problem of the HOG method. Our method obtains edge information of an image and finds candidate regions where humans very likely exist based on the distribution pattern of the detected edge points. The HOG features are then extracted only from the candidate image regions. Since complex HOG processing is adaptively done by the guidance of the simpler edge detection step, human detection can be performed quickly. Experimental results show that the proposed method is effective in various images.

• The KIPS Transactions:PartA
• /
• v.13A no.6 s.103
• /
• pp.517-524
• /
• 2006

In cluster computers, it is essential to Implement the single I/O space(SIOS) supporting integrated I/O substructure to efficiently process I/O intensive applications. SIOS service provides with global I/O address space to directly access peripherals and hard disks in its own or remote nodes from any node in the cluster computer In this thesis, we propose the implementation method of SIOS in Linux clusters by using only freewares. This method is implemented at device driver level that uses Enhanced Network Block Device(ENBD) and file system level that uses S/W RAID and NFS. The major strengths of this method are easiness of implementation and almost no cost due to using freewares. In addition, since freewares used are open sources, it is possible to apply this method to other platforms with only slight modification. Moreover, experiments show that I/O throughputs are up to 5.5 times higher in write operations and approximately 2.3 times higher in read operations than those of CDD method that uses the device driver developed at kernel level.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.1482-1485
• /
• 2005

An equivalent schema matching among several different source schemas is very important for information integration or mining on the XML based World Wide Web. Finding most similar source schema corresponding mediated schema is a major bottleneck because of the arbitrary nesting property and hierarchical structures of XML DTD schemas. It is complex and both very labor intensive and error prune job. In this paper, we present the first complex matching of XML schema, i.e. XML DTD, inlining two dimensional DTD graph into flat feature values. The proposed method captures not only schematic information but also integrity constraints information of DTD to match different structured DTD. We show the integrity constraints based hierarchical schema matching is more semantic than the schema matching only to use schematic information and stored data.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.24 no.4
• /
• pp.719-726
• /
• 1987

In this paper, an adaptive IIR (infinite impulse response) notch filter of lattice type is constructed and its adaptation algorithm is proposed for the detection and retrieval of a sine wave signal embedded in noise. A modified method which adapts only one coefficient of the filter is also suggested. All these methods adapt the coefficients while keepting the poles of the filter inside the unit circle on z-plane, and thus they satisfy the condition on the stability of the IIR filter after it has converged. To investigate the convergence characteristics of these methods such as convergence speed and output S/N ratio, intensive computer simulation has been performed by varying the frequency of the sine wave and the input S/N ratio. And the results of the simulation have been compared to those of Rao and Kung's which shows relatively fast convergence speed. The methods proposed here, especially the second one. shows faster convergence speed and higher output S/N ratio than the Rao and Kung's.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.9 no.2
• /
• pp.152-167
• /
• 2001

Recently safety systems for the commercial vehicle have been rapidly developed. However, we still have many problems in the vehicle stability and the braking performance. Especially, a commercial vehicle may meet a dangerous braking condition when the vehicle is lightly loaded or empty and when the road is wet or slippery. Under these conditions, the truck can spin out or the tractor can jackknife or the trailer can swing out. To design the air brake system for the commercial vehicle, since the air brake system has many design variables, there must have been intensive researches on a method how to prevent dynamic instability and how to maximize the vehicle deceleration. In this study, mathematical models about the tractor-semitrailer and the air brake system including an ABS controller have been constructed for computer simulation. Also, simple examples are applied to show the usefulness of the program. Designers can use this simulation program for understanding the braking characteristics such as trajectory, braking distance, longitudinal deceleration, lateral deceleration, and yaw rate on various road conditions.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.3 no.1
• /
• pp.32-36
• /
• 2003

An equivalent schema matching among several different source schemas is very important for information integration or mining on the XML based World Wide Web. Finding most similar source schema corresponding mediated schema is a major bottleneck because of the arbitrary nesting property and hierarchical structures of XML DTD schemas. It is complex and both very labor intensive and error prune job. In this paper, we present the first complex matching of XML schema, i.e. XML DTD. The proposed method captures not only schematic information but also integrity constraints information of DTD to match different structured DTD. We show the integrity constraints based hierarchical schema matching is more semantic than the schema matching only to use schematic information and stored data.

• Communications for Statistical Applications and Methods
• /
• v.11 no.3
• /
• pp.643-655
• /
• 2004

L$_1$-estimator in the linear regression model is widely recognized to have superior robustness in the presence of vertical outliers. While the L$_1$-estimation procedures and algorithms have been developed quite well, less progress has been made with the hypothesis test in the multiple L$_1$-regression. This article suggests computer-intensive resampling approaches, jackknife and bootstrap methods, to estimating the variance of L$_1$-estimator and the scale parameter that are required to compute the test statistics. Monte Carlo simulation studies are performed to measure the power of tests in small samples. The simulation results indicate that bootstrap estimation method is the most powerful one when it is employed to the likelihood ratio test.

• Smart Media Journal
• /
• v.7 no.4
• /
• pp.37-43
• /
• 2018

Most of fruit quality classification has been done by time consuming, inaccurate and intensive manual labor. This study proposed an automated fruit grading system based on appearances and internal flavors. In this study, image processing technique and a weight checker were used to measure the value of appearance features and the near infrared spectroscopy analysis method was used to estimate the value of internal flavors. Additionally, I suggested 8x8x5x5 ANN based fruit quality classifier model to grade fruits quality. The proposed automated fruit quality classification system is expected to be very beneficial for many farms where heavy manual labor is usually needed for fruit quality classification.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.6 s.38
• /
• pp.167-176
• /
• 2005

The software architecture is an essential part of a software-intensive system. In addition, the architecture evaluation is a very important process and a cheap way to avoid a software disaster. This article introduces a new method to evaluate architecture by maturity levels. Maturity Models which are about software and software process, have gained wide scale acceptance over the last decade. We are applying these techniques to the software architecture and propose SW(Software Architecture Maturity appraisal Model). SAMM consists of six-levels. We expect that our maturity model SAMM describe the requirements that any architecture must have in order to improve its software architecture design and constitute a proven architecture within which to manage the improvement efforts. We can reduce our effort to design architecture, have a guideline to construct the high qualify architecture with SAMM, and evaluate architecture and make architecture level.