• Journal of applied mathematics & informatics
• /
• v.4 no.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.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.31 no.4
• /
• pp.687-699
• /
• 2021

When a vulnerability occurs in a program, it is documented and published through CVE. However, some vulnerabilities do not disclose the details of the vulnerability and in many cases the source code is not published. In the absence of such information, in order to find a vulnerability, you must find the vulnerability at the binary level. This paper aims to find out-of-bounds read vulnerability that occur very frequently among vulnerability. In this paper, we design a memory area using memory access information appearing in binary code. Out-of-bounds Read vulnerability is detected through the designed memory structure. The proposed tool showed better in code coverage and detection efficiency than the existing tools.

• Journal of Korean Society for Quality Management
• /
• v.21 no.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.

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

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.5 no.1
• /
• pp.52-59
• /
• 2012

The bone material is a composite material consisted of collagen and mineral crystals. Also it shows transversely isotropic symmetry. So far none has shown that the components of the elasticity tensor satisfy the Voigt and Reuss bounds. To determine the effective elastic constant of bone material, the Voigt and Reuss bounds are employed and we show that the components of the elasticity tensor satisfy the Voigt and Reuss bounds. Mathematically this bounds are satisfied on two conditions only out of four conditions.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.17 no.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
• /
• v.28 no.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.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.16 no.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.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.20 no.2
• /
• pp.137-147
• /
• 2008

A reliability analysis has been performed to investigate the systematic stability of multi-failure modes of rubble-mound breakwaters. The reliability functions of four different failure modes are established straightforwardly. AFDA(Approximate Full Distribution Approcah) reliability models for each failure modes are directly developed and satisfactorily calibrated through the comparison with CIAD's results. In the reliability analysis of single failure mode, the probabilities of failure are calculated and the influence coefficients of random variables in the failure modes are properly evaluated. Meanwhile, three different models such as uni-modal bounds, bimodal bounds, and PNET are applied to evaluate the probabilities of failure of multi-failure modes for rubble-mound breakwaters. It may be found that uni-modal bounds tend to overestimate the probability of failure of multi-failure modes. Therefore, for the systematic reliability analysis of multi-failure modes, it is recommended to use bi-modal bounds or PNET which consider the correlation between the failure modes for rubble-mound breakwaters. By introducing the reliability analysis of multi-failure modes, it could be possible to find out the additional probabilities of failure occurred by the multi-failure modes of a multi-component system such as rubble-mound breakwaters.

• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• 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