• Molecules and Cells
• /
• 제19권2호
• /
• pp.212-218
• /
• 2005

A full-length 1.1 kb cDNA, designated Oryza sativa Dehydrin 1 (OsDhn1), was isolated from the seed coat of rice. The deduced protein is hydrophilic and has three K-type and one S-type motifs (SK3-type), indicating that OsDhn1 belongs to the acidic dehydrin family, which includes wheat WCOR410 and Arabidopsis COR47. Expression of OsDhn1 was strongly induced by low temperature as well as by drought. Induction of OsDhn1 by cold stress was clearcut in the roots of seedlings and the epidermis of palea and lemma. OsDhn1 was also up-regulated in UBI::CBF1/DREB1b transgenic plants indicating that it is regulated by the CBF/DREB stress signaling pathway.

• 한국음향학회지
• /
• 제14권3호
• /
• pp.37-48
• /
• 1995

일반화된 완전최소자승법 (generalized total least squares method, GTLS)의 ARMA 시스템 식별에의 적용과 GTLS의 적응알고리듬에 대하여 논한다. 일반화된 완전최소자승법은 일별과 출력을 알고 있는 시스템식별 (system identification)문제에서, 출력이 잡음에 의하여 오염된 경우, 편이되지 않은 해를 구하기 위하여 사용되는 방법이다. 본 논문에서는 먼저 GTLS를 ARMA 시스템 식별에 적용하기 위한 formulation을 하고, 일반화된 완전최소자승법의 일반 해의 성질과 역행렬 정리 (matrix inverse lemma)를 이용하여 적응 GTLS 방법을 제안한다. 다음 제안된 방법을 통하여 시스템식별에 적용하여 그 성능을 평가한다. 또한 GTLS 알고리듬과 제안한 적응 GTLS 알고리듬의 성능을 수학적으로 해석하고 컴퓨터 시뮬레이션을 통하여 이를 검증한다.

• Nuclear Engineering and Technology
• /
• 제31권2호
• /
• pp.157-171
• /
• 1999

In this work, an automatic software verification method for Nuclear Power Plant (NPP) protection system is developed. This method utilizes Colored Petri Net (CPN) for system modeling and Prototype Verification System (PVS) for mathematical verification. In order to help flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this work. In order to convert the extracted information to the PVS specification language, a translator also has been developed. ML that is a higher-order functional language programs the information extractor and translator. This combined method has been applied to a protection system function of Wolsong NPP SDS2(Steam Generator Low Level Trip). As a result of this application, we could prove completeness and consistency of the requirement logically. Through this work, in short, an axiom or lemma based-analysis method for CPN models is newly suggested in order to complement CPN analysis methods and a guideline for the use of formal methods is proposed in order to apply them to NPP Software Verification and Validation.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 학술대회 논문집 정보 및 제어부문
• /
• pp.177-178
• /
• 2008

An LMI-based method for robust $L_2-L_{\infty}$ filter design is proposed for poly topic uncertain time-delay systems. By using the Projection Lemma and a suitable linearizing transformation, a strict LMI condition for $L_2-L_{\infty}$ filter design is obtained, which does not involve any iterations for design-parameter search, any couplings between the Lyapunov and system matrices, nor any system-dependent filter parameterization. Therefore, the proposed condition enables one to easily adopt, with help of efficient numerical solvers, a parameter-dependent Lyapunov function approach for reducing conservatism, and to design both robust and parameter-dependent filters for uncertain and parameter-dependent time-delay systems, respectively.

• 대한수학회보
• /
• 제55권1호
• /
• pp.267-296
• /
• 2018

This paper studies the Cauchy problem and blow-up phenomena for a new generalized Camassa-Holm equation with cubic nonlinearity in the nonhomogeneous Besov spaces. First, by means of the Littlewood-Paley decomposition theory, we investigate the local well-posedness of the equation in $B^s_{p,r}$ with s > $max\{{\frac{1}{p}},\;{\frac{1}{2}},\;1-{\frac{1}{p}}\},\;p,\;r{\in}[0,{\infty}]$. Second, we prove that the equation is locally well-posed in $B^s_{2,r}$ with the critical index $s={\frac{1}{2}}$ by virtue of the logarithmic interpolation inequality and the Osgood's Lemma, and it is shown that the data-to-solution mapping is $H{\ddot{o}}lder$ continuous. Finally, we derive two kinds of blow-up criteria for the strong solution by using induction and the conservative property of m along the characteristics.

• 전자공학회논문지SC
• /
• 제39권1호
• /
• pp.33-41
• /
• 2002

본 논문에서는 기존의 주파수하중 균형절단 기법과 주파수하중 한켈노옴 근사화 기법에 비하여 더 작은 H∞ 하중 축소오차를 가지는 새로운 알고리듬을 제시한다. 제시한 알고리듬은 제한 실 보조정리로부터 반복적인 두 단계의 선형행렬부등식 형태로 유도한다. 또한 제안한 알고리듬을 성능보장을 위한 제어기 차수축소기법에 적용한다. 수치적 예를 통하여 제안한 알고리듬의 타당성을 보이고 기존의 모델 차수축소기법과 비교 분석하며 HIMAT(highly maneuverable aircraft technology) 시스템의 예를 통하여 성능보장을 위한 제어기 차수축소 기법에 적용할 수 있음을 보인다.

• 한국통신학회논문지
• /
• 제35권8C호
• /
• pp.709-712
• /
• 2010

이 논문에서는 시간상 확률 상관이 0이 아닌 약의존성 잡음 모형에서 두 표본을 쓰는 국소 최적 순위 검파기의 검정 통계량를 얻었다. 기준 관측과 보통 관측으로 이루어진 두 표본 관측 모형에서 약의존성 잡음 환경에 알맞은 국소 최적 순위 검파기의 검정 통계량을 네이먼 피어슨 정리로부터 유도하였다. 두 표본을 쓰는 국소 최적 순위 검파기는 한 표본을 쓰는 국소 최적 순위 검파기와 같은 점근 성능을 가지며 부호 통계량을 다룰 필요가 없어 얼개가 비교적 간단하다.

• 대한수학회보
• /
• 제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.

• 한국작물학회지
• /
• 제44권2호
• /
• pp.171-175
• /
• 1999

Morphological alteration of floral organ development in rice affected by chilling stress was examined. Three varieties of rice were grown under natural conditions and subjected to 12$^{\circ}C$ for 3 or 6 days starting from the ineffective tillering stage, before heading stage and returned to natural condition. Headings were delayed by a 6 day chilling treatment. After heading the panicles were collected and examined for any possible alteration in floral organ development. It appears that there were some differences in sensitivity to chilling stress and degree of injury depending on treatment stages and variety. Chuchungbyeo was the most frequent in producing abnormal flowers among the three varieties examined. Meiosis stage was shown to be the most vulnerable to chilling stress in both Chuchungbyeo and Ilpumbyeo and young panicle differentiation stage was the frequent stage to alter flower development in response to chilling stress only in Chuchungbyeo. It was confirmed that abnormalities occurred in pollen due to chilling stress is a major factor leading to low yield, but to some extent the alterations in carpel development may playa certain role in determining a total yield in response to chilling stress at the reproduction stage in rice. There were abnormalities like extra stigmata, extra lemma, double ovary as well as abnormal anther formation in response to chilling stress. Further studies of the phenocopy observed in rice floral development may be useful for an understanding of the resistance against chilling injury during reproductive stages in rice.

• Journal of the Korean Statistical Society
• /
• 제26권2호
• /
• pp.231-243
• /
• 1997

In this paper we investigate weak convergence of the intergral processes whose index set is the non-compact infinite time interval. Our first goal is to develop the empirical central limit theorem as random elements of [0, .infty.) for an integral process which is constructed from iid variables. In developing the weak convergence as random elements of D[0, .infty.), we will use a result of Ossiander(4) whose proof heavily depends on the total boundedness of the index set. Our next goal is to establish the empirical central limit theorem for the Kaplan-Meier integral process as random elements of D[0, .infty.). In achieving the the goal, we will use the above iid result, a representation of State(6) on the Kaplan-Meier integral, and a lemma on the uniform order of convergence. The first result, in some sense, generalizes the result of empirical central limit therem of Pollard(5) where the process is regarded as random elements of D[-.infty., .infty.] and the sample paths of limiting Gaussian process may jump. The second result generalizes the first result to random censorship model. The later also generalizes one dimensional central limit theorem of Stute(6) to a process version. These results may be used in the nonparametric statistical inference.