• The Journal of Korean Association of Computer Education
• /
• v.15 no.2
• /
• pp.57-66
• /
• 2012

It is the advantage of robot programming to improve the learners' interest. However, the drawback is existed in the fact that it is not easy to determine whether the problem lies in the hardware factor or programmed logic when an error takes place. This study is an attempt to develop a simulation tool which assists learners to concentrate on the problems not relating to robot assembling but to robot program. It aims to enable beginners make a sketch of their ideas and examine their logic through simulation. Therefore, an Etoys-based robot programming tool is developed to allows user to download and execute the simulated program into an assembled robot. The significance of this study is that easy activity of sketch-based simulation can support learners to understand how the principles of computer science are applied in daily life such as an automatic door system.

• Journal of the Korean Association of Geographic Information Studies
• /
• v.3 no.4
• /
• pp.1-10
• /
• 2000

Satellite remote sensing images have much more information compared to a paper map. But these images are generally handled as particular image format gained from optical sensor, and must be processed and analyzed by computer with high priced digital image processing system. For the extraction of digital elevation model(DEM) from satellite image, we used the overlay image by SPOT-3 of Chuncheon area at the Kangwon province. According to the image condition, the precious geometric correction, the bundle adjustment for ortho-image generation and the stereo image mapping by several technical approaches were processed. So that we developed the methods of automatic DEM extraction and efficient stereo image map generation which can improve the digital image processing steps. Also, we applied the multiple direction birdeye view image for modeling and analysis using the remotely sensed overlay images with high resolution.

• Wind and Structures
• /
• v.30 no.4
• /
• pp.339-366
• /
• 2020

This study aims at modeling boundary layers (BLs) encountered in sparse and built environments (i.e. open, suburban and urban) at the subsonic Wind Tunnel (WT) at Ryerson University (RU). This WT has an insignificant turbulence intensity and requires a flow-conditioning system consisting of turbulence generating elements (i.e., spires, roughness blocks, barriers) to achieve proper turbulent characteristics. This system was developed and validated in the current study in three phases. In phase I, several Computational Fluid Dynamic (CFD) simulations of the tunnel with generating elements were conducted to understand the effect of each element on the flow. This led to a preliminary design of the system, in which horizontal barriers (slats) are added to the spires to introduce turbulence at higher levels of the tunnel. This design was revisited in phase II, to specify slat dimensions leading to target BLs encountered by tall buildings. It was found that rougher BLs require deeper slats and, therefore, two-layer slats (one fixed and one movable) were implemented to provide the required range of slat depth to model most BLs. This system only involves slat movement to change the BL, which is very useful for automatic wind tunnel testing of tall buildings. The system was validated in phase III by conducting experimental wind tunnel testingof the system and comparing the resulting flow field with the target BL fields considering two length scales typically used for wind tunnel testing. A very good match was obtained for all wind field characteristics which confirms accuracy of the system.

• Journal of the Korean Institute of Telematics and Electronics S
• /
• v.36S no.7
• /
• pp.104-115
• /
• 1999

This paper proposes an efficient method for 3D modeling of a human face from trinocular images by reconstructing face surface using range data. By using a trinocular camera system, we mitigated the tradeoff between the occlusion problem and the range resolution limitation which is the critical limitation in binocular camera system. We also propose an MPC_MBS (Matching Pixel Count Multiple Baseline Stereo) area-based matching method to reduce boundary overreach phenomenon and to improve both of accuracy and precision in matching. In this method, the computing time can be reduced significantly by removing the redundancies. In the model generation sub-pixel accurate surface data are achieved by 2D interpolation of disparity values, and are sampled to make regular triangular meshes. The data size of the triangular mesh model can be controlled by merging the vertices that lie on the same plane within user defined error threshold.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.47 no.1
• /
• pp.1-6
• /
• 2010

The lens distortion in the machine vision system is inevitable phenomenon. Distortion is getting worse, due to the selection of lens in the trend of reducing prices and size of the system. In this trend, the distortion correction becomes more important. But, the traditional correction methods has problems, such as complexity and requiring more operations. Effective distorted digital image correction is the precondition of target detection and recognition based on vision inspection. To overcome the disadvantage of traditional distortion correction algorithms, such as complex modeling, massive computation and marginal information loss, an image distortion correction algorithm based on photogrammetry method is proposed in this paper. In our method, we use the lattice image as the measurement target. Through the experimental results, we could find that we can reduce the processing time by 4ms. And also the inspection failure rate of our method was reduced by 2.3% than human-eyes inspection method.

• Journal of the Korea Society for Simulation
• /
• v.20 no.3
• /
• pp.89-100
• /
• 2011

The MAGLEV (Magnetically Levitated Vehicle) system, which is under commercialization as a new transportation system in Korea, is operated by means of unmanned automatic control system. Therefore the plan of train operation should be carefully established and validated in advance. In general, when making the train operation plan, the statistically predicted traffic data is used. However, traffic wave can occur when real train service is operated, and the demand-driven simulation technology is required to review train operation plans and service qualities considering traffic wave. This paper presents a method and model to simulate the MAGLEV's operation considering continuous demand changes. For this purpose, we employed the discrete event model which is suitable for modeling the behavior of railway passenger transportation, and modeled the system hierarchically using DEVS (Discrete Event System Specification) formalism. In addition, through the implementation and experiment using DEVSim++ simulation environment, we tested the feasibility of the proposed model and it is also verified that our demand-driven simulation technology could be used for the prior review of the train operation plans and strategies.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.36 no.4B
• /
• pp.354-361
• /
• 2011

Increasing interest and technological advances in smart home has led to active research on context-awareness service and prediction algorithms such as Bayesian Networks, Tree-Dimensional Structures and Genetic prediction algorithms. Context-awareness service presents that providing automatic customized service regarding individual user's pattern surely helps users improve the quality of life. However, it is difficult to implement context-awareness service because the problems are that handling coincidence with context information and exceptional cases have to consider. To overcome this problem, we proposes an Intelligent Sequential Matching Algorithm(ISMA), models context-awareness service using Timed Petri-net(TPN) which is petri-net to have time factor. The example scenario illustrates the effectiveness of the Timed Petri-net model and our proposed algorithm improves average 4~6% than traditional in the accuracy and reliability of prediction.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.24 no.5
• /
• pp.352-365
• /
• 2012

A primary study on the rapid modeling of storm surge, which is one of typical coastal disasters, for immediate forecasting in conjunction with typhoon advisories is done and tested for the typhoons Bolaven, Tembin and Sanba which attacked to Korean Peninsula on August and September in this year 2012. Semi automatic rapid computations according to JTWC typhoon advisories were performed and uploaded to the web by models SLOSH in PC and ADCIRC in parallel clusters with 64 cores having 57k nodes encompassing the North-Western Pacific region. It only takes 1 and 2 hours from taking advisory to web uploading, respectively. By comparison with observed water surface elevations for the major tidal stations after Bolaven attack it shows within RMS error of 0.17~0.19 m for surge heights and only deviates 1 hour of peak surge time in ADCIRC model. Thus it is concluded that this approach provides a frame of near real-time immediate forecasting of storm surges with satisfactions.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.5
• /
• pp.3407-3411
• /
• 2015

In the process of extending the UML model for a various domain, comply with the UML metamodel and it is possible to obtain a number of advantages. However, the UML metamodel is necessary to redefine the diagram must be defined via the Profile in order to expand and transformation the UML metamodel from a variety of sources using the UML metamodel is becoming increase massive scale. it is necessary to use only those extracts the element relative to the target to be used to extend a UML metamodel. Used to re-define the extension of the UML Metamodel and Profile based UML modeling tools and metadata repositories by analysis tools, can develop more quickly and easily, by utilizing these tools can improve the quality of development in the SW industry. In this paper, we present an algorithm that of the profile through the expansion of the UML metamodel and shows the results in actually applying e-government standards framework.

• Journal of KIISE:Software and Applications
• /
• v.30 no.12
• /
• pp.1158-1171
• /
• 2003

The UML is a widely accepted standard in object-oriented modeling. As the UML is semantically rich, we can describe in detail the system that will be developed, but we cannot guarantee the correctness and consistency of the designed model. Therefore, it is important to minimize the error by verifying user models in an early stage. In this paper, we propose a method for verifying the consistency of UML structural diagrams and behavioral diagrams using OCL verification rules and meta-metamodel. The consistency is a nature for checking whether the structural diagrams and behavioral diagrams are coherently designed according to a specific requirement. First we build meta-metamodels of the structural diagram and behavioral diagram that are described with the UML diagrams and the related elements, we derive rules for verifying the consistency from each meta-metamodels, and then formally specify with the language such as OCL for automatic verification. Finally, we verify the usefulness of the rule through a case study.