• Journal of applied mathematics & informatics
• /
• 제25권1_2호
• /
• pp.425-434
• /
• 2007

We iteratively generate a sequence of measurable mappings and study necessary conditions for its convergence to a random fixed point of random nonexpansive operator. A random fixed point theorem for random nonexpansive operator, relaxing the convexity condition on the underlying space, is also proved. As an application, we obtained random fixed point theorems for Caristi type random operators.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2004년도 ICCAS
• /
• pp.1829-1832
• /
• 2004

Closed loop stability of Extended Dynamic Matrix Control (EDMC) is investigated for limited sampling time. Linear approximation of the sensitivity functions is employed in the derivation of the stability condition. It is shown that the closed loop system will be stable if the control moves suppression coefficient ${\lambda}$ is taken arbitrarily large. Special cases such as M=P=1 and M=1, P>1 are discussed in more details.

• ETRI Journal
• /
• 제29권6호
• /
• pp.835-837
• /
• 2007

A multi-bit sigma-delta modulator architecture is described for low-distortion performance and a high-speed operation. The proposed architecture uses both a delayed code and a delayed differential code of analog-to-digital converter in the feedback path, thereby suppressing signal components in the integrators and relaxing the timing requirement of the analog-to-digital converter and the scrambler logic. Implemented by a 0.13 ${\mu}m$ CMOS process, the sigma-delta modulator achieves high linearity. The measured spurious-free dynamic range is 89.1 dB for -6 dBFS input signal.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1995년도 Proceedings of the Korea Automation Control Conference, 10th (KACC); Seoul, Korea; 23-25 Oct. 1995
• /
• pp.420-423
• /
• 1995

The stability of system is one of the important aspects and to judge system's stability is another complicated problem. Previously, new technique derived from relaxing Lyapunov conditions has been already introduced and in this paper, this proposed technique applies to the practical dynamic systems. This utility of numerical procedures prove the comparable improvements of the estimation of robustness for dynamic systems having structured (bounded) perturbations.

• 대한수학회보
• /
• 제43권4호
• /
• pp.831-839
• /
• 2006

By relaxing the requirements for a sequence of functions to be a delta sequence, a space of Boehmians on the torus ${\beta}(T^d)$ is constructed and studied. The space ${\beta}(T^d)$ contains the space of distributions as well as the space of hyperfunctions on the torus. The Fourier transform is a continuous mapping from ${\beta}(T^d)$ onto a subspace of Schwartz distributions. The range of the Fourier transform is characterized. A necessary and sufficient condition for a sequence of Boehmians to converge is that the corresponding sequence of Fourier transforms converges in $D'({\mathbb{R}}^d)$.

• 경영과학
• /
• 제10권1호
• /
• pp.207-216
• /
• 1993

The purpose of this paper is to develop a branch and bound algorithm for the transportation problem with a limited number of company owned vehicles. First, we find an initial solution by solving quasi-assignment subproblem induced by relaxing constraints of the vehicle capacity and illegal tours elimination equations. Second, we build routing from the assignment, and if there is a routings which violates relaxed constraints, we introduce branches of the subproblem in order to remove it. After all branches are searched, we get the optimal solution.

• 기술사
• /
• 제38권1호
• /
• pp.52-54
• /
• 2005

Korean metropolises are choked by lack of green space to attain the limit of horizontal expansion. The alternative plan is trying total expansion that the green zone and road are made from the rest site by high-rise buildings. And high-rise building can solve indiscriminate development to attain the limit situation. The building of landmark can be the image of the nation and the pride of the citizen. The relaxing the height restriction of government can be whole nation's interests. Appearing high-rise building in overpopulated city is the subject of a generation and this trend cannot be avoided.

• 한국생물물리학회:학술대회논문집
• /
• 한국생물물리학회 1996년도 정기총회 및 학술발표회
• /
• pp.35-35
• /
• 1996

Nitric oxide (NO) has been reported to have many roles in vivo ranging from the neurotransmitter in brain to the relaxant in smooth muscles. Recently, using inside-out patches, Bolotina et al. (1) showed that relaxing effect of NO is aortic smooth muscle is through direct activation of Ca2+-activated K+ channels (maxi-K), resulting in hyperpolarization. (omitted)

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (1)
• /
• pp.208-210
• /
• 2002

현재의 정보검색 시스템에서 사용자는 관련 분야의 지식을 가지고 정확한 질의를 작성해야만 원하는 결과를 얻을 수 있다. 이 문제를 해결하기 위하여, 본 논문에서는 객체지향 시소러스에서의 참조 질의 조건 완화를 이용한 지능적인 질의 처리 기법을 제안한다. 참조 질의 조건 완화 기법은 객체지향 시소러스의 구조적인 특징을 이용하여 질의 조건을 일반화시킨다. 따라서 사용자는 정확한 질의를 제공하지 않아도 정확한 결과뿐만 아니라 유사하거나 관련 있는 정보를 얻을 수 있다.

• Nonlinear Functional Analysis and Applications
• /
• 제26권5호
• /
• pp.949-959
• /
• 2021

In this paper, some fixed point theorems for new type of (𝜉, 𝛽)-expansive mappings of type (S) and type (T) using control function and 𝛽-admissible function in 𝒢-metric spaces are proved. Further, we prove certain fixed point results by relaxing the continuity condition.