• 정보처리학회논문지D
• /
• 제17D권1호
• /
• pp.41-52
• /
• 2010

생성된 테스트 케이스와 요구사항과의 연관관계가 중요하지만, 모델을 이용한 테스트 케이스 자동생성에서는 모델이 요구사항과 m:n의 관계를 맺기 때문에 테스트 케이스와 요구사항과의 관계도 매우 복잡해진다. 본 논문에서는 1:1 모델링 도구인 REED(REquirement EDitor)를 이용하여 테스트 케이스를 생성하는 방법에 대하여 기술한다. 테스트 케이스는 커버리지 타겟 생성, IORT(Input Output Relation Tree) 생성, 테스트 케이스 생성의 3단계를 거치며, 모든 단계는 자동으로 진행된다. 생성된 테스트 케이스는 하나의 요구사항에서 생성될 수 있으며 실제 시스템에 적용한 결과, 온도조절장치 경우는 5,566개, 버스카드 단말기의 경우는 3,757개, 굴착기 제어기는 4,611개의 테스트 케이스가 생성되었다.

• Journal of electromagnetic engineering and science
• /
• 제3권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.

• 한국가구학회지
• /
• 제21권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.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 하계학술대회 논문집 G
• /
• 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.

• 한국산림과학회지
• /
• 제5권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)
• /
• 제9권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.

• 한국정밀공학회지
• /
• 제25권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.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 춘계학술발표대회
• /
• pp.903-906
• /
• 2004

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

• 한국실내디자인학회논문집
• /
• 제16권2호
• /
• 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.

• 제어로봇시스템학회논문지
• /
• 제20권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.