• Journal of the Korean Mathematical Society
• /
• v.59 no.3
• /
• pp.439-448
• /
• 2022

For a natural number n, let R(n) denote the number of representations of n as the sum of one square and five cubes of primes. In this paper, it is proved that the anticipated asymptotic formula for R(n) fails for at most $O(N^{{\frac{4}{9}+{\varepsilon}})$ positive integers not exceeding N.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.4
• /
• pp.1031-1038
• /
• 2021

The main aim of this article is to study quantitative structure of finite simple exceptional groups F₄(2ⁿ) with n > 1. Here, we prove that the finite simple exceptional groups F₄(2ⁿ), where 2⁴ⁿ + 1 is a prime number with n > 1 a power of 2, can be uniquely determined by their orders and the set of the number of elements with the same order. In conclusion, we give a positive answer to J. G. Thompson's problem for finite simple exceptional groups F₄(2ⁿ).

• MALSORI
• /
• no.48
• /
• pp.57-67
• /
• 2003

This paper presents a systematic description of exceptional pronunciations for automatic Korean pronunciation generation. An automatic pronunciation generator in Korean is an essential part of a Korean speech recognition system and a TTS (Text-To-Speech) system. It is composed of a set of regular rules and an exceptional pronunciation dictionary. The exceptional pronunciation dictionary is created by extracting the words that have exceptional pronunciations, based on the characteristics of the words of exceptional pronunciation through phonological research and the systematic analysis of the entries of Korean dictionaries. Thus, the method contributes to improve performance of automatic pronunciation generator in Korean as well as the performance of speech recognition system and TTS system in Korean.

• Journal of the Korean Mathematical Society
• /
• v.52 no.5
• /
• pp.955-964
• /
• 2015

Let K be a number field and let S be a finite set of primes of K containing all the infinite ones. Let ${\alpha}_0{\in}{\mathbb{A}}^1(K){\subset}{\mathbb{P}}^1(K)$ and let ${\Gamma}_0$ be the set of the images of ${\alpha}_0$ under especially all Chebyshev morphisms. Then for any ${\alpha}{\in}{\mathbb{A}}^1(K)$, we show that there are only a finite number of elements in ${\Gamma}_0$ which are S-integral on ${\mathbb{P}}^1$ relative to (${\alpha}$). In the light of a theorem of Silverman we also propose a conjecture on the finiteness of integral points on an arbitrary dynamical system on ${\mathbb{P}}^1$, which generalizes the above finiteness result for Chebyshev morphisms.

• Journal of Technology Innovation
• /
• v.25 no.2
• /
• pp.153-179
• /
• 2017

Korean government has granted fixed indirect cost rates to several exceptional R&D programs which is lower than the predetermined rate by the government. It has been needed to evaluate the validity of exceptional R&D programs and determine the optimal indirect costs rate of the programs. This study analyzes the cost structure and explores drivers of indirect costs of exceptional R&D programs and evaluates the validity of current indirect costs rates. Finally, we propose the formulas for indirect costs rates of exceptional R&D programs. We analyze the cost structure of the exceptional R&D programs. Equipments and material costs are 50% in infra building program. Scholarship to students is 43% in HRD program. Equipments and material costs are 50% and R&D activity costs are 31% in international R&D program. Main cost components of evaluation program are salary(37%), R&D execution costs(21%) and R&D activity costs(19%). We propose three formulas of indirect costs for exceptional programs. 1) The cost items with exceptionally large amount are excluded in the base of formula for indirect costs. 2) Fixed indirect cost rate is applied for specific R&D programs. 3) Upper bound is set for the cost items with exceptionally large amount in the calculation of indirect costs rate. Our proposal is expected to contribute to the improvement of the efficiency of national R&D programs.

• Genomics & Informatics
• /
• v.2 no.3
• /
• pp.131-133
• /
• 2004

MediScore is an information retrieval system, which helps to search for the set of genes associated with a specific disease or the set of diseases associated with a specific gene. Despite recent improvement of natural language processing (NLP) and other text mining approaches to search for disease associated genes, many false positive results come out due to diversity of exceptional cases as well as ambiguities in gene names. In order to overcome the weak points of current text mining approaches, MediScore introduces statistical normalization based on binomial to normal distribution approximation which corrects inaccurate scores caused by common words not representing genes and interactive rescoring by the user to remove the false positive results. Interactive rescoring includes individual alias scoring for each gene to remove false gene synonyms, referring MEDLINE abstracts, and cross referencing between OMIM and other related information.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.20 no.10
• /
• pp.1-8
• /
• 2021

Cylinder liners used in diesel engines of combat equipment are prone to cavitation due to wet cooling. The damage caused by erosion and corrosion due to cavitation has a fatal effect on the performance and lifespan of a diesel engine. Therefore, a study was conducted to improve the durability of cylinder liners. Two surface treatment techniques were proposed: nitriding and chrome plating. It was observed that the amount of erosion on the surface of nitride-treated cylinder liners was high because the surface-treated part eroded due to its weak impact resistance against the bubble explosion generated by cavitation. In contrast, the chrome-plated cylinder liner had a lower amount of erosion among the specimens subjected to the accelerated test. These results verified that the resistance of chrome-plated liners against cavitation is high. Therefore, it can withstand the impact of bubble explosion. If the chrome plating thickness is set with reference to the KS standard, an exceptional durability of abrasion, wear resistance, and corrosion resistance can be obtained. If the thickness is set between 120~250㎛, it is expected that the durability of the cylinder liner can be improved. Although a recovery method for corroded cylinder liners is suggested, the proposed method has an inherent risk of crack generation. Therefore, further research is required to solve this problem.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.8 no.6
• /
• pp.58-69
• /
• 1998

This paper introduces a novel neuro-fuzzy system based on the polynomial fuzzy neural network(PFNN) architecture. The PFNN consists of a set of if-then rules with appropriate membership functions whose parameters are optimized via a hybrid genetic algorithm. A polynomial neural network is employed in the defuzzification scheme to improve output performance and to select appropriate rules. A performance criterion for model selection, based on the Group Method of DAta Handling is defined to overcome the overfitting problem in the modeling procedure. The hybrid genetic optimization method, which combines a genetic algorithm and the Simplex method, is developed to increase performance even if the length of a chromosome is reduced. A novel coding scheme is presented to describe fuzzy systems for a dynamic search rang in th GA. For a performance assessment of the PFNN inference system, three well-known problems are used for comparison with other methods. The results of these comparisons show that the PFNN inference system outperforms the other methods while it exhibits exceptional robustness characteristics.

• Management Science and Financial Engineering
• /
• v.6 no.1
• /
• pp.1-19
• /
• 2000

This papeer proposes a general approach of the multivariate expontially weighted moving average(MEWMA) chart, in which the smoothing matrix has full elements instead of only diagonal elements. The average run length (ARL) properties of this scheme are examined for a diverse set of quality control environments and the information to design the chhart is provied. Performance of the scheme is measured by estmating ARL and compared to those of two group cumulative sum (CUSUM) chats. The comparison resullts show that the MEWMA chart can improve its ARL performance in detecting a small shifts out-of-control in the start-up stage, the general MEWMA chart of a full smoothing matrix appears to offer an exceptional protection aginst departures from control in the process mean.

• Proceedings of the Safety Management and Science Conference
• /
• 2011.04a
• /
• pp.329-338
• /
• 2011

Business processes are often of long duration, and include internal worker's decision making, which makes business processes to be exposed to many exceptional situations. These properties of business processes makes it difficult to design processes to support uncertainties from internal or external environments. The behavioral properties of business processes mainly depends on the data aspects of business processes. To formalize the data aspect of process modeling, this paper proposes a graph-based model, called Data Dependency Graph (DDG), constructed from dependency relationships specified between business data. The paper also defines a mechanism of describing a set of mapping rules that generates a process model semantically equivalent to a DDG, which is accomplished by allocating data dependencies to component activities.