• Journal of KIISE:Databases
• /
• v.34 no.5
• /
• pp.396-408
• /
• 2007

After the Human Genome Project finished the sequencing of a human DNA sequence, the concerns on protein functions are increasing. Since the structures of proteins are conserved in divergent evolution, their functions are determined by their structures rather than by their amino acid sequences. Therefore, if similarities between two protein structures are observed, we could expect them to have common biological functions. So far, a lot of researches on protein structure alignment have been performed. However, most of them use RMSD(Root Mean Square Deviation) as a similarity measure with which it is hard to judge the similarity level of two protein structures intuitively. In addition, they retrieve only one result having the highest alignment score with which it is hard to satisfy various users of different purpose. To overcome these limitations, we propose a novel protein structure alignment algorithm based on MRPD(Maximum of Residue Pair Distance) and SG (Similarity Graph). MRPD is more intuitive similarity measure by which fast tittering of unpromising pairs of protein pairs is possible, and SG is a compact representation method for multiple alignment results with which users can choose the most plausible one among various users' needs by providing multiple alignment results without compromising the time to align protein structures.

• School Mathematics
• /
• v.5 no.4
• /
• pp.421-440
• /
• 2003

It is difficult for the learner to understand completely the ratio concept which forms a basis of proportional reasoning. And proportional reasoning is, on the one hand, the capstone of children's elementary school arithmetic and, the other hand, it is the cornerstone of all that is to follow. But school mathematics has centered on the teachings of algorithm without dealing with its essence and meaning. The purpose of this study is to analyze the essence of ratio concept from multidimensional viewpoint. In addition, this study will show the direction for improvement of ratio concept. For this purpose, I tried to analyze the historical development of ratio concept. Most mathematicians today consider ratio as fraction and, in effect, identify ratios with what mathematicians called the denominations of ratios. But Euclid did not. In line with Euclid's theory, ratio should not have been represented in the same way as fraction, and proportion should not have been represented as equation, but in line with the other's theory they might be. The two theories of ratios were running alongside each other, but the differences between them were not always clearly stated. Ratio can be interpreted as a function of an ordered pair of numbers or magnitude values. A ratio is a numerical expression of how much there is of one quantity in relation to another quantity. So ratio can be interpreted as a binary vector which differentiates between the absolute aspect of a vector -its size- and the comparative aspect-its slope. Analysis on ratio concept shows that its basic structure implies 'proportionality' and it is formalized through transmission from the understanding of the invariance of internal ratio to the understanding of constancy of external ratio. In the study, a fittingness(or comparison) and a covariation were examined as the intuitive origins of proportion and proportional reasoning. These form the basis of the protoquantitative knowledge. The development of sequences of proportional reasoning was examined. The first attempts at quantifying the relationships are usually additive reasoning. Additive reasoning appears as a precursor to proportional reasoning. Preproportions are followed by logical proportions which refer to the understanding of the logical relationships between the four terms of a proportion. Even though developmental psychologists often speak of proportional reasoning as though it were a global ability, other psychologists insist that the evolution of proportional reasoning is characterized by a gradual increase in local competence.

• Journal of Korean Society for Geospatial Information Science
• /
• v.22 no.1
• /
• pp.23-29
• /
• 2014

The emergence of high resolution satellite images and the evolution of spatial resolution facilitate various studies using high resolution satellite images. Above all, target detection algorithms are effective for monitoring of traffic flow and military surveillance and reconnaissance because vehicles, airplanes, and ships on broad area could be detected easily using high resolution satellite images. Recently, many satellites are launched from global countries and the diversity of satellite images are also increased. On the contrary, studies on comparison about the spatial resolution or target detection, especially, are insufficient in domestic and foreign countries. Therefore, in this study, effects of spatial resolution on target detection are analyzed using the PSO target detection algorithm. The resampling techniques such as nearest neighbor, bilinear, and cubic convolution are adopted to resize the original image into 0.5m, 1m, 2m, 4m spatial resolutions. Then, accuracy of target detection is assessed according to not only spatial resolution but also resampling method. As a result of the study, the resolution of 0.5m and nearest neighbor among the resampling methods have the best accuracy. Additionally, it is necessary to satisfy the criteria of 2m and 4m resolution for the detection of airplane and ship, respectively. The detection of airplane need more high spatial resolution than ship because of their complexity of shape. This research suggests the appropriate spatial resolution for the plane and ship target detection and contributes to the criteria of satellite sensor design.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.18 no.4
• /
• pp.43-48
• /
• 2018

This study was conducted to reproduce digital colour based on the lightness of the background and size of the colour stimulus so that colour can be similarly perceived under different conditions. With the evolution of display technologies, display devices of various sizes can now reproduce more accurate colour and enhanced images, thus affecting the overall quality of display images. This study reproduced digital colour by considering the visual characteristics of the digital media environment. To accomplish this, we developed a colour appearance model which distinguishes the properties of foveal and peripheral vision. The proposed model is based on existing research on the lightness of the background and size of the colour stimulus. Based on experimental results, an analysis of variance was performed in order to develop the colour appearance model. The algorithm and modelling were verified based on the proposed model. In addition, to apply this model to display technologies, a practical colour control system and a method for handling complex input images were developed. Through this research, colour conversion errors which might occur when the input image is converted to fit a specific display size are resolved from the perspective of the human visual system. As a result, more accurate colour can be displayed and enhanced images can be reproduced.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.47 no.2
• /
• pp.106-114
• /
• 2010

We proposed an unified design methodology and verification platform for giga-scale System on Chip (SoC). According to the growth of VLSI integration, the existing RTL design methodology has a limitation of a production gap because a design complexity increases. A verification methodology need an evolution to overcome a verification gap. The proposed platform includes a high level synthesis, and we develop a power-aware verification platform for low power design and verification automation using it's results. We developed a verification automation and power-aware verification methodology based on control and data flow graph (CDFG) and an abstract level language and RTL. The verification platform includes self-checking and the coverage driven verification methodology. Especially, the number of the random vector decreases minimum 5.75 times with the constrained random vector algorithm which is developed for the power-aware verification. This platform can verify a low power design with a general logic simulator using a power and power cell modeling method. This unified design and verification platform allow automatically to verify, design and synthesis the giga-scale design from the system level to RTL level in the whole design flow.

• Journal of Korea Water Resources Association
• /
• v.45 no.1
• /
• pp.15-27
• /
• 2012

SWMM (Storm Water Management Model) has been widely used in the world as a typical model for flood runoff analysis of urban areas. However, the calibration of the model is difficult, which is an obstacle to easy application. The purpose of the study is to develop an automatic calibration module of the SWMM linked with SCE-UA (Shuffled Complex Evolution-University of Arizona) algorithm. Generally, various objective functions may produce different optimization results for an optimization problem. Thus, five single objective functions were applied and the most appropriate one was selected. In addition to the objective function, another objective function was used to reduce peak flow error in flood simulation. They form a multiple objective function, and the optimization problem was solved by determination of Pareto optima. The automatic calibration module was applied to the flood simulation on the catchment of the Guro 1 detention reservoir and pump station. The automatic calibration results by the multiple objective function were more excellent than the results by the single objective function for model assessment criteria including error of peak flow and ratio of volume between observed and calculated flow. Also, the verification results of the model calibrated by the multiple objective function were reliable. The program could be used in various flood runoff analysis in urban areas.

• Journal of Internet Computing and Services
• /
• v.11 no.1
• /
• pp.35-48
• /
• 2010

For the next generation mobile communication system, diverse wireless network techniques such as beyond 3G LTE, WiMAX/WiBro, and next generation WLAN etc. are proceeding to the form integrated into the All-IP core network. According to this development, Beyond 3G integrated into heterogeneous wireless access technologies must support the vertical handover and network to be used of several radio networks. However, unified management of each network is demanded since it is individually serviced. Therefore, in order to solve this problem this study is introducing the theory of Common Radio Resource Management (CRRM) based on Generic Link Layer (GLL). This study designs the structure and functions to support the vertical handover and propose the vertical handover algorithm of which policy-based and MCDM are composed between LTE and WLAN systems using GLL and CRRM. Finally, simulation results are presented to show the improved performance over the data throughput, handover success rate and the system service cost.

• Journal of Science and Technology Studies
• /
• v.19 no.1
• /
• pp.91-135
• /
• 2019

As we live a life increasingly mediated by computers, we often outsource our critical judgments to artificial intelligence(AI)-based algorithms. Most of us have become quite dependent upon algorithms: computers are now recommending what we see, what we buy, and who we befriend with. What happens to our lives and identities when we use statistical models, algorithms, AI, to make a decision for us? This paper is a preliminary attempt to chronicle a historical trajectory of judging people's economic and moral worth, namely the history of credit-rating within the context of the history of capitalism. More importantly this paper will critically review the history of credit-rating from its earlier conception to the age of big data and algorithmic evaluation, in order to ask questions about what the political implications of outsourcing our judgments to computer models and artificial intelligence would be. Some of the questions I would like to ask in this paper are: by whom and for what purposes is the computer and artificial intelligence encroached into the area of judging people's economic and moral worth? In what ways does the evolution of capitalism constitute a new mode of judging people's financial and personal identity, namely the rated self? What happens in our self-conception and identity when we are increasingly classified, evaluated, and judged by computer models and artificial intelligence? This paper ends with a brief discussion on the political implications of the outsourcing of human judgment to artificial intelligence, and some of the analytic frameworks for further political actions.

• Journal of Space Technology and Applications
• /
• v.2 no.2
• /
• pp.104-120
• /
• 2022

The Small Scale magNetospheric and Ionospheric Plasma Experiment (SNIPE)'s scientific goal is to observe spatial and temporal variations of the micro-scale plasma structures on the topside ionosphere. The four 6U CubeSats (~10 kg) will be launched into a polar orbit at ~500 km. The distances of each satellite will be controlled from 10 km to more than ~1,000 km by the formation flying algorithm. The SNIPE mission is equipped with identical scientific instruments, Solid-State Telescopes(SST), Magnetometers(Mag), and Langmuir Probes(LP). All the payloads have a high temporal resolution (sampling rates of about 10 Hz). Iridium communication modules provide an opportunity to upload emergency commands to change operational modes when geomagnetic storms occur. SNIPE's observations of the dimensions, occurrence rates, amplitudes, and spatiotemporal evolution of polar cap patches, field-aligned currents (FAC), radiation belt microbursts, and equatorial and mid-latitude plasma blobs and bubbles will determine their significance to the solar wind-magnetosphere-ionosphere interaction and quantify their impact on space weather. The formation flying CubeSat constellation, the SNIPE mission, will be launched by Soyuz-2 at Baikonur Cosmodrome in 2023.

• Composites Research
• /
• v.36 no.1
• /
• pp.16-24
• /
• 2023

This paper presents a multi-scale progressive fatigue damage model incorporating the model for interfacial debonding between fibers and matrix. The micromechanics model for the progressive interface debonding was adopted, which defined the four different interface phases: (1) perfectly bonded fibers; (2) mild imperfect interface; (3) severe imperfect interface; and (4) completely debonded fibers. As the number of cycles increases, the progressive transition from the perfectly bonded state to the completely debonded fiber state occurs. Eshelby's tensor for each imperfect state is calculated by the linear spring model for a damaged interface, and effective elastic properties are obtained using the multi-phase homogenization method. The fatigue damage evolution formulas for fiber, matrix and interface were proposed to demonstrate the fatigue behavior of CFRP laminates under cyclic loading. The material parameters for the fiber/matrix fatigue damage were characterized using the chaotic firefly algorithm. The model was implemented into the UMAT subroutine of ABAQUS, and successfully validated with flat-bar UD laminate specimens ([0]₈,[90]₈, [30]₁₆) of AS4/3501-6 graphite/epoxy composite.