• Journal of applied mathematics & informatics
• /
• 제13권1_2호
• /
• pp.441-446
• /
• 2003

Let { $X_{n}$ , n $\geq$ 1} be a sequence of independent and identically distributed random variables with a common continuous distribution function F(x) and probability density function f(x). Let $Y_{n}$ = max{ $X_1$, $X_2$, …, $X_{n}$ } for n $\geq$ 1. We say $X_{j}$ is an upper record value of { $X_{n}$ , n$\geq$1} if $Y_{j}$ > $Y_{j-1}$, j > 1. The indices at which the upper record values occur are given by the record times {u(n)}, n$\geq$1, where u(n) = min{j｜j>u(n-1), $X_{j}$ > $X_{u}$ (n-1), n$\geq$2} and u(1) = 1. We call the random variable X $\in$ Beta (1, c) if the corresponding probability cumulative function F(x) of x is of the form F(x) = 1-(1-x)$^{c}$ , c>0, 0$\leq$x$\leq$1. In this paper, we will give a characterization of the beta distribution of the first kind by considering conditional expectations of record values.s.

• Journal of applied mathematics & informatics
• /
• 제36권3_4호
• /
• pp.173-179
• /
• 2018

In this paper, we investigate the stability of positive weak solution for the singular p-Laplacian nonlinear system $-div[{\mid}x{\mid}^{-ap}{\mid}{\nabla}u{\mid}^{p-2}{\nabla}u]+m(x){\mid}u{\mid}^{p-2}u={\lambda}{\mid}x{\mid}^{-(a+1)p+c}b(x)f(u)$ in ${\Omega}$, Bu = 0 on ${\partial}{\Omega}$, where ${\Omega}{\subset}R^n$ is a bounded domain with smooth boundary $Bu={\delta}h(x)u+(1-{\delta})\frac{{\partial}u}{{\partial}n}$ where ${\delta}{\in}[0,1]$, $h:{\partial}{\Omega}{\rightarrow}R^+$ with h = 1 when ${\delta}=1$, $0{\in}{\Omega}$, 1 < p < n, 0 ${\leq}$ a < ${\frac{n-p}{p}}$, m(x) is a weight function, the continuous function $b(x):{\Omega}{\rightarrow}R$ satisfies either b(x) > 0 or b(x) < 0 for all $x{\in}{\Omega}$, ${\lambda}$ is a positive parameter and $f:[0,{\infty}){\rightarrow}R$ is a continuous function. We provide a simple proof to establish that every positive solution is unstable under certain conditions.

• 제어로봇시스템학회논문지
• /
• 제7권6호
• /
• pp.477-486
• /
• 2001

Many physical systems can be modeled by incorporating continuous and discrete event nature together. Such hybrid systems contain both continuous and discrete states that influence the dynamic be-havior of the systems. There has been an increasing interest in thers types of systems during the last dec-ade, mostly due to the growing usage of computers in the control of physical plants but also as a result of the hybrid nature of physical processes. The stability theory for hybrid systems is considered as extension of Lyapunov theory where the existence of an abstract energy function satisfying certain properties verifies stability, called multiple Lyapunov theory. In this paper, a hybrid stabilizing controller is proposed using the control Lyapunov function method and multiple Lyapunov theory, and the proposed method is applied to lon-gitudinal spacing control in a vehicle platoon for intelligent transportation systems(ITS).

• 수면정신생리
• /
• 제3권1호
• /
• pp.38-46
• /
• 1996

The purpose of this study is to investigate the neurocognitive dysfunction and the degree of severity according to the oxygen desaturation in obstructive sleep apnea patients. We performed nocturnal polysomnographic recording and administered 3 Vienna Test System subtest of Reaction unit, Continuous attention and Cognitrone to 11 obstructive sleep patients and 13 controls. The result were as follows: 1) On Continous attentin and Cognitrone, patients with obstructive sleep apnea showed significant lower score on correct answer, higher score on missed answer and prolonged reaction time than control. But, there was no significant difference on Reaction unit between two groups. 2) Among 3 groups divided by degree of oxygen desaturation, there were no significant differences on Reaction unit. As the oxygen saturation decreased however, the obstructive sleep apnea group revealed significantly poor performance score on continuous attention and cognitrone. We suggested that obstructive sleep apnea patients showed disturbed neurocognitive function with complex cognitive process and the severity of neurocognitive dysfunction was also correlated with oxygen desaturation.

• 한국음향학회지
• /
• 제23권7호
• /
• pp.514-520
• /
• 2004

수중에서 음원의 위치 추정을 위해 적용되어지는 기법으로써 시간지연차 (TDOA : Time Difference Of Arrival) 추정, 빔 형성 기법, 고 분해능 기법 등이 있다. 본 논문에서는 상대적으로 적은 수의 센서를 사용하여 주파수 영역에서 시간 지연차 추정에 사용되는 MCPSP (Modified Cross Power Spectrum Phase) 함수를 이용하였다. 그러나 MCPSP 함수에 기반한 방법은 CW (Continuous Wate) 신호를 대상으로 할 경우 추정 성능이 크게 떨어진다. 이에 본 논문에서는 Pulsed CW신호를 사용하는 수중 음원의 위치를 추정하기 위해 단 구간 (short-time) 에너지 검출을 이용하여 핑(ping)의 경계 영역을 포함하는 세그먼트를 구성하고 이로부터 MCPSP 함수를 구하는 방법을 제안하였다. 제안된 방법의 성능에 대한 이론적인 접근과 함께 다양한 환경 하에서 분석이 이루어졌다.

• Kyungpook Mathematical Journal
• /
• 제46권4호
• /
• pp.503-507
• /
• 2006

Let X be a Tychonoff space and ${\sum}(X)$ the set of all the subrings of C(X) that contain $C^*(X)$. For any A(X) in ${\sum}(X)$ suppose $_{{\upsilon}A}X$ is the largest subspace of ${\beta}X$ containing X to which each function in A(X) can be extended continuously. Let us write A(X) ~ B(X) if and only if $_{{\upsilon}A}X=_{{\upsilon}B}X$, thereby defining an equivalence relation on ${\sum}(X)$. We have shown that an A(X) in ${\sum}(X)$ is isomorphic to C(Y ) for some space Y if and only if A(X) is the largest member of its equivalence class if and only if there exists a subspace T of ${\beta}X$ with the property that A(X)={$f{\in}C(X):f^*(p)$ is real for each $p$ in T}, $f^*$ being the unique continuous extension of $f$ in C(X) from ${\beta}X$ to $\mathbb{R}^*$, the one point compactification of $\mathbb{R}$. As a consequence it follows that if X is a realcompact space in which every $C^*$-embedded subset is closed, then C(X) is never isomorphic to any A(X) in ${\sum}(X)$ without being equal to it.

• 정보과학회지
• /
• 제1권1호
• /
• pp.72-74
• /
• 1983

Traditionally, polynomials have been used to approximte functions with prescribed values at a number of points(called the knots) on a given interal on the real line. The method of splines recently developed is more flexible. It approximates a function in a piece-wise fashion, by means of a different polynomial in each subinterval. The cubic spline gas ets origins in beam theory. It possessed continuous first and second deriatives at the knots and is characterised by a minimum curvature property which es rdlated to the physical feature of minimum potential energy of the supported beam. Translated into mathematical terms, this means that between successive knots the approximation yields a third-order polynomial sith its first derivatives continuous at the knots. The minimum curvature property holds good for each subinterval as well as for the whole region of approximation This means that the integral of the square of the second derivative over the entire interval, and also over each subinterval, es to be minimized. Thus, the task of determining the spline lffers itself as a textbook problem in discrete computer programming, since the integral of ghe square of the second derivative can be obviously recognized as the criterion function whicg gas to be minimized. Starting with the initial value of the function and assuming an initial solpe of the curve, the minimum norm property of the curvature makes sequential decision of the slope at successive knots (points) feasible. It is the aim of this paper to derive the cubic spline by the methods of computer programming and show that the results which is computed the all the alues in each subinterval of the spline approximations.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제23권2호
• /
• pp.85-96
• /
• 2017

사물인터넷(IoT: Internet of Things)과 클라우드(Cloud) 컴퓨팅의 융합에 기반한 소위 IoT-Cloud 서비스들이 ICT 기반의 창의적이고 다양한 미래지향적인 응용 서비스를 구현하는 핵심 모델로 부상하고 있다. IoT 부분의 기기에서 부족한 컴퓨팅 능력을 공유형 클라우드로 보완하는 IoT-Cloud 서비스의 실증은 컨테이너(container)를 활용한 마이크로서비스(microservice) 기반 구현이 효율적이다. 마이크로서비스로 구현된 응용 서비스의 품질은 서비스 기능(function)들을 서로 연결(inter-connect)하는 서비스기능체이닝(SFC: service function chaining) 과정에서 발생하는 특정 기능 또는 이들의 연결에 따른 병목(bottleneck) 등에 영향 받는다. 전체 서비스의 정상작동을 보장하기 위해 서비스 환경 변동을 감안한 다양한 테스트 과정이 필요하며, 이를 통한 지속적인 개선 노력이 필요하다. 본 논문에서는 Node.js 기반의 IoT-Cloud 서비스를 대상으로 DevOps(개발운영병행체제) 기반 지속적인 통합 도구와 응용 성능 모니터링(application performance monitoring) 기법을 활용하여 지속적인 통합을 실험적으로 실증하고 그 효과를 논하고자 한다.

• 한국수자원학회논문집
• /
• 제42권11호
• /
• pp.963-972
• /
• 2009

본 연구의 목적은 앙상블 칼만필터 기법과 연속형 저류함수모형을 연계하여 개발한 추계학적 연속형 저류함수모형의 적용성을 평가하고자 하는데 있다. 대상유역은 안동댐과 임하댐을 포함하는 지보 수위관측소 상류유역을 선정하였으며 2006년과 2007년 홍수기에 대해 분석을 수행하였다. 확정론적 모형을 적용한 결과 장기간의 모의기간에 대해 유출해석이 가능한 것을 확인하였다. 앙상블 칼만필터 기법을 적용하기 위해 Monte Carlo 모의기법을 적용하여 모형입력자료와 매개변수들에 대해 앙상블 멤버를 생성하였다. 추계학적 모형과 확정론적 모형의 누적절대오차를 비교한 결과 안동댐과 임하댐의 2007년 사상에서 각각 17.5 %와 18.3 %의 정확도가 향상되고 지보수위관측소에서는 40 % 이상의 정확도가 향상되는 것으로 나타났다. 이상의 결과로부터 관측유량과의 오차가 큰 모의결과에 있어서는 추계학적 모형이 보다 향상된 결과를 도출하는 것을 확인하였다.

• 융합신호처리학회논문지
• /
• 제1권2호
• /
• pp.169-176
• /
• 2000

유한정정 특성은 시간영역에서 디지털 제어시스템 설계를 위해 잘 정립이 되어 있다. 그러나 연속시간 제어시스템에서는 유한정정 특성은 불가능한데, 그 이유는 디지털 제어시스템에서 사용하는 이론으로 유한정정 특성을 나타내게 설계하여도 샘플링점에서는 유한정정이 되나, 샘플링점간에 리플이 존재하기 때문이다. 그러나 몇몇 학자들이 지연요소를 제안하여 이러한 문제를 해결하였다. 지연요소는 연속계에서 유한라플라스변환의 성질로부터 얻은 개념이다. 유한정정제어기 설계를 위해서는 유한정정외에 내부모델안정성, 실현가능성 등의 조건들을 추가로 설정하고, 이런 조건들이 만족되게 오차 전달함수의 미지계수, 팍점 등을 구할 수 있다. 지연소자로 된 미지 다항식을 계산할 수 있다. 실시스템에 대한 적용을 위해서는 이러한 조건외데 견실성에 관한 조건이 첨가될 수 있다. 본 논문에서는 1개 지연요소를 사용하여 오차전달함수를 표시하고, 유한정정에 관련된 조건들외에 견실성을 고려한다. 견실성의 지표로는 가중감도함수를 선택하고, 이의 $H_{infty}$놈이 최소가 되도록 유한정정제어기를 설계한다. 즉 오차전달함수의 극점을 초기값을 계속 사용하지 않고 견실성지표의 $H_{infty}$놈이 최소화되도록 극점을 최적화하여 최적설계를 한다.