• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.8 no.2
• /
• pp.15-21
• /
• 2008

This paper discuss the sequential digital logic systems and arithmetic operation algorithms which is the important material in computer architecture using analysis and synthesis which is based on extension logic for binary logic over galois fields. In sequential digital logic systems, we construct the moore model without feedback sequential logic systems after we obtain the next state function and output function using building block T-gate. Also, we obtain each algorithms of the addition, subtraction, multiplication, division based on the finite fields mathematical properties. Especially, in case of P=2 over GF($P^m$), the proposed algorithm have a advantage which will be able to apply traditional binary logic directly.The proposed method can construct more efficiency digital logic systems because it can be extended traditional binary logic to extension logic.

• 한국정보디스플레이학회:학술대회논문집
• /
• 2006.08a
• /
• pp.513-518
• /
• 2006

An investigation of the transport properties of polysilicon TFTs, using sequential laterally solidified, SLS, material, is presented. This material has a location controlled distribution of grain boundaries, GBs, which makes it particularly useful for the analysis of their influence on the performance of polysilicon TFTs, and to address the issue of the role of spatially localised trapping states. The experimental results were analyzed by using numerical simulations, and the effective medium approximation was compared with a discrete grain model.

• Honam Mathematical Journal
• /
• v.34 no.2
• /
• pp.199-208
• /
• 2012

In this paper, we study some properties of spaces having countable tightness and spaces having weakly countable tightness. We obtain some necessary and sufficient conditions for a space to have countable tightness. And we introduce a new concept of weakly countable tightness which is a generalization of countable tightness and show some properties of spaces having weakly countable tightness.

• Proceedings of the KSRS Conference
• /
• 1998.09a
• /
• pp.268-273
• /
• 1998

This study applies an on-line system, which employes an adaptive reconstruction technique to monitor and forecast ocean surface changes. The system adaptively generates an appropriate synthetic time series with recovering missing measurements for sequential images. The reconstruction method incorporates temporal variation according to physical properties of targets and anisotropic spatial optical properties into image processing techniques. This adaptive approach allows successive refinement of the structure of objects that are barely detectable in the observed series. The system sequentially collects the estimated results from the adaptive reconstruction and then statistically analyzes them to monitor and forecast the change in surface characteristics.

• Journal of applied mathematics & informatics
• /
• v.11 no.1_2
• /
• pp.373-378
• /
• 2003

consider the problem of sequentially hypotheses about a parameter $\theta$ in the presence of the nuisance parameter $\rho$. and we investigate further to computing the error probabilities and expected sample sizes in the frequentist properties of the adaptive S.P.R.T. for $\theta$.

• Journal of the Chungcheong Mathematical Society
• /
• v.36 no.2
• /
• pp.65-76
• /
• 2023

With the Stirling matrix S of the second kind and the Pascal matrix T, we study recurrence rules and sequences of certain sums over the matrix ST^k. We find a matrix E satisfying ST = ES and interrelations of S and the Stirling matrix of the first kind.

• Structural Engineering and Mechanics
• /
• v.63 no.1
• /
• pp.77-88
• /
• 2017

Correction Factor Method (CFM) is one of the earliest methods for simulating the actual behavior of structure according to construction sequences and practical implementation steps of the construction process which corrects the results of the conventional analysis just by the application of correction factors. The most important advantages of CFM are the simplicity and time-efficiency of the computations in estimating the final modified forces of the beams. However, considerable inaccuracy in evaluating the internal forces of the other structural members obtained by the moment equilibrium equation in the connection joints is the biggest disadvantage of the method. This paper proposes a novel method to eliminate the aforementioned defect of CFM by using the column shortening correction factors of the CFM to modify the axial stiffness of columns. In this method, the effects of construction sequences are considered by performing a single step analysis which is more time-efficient when compared to the staged analysis especially in tall buildings with higher number of elements. In order to validate the proposed method, three structures with different properties are chosen and their behaviors are investigated by application of all four methods of: conventional one-step analysis, sequential construction analysis (SCA), CFM, and currently proposed method.

• Communications for Statistical Applications and Methods
• /
• v.23 no.2
• /
• pp.131-146
• /
• 2016

In research on behavioral studies, significant attention has been paid to the stage-sequential process for longitudinal data. Latent class profile analysis (LCPA) is an useful method to study sequential patterns of the behavioral development by the two-step identification process: identifying a small number of latent classes at each measurement occasion and two or more homogeneous subgroups in which individuals exhibit a similar sequence of latent class membership over time. Maximum likelihood (ML) estimates for LCPA are easily obtained by expectation-maximization (EM) algorithm, and Bayesian inference can be implemented via Markov chain Monte Carlo (MCMC). However, unusual properties in the likelihood of LCPA can cause difficulties in ML and Bayesian inference as well as estimation in small samples. This article describes and addresses erratic problems that involve conventional ML and Bayesian estimates for LCPA with small samples. We argue that these problems can be alleviated with a small amount of prior input. This study evaluates the performance of likelihood and MCMC-based estimates with the proposed prior in drawing inference over repeated sampling. Our simulation shows that estimates from the proposed methods perform better than those from the conventional ML and Bayesian method.

• Journal of Soil and Groundwater Environment
• /
• v.16 no.6
• /
• pp.95-105
• /
• 2011

Total extraction method and environmental standards for heavy metals in soils were revised in regulation recently. In case of Area 3, as the law amended, the soil pollution level has gone up to 4 to 13 times higher depending on the type of heavy metal. In this study, it compares the properties of heavy metals of soil by sequential extraction and total extraction methods depending on the analysis method, using the soil around mine. In case of arsenic, the soil pollution level has gone up to 4 times higher, but 6 to 10 times in the sample soil. Also, according to the results of portability evaluation depending on the type of existence form of heavy metal it exists as residual form in mine waste rock, which is less likely to move, while it exists as migrated form in tailing. Therefore, it should be considered to evaluate the soil pollution and decide the contaminated bounds depending on the existence form of heavy metals on soil to restore the polluted soil.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.44 no.4
• /
• pp.308-315
• /
• 2016

A new technique for Attitude & Heading Reference System (AHRS) by using sequential measurement noise covariance (SMNC) is addressed in a vibration environments in this paper. In particular, a low-cost inertial measurement unit in general diverges in the acceleration phase or vibrating environments due to inherent properties of gravity and acceleration. In this paper, by considering current and prior measurements to estimate actual attitudes and headings in a local frame, the proposed technique overcomes these problems efficiently. Finally, the performance of the suggested approach is verified by numerical simulations.