• Korean Journal of Computational Design and Engineering
• /
• v.18 no.3
• /
• pp.189-199
• /
• 2013

The need for reusing synthetic environment data that are employed in the field of modeling and simulation has recently been rising. SEDRIS (Synthetic Environment Data Representation & Interchange Specification) is a standard to exchange synthetic environment data, and is the specification utilized in various military simulations of the Pentagon for representing and exchanging 3D data. SEDRIS represents environmental areas based on a data model; it can represent wind speed, wind directions, weather changes, the information of buildings, as well as terrain data. In some situations, however, the synthetic environment data stored in SEDRIS format should be converted to various visualization formats. First, because SEDRIS is a form of a super-set, it is necessary to verify whether large scale SEDRIS files are stored successfully through visualization. Second, the synthetic environment data should be visualized in some visualization programs for the simulation results to provide an immersive and realistic sense. In this study, we have developed converters for converting SEDRIS data to various visualization formats and visualized the converted results.

• Korean Journal of Remote Sensing
• /
• v.21 no.1
• /
• pp.59-72
• /
• 2005

Interferometric synthetic aperture radar (InSAR) is a remote sensing technique capable of measuring ground surface deformation with sub-centimeter precision and spatial resolution in tens-of­meters over a large region. This paper describes basics of InSAR and highlights our studies of Alaskan volcanoes with InSAR images acquired from European ERS-l and ERS-2, Canadian Radarsat-l, and Japanese JERS-l satellites.

• The KIPS Transactions:PartA
• /
• v.17A no.1
• /
• pp.9-18
• /
• 2010

Races that occur in shared-memory parallel programs such as OpenMP programs must be detected for debugging because of causing unintended non-deterministic results. Previous works which verify the existence of these races on-the-fly are limited to the programs without internal non-determinism. But in the programs with internal non-determinism, such works need at least N! execution instances for each critical section to verify the existence of races, where N is the degree of maximum parallelism. This paper presents a preprocessor that statically analyzes the locations of non-deterministic accesses using program slicing and can detect apparent races as well as potential races through single execution using the analyzed information. The suggested tool can deterministically monitor non-deterministic accesses to occur in OpenMP programs so that this tool can verify the existence of races even if it is used any race detection protocol which can apply to programs with critical section. To prove empirically this tool, we have experimented using a set of benchmark programs such as synthetic programs that involve non-deterministic accesses, OpenMP Microbenchmark, NAS Parallel Benchmark, and OpenMP application programs.

• The Bulletin of The Korean Astronomical Society
• /
• v.40 no.2
• /
• pp.44.2-44.2
• /
• 2015

Radiative transfer programs have been developed to simulate near-IR spectra of Titan. The formalism of the radiative transfer calculations includes the absorption and emission lines of $CH_4$, $C_2H_2$, $C_2H_6$, and HCN, and continua produced by Titanian haze particles. Absorption and scattering of sunlight by haze particles are considered by employing a two-stream approximation and a spherical-shell model for the atmospheric layers of Titan. Various constraints on the radiative transfer calculations for generating synthetic spectra will be discussed and presented. Several examples of comparisons between the synthetic spectra and recent spectral observations of Titan will also be presented.

• Journal of the Korean Chemical Society
• /
• v.38 no.10
• /
• pp.763-768
• /
• 1994

As a part of synthetic programs aimed at Dolastatin 10 analogues, synthetic pathway toward various peptides were investigated. 4-Amino-3-hydr> Transfer interrupted!nalogues were prepared by ring opening of epoxides with ammonia in MeOH. Several peptides were prepared starting from these unusual amino acids through using mainly DCC coupling.

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.5 no.2
• /
• pp.41-48
• /
• 1987

This paper is concerned with selection evaluation technique among three major performance evaluation techniques which are suitable for new computer system selection. It will discuss benchmarks, synthetic programs and simulation among various techniques for selection evaluation. It will show a formal technique using integer programming models for selecting a suitable job mix. It will suggest a simple method for comparing performance evaluation results. It will also provide benchmarks and synthetic program operation rules and expected outputs in appendix.

• Journal of the Korean Society for information Management
• /
• v.21 no.3
• /
• pp.161-183
• /
• 2004

Recently. Web-based library instruction is incomplete in domestic situation. The purpose of this study is to present the design criteria of web-based library instruction programs. This study draws elements of synthetic criteria that are analyzed by evaluation criteria of web site and web-based library instruction, and compares and analyzes web-based library instruction programs.

• Proceedings of the KSRS Conference
• /
• 2004.10a
• /
• pp.47-52
• /
• 2004

Interferometric synthetic aperture radar (InSAR) is a remote sensing technique capable of measuring ground surface deformation with sub-centimeter precision and spatial resolution in tens-of-meters over a large region. This paper highlights our on-going investigations of Aleutian volcanoes with SAR images acquired from European ERS-1 and ERS-2, Canadian Radarsat-l, and Japanese JERS-l satellites.

• Archives of Pharmacal Research
• /
• v.11 no.1
• /
• pp.45-51
• /
• 1988

The feature of resolution enhancement by derivative operation is linked to one of the multivariate analysis, which is multiple linear regression with two options, all possible and stepwise regression. Examined samples were synthetic mixtures of 5 vitamins, thiamine mononitrate, riboflavin phosphate, nicotinamide, pyridoxine hydrochloride and ascorbic acid. All components in mixture were quantified with reasonably good accuracy and precision. Whole data processing procedure was accomplished on-line by the development of three computer programs written in APPLESOFT BASIC language.

• Journal of KIISE:Computing Practices and Letters
• /
• v.14 no.3
• /
• pp.301-305
• /
• 2008

Races must be detected for debugging OpenMP programs with directives, because they may cause unintended nondeterministic results of programs. Intel Thread Checker, an existing tool that can detects races, can not verify the existence of races and is often time-consuming and tends to require large space. To solve these problems, we developed a tool that verifies the existence of races using user requirements and analyzed model of programs. However, the tool does not have optimal performance in programs which have no synchronization for interthread coordination. This paper presents an optimal tool that applies the optimum labeling and protocol for program models without interthread coordination. For synthetic programs without interthread synchronization, the tool verifies races over 250 times faster than the previous tool on the average, even if the maximum parallelism increases in every case of which the number of total accesses are identical.