• 제목/요약/키워드: Bounded

검색결과 2,232건 처리시간 0.024초

NILRADICALS OF POWER SERIES RINGS AND NIL POWER SERIES RINGS

  • HUH, CHAN;KIM, CHOL ON;KIM, EUN JEONG;KIM, HONG KEE;LEE, YANG
    • 대한수학회지
    • /
    • 제42권5호
    • /
    • pp.1003-1015
    • /
    • 2005
  • Klein proved that polynomial rings over nil rings of bounded index are also nil of bounded index; while Puczylowski and Smoktunowicz described the nilradical of a power series ring with an indeterminate. We extend these results to those with any set of commuting indeterminates. We also study prime radicals of power series rings over some class of rings containing the case of bounded index, finding some examples which elaborate our arguments; and we prove that R is a PI ring of bounded index then the power series ring R[[X]], with X any set of indeterminates over R, is also a PI ring of bounded index, obtaining the Klein's result for polynomial rings as a corollary.

Bounded real 전달함수의 이산모델 차수줄임 (Discrete model reduction of bounded real transfer functions)

  • 오도창;정은태;박홍배
    • 전자공학회논문지B
    • /
    • 제33B권5호
    • /
    • pp.33-40
    • /
    • 1996
  • In this paper, we propose the discrete model reduction method of bounded real transfer functions. From the discrete bounded real lemma, we obtain the two riccati equations and define the disrete bounded real balancing using solutions of these two riccati equations. And we get the reduced order discrete model from the GSPA of full order model. Especially, when free parameter of GSPA is .+-.1, we show that the reduced order discrete model retains minimality, stability, and bounded real and BR-balancing properties. And we derive the .inf.-norm error bound between full order model and reduced order model. Finally to illustrate the validity of proposed method, we give an example.

  • PDF

$-bounded second fundamental form

  • Koh, Young-Mee
    • 대한수학회논문집
    • /
    • 제11권1호
    • /
    • pp.201-207
    • /
    • 1996
  • If a torus has $L^p$-bounded second fundamental form then it is included in the lower part of the moduli space. That is, its conformal class is bounded.

  • PDF

BIR 모델의 바운디드 모델 검증 (Bounded Model Checking BIR Model)

  • 조민택;이태훈;권기현
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제34권8호
    • /
    • pp.743-751
    • /
    • 2007
  • 하드웨어 검증에서 성공적으로 적용되었던 모델 검증 기법을 소프트웨어 검증에 활용하는 연구가 활발하다. 이러한 연구 중의 하나가 바운디드 모델 검증이다. 바운디드 모델 검증에서는 모델이 갖는 상태 공간을 한꺼번에 모두 탐색하기보다는 모델의 탐색 범위를 점진적으로 넓혀가면서 에러를 찾는다. 본 논문에서는 이러한 바운디드 모델 검증을 이용하여 BOGOR의 입력 언어인 BIR를 검증하였다. 그 결과 BOGOR에서 제공되는 명시적 모델 검증 기능 보다 우수한 성능을 보였다. 본 논문에서는 BIR 언어를 CNF 논리식으로 변환하는 방법과 단계적 절차를 기술한다.

수면 위 자유 낙하 및 충돌하는 강체 구의 수치해석 연구 (Numerical study of a freely falling rigid sphere on water surface)

  • 구본헌;판디 디팍 쿠마르;임희창
    • 한국가시화정보학회지
    • /
    • 제19권2호
    • /
    • pp.15-25
    • /
    • 2021
  • Numerical studies on the hydrodynamics of a freely falling rigid sphere in bounded and unbounded water domains are presented having investigation on the drag coefficient, normalized velocity, surface pressure and skin friction coefficient as a function of time. Two different conditions of the bounded and unbounded domains have been simulated by setting the blockage ratio. Four cases of bounded domains (B.R. = 1%, 25%, 45%, 55%, 65% and 75%) have been taken, whereas the unbounded domain has been considered with 0.01%. In the case of the bounded domain (higher values of B.R.), a substantial reduction in normalized velocity and increase in the drag coefficient have been found in presence of the bounded domain. Moreover, bounded domains also yield a significant increase in the pressure coefficient when the sphere is partially submerged, but the insignificant effect is found on the skin friction coefficient. In the case of the unbounded domain, a significant reduction in normalized velocity occurs with a decrease in Reynolds number (Re) and also increase in the drag coefficient.

EXISTENCE AND MANN ITERATIVE METHODS OF POSITIVE SOLUTIONS OF FIRST ORDER NONLINEAR NEUTRAL DIFFERENCE EQUATIONS

  • Hao, Jinbiao;Kang, Shin Min
    • Korean Journal of Mathematics
    • /
    • 제18권3호
    • /
    • pp.299-309
    • /
    • 2010
  • In this paper, we study the first order nonlinear neutral difference equation: $${\Delta}(x(n)+px(n-{\tau}))+f(n,x(n-c),x(n-d))=r(n),\;n{\geq}n_0$$. Using the Banach fixed point theorem, we prove the existence of bounded positive solutions of the equation, suggest Mann iterative schemes of bounded positive solutions, and discuss the error estimates between bounded positive solutions and sequences generated by Mann iterative schemes.