• International Journal of Contents
• /
• v.4 no.4
• /
• pp.1-6
• /
• 2008

In this paper, we propose improved loop splitting method for maximizing parallelism of single loops with non-constant dependence distances. By using the iteration and distance for the source of the first dependence, and by our defined theorems, we present generalized and optimal algorithms for single loops with non-uniform dependences (MPSL). By the extension of the MPSL method, we also apply to exploit parallelism from nested loops with simple subscripts, based on cycle shrinking and loop interchanging method. The algorithms generalize how to transform general single loops with non-uniform dependences as well as nested loops with simple subscripts into parallel loops.

• Journal of the Korean Society of Safety
• /
• v.36 no.5
• /
• pp.86-91
• /
• 2021

Calculating the scrutable core damage frequency (CDF) of nuclear power plants is an important component of the seismic probabilistic safety assessment (SPSA). In this work, a simple approach is developed to calculate CDF from minimal cut sets (MCSs) with non-rare events. When conventional calculation methods based on rare event approximations are employed, the CDF of industry SPSA models is significantly overestimated by non-rare events in the MCSs. Recently, quantification algorithms using binary decision diagrams (BDDs) have been introduced to prevent CDF overestimation in the SPSA. However, BDD structures are generated from a small part of whole MCSs due to limited computational memory, and they cannot be reviewed due to their complicated logic structure. This study suggests a simple approach for scrutinizing the CDF calculation based on whole MCSs in the SPSA system analysis model. The proposed approach compares the new results to outputs from existing algorithms, which helps in avoiding CDF overestimation.

• Journal of applied mathematics & informatics
• /
• v.5 no.2
• /
• pp.393-402
• /
• 1998

In this paper we describe the results of computations to find symmetric presentations based on minimal conjugate generating pairs for the 32 non-abelian simple groups of order less than one million.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.5
• /
• pp.1619-1625
• /
• 2017

The aim of this short note is to give a simple proof of the non-rationality of the double cover of the three-dimensional projective space branched over a sufficiently general quartic.

• Journal of the Korean GEO-environmental Society
• /
• v.8 no.1
• /
• pp.41-47
• /
• 2007

Recent investigations into earthquake-induced damage have reported that liquefaction may take place on not only sands but also fine-contained soils or non-plastic silts. Although not a few study has been performed to understand the liquefaction of sands, relatively little effort has been devoted to improving our understanding of the liquefaction characteristics for non-plastic soils. Given that liquefaction strength is largely associated to shear wave velocity, bender element test as well as direct simple shear test is employed to examine the stiffness of non-plastic silt more precisely. Through the soil tests, the stiffness of non-plastic silts from the bender element tests is identified as slightly greater than that from the direct simple shear test. Further, the stiffness of non-plastic silts appears to be smaller than that of clay.

• Honam Mathematical Journal
• /
• v.36 no.1
• /
• pp.179-186
• /
• 2014

In this paper, we consider the simple non-associative algebra $\overline{WN(\mathbb{F}[e^{{\pm}x^r},0,1]_{(\partial,\partial^2)})}$. There are many papers on finding the derivations of an associative algebra, a Lie algebra, and a non-associative algebra (see [2], [3], [4], [5], [6], [7], [12], [14]). We find all the derivations of the algebra $\overline{WN(\mathbb{F}[e^{{\pm}x^r},0,1]_{(\partial,\partial^2)})}$.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.24 no.9
• /
• pp.1241-1244
• /
• 2020

In this paper, we consider a downlink non-orthogonal multiple access system with a base station and N mobile stations, where we assume that instantaneous channel state information (CSI) is available at the base station. A power allocation scheme is proposed to achieve perfect fairness, which means equal data rates for all mobile stations. However, the power allocation scheme using full CSI requires high complexity. Hence, a simple power allocation scheme with low complexity is proposed by using high signal-to-noise power ratio (SNR) approximation. The simple power allocation scheme can achieve perfect fairness only for high SNR. However, it needs only the best CSI and the simple procedure to obtain power allocation coefficients. From simulation results, we show that the simple power allocation scheme provides remarkable fairness performance at high SNR.

• Structural Engineering and Mechanics
• /
• v.54 no.3
• /
• pp.597-605
• /
• 2015

In this study, linear vibrations of an axially moving beam under non-ideal support conditions have been investigated. The main difference of this study from the other studies; the non-ideal clamped support allow minimal rotations and non-ideal simple support carry moment in minimal orders. Axially moving Euler-Bernoulli beam has simple and clamped support conditions that are discussed as combination of ideal and non-ideal boundary with weighting factor (k). Equations of the motion and boundary conditions have been obtained using Hamilton's Principle. Method of Multiple Scales, a perturbation technique, has been employed for solving the linear equations of motion. Linear equations of motion are solved and effects of different parameters on natural frequencies are investigated.

• Earthquakes and Structures
• /
• v.10 no.3
• /
• pp.681-697
• /
• 2016

The model of two-temperature magneto-thermoelasticity for a non-simple variable-thermal-conductivity infinitely-long solid cylinder is established. The present cylinder is made of an isotropic homogeneous thermoelastic material and its bounding plane is traction-free and subjected to a time-dependent temperature. An exact solution is firstly obtained in Laplace transform space to obtain the displacement, incremental temperature, and thermal stresses. The inversion of Laplace transforms has been carried out numerically since the response is of more interest in the transient state. A detailed analysis of the effects of phase-lags, an angular frequency of thermal vibration and the variability of thermal conductivity parameter on the field quantities is presented.

• Journal of The Korean Astronomical Society
• /
• v.43 no.3
• /
• pp.55-64
• /
• 2010

We investigate how plasma structures in the solar chromosphere and corona can extend to altitudes much above hydrostatic scale heights from the solar surface even under the force of gravity. Using a simple modified form of equation of motion in the vertical direction, we argue that there are two extreme ways of non-hydrostatic support: dynamical support and magnetic support. If the vertical acceleration is downward and its magnitude is a significant fraction of gravitational acceleration, non-hydrostatic support is dynamical in nature. Otherwise non-hydrostatic support is static, and magnetic support by horizontal magnetic fields is the only other possibility. We describe what kind of observations are needed in the clarification of the nature of non-hydrostatic support. Observations available so far seem to indicate that spicules in the quiet regions and dynamic fibrils in active regions are dynamically supported whereas the general chromosphere as well as prorninences is magnetically supported. Moreover, it appears that magnetic support is required for plasma in some coronal loops as well. We suspect that the identification of a coronal loop with a simple magnetic flux tube might be wrong in this regard.