• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1997.11a
• /
• pp.79-89
• /
• 1997

Logic programming has many advantages as a paradigm for parallel programming because it offers ease of programming while retaining high expressive power due to its declarative semantics. In parallel logic programming, one of the important issues is the compile-time parallelism detection. Static data-dependency analysis has been widely used to gather some information needed for the detection of AND-parallelism. However, the static data-dependency analysis cannot fully detect AND-parallelism because it does not provide some necessary functions such as the propagation of groundness. As an alternative approach, abstract interpretation provides a promising way to deal with AND-parallelism detection, while a full-blown abstract interpretation is not efficient in terms of computation since it inherently employs some complex operations not necessary for gathering the information on AND-parallelism. In this paper, we propose an abstract domain which can provide a precise and efficient way to use the abstract interpretation for the detection of AND-parallelism of logic programs.

• Proceedings of the Earthquake Engineering Society of Korea Conference
• /
• 1997.04a
• /
• pp.115-127
• /
• 1997

A study to evaluate the seismic response of $\frac{1}{2}$-scaled liquid storage tank constructed in Hualien, is performed. And this study is to identify the liquid-structure-soil interaction by observed earthquake data ans analyzed results. After the calculation of soil impedance for the test site by SASSI code, 3-dimensional seismic response analysis is performed by BEM-FEM-Impedance Method with the consideration of liquid-structure-soil interaction when the tank is excited by real earthquake. The observed acceleration and hydrodynamic pressure are compared with the numerical results. This comparisons show good agreement in predominant frequency and maximum hydrodynamic pressure. And the free surface sloshing motion due to earthquake loadings is computed in time domain.

• Journal of electromagnetic engineering and science
• /
• v.14 no.4
• /
• pp.405-410
• /
• 2014

In this paper, we compare the quality of images reconstructed by a conventional delayed-sum (DS) algorithm and radiation pattern-based DS algorithm. In order to evaluate the quality of images, we apply the target-to-clutter ratio (TCR), which is commonly used in synthetic aperture radar (SAR) image assessment. The radiation pattern-based DS algorithm enhances the TCR of the image by focusing the target signals and preventing contamination of the radar scene. We first consider synthetic data obtained through GprMax2D/3D, a finite-difference time-domain (FDTD) forward solver. Experimental data of a 2-GHz bandwidth stepped-frequency signal are collected using a vector network analyzer (VNA) in an anechoic chamber setup. The radiation pattern-based DS algorithm shows a 6.7-dB higher TCR compared to the conventional DS algorithm.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 1999.05a
• /
• pp.169-172
• /
• 1999

Recently, the wavelet transform has been a new and powerful tool for signal processing. It is more suitable specially for the feature extraction and detection of non-stationary signals than traditional methods such as, the Fourier Transform(FT), the Fast Fourier Transform(FFT) and the Least Square Method etc. because of the characteristic of the multi-scale analysis and time-frequency domain localization. The wavelet transform has been developed for the analysis of PD pulse signal to raise in the progress of insulation degradation. In this paper, the wavelet transform was applied to one foundational method for feature extraction. For the obtain experimental data, a computer-aided partial discharge measurement system with a single acoustic sensor was used. If we are applying to the neural network method the accumulated data through the extracted feature, it is expected that we can detect the PD pulse signal in the insulation materials on the on-line.

• Proceedings of the KAIS Fall Conference
• /
• 2003.11a
• /
• pp.3-9
• /
• 2003

The task for chromosome analysis and diagnosis by experienced cytogenetists are being concerned as repetitive, time consuming job and expensive. For that reason, intelligent agent based on chromosome knowledge base has been established to be able to analyze chromosomes and obtain necessary advises from the knowledge base instead of human experts. That is to say, knowledge base by IF THEN production rule was implemented to a knowledge domain with normal and abnormal chromosomes, and then the inference results by knowledge base could enter the inference data into the database. Experimental data were composed of normal chromosomes of 2,736 patients 'cases and abnormal chromosomes of 259 patients' cases that have been obtained from GTG-banding metaphase peripheral blood and amniotic fluid samples. The completed intelligent agent for chromosome knowledge base provides variously morphological information by analysis of normal or abnormal chromosomes and it also has the advantage of being able to consult with user on chromosome analysis and diagnosis.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2001.06a
• /
• pp.215-222
• /
• 2001

The task for chromosome analysis and diagnosis by experienced cytogenetists are being concerned as repetitive, time consuming job and expensive. FOr that reason, chromosome analysis system based on knowledge base for CAI had been established to be able to analyze chromosomes and obtain necessary advises from the knowledge base instead of human experts. That s to say, knowledge base by IF THEN production rule was implemented to a knowledge domain with normal and abnormal chromosomes, and then the inference results by knowledge base could enter the inference data into the database. Experimental data were composed of normal chromosome of 2,736 patients'cases and abnormal chromosomes of 259 patients'cases that have been obtained from GTG-banding metaphase peripheral blood and amniotic fluid samples. The complete system provides variously morphological information by analysis of normal or abnormal chromosomes and it also has the advantage of being able to consult with user on chromosome analysis and diagnosis.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2004.11a
• /
• pp.419-422
• /
• 2004

The paper classified SI schemes for structural engineering applications based on the type of measured data. Only parametric SI algorithms with optimization processes were reviewed where optimal structural parameters are estimated by minimizing an output error between measured and computed responses. Some important issues in applying SI schemes were analyzed with the definition of an analytical model, noise and sparseness in measured data. As a sample study, the application of a nonlinear time-domain SI algorithm for a shear building was examined.

• Journal of Sensor Science and Technology
• /
• v.33 no.4
• /
• pp.187-195
• /
• 2024

Light detection and ranging (LiDAR), a widely used sensor in mobile robots and autonomous vehicles, has its most important function as measuring the range of objects in three-dimensional space and generating point clouds. These point clouds consist of the coordinates of each reflection point and can be used for various tasks, such as obstacle detection and environment recognition. However, several processing steps are required, such as three-dimensional modeling, mesh generation, and rendering. Efficient data processing is crucial because LiDAR provides a large number of real-time measurements with high sampling frequencies. Despite the rapid development of controller computational power, simplifying the computational algorithm is still necessary. This paper presents a method for estimating the presence of curbs, humps, and ground tilt using range measurements from a single horizontal or vertical scan instead of point clouds. These features can be obtained by data segmentation based on linearization. The effectiveness of the proposed algorithm was verified by experiments in various environments.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2001.05a
• /
• pp.38-42
• /
• 2001

To observe the Langmuir films, displacement current measuring system(Nippon Laser & Electronics), $\pi-A$ isotherms measuring device, and Brewster Angle Microscope(BAM) were used. As results, for 8A5H, big tilt angle changes of many molecules were detected before liquid expanded phase when the monolayer was compressed and expanded by barrier. Also many small and bright points were detected by BAM when the displacement current radically changed. In $\pi$-A isotherms, surface pressure of 8A5H was radically decreased between 35 and 40[mN/m] and monolayer was assumed to be collapsed in solid condensed phase, since large bright domain was observed without change of displacement current and this bright boundary was not classified part of domain in BAM image. If we observe behaviors of molecules on the water surface in these three measurement at the same time, we can get more precise informations on L films and it could be good data for fabricating LB films.

• Journal of the Korean Magnetic Resonance Society
• /
• v.19 no.2
• /
• pp.61-66
• /
• 2015

The plant hormone auxin is involved in all stages of plant development. Aux/IAAs are the transcriptional repressors that bind to the Auxin Response Factors (ARFs) to regulate the gene expression upon auxin release. Aux/IAA have highly conserved C-terminal domains (domains III-IV) that mediate both homotypic and heterotypic interactions between Aux/IAA and ARF family proteins. Recent studies revealed that the conserved domains III-IV share a common ${\beta}$-grasp fold that oligomerizes in a front-to-back manner. In particular, Aux/IAA contains a mobile insert helix in the domain III-IV, whereas ARFs do not. Here, we investigated the dynamics of the insert helix using paramagnetic NMR spectroscopy. The insert helix exhibited fast motions in the ps-ns time scale from $^{15}N$ relaxation data, but the amplitude of the motion is likely limited to the local neighborhood. Our result suggests that the motion of the helix may have functional implications in protein-protein interactions for transcriptional regulations.