• Proceedings of the CALSEC Conference
• /
• 2001.08a
• /
• pp.191-207
• /
• 2001

■ The 1/sup st/ Driver: Electronic Documents ■ EDI via VAN ■ Limited use of electronic processing ■ The 2/sup nd/ Driver: Internet Infrastructure ■ Web/EDI, HTTP, FTP, MIME ■ Open network ■ The 3/sup rd/ Driver: XML ■ Enables the definition of platform-independent protocols for the exchange of data ■ Business Processes and Documents in XML format ■ XML/EDI ■ XML message exchange: SOAP(omitted)

• Journal of Korean Institute of Industrial Engineers
• /
• v.22 no.3
• /
• pp.377-385
• /
• 1996

We present an approximate algorithmic approach for the m-server fork-join queueing system with infinite queue capacity. We analyze the system size and queue waiting time. We assume Poisson arrival process and independent exponential service times.

• Journal of the Korean Statistical Society
• /
• v.22 no.1
• /
• pp.93-111
• /
• 1993

Let ${X(t) : t \geq 0}$ be a real-valued stochastics process with stationary independent increments. In this paper, under the condition of stochastic compactness, we obtain appropriate function $\alpha(t)$ and random function $\beta(t)$ such that for some positive finite constant C, lim sup${X(t) - \alpha(t)}/\beta(t) = C$ a.s. both as t tends to zero and infinity.

• Journal of the Korean Mathematical Society
• /
• v.59 no.6
• /
• pp.1083-1101
• /
• 2022

In this paper, we study backward stochastic differential equations (BSDEs shortly) with jumps that have Lipschitz generator in a general filtration supporting a Brownian motion and an independent Poisson random measure. Under just integrability on the data we show that such equations admit a unique solution which belongs to class 𝔻.

• Journal of the Korean Mathematical Society
• /
• v.35 no.3
• /
• pp.659-673
• /
• 1998

In this paper we consider a security market whose asset price process is a vector semimartingale. The market is said to be fair if there exists an equivalent martingale measure for the price process, deflated by a numeraire asset. It is shown that the fairness of a market is invariant under the change of numeraire. As a consequence, we show that the characterization of the fairness of a market is reduced to the case where the deflated price process is bounded. In the latter case a theorem of Kreps (1981) has already solved the problem. By using a theorem of Delbaen and Schachermayer (1994) we obtain an intrinsic characterization of the fairness of a market, which is more intuitive than Kreps' theorem. It is shown that the arbitrage pricing of replicatable contingent claims is independent of the choice of numeraire and equivalent martingale measure. A sufficient condition for the fairness of a market, modeled by an Ito process, is given.

• Journal of Korean Society for Quality Management
• /
• v.35 no.2
• /
• pp.106-112
• /
• 2007

In statistical process control, it is assumed that the process data are independent. However, most of chemical processes such as semi-conduct processes do not satisfy the assumption because of presence of autocorrelation between process data. It causes abnormal out of control signal in the process control and misleading estimation in process capability. In this study, we adopted Shore's method to solve the problem and propose an optimal subgroup size to estimate the variance correctly for AR(1) processes. Especially, we focus on finding an actual subgroup size for small samples based on simulation study.

• Industrial Engineering and Management Systems
• /
• v.12 no.1
• /
• pp.2-8
• /
• 2013

Uncertainty theory is a branch of mathematics based on normolity, duality, subadditivity and product axioms. Uncertain process is a sequence of uncertain variables indexed by time. Canonical Liu process is an uncertain process with stationary and independent increments. And the increments follow normal uncertainty distributions. Uncertain differential equation is a type of differential equation driven by the canonical Liu process. Stability analysis on uncertain differential equation is to investigate the qualitative properties, which is significant both in theory and application for uncertain differential equations. This paper aims to study stability properties of linear uncertain differential equations. First, the stability concepts are introduced. And then, several sufficient and necessary conditions of stability for linear uncertain differential equations are proposed. Besides, some examples are discussed.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.15 no.26
• /
• pp.189-199
• /
• 1992

Standard acceptance sampling plans models the production process as a sequence of independent identically distributed Beruoulli random variables. However, the quality of items sampled sequentially from an ongoing production process often exhibits statistical dependency that is not accounted for in standard acceptance sampling plans. In this paper, a dependent production process is modelled as an ARMA process and as a two-state Markov chain. A simulation study of each is performed. A comparison of the probability of acceptance is done for the simulation method and for the approximation method.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.25 no.4
• /
• pp.1-7
• /
• 2002

Statistical process control is used widely as an effective tool to solve the quality problems in practice fields. All the control charts used in statistical process control are parametric methods, suppose that the process distributes normal and observations are independent. But these assumptions, practically, are often violated if the test of normality of the observations is rejected and/or the serial correlation is existed within observed data. Thus, in this study, to screening process, the Combined Shewhart - CUSUM quality control chart is described and evaluated that used bootstrap method. In this scheme the CUSUM chart will quickly detect small shifts form the goal while the addition of Shewhart limits increases the speed of detecting large shifts. Therefor, the CSC control chart is detected both small and large shifts in process, and the simulation results for its performance are exhibited. The bootstrap CSC control chart proposed in this paper is superior to the standard method for both normal and skewed distribution, and brings in terms of ARL to the same result.

• Journal of Korean Institute of Industrial Engineers
• /
• v.23 no.2
• /
• pp.323-341
• /
• 1997

Traditionally, the Process Planning problems and the Scheduling problems have been considered as independent ones. However, we can take much advantages by solving the two problems simultaneously. In this paper, we deal with the enlarged problem that takes into account both the process planning and the scheduling problems. And we present a solution algorithm for the problem assuming that the given process plan data is represented by AND/OR graph. A mathematical model(mixed ILP model) whose objective is the minimization of the makespan, is formulated. We found that we can get the optimal solutions of the small-size problems within reasonable time limits, but not the large-size problems. So we devised an algorithm based on the decomposition strategy to solve the large-scale problems (realistic problems) within practical time limits.