• Journal of the Korean association of regional geographers
• /
• v.17 no.4
• /
• pp.432-442
• /
• 2011

Climatic variables such as temperature and precipitation tend to vary both in space and in time simultaneously. Thus, it is necessary to include space-time autocorrelation into conventional spatial interpolation methods for reliable time-series mapping. This paper introduces and applies space-time variogram modeling and space-time kriging to generate time-series temperature maps using hourly Automatic Weather System(AWS) temperature observation data for a one-month period. First, temperature observation data are decomposed into deterministic trend and stochastic residual components. For trend component modeling, elevation data which have reasonable correlation with temperature are used as secondary information to generate trend component with topographic effects. Then, space-time variograms of residual components are estimated and modelled by using a product-sum space-time variogram model to account for not only autocorrelation both in space and in time, but also their interactions. From a case study, space-time kriging outperforms both conventional space only ordinary kriging and regression-kriging, which indicates the importance of using space-time autocorrelation information as well as elevation data. It is expected that space-time kriging would be a useful tool when a space-poor but time-rich dataset is analyzed.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.44 no.10
• /
• pp.7-16
• /
• 2007

In this paper, we introduce a new design environment for efficient multiprocessor system-on-chip design space exploration. The design environment takes a process network model as input system specification. The process network model has been widely used for modeling signal processing applications because of its excellent modeling power. However, it has limitation in predictability, which could cause severe problem for real time systems. This paper proposes a new approach that enables static analysis of a process network model by converting it to a hierarchical synchronous dataflow model. For efficient design space exploration in the early design step, mapping application to target architectures has been a crucial part for finding better solution. In this paper, we propose an efficient mapping algorithm. Our mapping algorithm supports both single bus architecture and multiple bus architecture. In the experiments, we show that the automatic conversion approach of the process network model for static analysis is performed successfully for several signal processing applications, and show the effectiveness of our mapping algorithm by comparing it with previous approaches.

• Journal of radiological science and technology
• /
• v.35 no.2
• /
• pp.133-139
• /
• 2012

For the examination of nuclear medicine, myocardial scan is a good method to evaluate a hemodynamic importance of coronary heart disease. but, the automatized qualitative measurement is additionally necessary to improve the decoding efficiency. we suggests the creation of cardiac three-dimensional model and model of three-dimensional cardiac thickness as a new measurement. For the experiment, cardiac reduced cross section was obtained from SPECT. Next, the pre-process was performed and image segmentation was fulfilled by level set. for the modeling of left cardiac thickness, it was realized by applying difference equation of two-dimensional laplace equation. As the result of experiment, it was successful to measure internal wall and external wall and three-dimensional modeling was realized by coordinate. and, with laplace formula, it was successful to develop the thickness of cardiac wall. through the three-dimensional model, defects were observed easily and position of lesion was grasped rapidly by the revolution of model. The model which was developed as the support index of decoding will provide decoding information to doctor additionally and reduce the rate of false diagnosis as well as play a great role for diagnosing IHD early.

• Korean Journal of Remote Sensing
• /
• v.36 no.6_2
• /
• pp.1615-1627
• /
• 2020

The purpose of this study is to compare and analyze the performance of KOMPSAT-3 Digital Surface Model (DSM) made in overseas testbed area. To that end, we collected the KOMPSAT-3 in-track stereo image taken in San Francisco, the U.S. The stereo geometry elements (B/H, converse angle, etc.) of the stereo image taken were all found to be in the stable range. By applying precise sensor modeling using Ground Control Point (GCP) and DSM automatic generation technique, DSM with 1 m resolution was produced. Reference materials for evaluation and calibration are ground points with accuracy within 0.01 m from Compass Data Inc., 1 m resolution Elevation 1-DSM produced by Airbus. The precision sensor modeling accuracy of KOMPSAT-3 was within 0.5 m (RMSE) in horizontal and vertical directions. When the difference map was written between the generated DSM and the reference DSM, the mean and standard deviation were 0.61 m and 5.25 m respectively, but in some areas, they showed a large difference of more than 100 m. These areas appeared mainly in closed areas where high-rise buildings were concentrated. If KOMPSAT-3 tri-stereo images are used and various post-processing techniques are developed, it will be possible to produce DSM with more improved quality.

• KIPS Transactions on Software and Data Engineering
• /
• v.12 no.9
• /
• pp.381-386
• /
• 2023

Many existing test case generation researchers extract test cases from models. However, research on generating test cases from natural language requirements is required in practice. For this purpose, the combination of natural language analysis and requirements engineering is very necessary. However, Requirements analysis written in Korean is difficult due to the diverse meaning of sentence expressions. We research test case generation through natural language requirement definition analysis, C3Tree model, cause-effect graph, and decision table steps as one of the test case generation methods from Korean natural requirements. As an intermediate step, this paper generates test cases from C3Tree model-based decision tables using meta-modeling. This method has the advantage of being able to easily maintain the model-to-model and model-to-text transformation processes by modifying only the transformation rules. If an existing model is modified or a new model is added, only the model transformation rules can be maintained without changing the program algorithm. As a result of the evaluation, all combinations for the decision table were automatically generated as test cases.

• Korean Journal of Construction Engineering and Management
• /
• v.9 no.2
• /
• pp.108-116
• /
• 2008

At present, construction automation is a critical solution for the shortage of labor and the aging of skilled workers. Especially, researches for transportation automation are achieved to improve the efficiency as the construction of tall-building construction. Transportation automation needs to control the swung member by the inertia and/or the wind-force at the end of cable. However, previous to control, the presupposition of the swing is heavily difficult work because the inertia and the wind force are irregularly changable according to work condition. Therefore, in this study, dynamic modeling of crane and simulation was performed to find the characteristic of the swing. In the result, the maximum displacement of the swung material was analyzed. And, on the basis of analysis, the criteria to decide workability of automated transportation considering the material size and the wind force onsite was proposed.

• KIPS Transactions on Computer and Communication Systems
• /
• v.9 no.11
• /
• pp.273-280
• /
• 2020

Automatic Static Analysis Tools help developers to quickly find potential defects in source code with less effort. However, the tools reports a large number of false positive warnings which do not have to fix. In our study, we proposed an artificial neural network-based warning classification method using topic models of source code blocks. We collect revisions for fixing bugs from software change management (SCM) system and extract code blocks modified by developers. In deep learning stage, topic distribution values of the code blocks and the binary data that present the warning removal in the blocks are used as input and target data in an simple artificial neural network, respectively. In our experimental results, our warning classification model based on neural network shows very high performance to predict label of warnings such as true or false positive.

• Journal of IKEEE
• /
• v.15 no.1
• /
• pp.104-112
• /
• 2011

During the ground operation of Korean army, the voice message is mainly used for exchanging informations related to the surveillance and reconnaissance, command and control, and precision strike. However, in order to the battlefield visualization among fighting powers participating in the ground force operation, automatic situational awareness and variable message format (VMF) for command and control are required. For securing core technologies necessary for the battlefield visualization, message standard and message handler are established through several applied researches. Besides, the VMF for equipping a weapon system is in development. In this paper, a study on the Korean variable message format (KVMF), where interoperability of integrated battle management system (BMS) is guaranteed due to performing joint, ground, and combined operations so that the situation awareness and strike system can be automated in almost real time, is presented. From the modeling and simulation (M&S) results of the message processor, delay time is varied in accordance with the number of nodes in unit platoon network, message length, and generation interval of routine messages. Therefore, it is shown that the system performance can be optimized by establishing proper network protocol for each situation.

• Korean Journal of Computational Design and Engineering
• /
• v.15 no.3
• /
• pp.212-221
• /
• 2010

Proposed in the paper is a methodology to generate kinematic template for 3D JIG models. Recently, according to increase of the rate of automatic facility in manufacturing system, the 3D manufacturing and verification research and development have been issued. So, unlike in the past, moving 3D facilities are very various like JIGs, turn table, AS/RS worked in the automated manufacturing industry. Because 3D mesh models are used in these kinds of 3D simulation, users have to define the kinematic information manually. This 3D mesh data doesn't have parametric information and design history of the 3D model unlike the design level data. So, it is lighter than 3D design level data and more efficient to render on the 3D virtual manufacturing environment. But, when user wants to find a common axis located between the links, the parameter information of the model has to reconstruct for defining kinematic construction. It takes a long time and very repetitive to define an axis and makes a joint using 3D mesh data and it is non-intuitive task for user. This paper proposed template model that provides kinematic information of the JIG. This model is kinds of a state diagram to describe a relation between links. So, this model can be used for a kinematic template to the JIG which has a same mechanism. The template model has to be registered in the template library to use in the future, after user made the model of the specific type of the 3D JIG model.

• Journal of Computational Design and Engineering
• /
• v.1 no.2
• /
• pp.140-151
• /
• 2014

Storing, and the loading and unloading of materials at production sites in the manufacturing sector for mass production is a critical problem that affects various aspects: the layout of the factory, line-side space, logistics, workers' work paths and ease of work, automatic procurement of components, and transfer and supply. Traditionally, the nesting problem has been an issue to improve the efficiency of raw materials; further, research into mainly 2D optimization has progressed. Also, recently, research into the expanded usage of 3D models to implement packing optimization has been actively carried out. Nevertheless, packing algorithms using 3D models are not widely used in practice, due to the large decrease in efficiency, owing to the complexity and excessive computational time. In this paper, the problem of efficiently loading and unloading freeform 3D objects into a given container has been solved, by considering the 3D form, ease of loading and unloading, and packing density. For this reason, a Group Packing Approach for workers has been developed, by using analyzed truck packing work patterns and Group Technology, which is to enhance the efficiency of storage in the manufacturing sector. Also, an algorithm for 3D packing has been developed, and implemented in a commercial 3D CAD modeling system. The 3D packing method consists of a grouping algorithm, a sequencing algorithm, an orientating algorithm, and a loading algorithm. These algorithms concern the respective aspects: the packing order, orientation decisions of parts, collision checking among parts and processing, position decisions of parts, efficiency verification, and loading and unloading simulation. Storage optimization and examination of the ease of loading and unloading are possible, and various kinds of engineering analysis, such as work performance analysis, are facilitated through the intelligent 3D packing method developed in this paper, by using the results of the 3D model.