• Journal of the Korean Mathematical Society
• /
• v.59 no.1
• /
• pp.171-192
• /
• 2022

For any category with a distinguished collection of sequences, such as n-exangulated category, category of N-complexes and category of precomplexes, we consider its Grothendieck group and similar results of Bergh-Thaule for n-angulated categories [1] are proven. A classification result of dense complete subcategories is given and we give a formal definition of K-groups for these categories following Grayson's algebraic approach of K-theory for exact categories [4].

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.3
• /
• pp.567-608
• /
• 2022

We show that certain extensions of classifiable C^*-algebras are strongly classified by the associated six-term exact sequence in K-theory together with the positive cone of K₀-groups of the ideal and quotient. We use our results to completely classify all unital graph C^*-algebras with exactly one non-trivial ideal.

• Communications of the Korean Mathematical Society
• /
• v.38 no.2
• /
• pp.643-648
• /
• 2023

Let X be a simply connected rationally elliptic space such that H²(X; ℚ) ≠ 0. In this paper, we show that if H²ⁿ(X^[2n-2]; ℚ) = 0 or if π_2n(X²ⁿ) ⊗ ℚ = 0 for all n, then X is an F₀-space.

• Kyungpook Mathematical Journal
• /
• v.64 no.1
• /
• pp.1-14
• /
• 2024

Recently, Zhao, Wang, and Pu introduced and studied new concepts of nonnil-commutative diagrams and nonnil-projective modules. They proved that an R-module that is nonnil-isomorphic to a projective module is nonnil-projective, and they proposed the following problem: Is every nonnil-projective module nonnil-isomorphic to some projective module? In this paper, we delve into some new properties of nonnil-commutative diagrams and answer this problem in the affirmative.

• Journal of the Korea Computer Industry Society
• /
• v.9 no.4
• /
• pp.149-156
• /
• 2008

There is the temporal correlation of a animation sequence between the motion vector of current block and the motion vector of previous block. In this paper, we propose the scene change detection algorithm for block matching using the temporal correlation of the animation sequence and the center-biased property of motion vectors. The proposed algorithm determines the location of a better starting point for the search of an exact motion vector using the point of the smallest SAD(sum of absolute difference) value by the predicted motion vector from the same block of the previous frame and the predictor candidate point on each search region. Simulation results show that the proposed algorithm has better detection performance, such as recall rate, then the existing method. The algorithm has the advantage of speed, simplicity and accuracy. In addition, it requires less amount of storage.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.6 no.3
• /
• pp.19-27
• /
• 2002

The sequence of the propellant supply for ignition of a liquid rocket engine combustor is very important in the reliable and safe operation of the engine. The ignition sequence of KSR-III main engine was briefly described and the measuring parameters and their reliability determining ignition sequence were examined in this paper. The filling time of the engine propellant manifolds and the valve open/close time were reviewed to obtain the exact and reliable time of the propellant supply to the combustor. The combustion characteristics of the engine at starting were discussed at different supply lead of propellant. Finally, the hot firing test results with cyclogram determined by measuring parameters were presented.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.11 no.4
• /
• pp.113-118
• /
• 2011

Sequence homology analysis in the substances in the phenomenon of life is to create database by sorting and indexing and to demonstrate the usefulness of informatics. In this paper, Markov models are used in GenScan program to convert the pattern of complex eukaryotic protein sequences. It becomes impossible to navigate the minimum distance, complexity increases exponentially as the exact calculation. It is used scorecard in amino acid substitutions between similar amino acid substitutions to have a differential effect score, and is applied the Markov models sophisticated concealment of the transition probability model. As providing superior method to translate sequences homologous sequences in analysis using blast p, Markov models. is secreted protein structure of sequence translations.

• Journal of the Korean Society of Safety
• /
• v.5 no.3
• /
• pp.56-62
• /
• 1990

This study is conducted to analyze exact causes of occupational fatalities and results are as follows ： 1) The number of fatalities in establislment which employed less than 50 workers is 605(40.1％ ). Age of sixties and seventies is occupied by 10 percent with there being old-aged trend. Fatal workers who were employed less than 3 months are 39.5 percent and fatal workers who were employed more than 10 years are 11.9 percent. Safety training is necessary for newly recruited and long employed workers. 2) Accident type is, in sequence, fall from elevation, traffic accident, disease, contact with electric current, and hazardous condition is, in order, inadequate guard, hazardous method or procedure, public hazard, and agency of accident is, in sequence, temporary structure/building/structure, powered transport vehicle, passenger vehicle, hoisting or lifting apparatus, and unsafe act is, in order, driving error, failure to secure or warn. 3) The results of cross-tabulation for hazardous condition and accident type is, in sequence, traffic accident by public hazard, fall from elevation by hazardous method or procedure, fall from elevation as well as contact with elctric current by inadequate guard. The result of cross-tabulation for agency of accident and accident type is, in order, fall from elevation by temporary structure/building/structure, traffic accident of passenger vehicle and powered transport vehicle, contact with electric apparatus. The result of cross-tabulation for agency of accident and hazardous condition is, in sequence, public hazard of passenger vehicle, hazardous method or procedure of temporary structure/building/structure, publit hazard of powered transport vehicle, inadequate guard of temporary structure/building/structure. The result of cross-tabulation for unsafe act and accident type is, in sequence, traffic accident by driving error, fall from elevation by inattention to footing or surrounding, contact with electric current by secure or warn.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.2
• /
• pp.1073-1076
• /
• 2005

Since the size of biosequence database grows exponentially every year, it becomes impractical to use Smith-Waterman algorithm for exact sequence similarity search. For fast sequence similarity search, researchers have been proposed heuristic methods that use the frequency of characters in subsequences. These methods have the defect that different sequences are treated as the same sequence. Because of using only the frequency of characters, the accuracy of these methods are lower than Smith-Waterman algorithm. In this paper, we propose an algorithm which processes query efficiently by indexing the frequency of characters including the positional information of characters in subsequences. The experiments show that our algorithm improve the accuracy of sequence similarity search approximately 5${\sim}$20% than heuristic algorithms using only the frequency of characters.

• Journal of IKEEE
• /
• v.15 no.2
• /
• pp.171-178
• /
• 2011

In this paper, a novel pulse repetition interval (PRI) jittering coder based on quasi-random M-sequence codes is proposed for improvement of counter-countermeasure capability in a radar. Each of the proposed jittered 256 PRI codes has a unique code chip combination with 256 code chips, such that any set of three consequent code chips (4 pulses) from any code appears only once among the entire code chip sequences of the codes. This indicates that only 4 of received pulses are enough to determine uniquely the exact timing position of the incoming pulse train (or code chip sequence) required for counter-countermeasure, as well as the identity of the transmitted code. To prove the proposed idea experimentally, the jittered PRI coder is implemented and demonstrated.