• The KIPS Transactions:PartD
• /
• v.17D no.1
• /
• pp.41-52
• /
• 2010

A relation between generated test cases and an original requirement is important, but it becomes very complex because a relation between requirement models and requirements are m-to-n in automatic test case generation based on models. In this paper, I suggest automatic generation technique for REED (REquirement EDitor), 1-to-1 requirement modeling tool. Test cases are generated though 3 steps, Coverage Target Generation, IORT (Input Output Relation Tree)Generation, and Test Cases Generation. All these steps are running automatically. The generated test cases can be generated from a single requirement. As a result of applying to three real commercial systems, there are 5566 test cases for the Temperature Controller, 3757 test cases for Bus Card Terminal, and 4611 test cases for Excavator Controller.

• Journal of electromagnetic engineering and science
• /
• v.3 no.1
• /
• pp.39-44
• /
• 2003

An unconditionally stable compact 2D Alternating-Direction Implicit (ADI) FDTD method for calculating dispersion characteristics of waveguide structures is proposed. The numerical stability and numerical dispersion relation of the proposed method are also presented and discussed. Numerical wavelengths for the dominant and higher order modes in a hollow waveguide are obtained from numerical simulations and compared with those from the analytical dispersion relation. The numerical results show that the proposed scheme has the potential to successfully analyze a class of waveguides having locally fine geometry with reduced numerical costs.

• Journal of the Korea Furniture Society
• /
• v.21 no.1
• /
• pp.40-53
• /
• 2010

The purpose of this study was verified the effect of analyzed emotional factors and compare with competed design proposals of G and D public exhibition to plan the public exhibition applied emotional marketing which strengthen the effect with touching the emotion. The results are first, public consumer preferred to experience 5 senses and gives a positive effect, second, preference according to factor of scene gives differences by ages, but various ages preferred to experience the factor of scene, third the result of analyze the relation between preference of scene and 3 groups of 5 senses, which is high, middle, and low preferred had significant relation, and fourth, public consumer preferred to several levels of exhibition than only one level, the space preferred was 'experiencing' space.

• Proceedings of the KIEE Conference
• /
• 1998.07g
• /
• pp.2461-2463
• /
• 1998

The container crane is more expensive than other cranes, and is designed for efficient use. Since there are more control variables than other crane has more fault factors. Therefore it is important to reduce these factors efficiently and also to increase the capacity to move more freight in due time. To solve the above problems the velocity relation of the motor will be examined. In this paper the velocity relation of the motor will be expressed in a mathematical equations for efficient control.

• Journal of Korean Society of Forest Science
• /
• v.5 no.1
• /
• pp.27-32
• /
• 1966

Taking an opportunity of the application of clearcutting method, 140 red pine (Pinus densiflora Sieb. et Zucc.) trees grown at Chon-nam province, the southern part of South Korea, were fellen and the tree height, clear-bole length, D.B.H. diameter at base(0.2m above from the ground line) and the length of the longest branch were measured. The correlation between factors mentioned were analysed. The results are summarized as follows: 1. The correlation between crown length and tree height (r=0.821) was sinificant. 2. The correlation between the diameter at base and D.B.H. was highly significant (r=0.961). D.B.H. can be calculated from multiplying the diameter at base by 0.88. 3. A weak relation between D.B.H and tree height was abserved. 4. The positive correlation between tree height and clear-bole-length was calculated, but it was not sharp between D.B.H. and the length of the longest branch. 5. The height, basal area, D.B.H. and volume increment by tree class calculated from the data of the stem analysis are presented (Tab. 3~10).

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.12
• /
• pp.4934-4949
• /
• 2015

The unstable characteristic values of communication signals along with the varying SNR (Signal Noise Ratio) environment make it difficult to identify the modulations of signals. Most of relevant literature revolves around signal recognition under stable SNR, and not applicable for signal recognition at varying SNR. To solve the problem, this research developed a novel communication signal recognition algorithm based on Holder coefficient and cloud theory. In this algorithm, the two-dimensional (2D) Holder coefficient characteristics of communication signals were firstly calculated, and then according to the distribution characteristics of Holder coefficient under varying SNR environment, the digital characteristics of cloud model such as expectation, entropy, and hyper entropy are calculated to constitute the three-dimensional (3D) digital cloud characteristics of Holder coefficient value, which aims to improve the recognition rate of the communication signals. Compared with traditional algorithms, the developed algorithm can describe the signals' features more accurately under varying SNR environment. The results from the numerical simulation show that the developed 3D feature extraction algorithm based on Holder coefficient cloud features performs better anti-noise ability, and the classifier based on interval gray relation theory can achieve a recognition rate up to 84.0%, even when the SNR varies from -17dB to -12dB.

• Journal of the Korean Society for Precision Engineering
• /
• v.25 no.7
• /
• pp.103-110
• /
• 2008

This paper presents a new approach of recognizing a 3D object using a single camera, based on the extended convex hull of its silhouette. It aims at minimizing the DB size and simplifying the processes for matching and feature extraction. For this purpose, two concepts are introduced: extended convex hull and measurable region. Extended convex hull consists of convex curved edges as well as convex polygons. Measurable region is the cluster of the viewing vectors of a camera represented as the points on the orientation sphere from which a specific set of surfaces can be measured. A measurable region is represented by the extended convex hull of the silhouette which can be obtained by viewing the object from the center of the measurable region. Each silhouette is represented by a relation graph where a node describes an edge using its type, length, reality, and components. Experimental results are included to show that the proposed algorithm works efficiently even when the objects are overlapped and partially occluded. The time complexity for searching the object model in the database is O(N) where N is the number of silhouette models.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.903-906
• /
• 2004

D-클래스는 원소가 0과 1값을 가지는 $n{\times}n$ 불리언 행렬에서 특정 관계(relation)에 따라 동치(equivalent) 관계에 있는 $n{\times}n$ 행렬의 집합을 의미한다. D-클래스의 계산은 NP-완전 문제로서 보안에 응용될 수 있는 가능성을 가지고 있으나 계산 복잡도로 인해 현재 극히 제한된 크기의 행렬에 대한 D-클래스만이 알려져 있다. 본 논문은 이러한 D-클래스의 계산을 효율적으로 할 수 있는 알고리즘의 설계와 실행 결과에 대하여 논한다.

• Korean Institute of Interior Design Journal
• /
• v.16 no.2 s.61
• /
• pp.79-86
• /
• 2007

The recent works of architecture and interior design take on too various aspects to be classified as a trend or tendency. Many subjects, seeking the superiority between form and function in space which was the issue of Modernism, got to face the works which transcend the limitation of architecture due to the development of a variety of media and technology these days. In result, we could see the works which are to be Included into the category of art rather than architecture. This study starts from the thought that the common aspects of these works are based on the strangeness to pursue uniqueness, peculiarities or novelty. 'The subject of this study, $'D\acute{e}paysement'$, creates a new relation, disconnected from customs, to an architecture which became familiar through defragment, fixation and abstraction by the habitual relation and makes it reborn as an architecture which gives us a fantasy and a pleasure, by converting into the shape and image which are different from its original shape when a stimulus is given to an architecture. This study starts from the artistic aspect which has a close correlation with the architecture. The subject, $'D\acute{e}paysement'$ could be historically considered in two aspects - $D\acute{e}paysement$ of Surrealism which developed in paintings and Defamiliarization of Russian Formalism in the area of literature. This study is carried in a category of $D\acute{e}paysement$, focusing on the visual aspect of the architecture. This study is composed as follows: In chapter 2, a theoretical research is performed according to the definition and meaning of the $D\acute{e}paysement$ expression techniques, its origination and evolution, and type classification by the features of expression techniques in the era of Surrealism when $D\acute{e}paysement$ developed most vigorously in the area of art. In chapter 3, the system which formalizes the expression method of the techniques is presented, focusing on the case analysis of the artistic works according to the types of $D\acute{e}paysement$. In chapter 4, the application of the expression techniques of $D\acute{e}paysement$ is discussed by conducting cases analysis of the modern interior design.

• Journal of Institute of Control, Robotics and Systems
• /
• v.20 no.2
• /
• pp.218-222
• /
• 2014

In this paper, we introduce an autonomous calibration method for a 2D laser displacement sensor (e.g. laser vision sensor and laser range finder) by matching a single point on a flat structure. Many arc welding robots install a 2D laser displacement sensor to expand their application by recognizing their environment (e.g. base metal and seam). In such systems, sensing data should be transformed to the robot's coordinates, and the geometric relation (i.e. rotation and translation) between the robot's coordinates and sensor coordinates should be known for the transformation. Calibration means the inference process of geometric relation between the sensor and robot. Generally, the matching of more than 3 points is required to infer the geometric relation. However, we introduce a novel method to calibrate using only 1 point matching and use a specific flat structure (i.e. circular hole) which enables us to find the geometric relation with a single point matching. We make the rotation component of the calibration results as a constant to use only a single point by moving a robot to a specific pose. The flat structure can be installed easily in a manufacturing site, because the structure does not have a volume (i.e. almost 2D structure). The calibration process is fully autonomous and does not need any manual operation. A robot which installed the sensor moves to the specific pose by sensing features of the circular hole such as length of chord and center position of the chord. We show the precision of the proposed method by performing repetitive experiments in various situations. Furthermore, we applied the result of the proposed method to sensor based seam tracking with a robot, and report the difference of the robot's TCP (Tool Center Point) trajectory. This experiment shows that the proposed method ensures precision.