• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.12
• /
• pp.653-662
• /
• 2016

This paper describes a test case generation algorithm for Simulink/Stateflow models based on the Rapidly exploring Random Tree (RRT) algorithm that has been successfully applied to path finding. An important factor influencing the performance of the RRT algorithm is the metric used for calculating the distance between the nodes in the RRT space. Since a test case for a Simulink/Stateflow (SL/SF) model is an input sequence to check a specific condition (called a test target in this paper) at a specific status of the model, it is necessary to drive the model to the status before checking the condition. A status maps to a node of the RRT. It is usually necessary to check various conditions at a specific status. For example, when the specific status represents an SL/SF model state from which multiple transitions are made, we must check multiple conditions to measure the transition coverage. We propose a unique distance calculation metric, based on the observation that the test targets are gathered around some specific status such as an SL/SF state, named key nodes in this paper. The proposed metric increases the probability that an RRT is extended from key nodes by imposing penalties to non-key nodes. A test case generation algorithm utilizing the proposed metric is proposed. Three models of Electrical Control Units (ECUs) embedded in a commercial vehicle are used for the performance evaluation. The performances are evaluated in terms of penalties and compared with those of the algorithm using a typical RRT algorithm.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.38 no.3
• /
• pp.185-197
• /
• 2001

Recently, the design method by VHDL coding and synthesis has been used widely. As the integration ratio increases, the amount design by VHDL at a time also increases so many coding errors occur in a design. Thus, lots of time and effort is dissipated to detect those coding errors. This paper proposed a method to verify the coding errors in VHDL behavioral-level designs. As the methodology, we chose the method to detect the coding error by applying the generated set of verifying patterns and comparing the responses from the error-free case(gold unit) and the real design. Thus, we proposed an algorithm to generate the verifying pattern set for the coding errors. Verifying pattern generation is peformed for each code and the coding errors are classified as two kind: condition errors and assignment errors. To generate the patterns, VHDL design is first converted into the corresponding CDFG(Control & Data Flow Graph) and the necessary information is extracted by searching the paths in CDFG. Path searching method consists of forward searching and backward searching from the site where it is assumed that coding error occurred. The proposed algorithm was implemented with C-language. We have applied the proposed algorithm to several example VHDL behavioral-level designs. From the results, all the patterns for all the considered coding errors in each design could be generated and all the coding errors were detectable. For the time to generate the verifying patterns, all the considered designed took less than 1 ［sec］ of CPU time in Pentium-II 400MHz environments. Consequently, the verification method proposed in this paper is expected to reduce the time and effort to verify the VHDL behavioral-level designs very much.

• Korean Journal of Environment and Ecology
• /
• v.33 no.6
• /
• pp.734-747
• /
• 2019

This study surveyed the visitors to the Seoseokdae Peak of the Mudeungsan National Park, to analyze the factors that affected user behavior, perception of the National Park, and satisfaction with the visit and establish the strategy for the management of the Mudeungsan National Park. The analysis result showed that Gwangju residents (78.1%) accounted for the majority of the visitors to the Seoseokdae Peak and that the Mudeungsan National Park showed the attributes of both mountain type and suburb type. Most visitors (91.2%) perceived that columnar joints, including the Seoseokdae Peak, possessed the largest resource value in the Mudeungsan National Park, and the visitors showed concern over the potential damage to vegetation in the Seoseokdae Peak as the result of the overcrowded visitors. Over half of the visitors showed a positive response to the measures like partially restricted access or detour of mountain path to preserve and restore the Seoseokdae Peak. The total visitors and the regional visitors (residents of Gwangju, Damyang, and Hwasun), indicated that the facility management aimed at facilitating visitor experience affected the most on the satisfaction with park management. Moreover, the regional visitors answered that the visit management to control disorder and overcrowding would increase satisfaction. The result of the importance-satisfaction analysis showed a difference between the total visitors and the regional visitors in needed improvements as the total visitors believed that "amenities and information facilities" should be improved while the regional visitors believed that the focus should be on the "prevention of illegal and disorderly behaviors" and the "amenities and information facilities."

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.27 no.5
• /
• pp.337-343
• /
• 2014

This paper presents a continuum-based shape design sensitivity analysis(DSA) method for crack propagation problems using a reproducing kernel method(RKM), which facilitates the remeshing problem required for finite element analysis(FEA) and provides the higher order shape functions by increasing the continuity of the kernel functions. A linear elasticity is considered to obtain the required stress field around the crack tip for the evaluation of J-integral. The sensitivity of displacement field and stress intensity factor(SIF) with respect to shape design variables are derived using a material derivative approach. For efficient computation of design sensitivity, an adjoint variable method is employed tather than the direct differentiation method. Through numerical examples, The mesh-free and the DSA methods show excellent agreement with finite difference results. The DSA results are further extended to a shape optimization of crack propagation problems to control the propagation path.

• The Journal of the Korea Contents Association
• /
• v.12 no.5
• /
• pp.415-430
• /
• 2012

Under fastly moving businese circumstance, it is very important to retain par excellence human resource and innovation. The purpose of this study is to find out casual relationship among self-efficacy, job embeddedness, innovative behavior, and organizational citizenship behavior, which is dependent variable. With the help of information technology. To verify hypotheses such statistical analyses as factor analysis, reliability test, and path analysis by AMOS 18.0. The population of this study is employees of super deluxe hotels in korea and they are divided into two categories such as front-of-the-house and back-of-the-house respectively with same numbers. In case of mutual relationship between self-efficacy and innovative behavior, self-control and task difficultness factors significantly influence innovative behavior in case of front-of-the house employees and vice-versa in those of back-of-the-house. In case of interactive relationship between self-efficacy and organizational citizenship behavior, slightly different results are revealed between front-and back-of-the-house employees, employees, i.e. all factors are significantly related in former but not in latter.

• Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
• /
• 2003.04a
• /
• pp.51-55
• /
• 2003

본 연구는 조사대상지역인 전라남도 해남군 전역에 대해 현장조사된 지질 및 지하수 양수량 자료등과 같은 수리정보를 종합적으로 분석하고 이를 Landsat 영상자료과의 영상융합 과정을 통해 지하수 부존가능성에 대한 수리 지질 지표정보로 추출함으로서 지하수 특성정보를 위성영상정보와 연계하여 효과적으로 도시하고자 하였다. 현장조사시 획득된 자료는 해남지역을 11개 소유역으로 구분한 후 각 구역에 대한 2000여개 관점에서 측정된 양수량과 안정지하수위를 이용하여 산출한 비용출량 자료(groundwater specific capacity)와 각 소 유역 (unit watershed)에 대한 선구조 분석자료, 지질별 분포, 정밀고도자료를 추출하여 산출한 고도, 경사도 분포, 수계패턴과 수계밀도로서 이를 통합적으로 분석하여 해남지역에 대한 지하수 특성을 파악하고자 하였다. 위성영상자료의 처리과정은 Landsat 5 TM 영상자료는 '86. 12. 11 및 '98. 12. 28에 촬영된 WRS(World Reference System) Row-Path116-36로서, 1986년 영상은 12년 차이의 해남의 변화지역을 탐지하기 위한 영상자료로서 활용하였으며 98년 영상을 주요 분석 자료로 이용하였으며 지표 이용정보 추출은 크게 수역추출, 식생분포추출, 지표분류도, 변화탐지영역추출로 구분된다. 본 연구방법은 크게 위성영상분석을 통해 추출된 정보와 지표조사를 통해 획득된 선구조 및 지하수 정보를 Data fusion 방식으로 이용되고 있는 IHS 변환 기법을 통해 본 역에 대한 지하수 정보 및 간척지 등에 의한 지표 개발에 따른 지하수 부존 가능성을 탐색하기 위한 현황을 효과적인 자료로 표현하고자 하였다.및 스페클 잡영 제거 정도에 있어 다른 필터들과 큰 차이가 없지만 경계선보존지수는 다른 필터들에 비하여 가장 우수함을 확인할 수 있었다.rbon 탐식효율을 조사한 결과 B, D 및 E 분획에서 유의적인 효과를 나타내었다. 이상의 결과를 종합해볼 때, ${\beta}$-glucan은 고용량일 때 직접적으로 또는 $IFN-{\gamma}$ 존재시에는 저용량에서도 복강 큰 포식세로를 활성화시킬 뿐 아니라, 탐식효율도 높임으로써 면역기능을 증진 시키는 것으로 나타났고, 그 효과는 crude ${\beta}$-glucan의 추출조건에 따라 달라지는 것을 알 수 있었다.eveloped. Design concepts and control methods of a new crane will be introduced in this paper.and momentum balance was applied to the fluid field of bundle. while the movement of′ individual material was taken into account. The constitutive model relating the surface force and the deformation of bundle was introduced by considering a representative prodedure that stands for the bundle movement. Then a fundamental equations system could be simplified considering a steady state of the process. On th

• Journal of Korean Society of Transportation
• /
• v.22 no.7 s.78
• /
• pp.91-98
• /
• 2004

This study focuses on the development of dynamic assignment for evaluation and application for dynamic route guidance strategy. Travelers are classified according to information contents which they received pre/on trip. The first group have no traffic information, so they travel with fixed route. The second group have real-time shortest path and travel according to it. The last group have car navigation system or individual method(cellular phone, PDA-two way communication available) for traffic information on trip. And then they are assigned in accordance with the proposed multiclass dynamic assignment model. At this time the last group is gotten under control with DFS(decentralized feedback strategy). In use of this Process we expect that various traffic information strategy can be tested and also be the key factor for success of ITS, location of VMS(variable message sign), cycle of information, area of traffic information, etc).

• Journal of IKEEE
• /
• v.22 no.3
• /
• pp.858-861
• /
• 2018

In this paper, we propose the development of a small $360^{\circ}$ oral scanner lens module. The proposed small $360^{\circ}$ oral scanner lens module consists of a small $360^{\circ}$ high resolution(4MegaPixel) lens optical system, a 15mm image sensor unit, and a small $360^{\circ}$ mouth scanner lens external shape. A small $360^{\circ}$ high resolution lens optical system produces a total of nine lenses, the outer diameter of the lens not less than 15mm for use by children through the ages of adulthood. Light drawn by a small $360^{\circ}$ high resolution lens optical system is $90^{\circ}$ flexion so that image images are delivered to image sensors. The 15mm image sensor unit sends the converted value to the ISP(Image Signal Processor) of the embedded board after an image array through the column and the row address of the image sensor. The small $360^{\circ}$ mouth scanner lens outer shape was designed to fix the race to the developed lens. Results from authorized testing agencies to assess the performance of proposed small $360^{\circ}$ oral scanner lens modules, The optical resolving power of $360^{\circ}$ lens was more than 30% at 150 cycles/mm, $360^{\circ}$ lens angle was $360^{\circ}$ in vertical direction, $42^{\circ}{\sim}85^{\circ}$ in vertical direction, and lens distortion rate was 5% or less. It produced the same result as the world's highest level.

• Journal of Korean Ophthalmic Optics Society
• /
• v.8 no.1
• /
• pp.35-39
• /
• 2003

The display technology on the retina is the key role in inspecting the condition of the patients. 2-dimensional retina image is widely used in the eye examination as of today. Recently, 3-dimensional retina image ones have been introduced to this area, but the quality of the image is not fully satisfied to the operator. For the purpose of developing 3-D retina imaging instrument, the optimization of a 3-D retina imaging system using Code-V tool was investigated in this thesis. He-Ne laser having the wavelength 632.8 nm was used to make a power source to detect the retina. Several lenses and mirrors installed on sledge which were developed to perform focus control on 3-D device were designed to make a beam focusing and direct line. Polygon scanner having 24 mirror facets and galvanometer making tilting movement were utilized to make a 2-D laser plane. Also, design of eye ball had been fulfilled to see the focus of the 2-D plane. Reflected ray from retina detected on the sensor array with the same path. All cognitive components were optimized for aberration correction in order to focus on retina. Results of optimization were compared to those of initial designed optics system. On the basis of above results, the result of third aberration has been corrected to stable values to the optical system. MTF evaluating the resolution of an image has been closely correlated to the diffraction limit and PSF indicating the strength distribution of an image has shown the SR value as 0.9998 having high performance. The possibility of new and powerful 3-D retina image instrument was verified by simulating each component of the instrument by Code-V.

• Journal of the Korean Institute of Landscape Architecture
• /
• v.44 no.5
• /
• pp.12-25
• /
• 2016

In this study, in order to facilitate analysis in a continuous sequence, including the concept of the landscape experience time, countless frames of a continuous landscape were extracted. The amount of visual elements in each frame was data-converted numerically to take advantage of the quantitative data necessary for landscape planning and design was calculated in the rhythm of the sequence. In Order to shoot video with the flow of the line of sight of experience in landscape districts and landscape control points along the landscape corridor which is a continuous path, each of the corresponding computer motion techniques. This study developed a CRVP Koo computer program to effectively calculate the continuous visual number of specific landscape components by extracting uncounted frames at regular intervals, and after verifying, attempting to apply this to the target site. Through the applied result, it was possible to extract the digitized quantitative rhythm for each component of each landscape, the margin of error is very small when compared with the results of manual in photoshop, it was able to overcome the drawbacks of the manual. Using the rhythm of the derived sequence, and those close to the experience of the landscape, it was possible to achieve quantitative analysis derived from a variety of perspectives as well as was possible to be used as quantitative basis data and analysis technique for landscape planning and design.