• Journal of applied mathematics & informatics
• /
• 제4권1호
• /
• pp.211-222
• /
• 1997

In this paper we present a probabilistic approach for the estimation of realistic error bounds appearing in the execution of basic algebraic floating point operations. Experimental results are carried out for the extended product the extended sum the inner product of random normalised numbers the product of random normalised ma-trices and the solution of lower triangular systems The ordinary and probabilistic bounds are calculated for all the above processes and gen-erally in all the executed examples the probabilistic bounds are much more realistic.

• 정보보호학회논문지
• /
• 제31권4호
• /
• pp.687-699
• /
• 2021

프로그램에서 취약점이 발생하면 그에 대한 정보가 문서화되어 공개된다. 그러나 일부 취약점의 경우 발생한 원인과 그 소스코드를 공개하지 않는다. 이러한 정보가 없는 상황에서 취약점을 찾기 위해서는 바이너리 수준에서 코드를 분석해야 한다. 본 논문에서는 Out-of-bounds Read 취약점 유형을 바이너리 수준에서 찾는 것을 목표로 한다. 바이너리에서 취약점을 탐지하는 기존의 연구는 주로 동적 분석을 이용한 도구로 발표되었다. 동적 분석의 경우 프로그램 실행 정보를 바탕으로 취약점을 정확하게 탐지할 수 있지만, 모든 실행 경로를 탐지하지 못할 가능성이 있다. 모든 프로그램 경로를 분석하기 위해서는 정적 분석을 사용해야 한다. 기존의 정적 도구의 경우 소스코드 기반의 도구들이며, 바이너리에 수준의 정적 도구는 찾기 어렵다. 본 논문에서는 바이너리 정적 분석을 통해 취약점을 탐지하며, 메모리 구조를 모델링하는 방법으로 Heap, Stack, Global 영역의 취약점을 탐지한다. 실험 결과 기존의 탐지도구인 BAP_toolkit과 비교하였을 때 탐지 정확도 및 분석 시간에서 의미 있는 결과를 얻었다.

• 품질경영학회지
• /
• 제21권2호
• /
• pp.93-101
• /
• 1993

The derived expressions and computations of the system reliability in the consecutive k out of n failure structure with sink-source pole are discussed and a decisive lower and upper bounds as well as exact system reliability are presented in this paper. Good bounds of the system reliability can be easily computed and are illustrated in the numerical example.

• 대한수학회논문집
• /
• 제12권2호
• /
• pp.393-401
• /
• 1997

Let $A_1,A_2,\cdots,A_m$ and $B_1,B_2,\cdots,B_n$ be two sequences of events on a given probability space. Let $X_m$ and $Y_n$, respectively, be the number of those $A_i$ and $B_j$, which occur we establish new upper and lower bounds on the probability $P(X=r, Y=t)$ which improve upper bounds and classical lower bounds in terms of the bivariate binomial moment $S_{r,t},S_{r+1,t},S_{r,t+1}$ and $S_{r+1,t+1}$.

• 한국정보전자통신기술학회논문지
• /
• 제5권1호
• /
• pp.52-59
• /
• 2012

뼈는 미네랄과 콜라겐으로 이루어진 복합 재료이고 횡방성 대칭의 역학적인 성질을 갖는다. 뼈의 유효 탄성 상수를 찾기 위해서는 복합재료역학에서 경계조건을 사용하여 그 값을 예측하고 있다. 그 방법들 중 하나인 보이트-로이스 경계조건은 근사값을 이용해서 유효 탄성 계수를 추정하는 방법이다. 기존의 방법은 고유값의 경계조건에 관한 경계조건을 보이지만, 이번 연구에서 우리는 수학적으로 이 경계조건이 각각의 탄성계수에 관해서 성립함을 보였다.

• 한국경영과학회지
• /
• 제17권2호
• /
• pp.123-130
• /
• 1992

The model of k-out-of n : G repairable system with identical components is extended to a repairable system with n different components. The objective is to analytically derive the mean time of the busy period for a k-out-of-n : G system with unrestricted repair. Then, the lower and upper bounds on the average time of the busy period of the n-component system with restricted repair are also shown.

• Nonlinear Functional Analysis and Applications
• /
• 제28권3호
• /
• pp.647-657
• /
• 2023

The aim of this paper is to study certain subclass ${\tilde{S^q_{\Sigma}}}({\lambda},\,{\alpha},\,t,\,s,\,p,\,b)$ of analytic and bi-univalent functions which are defined by using symmetric q-derivative operator. We estimate the second and third coefficients of the Taylor-Maclaurin series expansions belonging to the subclass and upper bounds for Feketo-Szegö inequality. Furthermore, some relevant connections of certain special cases of the main results with those in several earlier works are also pointed out.

• 한국경영과학회지
• /
• 제16권2호
• /
• pp.164-176
• /
• 1991

This paper considers the model of a k-out-of-n :G system with non-identical components which are subject to both forced and planned outages. For the forced outages, it assumes that there are the independent and common-cause outage events causing component failures. Then, the objective is to derive the upper and lower bounds on the mean operating time between system failures in the ample-server model. In addtion, the mean system failure times are also considered.

• 한국해안·해양공학회논문집
• /
• 제20권2호
• /
• pp.137-147
• /
• 2008

다중 파괴모드에 대한 경사제 제체의 시스템적 안정성을 신뢰성 이론으로 해석하였다. 먼저 경사제의 안정성과 관련된 네 개의 단일 파괴모드에 대한 신뢰함수가 수립되었다. 각각의 단일 파괴모드에 대한 AFDA 신뢰성 해석 모형이 개발되었으며, CIAD(1985)의 결과와 비교하여 만족스럽게 검증하였다. 단일 파괴모드에 대한 신뢰성 해석에서는 파괴확률 뿐만 아니라 파괴확률에 영향을 미치는 각 확률변수들의 영향계수를 산정하였다. 한편 경사제의 다중 파괴모드에 대한 신뢰성 해석을 수행하기 위해 세 가지, 일차해석법, 이차해석법 그리고 PNET, 해석법이 적용되었다. 해석 결과에 의하면 일차해석법은 파괴확률을 과다 추정하는 경향이 있다. 따라서 다중 파괴모드를 해석할 때는 각 파괴모드간의 상관성을 고려할 수 있는 이차해석법이나 PNET 해석법을 이용하는 것이 바람직하다. 마지막으로 파괴모드간의 상관성에 기인하는 파괴확률의 추가적인 발생 가능성을 다중 파괴모드 해석을 통하여 확인할 수 있었다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2001년도 ICCAS
• /
• pp.37.2-37
• /
• 2001

This paper addresses the robust adaptive output feedback tracking for nonlinear systems under disturbances whose bounds are unknown. A new algorithm is proposed for estimation of unknown bounds and adaptive control of the uncertain nonlinear systems. The State estimation is solved using K-filters, together with the construction of a bound of an error in the state estimation due to the perturbation of the disturbance. Tuning functions are used to estimate unknown system parameters without overparametrization. The proposed control algorithm ensures that the out put tracking error converges to a residual set which can be arbitrarily small, while maintaining the boundedness of all other variables. A simulation shows the effectiveness of the proposed approach