• Kyungpook Mathematical Journal
• /
• v.59 no.2
• /
• pp.277-291
• /
• 2019

Using the concept of bounded boundary rotation, we investigate various properties of two new generalized classes of spirallike and Robertson functions of complex order with bounded boundary rotations.

• Journal of the Korean Mathematical Society
• /
• v.42 no.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.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.33B no.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.

• Communications of the Korean Mathematical Society
• /
• v.11 no.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.

• Journal of the Chungcheong Mathematical Society
• /
• v.35 no.3
• /
• pp.269-275
• /
• 2022

In this note, we verify that the bounded shadowing property and quasi-hyperbolicity of bounded linear operators on Hilbert spaces are preserved under Aluthge transforms.

• Nonlinear Functional Analysis and Applications
• /
• v.27 no.4
• /
• pp.921-925
• /
• 2022

In this paper, we completely describe the automorphism group of the bounded Kohn-Nirenberg domain in [5].

• Journal of KIISE:Software and Applications
• /
• v.34 no.8
• /
• pp.743-751
• /
• 2007

Model checking has been successfully applied to hardware verification. Software is more subtle than hardware with respect to formal verification due to its infinite state space. Although there are many research activities in this area, bounded model checking is regarded as a promising technique. Bounded model checking uses an upper bound to unroll its model, which is the main advantage of bounded model checking compared to other model checking techniques. In this paper, we applied bounded model checking to verify BIR which is the input model for the model checking tool BOGOR. Some BIR examples are verified with our technique. Experimental results show that bounded model checking is better than explicit model checking provided by BOGOR. This paper presents the formalization of BIR and the encoding algorithm of BIR into CNF.

• Journal of the Korean Society of Visualization
• /
• v.19 no.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.

• Journal of applied mathematics & informatics
• /
• v.27 no.1_2
• /
• pp.291-299
• /
• 2009

For $G_{\phi}$-sequences ${\phi}_i$ and ${\kappa}$-functions ${\kappa}_i$(i = 1,2,3) we obtain the most general $H{\ddot{o}}lder$ type inequalities on the functions of $G_{\kappa}G_{\phi}$-bounded variations.

• Korean Journal of Mathematics
• /
• v.18 no.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.