• Journal of applied mathematics & informatics
• /
• v.3 no.1
• /
• pp.11-24
• /
• 1996

The focus of this research is the class of sequential al-gorithms called predictive sorting algorithms for sorting a given set of n elements using pairwise comparisons. The order in which these pairwise comparisons are made is defined by a fixed sequence of all un-ordered pairs of distinct integers{1,2 ···,n} called a sort sequence. A predictive sorting algorithm associated with a sort sequence spec-ifies pairwise comparisons of elements in the input set in the order defined by the sort sequence except that the comparisons whose out-comes can be inferred from the preceding pairs of comparisons are not performed. in this paper predictive sorting algorithms are obtained based on known sorting algorithms and are shown to be required on the average O(n log n) comparisons.

• Transactions of Materials Processing
• /
• v.13 no.2
• /
• pp.122-128
• /
• 2004

In order to make a doubly-curved sheet metal effectively, a sheet metal forming process has been developed by adopting the flexibility of the incremental forming process and the principle of bending deformation which causes slight deformation in thickness. The developed process is an unconstrained forming process with no holder. For this study, the experimental equipment is set up with the roll set which consists of two pairs of support rolls and one center roll. In the experiments using aluminum sheets, it is found that the curvature of the formed sheet metal is determined by controlling the distance between supporting rolls in pairs and the forming depth of the center roll and it also depends on the thickness of the sheet metal. In order to check the effect of process parameters on the generation of sheet metal curvatures in this process, the orthogonal array is adopted. From the experimental results, among the process parameters, the distance between supporting rolls in pairs along the direction of one principal radius of curvature as well as the forming depth and the thickness of the material is shown to influence the generation of curvature in the same direction significantly. That is, the other distance between supporting rolls in pairs which are not located in the same direction of one principal radius of curvature, does not have an significant effect on the generation of the curvature in that direction. It mainly affects the generation of curvature in its own direction with the forming depth and the thickness of the material.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2003.08a
• /
• pp.53-57
• /
• 2003

In order to make a doubly curved sheet metal effectively, a sheet metal farming process has been developed by adopting the flexibility of the incremental forming process and the principle of bending deformation which causes slight deformation to thickness. The developed process is an unconstrained forming process with no holder. For this study, the experimental equipment is set up with the roll set which consists of two pairs of support rolls and one center roll. In the experiments using aluminum sheets, it is found that the curvature of the formed sheet metal is determined by controlling the distance between supporting rolls in pairs and the forming depth of the center roll and it also depends on the thickness of the sheet metal. In order to check the effect of process parameters on the generation of sheet metal curvatures in this process, the orthogonal array is adopted. From the experimental results, among the process parameters, the distance between supporting rolls in pairs along the same direction of one principle radius of curvature as well as the forming depth and the thickness of the material is shown to influence the generation of curvature in the same direction significantly. That is, the other distance between supporting rolls in pairs which are not located in the same direction of one principle radius of curvature, does not have an significant effect on the generation of the curvature in that direction. It just affects the generation of curvature in its own direction mainly with the forming depth and the thickness of the material.

• The Korean Journal of Malacology
• /
• v.23 no.1
• /
• pp.39-49
• /
• 2007

We investigated to understand the differences in the karyotypes and the reproductive characteristics between the diploid clam, Corbicula japonica in the brackish water and the triploid clam, C. fluminea in the freshwater. The number of chromosomes of the diploid C. japonica were 38, which can be grouped into 19 pairs of two homologues. These can be divided into 11 pairs of telocentric, 4 pairs of subtelocentric, 3 pairs of submetacentric and one pair of metacentric chromosomes. C. japonica is oviparous and dioecious. The clam has two pairs of gills, with the inner and outer-demibranchs, however, they do not act mainly as marsupia. External fertilization occurs in the brackish water. The triploid marsh clam, C. fluminea has 54 chromosomes, which can be grouped into 18 sets of three homologues. These 18 sets can be divided into one metacentric group, five submetacentric groups and 12 subtelo- or telocentric groups. C. fluminea is ovoviviparous and functional hermaphrodite. The triploid condition may be closely related to hermaphroditism. This species has the inner-demibranchs acting mainly as marsupia. The depletion of ripe eggs occurred in the inner-demibranchs of the gill during the incubatory periods, and ripe eggs produced in the hermaphroditic follicles in the gonad during the non-incubatory periods. The gonad developmental stages of two marsh clams (C. japonica and C. fluminea) can be divided into five stages: early active stage, late active stage, ripe stage, partially spawned stages, and spent/inactive stage.

• Journal of the Korean Society for Precision Engineering
• /
• v.26 no.8
• /
• pp.104-111
• /
• 2009

In this paper, the gear design program is presented. The profile of gears is created using classical mathematic formulations. In each gear, a kinematic joint is applied and one can define the 20 contact condition between gear pairs. Initial and boundary conditions such as force, torque, velocity, acceleration, etc. can be set. Thus, it is possible to analyze dynamic characteristics of gear pairs such as reaction moment and the variation of angular velocity. In order to find the optimal profile of gear pairs, two optimization methods based on design of experiments are inserted in the program; One is the Taguchi method and the other is the response surface analysis method. To verify the program, the rack & pinion gear is created and analyzed. Simulation results show that the developed program is useful and result data is reliable.

• Journal of the Korean Mathematical Society
• /
• v.55 no.2
• /
• pp.425-445
• /
• 2018

A set {$a_1,\;a_2,{\ldots},\;a_m$} of positive integers is called a Diophantine m-tuple if $a_ia_j+1$ is a perfect square for all $1{\leq}i$ < $j{\leq}m$. In this paper, we show that the form of third element in Diophantine pairs and develop some results which are needed to prove the extendibility of the Diophantine pair {a, b} with some conditions. By using this result, we prove the extendibility of Diophantine pairs {$F_{k-2}F_{k+1},\;F_{k-1}F_{k+2}$} and {$F_{k-2}F_{k-1},\;F_{k+1}F_{k+2}$}, where $F_n$ is the n-th Fibonacci number.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2007.11a
• /
• pp.285-292
• /
• 2007

The parallel corpus is an important resource in the research field of data-driven natural language processing, but there are only a few parallel corpora publicly available nowadays, mostly due to the high labor force needed to construct this kind of resource. A novel strategy is brought out to automatically fetch parallel text from the web in this paper, which may help to solve the problem of the lack of parallel corpora with high quality. The system we develop first downloads the web pages from certain hosts. Then candidate parallel page pairs are prepared from the page set based on the outer features of the web pages. The candidate page pairs are evaluated in the last step in which the sentences in the candidate web page pairs are extracted and aligned first, and then the similarity of the two web pages is evaluate based on the similarities of the aligned sentences. The experiments towards a multilingual web site show the satisfactory performance of the system.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.6
• /
• pp.1589-1600
• /
• 2019

In this paper, we apply the notion of cocyclic maps to the category of pairs proposed by Hilton and obtain more general concepts. We discuss the concept of cocyclic morphisms with respect to a morphism and find that it is a dual concept of cyclic morphisms with respect to a morphism and a generalization of the notion of cocyclic morphisms with respect to a map. Moreover, we investigate its basic properties including the preservation of cocyclic properties by morphisms and find conditions for which the set of all homotopy classes of cocyclic morphisms with respect to a morphism will have a group structure.

• Proceedings of the Korean Society for Bioinformatics Conference
• /
• 2004.11a
• /
• pp.272-278
• /
• 2004

Recently, Pepe et al. (2003) employed the receiver operating characteristic (ROC) approach to rank candidate genes from a microarray experiment that can be used for the biomarker development with the ultimate purpose of the population screening of a cancer, In the cancer microarray experiment based on n patients the researcher often wants to compare the tumor tissue with the normal tissue within the same individual using a common reference RNA. This design is referred to as a reference design or an indirect design. Ideally, this experiment produces n pairs of microarray data, where each pair consists of two sets of microarray data resulting from reference versus normal tissue and reference versus tumor tissue hybridizations. However, for certain individuals either normal tissue or tumor tissue is not large enough for the experimenter to extract enough RNA for conducting the microarray experiment, hence there are missing values either in the normal or tumor tissue data. Practically, we have $n_1$ pairs of complete observations, $n_2$ 'normal only' and $n_3$ 'tumor only' data for the microarray experiment with n patients, where n=$n_1$+$n_2$+$n_3$. We refer to this data set as a mixed data set, as it contains a mix of fully observed and partially observed pair data. This mixed data set was actually observed in the microarray experiment based on human tissues, where human tissues were obtained during the surgical operations of cancer patients. Pepe et al. (2003) provide the rationale of using ROC approach based on two independent samples for ranking candidate gene instead of using t or Mann -Whitney statistics. We first modify ROC approach of ranking genes to a paired data set and further extend it to a mixed data set by taking a weighted average of two ROC values obtained by the paired data set and two independent data sets.

• Language and Information
• /
• v.12 no.1
• /
• pp.27-65
• /
• 2008

This paper presents a set of methodologies for aligning hypernym-hyponym noun pairs between Korean and English, based on the EuroWordNet approach. Following the methods conducted in EuroWordNet, our approach makes extensive use of WordNet in four steps of the building process: 1) Monolingual dictionaries have been used to extract proper hypernym-hyponym noun pairs, 2) bilingual dictionary has converted the extracted pairs, 3) Word Net has been used as a backbone of alignment criteria, and 4) WordNet has been used to select the most similar pair among the candidates. The importance of this study lies not only on enriching semantic links between two languages, but also on integrating lexical resources based on a language specific and dependent structure. Our approaches are aimed at building an accurate and detailed lexical resource with proper measures rather than at fast development of generic one using NLP technique.