• KIPS Transactions on Software and Data Engineering
• /
• v.12 no.3
• /
• pp.141-148
• /
• 2023

Accurate overlay metrology is essential to achieve high yields of semiconductor products. Overlay metrology performance is greatly affected by overlay target design and measurement method. Therefore, in order to improve the performance of the overlay target, measurement methods applicable to various targets are required. In this study, we propose a new algorithm that can measure image-based overlay. The proposed measurement algorithm can estimate the sub-pixel position by using a motion vector. The motion vector may estimate the position of the sub-pixel unit by applying a quadratic equation model through polynomial expansion using pixels in the selected region. The measurement method using the motion vector can calculate the stacking error in all directions at once, unlike the existing correlation coefficient-based measurement method that calculates the stacking error on the X-axis and the Y-axis, respectively. Therefore, more accurate overlay measurement is possible by reflecting the relationship between the X-axis and the Y-axis. However, since the amount of computation is increased compared to the existing correlation coefficient-based algorithm, more computation time may be required. The purpose of this study is not to present an algorithm improved over the existing method, but to suggest a direction for a new measurement method. Through the experimental results, it was confirmed that measurement results similar to those of the existing method could be obtained.

• Journal of Microbiology and Biotechnology
• /
• v.26 no.2
• /
• pp.287-294
• /
• 2016

The effect of kaempferol (3,5,7,4-tetrahydroxyflavone), a flavonoid compound that was identified in barnyard millet (Echinochloa crus-galli var. frumentacea) grains, on G₂-checkpoint and apoptotic pathways was investigated in human acute leukemia Jurkat T cell clones stably transfected with an empty vector (J/Neo) or a Bcl-xL expression vector (J/Bcl-xL). Exposure of J/Neo cells to kaempeferol caused cytotoxicity and activation of the ATM/ATR-Chk1/Chk2 pathway, activating the phosphorylation of p53 (Ser-15), inhibitory phosphorylation of Cdc25C (Ser-216), and inactivation of cyclin-dependent kinase 1 (Cdk1), with resultant G₂-arrest of the cell cycle. Under these conditions, apoptotic events, including upregulation of Bak and PUMA levels, Bak activation, mitochondrial membrane potential (Δψm) loss, activation of caspase-9, -8, and -3, anti-poly (ADP-ribose) polymerase (PARP) cleavage, and accumulation of apoptotic sub-G₁ cells, were induced without accompanying necrosis. However, these apoptotic events, except for upregulation of Bak and PUMA levels, were completely abrogated in J/Bcl-xL cells overexpressing Bcl-xL, suggesting that the G₂-arrest and the Bcl-xL-sensitive mitochondrial apoptotic events were induced, in parallel, as downstream events of the DNA-damage-mediated G₂-checkpoint activation. Together these results demonstrate that kaempferol-mediated antitumor activity toward Jurkat T cells was attributable to G₂-checkpoint activation, which caused not only G₂-arrest of the cell cycle but also activating phosphorylation of p53 (Ser-15) and subsequent induction of mitochondria-dependent apoptotic events, including Bak and PUMA upregulation, Bak activation, Δψm loss, and caspase cascade activation.

• Korean Journal of Mathematics
• /
• v.22 no.1
• /
• pp.91-121
• /
• 2014

Let X and Y be vector spaces. It is shown that a mapping $f:X{\rightarrow}Y$ satisfies the functional equation ${\ddag}$ $$2df(\frac{x_1+{\sum}_{j=2}^{2d}(-1)^jx_j}{2d})-2df(\frac{x_1+{\sum}_{j=2}^{2d}(-1)^{j+1}x_j}{2d})=2\sum_{j=2}^{2d}(-1)^jf(x_j)$$ if and only if the mapping $f:X{\rightarrow}Y$ is additive, and prove the Cauchy-Rassias stability of the functional equation (${\ddag}$) in Banach modules over a unital $C^*$-algebra, and in Poisson Banach modules over a unital Poisson $C^*$-algebra. Let $\mathcal{A}$ and $\mathcal{B}$ be unital $C^*$-algebras, Poisson $C^*$-algebras, Poisson $JC^*$-algebras or Lie $JC^*$-algebras. As an application, we show that every almost homomorphism $h:\mathcal{A}{\rightarrow}\mathcal{B}$ of $\mathcal{A}$ into $\mathcal{B}$ is a homomorphism when $h(d^nuy)=h(d^nu)h(y)$ or $h(d^nu{\circ}y)=h(d^nu){\circ}h(y)$ for all unitaries $u{\in}\mathcal{A}$, all $y{\in}\mathcal{A}$, and n = 0, 1, 2, ${\cdots}$. Moreover, we prove the Cauchy-Rassias stability of homomorphisms in $C^*$-algebras, Poisson $C^*$-algebras, Poisson $JC^*$-algebras or Lie $JC^*$-algebras, and of Lie $JC^*$-algebra derivations in Lie $JC^*$-algebras.

• Journal of the Korean Statistical Society
• /
• v.29 no.1
• /
• pp.95-108
• /
• 2000

Consider the oblique factor model X=Af＋$\varepsilon$, with defining relation $\Sigma$=Λ$\Phi$Λ'＋Ψ. This paper is concerned with suggesting an optimal Bayes criterion for determining the number of factors in the model, i.e. dimension of the vector f. The use of marginal likelihood as a method for calculating posterior probability of each model with given dimension is developed under a generalized conjugate prior. Then based on an appropriate loss function, a Bayes rule is developed by use of the posterior probabilities. It is shown that the approach is straightforward to specify distributionally and to imploement computationally, with output readily adopted for constructing required cirterion.

• Communications of the Korean Mathematical Society
• /
• v.13 no.3
• /
• pp.465-473
• /
• 1998

A real m $\times$ n matrix A is semipositive (SP) if there is a vector x $\geq$ 0 such that Ax > 0, inequalities being entrywise. A is minimally semipositive (MSP) if A is semipositive and no column deleted submatrix of A is semipositive. We give a necessary and sufficient condition for the sign pattern matrix with n positive entries to be minimally semipositive.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.3 no.2
• /
• pp.5-16
• /
• 1999

We introduce a new projector for accelerating convergence of a symmetric eigenvalue problem Ax = x, and devise a power/Lanczos hybrid algorithm. Acceleration can be achieved by removing the hard-to-annihilate nonsolution eigencomponents corresponding to the widespread eigenvalues with modulus close to 1, by estimating them accurately using the Lanczos method. However, the additional Lanczos results can be obtained without expensive matrix-vector multiplications but a very small amount of extra work, by utilizing simple power-Lanczos interconversion algorithms suggested. Numerical experiments are given at the end.

• Journal of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.1123-1128
• /
• 1996

Let A be an (nonassociative) algebra with multiplication xy over a field F, and denote by $A^-$ the algebra with multiplication [x, y] = xy - yx$ defined on the vector space A. If $A^-$ is a Lie algebra, then A is called Lie-admissible. Lie-admissible algebras arise in various topics, including geometry of invariant affine connections on Lie groups and classical and quantum mechanics(see [2, 5, 6, 7] and references therein).

• 대한생식의학회:학술대회논문집
• /
• 2004.11a
• /
• pp.35-36
• /
• 2004

• Journal of applied mathematics & informatics
• /
• v.23 no.1_2
• /
• pp.489-496
• /
• 2007

Let g be a continuous function on an interval I which is not constant on any subinterval of I, and let ${\mu}$ be a Borel measure on I. In this paper we give a necessary and sufficient conditions guaranteeing, for the strongly measurable function f on I with values in a Banach space X, the existence of a continuous primitive function F on I with respect to g.

• The Pure and Applied Mathematics
• /
• v.14 no.2 s.36
• /
• pp.71-84
• /
• 2007

In this paper, we define the C-Stieltjes integral of the functions mapping an interval [a,b] into a Banach space X with respect to g on [a,b], and the C-Stieltjes representable operators for the vector-valued functions which are the generalizations of the Henstock-Stieltjes representable operators. Some properties of the C-Stieltjes operators and the convergence theorems of the C-Stieltjes integral are given.