• Proceedings of the KSR Conference
• /
• 2004.10a
• /
• pp.1241-1246
• /
• 2004

The verification confirms a correspondence between requirements and a specification before implementing. The problem in the formal method verifying a protocol specification using model checking is that the protocol behaviors must be always specified in L TS(Label Transition System). But if Region Automata is applied to the model checking, it is enable to verify whether properties are true on specification specified in I/O FSM(Input/Output Finite State Machine) as well as LTS. In this paper, we verify the correctness of rail signal control protocol type 1 specified in I/O FSM by using model checking method and region automata. This removes many errors and ambiguities of an informal method used in the past and saves down expenditures and times required in the protocol development. Therefore it is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling system by using the proposed verification methods.

• Journal of Broadcast Engineering
• /
• v.13 no.5
• /
• pp.685-695
• /
• 2008

This paper presents a method to segment the object of interest from a set of multi-view images with minimal user interaction. Specifically, after the user segments an initial image, we first estimate the transformations between foreground and background of the segmented image and the neighboring image, respectively. From these transformations, we obtain regions in the neighboring image that respectively correspond to the foreground and the background of the segmented image. We are then able to segment the neighboring image based on these regions, and iterate this process to segment the whole image set. Transformation of foregrounds are estimated by feature-based registration with free-form deformation, while transformation of backgrounds are estimated by homography constrained to affine transformation. Here, both are based on correspondence point pairs. Segmentation is done by estimating pixel color distributions and defining a shape prior based on the obtained foreground and background regions and applying them to a Markov random field (MRF) energy minimization framework for image segmentation. Experimental results demonstrate the effectiveness of the proposed method.

• The Journal of Economics, Marketing and Management
• /
• v.8 no.2
• /
• pp.19-26
• /
• 2020

Purpose: The goal of this study is to comprehensively grasp the current status of ecommerce and to use as basic data for information-related policies. In this work, we understand recent ecommerce utilization, purchasing business by main factors, and look over the association between business type on sales orders (BTSO) and three variables: region, occupation and group type. Research design, data and methodology: The resource of this research is obtained by Ministry of Science and Technology Information and Communication in 2017, and investigated about 14,000 national business samples. Two statistical methods are used to analyze the association between the three variables: chi-square test and correspondence analysis. Results: The findings show that BTSO is pairwise associated with thee categorical variables, and the association between the categories of the two variables can be visually examined on two dimensional plane. Conclusions: This study suggests 'household & individual consumers' among BTSO are closely connected with 'Chungbuk' and 'Kyungnam' for region, 'others', 'finance & insurance' and 'association, repairing & other personal service' for occupation, and 'national & local government' for group type. Additionally, 'other companies' among BTSO are, particularly, related to 'Chunnam' for region, 'manufacturing industry' for occupation, and 'company corporations' for group type.

• Korean journal of applied entomology
• /
• v.56 no.1
• /
• pp.29-39
• /
• 2017

To compare the features of ground-dwelling invertebrates according agroecosystems, we selected paddy fields, dry fields, orchards in the Eastern region of Korea. The surveys were performed by using pit-fall traps twice per year from 2013 to 2015. Total 6,420 individuals of 172 species belonging to 13 orders, 58 families were investigated in the Eastern region, the species of Hymenoptera (38.26%), Orthoptera (16.28%) accounted large portion of the communities. In the geographical observation, invertebrates were caught was 2,983 individuals in Gyeongsangnam-do, the diversity index of Gyeongsangbuk-do community was higher than of the others and abundance and species richness of paddy field were higher than from dry field or orchard. To understand the relation between taxonomic groups and environmental factors, we carried out the canonical correspondence analysis and hierarchical clustering. As a result, Homoptera, Blattaria, Isoptera, and Coleoptera were positively related to soil pH, soil temperature, and moisture contents, and negatively related to the others. Invertebrate community also were patterned dependently by type of ecosystems. This results were shown that distribution of invertebrates is a few influenced the relationship of the space habituated invertebrates and environmental factors.

• The Korean Journal of Ecology
• /
• v.17 no.3
• /
• pp.391-413
• /
• 1994

The northernmost type of the monogolian oak forests in the Russian Far East was studied in terma of syntaxonomy and synchorology. Hand-sorting method, computer program TWIN-SPAN, CANOCO and SYN-TAX III were engaged for the classification and data analysis. Correlation between plant communitie and environmental factors was analyzed by DCA (Detrended Correspondence Analysis) using NeCD (Net Contribution Degree) of species. Three plant communities were recognized: the Abieti holophyllae-Quercetum mongolicae, the Lespedezo-quercetum mongolicas and the Rosa ussuriensis-Quercus mongolica communit. They were included into the alliance Jeffersonio-Quercion monogolicae which is representative to the cool-Temperate forests mixed by conierous and broadleaved trees in southern Sikhote Alin. Human impact was signified as the most important factor to interpret the disjunction of plant communities of which DCA ordination yielded sharp contrasting objects (i.e. stands and species). In the amhi-Tonghae region, alaogous vegetation types such as the Jeffersonio-Quercion monogolicae of Russian Far East, the Quercion grosseserratae of Japanese Hokkaido and the Pino koraiensis-Quercion monogolicae of Koream peninusula were reviewed in terms of similarity of species composition and stratum structure. It is signified that the Jeffersonio-Quercion monogolicae was one of the continental types more similar to Korean alliance that to Japanese one.

• Publications of The Korean Astronomical Society
• /
• v.32 no.1
• /
• pp.21-23
• /
• 2017

We present a comparative study of CO and polycyclic aromatic hydrocarbon (PAH) emission toward a region including the massive star-forming regions of NGC 6334 and NGC 6357. We use the NANTEN $^{12}CO(J=1-0)$ data and the AKARI $9{\mu}m$ All-Sky diffuse map in order to evaluate the calibration accuracy of the AKARI data. We confirm that the overall CO distribution shows a good spatial correspondence with the PAH emission, and their intensities exhibit a good power-law correlation with a spatial resolution down to 4' over the region of $10^{\circ}{\times}10^{\circ}$. We also reveal poorer correlation for small scale structures between the two quantities toward NGC 6357, due to strong UV radiation from local sources. Larger scatter in the correlation toward NGC 6357 indicates higher ionization degree and/or PAH excitation than that of NGC 6334.

• The Proceedings of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.6 no.5
• /
• pp.27-37
• /
• 1992

We studied the dielectric and dynamic mechanical losses according to the quenching condition in low density polyethylene being used to power cables. According to severe quenching condition, characteristics of the temperature in internal friction los peak have decreased the magnitude of loss peak as amorphous region lengthen. From now on, the frequency dependent characteristics of dielectric loss have investigated at room temperature, and the dielectric loss peak due to interface polarization, between crystal and amorphous region, occurs about 30[Hz], and that, the peak due to orientation polarization in correspondence to the loss peak in internal friction has observed at about 3 [MHz]. As quenching velocity increased, the effect on quenching condition about the dielectric loss has decreased the magnitude of the loss peak. Thus, estimation has been carried out on the activation energies nd the degree of crystallinity by means of X-ray diffraction are obtained as follows: room quenching : 26.4 [kal/mole] and 54.73 [%], ice quenching : 25.6 [kcal/mole] and 48.47 [%], liquid nitrogen quenching specimens : 22.56 [kcal/mole] and 40.95 [%].

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.25 no.11
• /
• pp.1286-1293
• /
• 1988

A general closed form expression for the channel length of the self-aligned double-diffused MOS transistor is obtained from the 2-dimensional Gaussian doping profile. The proposed model in this paper is composed of the doping concentration of the substrate, the final surface doping concentration and the vertical junction depth of the each double-diffused region. The calculated channel length is in good agreement with the experimental results. Also, the optimum channel structure for the prevention of the channel puncthrough is obtained by the averaged doping concentration in the channel region. A correspondence between the results of device simulation of channel punchthrough and the estimations of simplified model is confirmed.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.43 no.1 s.307
• /
• pp.27-34
• /
• 2006

In this paper, we propose a combined region-based image retrieval system using EHD(Edge Histogram Descriptor) and CLD(Color Layout Descriptor) of MPEG-7 descriptors. The combined descriptor can efficiently describe edge and color features in terms of sub-image regions. That is, the basic unit for the selection of the region-of-interest (ROI) in the image is the sub-image block of the EHD, which corresponds to 16 (i.e., $4{\times}4)$ non-overlapping image blocks in the image space. This implies that, to have a one-to-one region correspondence between ELE and CLD, we need to take an $8{\times}8$ inverse DCT (IDCT) for the CLD. Experimental results show that the proposed retrieval scheme can be used for image retrieval with the ROI based image retrieval for MPEG-7 indexed images.

• 한국해양학회지
• /
• v.30 no.4
• /
• pp.250-261
• /
• 1995

This study was carried out to investigate the distribution of the benthic polychaetous community in Kamak Bay, in summer of 1993. Polychaetes, the dominant faunal group comprising 74.5% of the total number of fauna, consisted of a total of 84 species with a mean density of 112 indiv.m/SUP -2/. The number of species and density were higher in the mouth area of the bay than in the rest of the bay. The most dominant Polychaete was Tharyx sp.(31.9%), followed by Lumbrineris longifolia (27.5%), Chone sp.(4.5%) and Glycera chirori (4.2%). The correspondence analysis revealed that the study area could be divided into four regions. Northeastern channel and southern mouth region of the bay, named Tharyx-Chone assemblage, sustained higher polychaetous density and species number due to the active water exchange with the outer off-sea, whereas northwestern region of the bay had the poorest polychaetous assemblage in the species number and faunal density owing to the blocking water exchange, high organic enrichment in sediment, and low dissolved oxygen content of bottom water. The central region, named Praxillella-Terebellides assemblage and Gly-cera assemblage, was the transition zone between another two region in species composition.