• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권7호
• /
• pp.589-604
• /
• 2006

소프트웨어 재사용을 위한 새로운 패러다임으로서 대두되고 있는 소프트웨어 프로덕트 라인에서 가장 중요하며, 기본이 되는 것은 바로 재사용 가능한 소프트웨어 자산을 개발하기 위한 프로덕트 라인의 공통성과 가변성 식별이라고 하겠다. 현재 이를 위해 휘처 중심의 도메인 분석 방법이 많이 사용되고 있으나, 이 방법은 휘처를 식별하고, 식별된 휘처의 근거를 제시하기 위한 체계적인 방법을 제공하지 못하고 있다. 또한 프로덕트의 공통성과 가변성 분석 결과가 프로덕트 라인 개발 조직의 최상위 수준 목표(goals)를 만족시키고, 그 근거를 보여줄 수 있어야 하지만 현재 이러한 부분에 대한 연구가 부족한 실정이다. 따라서 본 논문에서는 기존의 휘처 중심의 도메인 분석 방법에서의 문제점들을 해결하고, 보안하기 위해 프로덕트 라인을 위한 목표, 시나리오, 휘처 기반의 도메인 분석 방안을 제안하였다. 이것은 목표와 시나리오 그리고 휘처의 관계를 통하여 프로덕트 라인을 위한 도메인 요구사항 모델(DRM: domain requirements model)을 제시하고, 그러한 모델을 바탕으로 도메인 요구사항 모델링 방법(domain requirements modeling method)을 제안한다. 마지막으로는 제안된 방안을 지원하는 도구 (IDEAS)를 설명하고, 이를 통해 주택 통합 시스템(HIS)에 적용함으로써 제안된 방법을 검증하였다. 제안된 방법은 체계적으로 휘처를 식별하고, 그에 대한 근거 및 공통성과 가변성에 대한 근거를 제공할 수 있을 것이다.

• 대한수학회보
• /
• 제52권4호
• /
• pp.1285-1295
• /
• 2015

An SM domain is an integral domain which satisfies the ascending chain condition on w-ideals. Then an SM domain also satisfies the descending chain condition on those chains of v-ideals whose intersection is not zero. In this paper, a study is begun to extend these properties to commutative rings with zero divisors. A $Q_0$-SM ring is defined to be a ring which satisfies the ascending chain condition on semiregular w-ideals and satisfies the descending chain condition on those chains of semiregular v-ideals whose intersection is semiregular. In this paper, some properties of $Q_0$-SM rings are discussed and examples are provided to show the difference between $Q_0$-SM rings and SM rings and the difference between $Q_0$-SM rings and $Q_0$-Mori rings.

• 대한수학회보
• /
• 제55권5호
• /
• pp.1441-1462
• /
• 2018

In this paper, we investigate the fractional p&q-Kirchhoff type system $$\{M_1([u]^p_{s,p})(-{\Delta})^s_pu+V_1(x){\mid}u{\mid}^{p-2}u\\{\hfill{10}}={\ell}k^{-1}F_u(x,\;u,\;v)+{\lambda}{\alpha}(x){\mid}u{\mid}^{m-2}u,\;x{\in}{\Omega}\\M_2([u]^q_{s,q})(-{\Delta})^s_qv+V_2(x){\mid}v{\mid}^{q-2}v\\{\hfill{10}}={\ell}k^{-1}F_v(x,u,v)+{\mu}{\alpha}(x){\mid}v{\mid}^{m-2}v,\;x{\in}{\Omega},\\u=v=0,\;x{\in}{\partial}{\Omega},$$ where ${\Omega}{\subset}{\mathbb{R}}^N$ is an unbounded domain with smooth boundary ${\partial}{\Omega}$, and $0<s<1<p{\leq}q$ and sq < N, ${\lambda},{\mu}>0$, $1<m{\leq}k<p^*_s$, ${\ell}{\in}R$, while $[u]^t_{s,t}$ denotes the Gagliardo semi-norm given in (1.2) below. $V_1(x)$, $V_2(x)$, $a(x):{\mathbb{R}}^N{\rightarrow}(0,\;{\infty})$ are three positive weights, $M_1$, $M_2$ are continuous and positive functions in ${\mathbb{R}}^+$. Using variational methods, we prove existence of infinitely many high-energy solutions for the above system.

• Korean Journal of Mathematics
• /
• 제18권4호
• /
• pp.335-342
• /
• 2010

Let D be an integral domain with quotient field K,$\mathcal{I}(D)$ be the set of nonzero ideals of D, and $w$ be the star-operation on D defined by $I_w=\{x{\in}K{\mid}xJ{\subseteq}I$ for some $J{\in}\mathcal{I}(D)$ such that J is finitely generated and $J^{-1}=D\}$. The D is called a Pr$\ddot{u}$fer $v$-multiplication domain if $(II^{-1})_w=D$ for all nonzero finitely generated ideals I of D. In this paper, we show that D is a Pr$\ddot{u}$fer $v$-multiplication domain if and only if $(A{\cap}(B+C))_w=((A{\cap}B)+(A{\cap}C))_w$ for all $A,B,C{\in}\mathcal{I}(D)$, if and only if $(A(B{\cap}C))_w=(AB{\cap}AC)_w$ for all $A,B,C{\in}\mathcal{I}(D)$, if and only if $((A+B)(A{\cap}B))_w=(AB)_w$ for all $A,B{\in}\mathcal{I}(D)$, if and only if $((A+B):C)_w=((A:C)+(B:C))_w$ for all $A,B,C{\in}\mathcal{I}(D)$ with C finitely generated, if and only if $((a:b)+(b:a))_w=D$ for all nonzero $a,b{\in}D$, if and only if $(A:(B{\cap}C))_w=((A:B)+(A:C))_w$ for all $A,B,C{\in}\mathcal{I}(D)$ with B, C finitely generated.

• 한국전자통신학회논문지
• /
• 제16권3호
• /
• pp.417-422
• /
• 2021

본 논문에서는 시간영역 비교기를 응용한 ZQ 보정회로를 제안한다. 제안하는 비교기는 VCO기반으로 설계되었으며 전력소모를 감소시키기 위해 추가적인 클록 발생기를 사용하였다. 제안한 비교기를 사용하여 참조 전압과 PAD 전압을 낮은 1 LSB 전압 단위로 비교하여 추가적인 오프셋 보정과정을 생략할 수 있었다. 제안하는 시간영역 비교기 기반의 ZQ 보정회로는 1.05 V 및 0.5 V 공급전압의 65 nm CMOS공정으로 설계되었다. 제안한 클록 발생기를 통해 단일 시간영역 비교기 대비 37 %의 전력소모가 감소하였으며 제안하는 ZQ 보정 회로를 통해 최대 67.4 %의 mask margin을 증가시켰다.

• Bulletin of the Korean Chemical Society
• /
• 제33권1호
• /
• pp.281-284
• /
• 2012

• Kyungpook Mathematical Journal
• /
• 제55권3호
• /
• pp.507-514
• /
• 2015

Let D be an integral domain, t be the so-called t-operation on D, and S be a (not necessarily saturated) multiplicative subset of D. In this paper, we study the Nagata ring of S-Noetherian domains and locally S-Noetherian domains. We also investigate the t-Nagata ring of t-locally S-Noetherian domains. In fact, we show that if S is an anti-archimedean subset of D, then D is an S-Noetherian domain (respectively, locally S-Noetherian domain) if and only if the Nagata ring $D[X]_N$ is an S-Noetherian domain (respectively, locally S-Noetherian domain). We also prove that if S is an anti-archimedean subset of D, then D is a t-locally S-Noetherian domain if and only if the polynomial ring D[X] is a t-locally S-Noetherian domain, if and only if the t-Nagata ring $D[X]_{N_v}$ is a t-locally S-Noetherian domain.

• 한국전산응용수학회:학술대회논문집
• /
• 한국전산응용수학회 2003년도 KSCAM 학술발표회 프로그램 및 초록집
• /
• pp.9-9
• /
• 2003

Let $\Omega$ be a bounded, open, and polygonal domain in $R^2$ with re-entrant corners. We consider the following Partial Differential Equations: $$(I-\nabla\nabla\cdot+\nabla^{\bot}\nabla\times)u\;=\;f\;in\;\Omega$$, $$n\cdotu\;0\;0\;on\;{\Gamma}_{N}$$, $${\nabla}{\times}u\;=\;0\;on\;{\Gamma}_{N}$$, $$\tau{\cdot}u\;=\;0\;on\;{\Gamma}_{D}$$, $$\nabla{\cdot}u\;=\;0\;on\;{\Gamma}_{D}$$ where the symbol $\nabla\cdot$ and $\nabla$ stand for the divergence and gradient operators, respectively; $f{\in}L^2(\Omega)^2$ is a given vector function, $\partial\Omega=\Gamma_{D}\cup\Gamma_{N}$ is the partition of the boundary of $\Omega$; nis the outward unit vector normal to the boundary and $\tau$represents the unit vector tangent to the boundary oriented counterclockwise. For simplicity, assume that both $\Gamma_{D}$ and $\Gamma_{N}$ are nonempty. Denote the curl operator in $R^2$ by $$\nabla\times\;=\;(-{\partial}_2,{\partial}_1$$ and its formal adjoint by $${\nabla}^{\bot}\;=\;({-{\partial}_1}^{{\partial}_2}$$ Consider a weak formulation(WF): Find $u\;\in\;V$ such that $$a(u,v):=(u,v)+(\nabla{\cdot}u,\nabla{\cdot}v)+(\nabla{\times}u,\nabla{\times}V)=(f,v),\;A\;v{\in}V$$. (2) We assume there is only one singular corner. There are many methods to deal with the domain singularities. We introduce them shortly and we suggest a new Finite Element Methods by using Singular representation for the solution.

• 전자공학회논문지S
• /
• 제34S권1호
• /
• pp.115-123
• /
• 1997

In this paper we present a polynomial matrix decomposition algorithm that determines a polynomial matix M(z) which satisfies the relation V(z)=M(z) for a given polynomial matrix V(z) which is paraconjugate hermitian matrix with normal rank r and is positive semidenfinite on the unit circle of z-plane. All the decomposition procedures in this proposed method are performed in the digitral domain. We also discuss how to apply the polynomial matirx decomposition in realizing MIMO LBR two-pairs.

• 대한수학회보
• /
• 제44권4호
• /
• pp.731-742
• /
• 2007

Let X be a Banach space, $A:D(A){\subset}X{\rightarrow}X$ the generator of a compact $C_0-semigroup\;S(t):X{\rightarrow}X,\;t{\geq}0$, D a locally closed subset in X, and $f:(a,b){\times}C([-q,0];X){\rightarrow}X$ a function of Caratheodory type. The main result of this paper is that a necessary and sufficient condition in order that D be a viable domain of the semi linear differential equation of retarded type $$u#(t)=Au(t)+f(t,u_t),\;t{\in}[t_0,\;t_0+T],{u_t}_0={\phi}{\in}C([-q,0];X)$$ is the tangency condition $$\limits_{h{\downarrow}0}^{lim\;inf\;h^{-1}d(S(h)v(0)+hf(t,v);D)=0}$$ for almost every $t{\in}(a,b)$ and every $v{\in}C([-q,0];X)\;with\;v(0){\in}D$.