• Journal of applied mathematics & informatics
• /
• v.15 no.1_2
• /
• pp.1-28
• /
• 2004

We first apply a first order splitting to a semilinear reaction-diffusion equation and then discretize the resulting system by an $H^1$-Galerkin mixed finite element method in space. This semidiscrete method yields a system of differential algebraic equations (DAEs) of index one. A priori error estimates for semidiscrete scheme are derived for both differ-ential as well as algebraic components. For fully discretization, an implicit Runge-Kutta (IRK) methods is applied to the temporal direction and the error estimates are discussed for both components. Finally, we conclude the paper with a numerical example.

• Journal of Information Processing Systems
• /
• v.6 no.3
• /
• pp.335-346
• /
• 2010

The present study investigates the difficulty of solving the mathematical problem, namely the DLP (Discrete Logarithm Problem) for ephemeral keys. The DLP is the basis for many public key cryptosystems. The ephemeral keys are used in such systems to ensure security. The DLP defined on a prime field $Z^*_p of random prime is considered in the present study. The most effective method to solve the DLP is the ICM (Index Calculus Method). In the present study, an efficient way of computing the DLP for ephemeral keys by using a new variant of the ICM when the factors of p-1 are known and small is proposed. The ICM has two steps, a pre-computation and an individual logarithm computation. The pre-computation step is to compute the logarithms of a subset of a group and the individual logarithm step is to find the DLP using the precomputed logarithms. Since the ephemeral keys are dynamic and change for every session, once the logarithms of a subset of a group are known, the DLP for the ephemeral key can be obtained using the individual logarithm step. Therefore, an efficient way of solving the individual logarithm step based on the newly proposed precomputation method is presented and the performance is analyzed using a comprehensive set of experiments. The ephemeral keys are also solved by using other methods, which are efficient on random primes, such as the Pohlig-Hellman method, the Van Oorschot method and the traditional individual logarithm step. The results are compared with the newly proposed individual logarithm step of the ICM. Also, the DLP of ephemeral keys used in a popular password key exchange protocol known as Chang and Chang are computed and reported to launch key recovery attack.

• Journal of Sensor Science and Technology
• /
• v.27 no.3
• /
• pp.192-198
• /
• 2018

Pulse oximetry is a non-invasive method for monitoring how much oxygenated hemoglobin is present in the blood. The principle of pulse oximetry is based on the red infrared light adsorption characteristics of oxygenated and deoxygenated hemoglobin. Even through the convenience of a pulse oximeter, its weak signal-to-noise ratio against motion artifacts and low perfusion makes it difficult to be accepted by execs devices. Several researchers have suggested the use of an adaptive noise cancellation (ANC) algorithm. They have demonstrated that ANC is feasible for reducing the effects of motion artifacts. Masimo Corporation developed a discrete saturation transformation (DST) algorithm that uses a reference signal and ANC. In commercial devices, it is very hard to escape it because Masimo's patents are very powerful and a better method is yet to be developed. This study proposes a new method that can measure noise saturation as well as accurate oxygen saturation from signals with high motion artifacts without using ANC and DST. The proposed algorithm can extract a normal signal without noise from a signal with motion artifacts. The reference signal from a pulse oximeter simulator was used for the evaluation of our proposed algorithm and achieved good results.

• Nuclear Engineering and Technology
• /
• v.54 no.11
• /
• pp.4280-4295
• /
• 2022

In this paper, a new multi-group neutron-gamma transport calculation code system STRAUM-MATXST for complicated geometrical problems is introduced and its development status including numerical tests is presented. In this code system, the MATXST (MATXS-based Cross Section Processor for S_N Transport) code generates multi-group neutron and gamma cross sections by processing MATXS format libraries generated using NJOY and the STRAUM (S_N Transport for Radiation Analysis with Unstructured Meshes) code performs multi-group neutron-gamma coupled transport calculation using tetrahedral meshes. In particular, this work presents the recent implementation and its test results of the Krylov subspace methods (i.e., Bi-CGSTAB and GMRES(m)) with preconditioners using DSA (Diffusion Synthetic Acceleration) and TSA (Transport Synthetic Acceleration). In addition, the Krylov subspace methods for accelerating the energy-group coupling iteration through thermal up-scatterings are implemented with new multi-group block DSA and TSA preconditioners in STRAUM.

• Journal of Computing Science and Engineering
• /
• v.11 no.4
• /
• pp.152-159
• /
• 2017

Three-dimensional (3D) printing is applied to many areas of life, but 3D printing models are stolen by pirates and distributed without any permission from the original providers. Moreover, some special models and anti-weapon models in 3D printing must be secured from the unauthorized user. Therefore, 3D printing models must be encrypted before being stored and transmitted to ensure access and to prevent illegal copying. This paper presents a selective encryption algorithm for 3D printing models based on clustering and the frequency domain of discrete cosine transform. All facets are extracted from 3D printing model, divided into groups by the clustering algorithm, and all vertices of facets in each group are transformed to the frequency domain of a discrete cosine transform. The proposed algorithm is based on encrypting the selected coefficients in the frequency domain of discrete cosine transform to generate the encrypted 3D printing model. Experimental results verified that the proposed algorithm is very effective for 3D printing models. The entire 3D printing model is altered after the encryption process. The decrypting error is approximated to be zero. The proposed algorithm provides a better method and more security than previous methods.

• Structural Engineering and Mechanics
• /
• v.24 no.4
• /
• pp.411-427
• /
• 2006

The Discrete Element Method, DEM, is increasingly used in fracture studies of non-homogeneous continuous media, such as rock and concrete. A 2D circular rigid DEM formulation, developed to model concrete, has been adopted. A procedure developed to generate aggregate particles with a given aspect ratio and shape is presented. The aggregate particles are modelled with macroparticles formed by a group of circular particles that behave as a rigid body. Uniaxial tensile and compression tests performed with circular and non-circular aggregates, with a given aspect ratio, have shown similar values of fracture toughness when adopting uniform strength and elastic properties for all the contacts. Non-circular aggregate assemblies are shown to have higher fracture toughness when different strength and elastic properties are set for the matrix and for the aggregate/matrix contacts.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2005.06a
• /
• pp.749-752
• /
• 2005

In the industry, three-dimensional coloring has been needed for realistic prototype from rapid prototyping. Z-corporation developed a 3D printer which provides three-dimensional colored prototype. However, the existing process cannot be adopted to models from other rapid prototyping process. In addition, time and cost for manufacturing colored prototype still remain to be improved. In this study, a new coloring process using ink-jet head is proposed for color printing on three-dimensional prototype surface. Process parameters such as the angle and the distance between ink-jet nozzle and the three-dimensional surface should be investigated from experiments. The correction matrix according to sloped angle to minimize the distortion of 2D image was proposed by analysis of printing error. Therefore, approximated method for angle and discrete length according to the radius of curvature for printing on the curved surface was proposed. By printing image on the doubly curved surface, the method was verified. As a practical example, helmet was chosen for printing images on the curved surface. The character images were applied with approximated method for angle and discrete length and was printed on the helmet surface.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.19 no.12
• /
• pp.34-41
• /
• 2020

Ready-mixed concrete is unconsolidated concrete typically transported to construction sites by using mixer trucks. A proper rotation of concrete is necessary to prevent its solidification in mixer trucks during transport: in accordance with the manufacturing method and quality inspection prescribed in KSF4009, this movement is maintained after the manufacturing of concrete in professional production plants and the addition of water, solid materials, and admixtures. Unfortunately, mixer truck parts wear out over long periods of time. In order to improve the wear resistance of the main part of mixer trucks, we used a steel plate with good wear resistance or partially added a reinforcement plate. In this study, we first tested the properties of concrete (as required for the DEM), and then carried out mixing and discharge simulations to define the actual operating conditions of mixer trucks. For each condition, we calculated the amount and location of wear. The reliability of our results was finally verified by comparing them with the measurement values. Overall, this study provided basic data for an optimal design of mixer trucks: one that would reduce the vehicles' weight and production costs.

• Bulletin of the Korean Mathematical Society
• /
• v.25 no.2
• /
• pp.179-183
• /
• 1988

In this paper we study a $C^{*}$-dynamical system (A, G, .alpha.) where A is a UHF-algebra, G is a finite abelian group and .alpha. is a *-automorphic action of product type of G on A. In [2], A. Kishimoto considered the case G= $Z_{n}$, the cyclic group of order n and investigated a condition in order that the fixed point algebra $A^{\alpha}$ of A under the action .alpha. is UHF. In later N.J. Munch studied extremal tracial states on $A^{\alpha}$ by employing the method of A. Kishimoto [3], where G is a finite abelian group. Generally speaking, when G is compact (not necessarily discrete and abelian), $A^{\alpha}$ is an AF-algebra and its ideal structure was well analysed by N. Riedel [4]. Here we obtain some conditions for $A^{\alpha}$ to be UHF, where G is a finite abelian group, which is an extension of the result of A. Kishimoto.oto.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.38 no.7
• /
• pp.751-756
• /
• 2014

The dynamic behavior of numerous grains interacting with each other can be easily observed. In this study, this dynamic behavior was analyzed based on the contact between numerous grains. The discrete element method was used for analyzing the dynamic behavior of each particle and the neighboring-cell algorithm was employed for detecting their contact. The Hertzian and tangential sliding friction contact models were used for calculating the contact force acting between the particles. A GPU-based parallel program was developed for conducting the computer simulation and calculating the numerous contacts. The dam break experiment was performed to verify the simulation results. The reliability of the program was verified by comparing the results of the simulation with those of the experiment.