• Geophysics and Geophysical Exploration
• /
• v.16 no.4
• /
• pp.225-233
• /
• 2013

The accuracy of the automatic NMO velocity analysis, which is used for an effective and objective NMO velocity analysis, is highly affected by the velocity resolution of the velocity spectrum. In this study, we have developed an automatic NMO velocity algorithm, where the velocity spectra are created using high-resolution bootstrapped differential semblance (BDS), and the velocity analysis on CMP gathers is performed in parallel with MPI. We also compared the velocity models from the developed automatic NMO velocity algorithm with high-resolution BDS to those from BDS. To verify the developed automatic velocity analysis module we created synthetic seismic data from a velocity model including horizon layers. We confirmed that the developed automatic velocity analysis module estimated velocity more accurately. In addition, NMO velocity which yielded a CMP stacked section, where the coherency of the events were improved, was estimated when the developed module was applied to a marine field data set.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.39 no.3
• /
• pp.1-17
• /
• 2002

In this paper, we present our experiences in using symbolic model checker(SMV) to analyze a number of properties of RACE cache coherence protocol designed by ETRI(Electronics and Communications Research Institute) and to verify that RACE protocol satisfies important requirements. To investigate this, we specified the model of the RACE protocol as the input language of SMV and specified properties as a formula in temporal logic CTL. We successfully used the symbolic model checker to analyze a number of properties of RACE protocol. We verified that abnormal state/input combinations was not occurred and every possible request of processors was executed correctly We verified that RACE protocol satisfies liveness, safety and the property that any abnormal state/input combination was never occurred. Besides, We found some ambiguities of the specification and a case of starvation that the protocol designers could not expect before. By this verification experience, we show advantages of model checking method. And, we propose a new method to generate automatically test cases which are used in simulation and testing.

• Information Systems Review
• /
• v.6 no.1
• /
• pp.155-166
• /
• 2004

As the necessity of such mobile wireless terminals as PDAs or Cellular phones drastically increases, the terminals play important role in various business areas. In this paper, a bidding system in mobile wireless environments is constructed. However, with many mobile wireless terminals modifying at the same time their (duplicated) bidding values for a given data item, data coherency for the data item becomes essential. Therefore, in this paper, a bidding system using SyncML data synchronization mechanism is proposed and constructed. SyncML is one of data synchronization mechanisms proposed by the SyncML Initiative, a consortium of mobile wireless mobile technology leaders for universal data synchronization. The bidding system is implemented and tested in LINUX, C++, and PocketPC 2000 emulator programming environments.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.28 no.2
• /
• pp.137-143
• /
• 2008

The spherical glasses lenses are typically classified into two groups such as (+) diopter lens and (-) diopter lens by the refractive power index. The thermal deformation of a lens is occurred by external heat source and is changed respected to the diopter of a lens. In this paper, the thermal deformation of spherical glasses lenses were quantitatively measured by using ESPI (electronic speckle pattern interferometry) which has an advantage that the non-contact, non-destructive and precise deformation measurement is available due to the coherency characteristic. The temperature changes were measured by IR camera. It makes experiments over 14 types of the plastic glasses lenses. From the results, it was confirmed that the larger diopter lens showed the less thermal deformation in case of the (+) diopter lens. On the other hand, the thermal deformation of the (-) diopter lens was measured with uniform pattern when the same temperature changes were applied. Also, it was found that the thermnal deformation of the (+) diopter lens is less than that of the (-) diopter lens. Therefore, it is expected that when the thermal deformation is occurred to the various types of the lens, the variation of the focal length caused by the thermal distortion of a lens would be measured quantitatively.

• Applied Microscopy
• /
• v.25 no.3
• /
• pp.82-89
• /
• 1995

High resolution transmission electron microscopic observations on quaternary $Zn_{1-x}Mg_{x}S_y$ $S_{1-y}$(x=0.13, y=0.16) on (001) GaAs substrate grown up to $1.2{\mu}m$ with 20nm ZnSe buffer layer at $300^{\circ}C$ by RIBER MBE system which has a single growth chamber were investigated by HRTEM working at 300kV with point resolution of 0.18nm. The ZnSe buffer layer maintains the coherency with the GaAs substrate. The stacking faults had begun at ZnSe buffer/$Zn_{1-x}Mg_{x}S_{y}S_{1-y}$ interface, whose length and spacing became larger than 60nm and wider than 40nm, respectively. The inverse triangular stacking fault was bounded by stacking faults which were formed on {111} planes with different variants. There exists rare stacking faults inside the triangular defect. The epilayer surrounded by the straight stacking faults, which had formed in the same direction, became the columnar structure.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.30 no.5
• /
• pp.451-457
• /
• 2010

In the present study, the influences of grains and precipitates of microstructural evolution on the ultrasonic nonlinearity have been experimentally investigated. The prior-austenite grain and precipitate size are controlled by the variation in austenitizing and tempering conditions in reactor pressure vessel materials of nuclear power plant, SA508 Gr.3 low alloys. The ultrasonic nonlinearity was found to have strong correlations with grains and precipitates since the ultrasonic nonlinear parameter $\beta$ shows decrease trend with coarsening of grains and precipitates. Although the prior-austenite grain size increased, the $\beta$ changed little due to the effects of subgrains, packets and laths. For the preciptate effects, the $\beta$ decreased sharply due to decrease in $Mo_2C$ causing the coherency stain in addition to the precipitate size. The results in this study may provide a potential for characterizing the microstructural evolution, grains and precipitates, by measuring the ultrasonic nonlinearity.

• Journal of Technologic Dentistry
• /
• v.34 no.4
• /
• pp.345-352
• /
• 2012

Purpose: The age-hardening mechanism of an Au-Ag-Cu-Pt-Zn alloy for crown and bridge fabrication was investigated by means of hardness test, X-ray diffraction study and field emission scanning electron microscopic observation. Methods: Before hardness testing, the specimens were solution treated and then were rapidly quenched into ice brine, and were subsequently aged isothermally at $400-450^{\circ}C$ for various periods of time in a molten salt bath and then quenched into ice brain. Hardness measurements were made using a Vickers microhardness tester. The specimens were examined at 15 kV using a field emission scanning electron microscope. Results: By the isothermal aging of the solution-treated specimen at $450^{\circ}C$, the hardness increased rapidly in the early stage of aging process and reached a maximum hardness value. After that, the hardness decreased slowly with prolonged aging. However, the relatively high hardness value was obtained even with 20,000 min aging. By aging the solution-treated specimen, the f.c.c. Au-Ag-rich ${\alpha}_0$ phase was transformed into the Au-Ag-rich ${\alpha}_1$ phase and the AuCu I ordered phase. Conclusion: The hardness increase in the early stage of aging process was attributed to the formation of lattice strains by the precipitation of the Cu-rich phase and then subsequent ordering into the AuCu I-type phase. The decrease in hardness in the later stage of aging process was due to the release of coherency strains by the coarsening of tweed structure in the grain interior and by the growth and coarsening of the lamellar structure in the grain boundary. The increase of inter-lamellar space contributed slightly to the softening compared to the growth of lamellar structure toward the grain interior.

• Journal of the Korean earth science society
• /
• v.30 no.5
• /
• pp.660-670
• /
• 2009

This study examines the changes of an interdecadal circulation over the Asian continent to find cause of the surface warming in Siberia from 1958 to 2004. According to our study, there is a coherency between a long-term change of sea surface temperature in the Indian Ocean and the rapid increase of air temperature in Siberia since 1976/1977. In this study, we suggest that mean wind field changes induced by the positive sea surface temperature anomalies of the Indian Ocean since 1976/1977 are caused of inter-decadal variations in a large-scale circulation over the Asian continent. It also indicates that the inter-decadal circulation over the Asian continent is accompanied with warm southerly winds near surface, which have significantly contributed to the increase of surface temperature in Siberia. These southerly winds have been one of the most dominant interdecadal variations over the Asian continent since 1976/1977. In addition, we investigated the long-term trend mode of 850 hPa geopotential height data over the Asian continent from the Empirical Orthogonal Function (EOF) analysis for 1958-2004. In result, we found that there was an anomalously high pressure pattern over the Asian continent, it is called 'the Asian High mode'. It is thus suggested that the Asian High mode is another response of interdecadal changes of large-scale circulations over the Asian continent.

• Journal of Korea Multimedia Society
• /
• v.9 no.9
• /
• pp.1231-1246
• /
• 2006

HTML is a format for rendering Web documents visually and uses tables to present a relational information. Since HTML has limits in terms of information processing and management by a computer, it is important to transform HTML tables into XML documents, which is able to represent logical structure information. As a prerequisite for extracting information from the Web, this paper presents an efficient method for extracting logical structures from HTML tables and transforming them into XML documents. The proposed method consists of two phases: Area segmentation and structure analysis. The area segmentation step removes noisy areas and extracts attribute and value areas through visual and semantic coherency checkup. The hierarchical structure between attribute and value areas are analyzed and transformed into XML representations using a proposed table model. Experimental results with 1,180 HTML tables show that the proposed method performs better than the conventional method, resulting in an average precision of 86.7%.

• Journal of Advanced Marine Engineering and Technology
• /
• v.22 no.5
• /
• pp.660-669
• /
• 1998

In this paper the Hardness and Electro-chemical corrosion of the Nimonic 80A superalloy were studied. It aging heat treatments was carried out at $650^{\circ}C$, $700^{\circ}C$, $750^{\circ}C$,$800^{\circ}C$ and $850^{\circ}C$ with different time of 20min , 30min 1hour, 2hours, 4hours, and 16hours additionally 64hours and 128hours at $650^{\circ}C$. The obtained results were as follows; 1. As aging temperature increased the time for the maximum hardness was reduced from 128hours at $650^{\circ}C$ to 30min at $850^{\circ}C$ whereas the highest hardness was reduced from Hv 381 at $650^{\circ}C$ to Hv 321 at $850^{\circ}C$. 2. In the Electro-chemical corrosion test as a function of aging heat treatment time and tem-perature the corrosion potential was reversely proportional to Hardness which indicated the effects of ${\gamma}/{\gamma}'$ coherency of base material and precipitate. 3. Initiation point of the pitting was observed at grain boundary twin boundary and near${\gamma}'$ pre-cipitates. The results of composition analysis by EDS at this point indicated that sulphur originat-ed from 1N $H_2SO_4$ solution was found in depletion at the grain boundaries and the pit which arouse in the near precipitates were lack of Al Ti and Ni which are the main element of ${\gamma}'$ The depletion of such element was cause breakdown of passive film.