• ETRI Journal
• /
• v.42 no.1
• /
• pp.101-107
• /
• 2020

For Korean language processing, morphological analysis is a critical component that requires extensive work. This morphological analysis can be conducted in an end-to-end manner without requiring a complicated feature design using a sequence-to-sequence model. However, the sequence-to-sequence model has a time complexity of O(n²) for an input length n when using the attention mechanism technique for high performance. In this study, we propose a linear-time Korean morphological analysis model using a local monotonic attention mechanism relying on monotonic alignment, which is a characteristic of Korean morphological analysis. The proposed model indicates an extreme improvement in a single threaded environment and a high morphometric F1-measure even for a hard attention model with the elimination of the attention mechanism formula.

• Kyungpook Mathematical Journal
• /
• v.51 no.2
• /
• pp.233-239
• /
• 2011

In this article we study the noton of I-monotonic sequences. We prove the decomposition theorem and generalize some of the results on monotonic sequences. We also introduce I-convergent series and studied some results.

• Journal of the Korean Data and Information Science Society
• /
• v.17 no.2
• /
• pp.657-659
• /
• 2006

This note gives a counterexample showing that a main theorem of Aytal and Pehliven's (Information Sciences 176 (2006) 734-744) result on statically monotonic and bounded sequences of fuzzy numbers is not valid.

• Journal of Information Technology Services
• /
• v.16 no.3
• /
• pp.103-111
• /
• 2017

The real time scheduling is a key research area in high performance computing and has been a source of challenging problems. A periodic task is an infinite sequence of task instance where each job of a task comes in a regular period. The RMS (Rate Monotonic Scheduling) algorithm has the advantage of a strong theoretical foundation and holds out the promise of reducing the need for exhaustive testing of the scheduling. Many real-time systems built in the past based their scheduling on the Cyclic Executive Model because it produces predictable schedules which facilitate exhaustive testing. In this work we propose hybrid scheduling method which combines features of both of these scheduling algorithms. The original rate monotonic scheduling algorithm didn't consider the uniform sampling tasks in the real time systems. We have enumerated some issues when the RMS is applied to our hybrid scheduling method. We found the scheduling bound for the hard real-time systems which include the uniform sampling tasks. The suggested hybrid scheduling algorithm turns out to have some advantages from the point of view of the real time system designer, and is particularly useful in the context of large critical systems. Our algorithm can be useful for real time system designer who must guarantee the hard real time tasks.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.12 no.1
• /
• pp.10-18
• /
• 1987

This paper discusses algorithmic properties of a class of complementarity programs involving strictly diagonally isotone and off-diagonally isotone functions, i. e., functions whose Jacobian matrices have positive diagonal elements and nonnegative off-diagonal elements, A typical traffic equilibrium under elastic demands is cast into this class. Algorithmic properties of these complementarity problems, when a Jacobi-type iteration is applied, are investigated. It is shown that with a properly chosen starting point the generated sequence are decomposed into two converging monotonic subsequences. This and related will be useful in developing solution procedures for this class of complementarity problems.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.3
• /
• pp.987-998
• /
• 2015

In the paper, the authors discover an integral representation, some inequalities, and complete monotonicity of the Bernoulli numbers of the second kind.

• Tunnel and Underground Space
• /
• v.21 no.4
• /
• pp.307-319
• /
• 2011

Cyclic loading due to traffic, excavation and blasting causes microcrack growth in rocks over long period of time, and this type of loading often causes rock to fail at a lower stress than its monotonically determined strength. Thus, the crack growth and coalescence under cyclic loading are important for the long-term stability problems. In this research, experiments using gypsum as a model material for rock are carried out to investigate crack propagation and coalescence under monotonic and cyclic loading. Both monotonic and cyclic tests have a similar wing crack initiation position, wing crack initiation angle, cracking sequence and coalescence type. Three types of crack coalescence were observed; Type I, II and III. Type I coalescence occurs due to a shear crack and Type II coalescence occurs through one wing or tension crack. For Type III, coalescence occurs through two wing or tension cracks. Fatigue cracks appear in cyclic tests. Two types of fatigue crack initiation directions, coplanar and horizontal directions, are observed.

• Journal of applied mathematics & informatics
• /
• v.27 no.5_6
• /
• pp.981-1000
• /
• 2009

This paper considers asset liability management problems when their deterministic equivalent formulations are general nonlinear optimization problems. The presented approach uses a nonmonotone trust region strategy for solving a sequence of unconstrained subproblems parameterized by a scalar parameter. The objective function of each unconstrained subproblem is an augmented penalty-barrier function that involves both primal and dual variables. Each subproblem is solved approximately. The algorithm does not restrict a monotonic decrease of the objective function value at each iteration. If a trial step is not accepted, the algorithm performs a non monotone line search to find a new acceptable point instead of resolving the subproblem. We prove that the algorithm globally converges to a point satisfying the second-order necessary optimality conditions.

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

Carbon/epoxy composite(CFRP) coupons previously damaged by low velocity impact were tested under static tensile loading and microscope progress of damage was characterized by ultrasonic C-scan, Scanning Acoustic Microscopy (SAM) and Acoustic Emission(AE) techniques which were based on the application of elastic waves. The degress of impact damage has been correlated with the AE activity during monotonic or loading/unloading tensile testing as well as the result of ultrasonic test. The coupons were subjected to impact velocities ranged from 0.71 to 2.17 m/sec, which introduced the amount of damage rated as 0%, 10%, 30%, and 50% with reference to the total absorbed energy at fracture. Special attention was paid to determine optimal AE parameters to characterize the microscopic fracture process and to predict the residual strength of composite laminates. AE RMS voltage during the early stage of tensile loading was found an effective parameter to quantify the degree of impact damage. It was also found that the Felicity ratio is closely related to the stacking sequence and the residual strength of the CFRP laminates.

• The KIPS Transactions:PartA
• /
• v.9A no.2
• /
• pp.259-266
• /
• 2002

In this paper we implemented various image processing filtering using the format converter. This design method is based on realized the large processor-per-pixel array by integrated circuit technology. These two types of integrated structure are can be classify associative parallel processor and parallel process DRAM (or SRAM) cell. Layout pitch of one-bit-wide logic is Identical memory cell pitch to array high density PEs in integrate structure. This format converter design has control path implementation efficiently, and can be utilize the high technology without complicated controller hardware. Sequence of array instruction are generated by host computer before process start, and instructions are saved on unit controller. Host computer is executed the pixel-parallel operation starting at saved instructions after processing start. As a result, we obtained three result that 1) simple smoothing suppresses higher spatial frequencies, reducing noise but also blurring edges, 2) a smoothing and segmentation process reduces noise while preserving sharp edges, and 3) median filtering may be applied to reduce image noise. Median filtering eliminates spikes while maintaining sharp edges and preserving monotonic variations in pixel values.