• Journal of Power Electronics
• /
• v.12 no.4
• /
• pp.623-631
• /
• 2012

In this paper, a digital controller design procedure is presented for single-phase voltage-doubler boost rectifiers (VDBR). The model derivation of the single-phase VDBR is performed in the s-domain. After that the simplified equivalent z-domain models are derived. These z-domain models are utilized to design the input current and the output dc-link voltage controllers. For the controller design in the z-domain, the traditional K-factor method is modified by considering the nature of the digital controller. The frequency pre-warping and anti-windup techniques are adapted for the controller design. By using the proposed method, the phase margin and the control bandwidth are accurately achieved as required by controller designers in a practical frequency range. The proposed method is applied to a 2.5 kVA single-phase VDBR for Uninterruptible Power Supply (UPS) applications. From the simulation and the experimental results, the effectiveness of the proposed design method has been verified.

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.1
• /
• pp.123-136
• /
• 2013

The Feature model can not be guaranteed the syntactic accuracy of its model and be difficult the validation using automatic tool for its syntax, because this model is expressed by a graphical and informal structure in itself. Therefore, there is a need to formalize and check for the feature model, to precisely define syntax for construct of the model. This paper presents a Z formal specification and a model checking mechanism of the feature model to guarantee the correctness of the model. It first defines the translation rules between feature model and Z, and then converts the syntax of the feature model into the Z schema specification by applying these rules. Finally, the Z schema specification is checked syntax, type, and domain errors using the Z/Eves validation tool to assure the correctness of its specification, With the use of the proposed method, we may express more precisely the construct of the feature model. Moreover the domain analyst are able to usefully verify the errors of the generated feature model.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.51 no.6
• /
• pp.296-301
• /
• 2002

Modern power systems are very complex and to model them completely is impractical for electromagnetic transient studies. Therefore areas outside the immediate area of interest must be represented by some form of Frequency Dependent Network Equivalent (FDNE). In this paper a method for developing Frequency Dependent AC system Equivalent (FDACSE) using Z-domain rational Function Fitting is presented and demonstrated. The FDACSE is generated by Linearized Least Squares Fitting(LSF) of the frequency response of a Z-domain formulation. This 1 & 2 port FDACSE have been applied to the New Zealand South Island AC power system. The electromagnetic transient package PSCAD/EMTDC is used to assess the transient response of the 1 & 2 port FDACSE developed under different condition (linear load, fault and nonlinear loading). The study results have indicated the robustness and accuracy of 1 & 2 port FDACSE for electromagnetic transient studies.

• Journal of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1057-1075
• /
• 2016

Let R be a ring in which Nil(R) is a divided prime ideal of R. Then, for a suitable property X of integral domains, we can define a ${\phi}$-X-ring if R/Nil(R) is an X-domain. This device was introduced by Badawi [8] to study rings with zero divisors with a homomorphic image a particular type of domain. We use it to introduce and study a number of concepts such as ${\phi}$-Schreier rings, ${\phi}$-quasi-Schreier rings, ${\phi}$-almost-rings, ${\phi}$-almost-quasi-Schreier rings, ${\phi}$-GCD rings, ${\phi}$-generalized GCD rings and ${\phi}$-almost GCD rings as rings R with Nil(R) a divided prime ideal of R such that R/Nil(R) is a Schreier domain, quasi-Schreier domain, almost domain, almost-quasi-Schreier domain, GCD domain, generalized GCD domain and almost GCD domain, respectively. We study some generalizations of these concepts, in light of generalizations of these concepts in the domain case, as well. Here a domain D is pre-Schreier if for all $x,y,z{\in}D{\backslash}0$, x | yz in D implies that x = rs where r | y and s | z. An integrally closed pre-Schreier domain was initially called a Schreier domain by Cohn in [15] where it was shown that a GCD domain is a Schreier domain.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.3
• /
• pp.443-454
• /
• 2010

In this paper, we investigate the zeros distribution and Borel direction for the solutions of linear homogeneous differential equation $f^{(n)}+A_{n-2}(z)f^{(n-2)}+{\cdots}+A_1(z)f'+A_0(z)f=0(n{\geq}2)$ in an angular domain. Especially, we establish a relation between a cluster ray of zeros and Borel direction.

• The Pure and Applied Mathematics
• /
• v.29 no.4
• /
• pp.307-319
• /
• 2022

The present paper deals with the upper bound of third order Hankel determinant for a certain subclass of analytic functions associated with Cardioid domain in the open unit disc E = {z ∈ ℂ : |z| < 1}. The results proved here generalize the results of several earlier works.

• Journal of the Korean Magnetic Resonance Society
• /
• v.21 no.3
• /
• pp.90-95
• /
• 2017

The Z-DNA domain of human ADAR1 ($Z{\alpha}_{ADAR1}$) produces B-Z junction DNA through preferential binding to the CG-repeat segment and destabilizing the neighboring AT-rich region. However, this study could not answer the question of how many base-pairs in AT-rich region are destabilized by binding of $Z{\alpha}_{ADAR1}$. Thus, we have performed NMR experiments of $Z{\alpha}_{ADAR1}$ to the longer DNA duplex containing an 8-base-paired (8-bp) CG-repeat segment and a 12-bp AT-rich region. This study revealed that $Z{\alpha}_{ADAR1}$ preferentially binds to the CG-repeat segment rather than AT-rich region in a long DNA and then destabilizes at least 6 base-pairs in the neighboring AT-rich region for efficient B-Z transition of the CG-repeat segment.

• Communications of the Korean Mathematical Society
• /
• v.22 no.1
• /
• pp.65-74
• /
• 2007

Suppose that $\mu$ is a finite positive Borel measure on bounded symmetric domain $\Omega{\subset}\mathbb{C}^n\;and\;\nu$ is the Euclidean volume measure such that $\nu(\Omega)=1$. Suppose 1 < p < $\infty$ and r > 0. In this paper, we will show that the norms $sup\{\int_\Omega{\mid}k_z(w)\mid^2d\mu(w)\;:\;z\in\Omega\}$, $sup\{\int_\Omega{\mid}h(w)\mid^pd\mu(w)/\int_\Omega{\mid}h(w)^pd\nu(w)\;:\;h{\in}L_a^p(\Omega,d\nu),\;h\neq0\}$ and $$sup\{\frac{\mu(E(z,r))}{\nu(E(z,r))}\;:\;z\in\Omega\}$$ are are all equivalent. We will also show that the inclusion mapping $ip\;:\;L_a^p(\Omega,d\nu){\rightarrow}L^p(\Omega,d\mu)$ is compact if and only if lim $w\rightarrow\partial\Omega\frac{\mu(E(w,r))}{\nu(E(w,r))}=0$.

• Proceedings of the KIEE Conference
• /
• 2001.11b
• /
• pp.252-255
• /
• 2001

Modern power systems are very complex and to model them completly is impractical for electromgnetic transient studies. Therefore areas outside the immediate area of interest must be represented by some form of Frequency Dependent Network Equivalent (FDNE). In this paper a method for developing FDNE is presented and demonstrated. The FDNE is generated by Linearized Least Square fitting the frequency response of a z-domain formulation. The advantage of this approach is that a direct implementation occurs which dose not incur errors due to discretization inherent with implementing a fitting function in the s-domain. The developed FDNE is accurate and efficient.

• Communications of the Korean Mathematical Society
• /
• v.10 no.1
• /
• pp.145-153
• /
• 1995

A Jordan domain D in C is said to be a c-quasidisk if there exists a constant $c \geq 1$ such that each two points $z_1$ and $z_2$ in D can be joined by an arc $\tau$ in D such that $$ \ell(\tau) \leq c$\mid$z_1 - z_2$\mid$ $$ and $$ (1.1) min(\ell(\tau_1),\ell(\tau_2)) \leq c d(z, \partial D) $$ for all $z \in \tau$, where $\tau_1$ and $\tau_2$ are the components of $\tau\{z}$. Quasidisks have been extensively studied and can be characterized in many different ways [1],[2],[3].