• Communications of the Korean Mathematical Society
• /
• v.35 no.1
• /
• pp.83-116
• /
• 2020

Let G be a finite group. By a sequence over G, we mean a finite unordered sequence of terms from G, where repetition is allowed, and we say that it is a product-one sequence if its terms can be ordered such that their product equals the identity element of G. The large Davenport constant D(G) is the maximal length of a minimal product-one sequence, that is, a product-one sequence which cannot be factored into two non-trivial product-one subsequences. We provide explicit characterizations of all minimal product-one sequences of length D(G) over dihedral and dicyclic groups. Based on these characterizations we study the unions of sets of lengths of the monoid of product-one sequences over these groups.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1993.10a
• /
• pp.200-205
• /
• 1993

The automatic forming sequence design system can determine desirable operation sequences even if they have little experience in the design of cold forging process. This system is proposed,which generates forming sequence plans for the multistage cold forging of zxisymmetrical solid products. Since the process of metal forming can be considered as a transformation of geometry, treatment of the geometry of the product is a key in planning processes. Forming sequence for the part can be determined by means of primitive geometries such as cylinder,cone, convex, and concave. By utilizing this geometrical characteristics(diameter,height, and radius),the product geometry is expressed by a list of the pnmitive geometries. Accordingly, the forming sequence design is formulated as the search problem which starts with a billet geometry and finishes with a given product one. Using the developed system, the sequence drawing with all dimensions, which includes the proper sequence of operations for the part, is generated under the environment of AutoCAD. The preliminary choice of some feasible forming sequences can verify by using the finite element simulation.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.9
• /
• pp.363-372
• /
• 2019

A sequence refers to data in which the order exists on the two items, and purchase transaction data in which the products purchased by one customer are listed is one of the representative sequence data. In general, all goods have a product taxonomy, such as category/ sub-category/ sub-sub category, and if they are similar to each other, they are classified into the same category according to their characteristics. Therefore, in this paper, we not only consider the purchase order of products to compare two purchase transaction sequences, but also calculate their similarity by giving a higher score if they are in the same category in spite of their difference. Especially, in order to choose the best similarity measure that directly affects the calculation performance of the purchase transaction sequences, we have compared the performance of three representative similarity measures, the Levenshtein distance, dynamic time warping distance, and the Needleman-Wunsch similarity. We have extended the existing methods to take into account the product taxonomy. For conventional similarity measures, the comparison of goods in two sequences is calculated by simply assigning a value of 0 or 1 according to whether or not the product is matched. However, the proposed method is subdivided to have a value between 0 and 1 using the product taxonomy tree to give a different degree of relevance between the two products, even if they are different products. Through experiments, we have confirmed that the proposed method was measured the similarity more accurately than the previous method. Furthermore, we have confirmed that dynamic time warping distance was the most suitable measure because it considered the degree of association of the product in the sequence and showed good performance for two sequences with different lengths.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.34 no.7C
• /
• pp.635-639
• /
• 2009

In this paper, we show that any two Hadamard matrices of the same size are equivalent if they have the property that the rows of each Hadamard matrix are closed under binary vector addition. One of direct consequences of this result is that the equivalence between cyclic Hadamard matrices constructed by maximal length sequences and Walsh-Hadamard matrix of the same size generated by Kronecker product can be established.

• The Korea Journal of Herbology
• /
• v.29 no.3
• /
• pp.19-26
• /
• 2014

Objectives : Aucklandiae Radix (Muxiang) one of important herbal medicines in oriental medicine, is defined as the dried root of Aucklandia lappa (Asteraceae). Owing to the similarities in the morphology and name, Inulae Radix (Tu-Muxiang) and Vladimiriae Radix (Chuan-Muxiang) as well as Aristolochiae Radix (Qing-Muxiang) originated from other medicinal plants are often used as substitutes and/or adulterants of Aucklandiae Radix. Therefore, a reliable authentication of these herbal medicines is necessarily for the public health and prevention of misuse. Methods : 32 samples of medicinal plants supplying Aucklandiae Radix, Inulae Radix, Vladimiriae Radix, and Aristolochiae Radix were collected in Korea and China. The ITS (Internal transcribed spacer) nucleotide sequences of samples were determined. The PCR primers to amply DNA marker of each herbal medicine were designed basing on the specific ITS regions showing differences in the sequences among medicinal plants. Results : Primer set Al R/IS F designed in this work amplified 220 bp PCR product only in samples of Aucklandiae Radix. In contrast, primer set Ih F/IS R, Vs R/IS F, and AcR F1/Ac R amplified 250 bp product, 356 bp prouct, and 516 bp product respectively to identify Inulae Radix, Vladimiriae Radix, and Aristolochiae Radix. Conclusions : The primers designed basing on the nucleotide sequences of ITS regions appearing differenced in the sequences among medicinal plants amplified the DNA markers for the identification of Aucklandiae Radix, Inulae Radix, Vladimiriae Radix, and Aristolochiae Radix. These herbal medicines were more efficiently identified by multiplex PCR method using all primers in a single PCR process.

• Nuclear Engineering and Technology
• /
• v.46 no.6
• /
• pp.825-836
• /
• 2014

Predicting radioactive fission product (FP) behaviors in the reactor coolant system and the containment of a nuclear power plant (NPP) is one of the major concerns in the field of reactor safety, since the amount of radioactive FP released into the environment during the postulated accident sequences is one of the major regulatory issues. Radioactive FPs circulating in the primary coolant loop and released into the containment are basically in the form of gas or aerosol. In this study, a multi-component and multi-sectional analysis module for aerosol fission products has been developed based on the MAEROS model [1,2], and the aerosol transport model has been developed and verified against an analytic solution. The deposition of aerosol FPs to the surrounding structural surfaces is modeled with recent research achievements. The developed aerosol analysis model has been successfully validated against the STORM SR-11 experimental data [3], which is International Standard Problem No. 40. Future studies include the development of the resuspension, growth, and chemical reaction models of aerosol fission products.

• Journal of applied mathematics & informatics
• /
• v.30 no.1_2
• /
• pp.93-100
• /
• 2012

In this paper, we present a strongly convergent parallel projection algorithm by introducing some parameter sequences for convex feasibility problem. To prove the strong convergence in a simple way, we transmit the parallel algorithm in the original space to an alternating one in a newly constructed product space. Thus, the strong convergence of the parallel projection algorithm is derived with the help of the alternating one under some parametric controlling conditions.

• Journal of Institute of Control, Robotics and Systems
• /
• v.1 no.2
• /
• pp.112-118
• /
• 1995

In designing assembly lines, it is required that the lines should not only meet the demand of the product, but also minimize the assembly cost associated with the line. For such a purpose, numerous research efforts have been made on either the assembly sequence generation or the assembly line balancing. However, the works dealing with both the research problems have been seldom reported in literature. When assembly sequences are generated without consideration of line balancing, additional cost may be incurred, because the sequences may not guarantee the minimum number of workstations. Therefore, it is essential to consider line balancing in the generation of cost-effective assembly sequences. To incorporate the two research problems into one, this paper treats a single-model and deterministic (SMD) assembly line balancing (ALB) problem, and proposes a new method for generating line-balanced robotic assembly sequences by using a simulated annealing. In this method, an energy function is derived in consideration of the satisfaction of assembly constraints, and the minimization of both the assembly cost and the idle time. Then, the energy function is iteratively minimized and occasionally perturbed by the simulated annealing. When no further change in energy occurs, an assembly sequence with consideration of line balancing is finally found. To show the effectiveness of the proposed scheme, a case study for an electrical relay is presented.

• International Journal of Industrial Entomology and Biomaterials
• /
• v.4 no.2
• /
• pp.155-162
• /
• 2002

Cytochrome P45O (CYP) gene has been known to play one of the most important roles in metabolizing the exogenous materials. In insect, CYP is particularly known to detoxify toxic materials by adding oxygen molecule to the hydrophobic region of the materials. Thus, CYP-dependent metabolism is associated with the adaptation of insect to host plant chemicals. This in turn is known to be one of the driving forces for CYP diversification. In the present study, we cloned seven gene fragments of CYP 4 (CYP4) family from the midgut of the beet armyworm, Spodoptera exigua, through RT.PCT, Sequence analysis of the product showed the gene fragment to contain an open reading frame of ~150 amino acids, consisted of ~450 bp. The cloned gene fragments contained typical, conserved regions found in CYP4 family. Pairwise comparison of the deduced amino acid sequences among seven clones ranged in divergence from 0% to 52.86% and resulted in five distinct clones. The other two clones were identical or differ by one amino acid respectively to the corresponding clone, although each differed by ten nucleotides. Analysis of correlation between GenBank-registered, full length CYP4 and the cloned fragments resulted in statistically significant relationship ($r^{2}$ = 0.96085; p < 0.001), suggesting utility of the partial sequences as such full-length sequences. Phylogenetic analysis of the clones with GenBank-registered insect and mammal CYP4 family sequences by parsimony and several distance methods subdivided the clones into two groups: tones belonging to CYP4S and the others to CYP4M families.

• Korean Journal of Veterinary Research
• /
• v.41 no.1
• /
• pp.59-65
• /
• 2001

To clarify for the presence of infectious bronchitis virus (IBV) in Korea before 1986, in which the virus was first isolated, materials collected from chicken diagnostic consignments between 1980 and 1985 and propagated in chicken embryos or cell cultures were screened by the reverse transcriptase polymerase chain reaction (RT-PCR) targeted to the nucleocapsid gene of the virus. Among 11 samples examined, one sample (IBV-SNU80108) submitted in 1980 showed specific PCR product (281 bp). When the amplified product was sequenced, together with IBV vaccine virus H120 strain, and compared with the data for ten other IBV strains derived from the GeneBank, identities between IBV-SNU80108 and other strains in nucleotide and amino acid sequences ranged 96.3% to 63.7% and 96.4% to 69%, respectively. IBV-SNU80108 was distinct from H120 strain by showing 91.9% and 92.9% identities in the respective sequences. This data suggested that IBV genetically distinctive from other foreign IBV strains might be present before 1986 in Korea.