• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.58 no.12
• /
• pp.2505-2510
• /
• 2009

Semiconductor processes need measurement to confirm where there are problems in quality after progresses manufacturing process. This paper suggests equipment and automatic measure sampling method that control monitoring ratio according to change point occurrence availability of process that is not measure method by the existent simple ratio rate. This paper defines measure section as ailment section, metastable section and stability section by change point standard and create statistical model of each section and developed suitable measure rate model by section. As a result, we have accomplished maximum throughput and minimum sampling number that needs to maintain constant level of quality. Proposed method minimizes load of measure process by brings production quality sophistication and decrease of process badness and lowers measure rate in stable section making perception about problem occurrence quick heightening measure rate at change point occurrence.

• Journal of the Chungcheong Mathematical Society
• /
• v.13 no.2
• /
• pp.19-27
• /
• 2001

In this paper we study another kind of the large deviation property, i.e. moderate deviation type for random amount of random measures on $R^d$ about a Poisson point process and a Poisson center cluster random measure.

• Communications for Statistical Applications and Methods
• /
• v.16 no.3
• /
• pp.487-493
• /
• 2009

We consider a multiple defaultable zero coupon bond. Assuming defaults occur according to a marked point process, we explain how to estimate the time-t discounted price of zero coupon bond by simulation. For the special case of a given specific random face value, we show that the real probability measure is the risk neutral probability measure. In this case the time-t discounted conditional price can be obtained by observing a single sample path upto the time t in the real world. Furthermore the time-t discounted price can be estimated by observing real situations or by simulation under the real probability measure.

• Journal of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.25-35
• /
• 2001

In this paper we consider an age dependent branching process whose particles move according to a Markov process with continuous state space. The Markov process is assumed to the stationary with independent increments and positive recurrent. We find some sufficient conditions for he Markov motion process such that the empirical distribution of the positions converges to the limiting distribution of the motion process.

• Korean Journal of Veterinary Service
• /
• v.24 no.2
• /
• pp.117-126
• /
• 2001

To ensure the safety of domestic livestock products, the government made it obligatory to enforce the hazard analysis critical control point(HACCP) in all domestic slaughterhouses. Under the HACCP, most of the hazards generated in slaughterhouses are bio-hazards, especially pathogenic bacteria. In order to reduce to the pathogenic bacteria, critical control point (CCP) is established and controled in the process of slaughter. A study was carried out to measure the level of bacterial contamination of swine carcass in 6 slaughterhouses selected. As a result, the aerobic plate counts(cfu/$\textrm{cm}^2$) of all samples was $10^2$-10 in average, except slaughterhouse C. The level of the aerobic plate counts on the surface of lower loin in slaughterhouse C was $10^4$ and it was considered that slaughterhouse C should set the process of manual transport of carcass as the CCP. Escherichia coli level was the highest in middle line cut surface. Especially, E coli level of slaughterhouses C and D were about 6.5- and 3.0-fold higher than that of other 4 slaughterhouses. Thus, it was considered that the slaughterhouses C and D should set the process of the entrails treatment as the CCP. The air contamination was measured at two point in a slaughterhouse. The air contamination level was 4-13 times higher than that of the standard Japanese slaughterhouses.

• Communications of the Korean Mathematical Society
• /
• v.17 no.1
• /
• pp.71-80
• /
• 2002

We give a formulation of the large deviation property for rescalings of random measures on the d-dimensional Euclidean space R$^{d}$ . The approach is global in the sense that the objects are Radon measures on R$^{d}$ and the dual objects are the continuous functions with compact support. This is applied to the cluster random measures with Poisson centers, a large class of random measures that includes the Poisson processes.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.29 no.2
• /
• pp.123-130
• /
• 2016

With the development of fast construction mode in shipbuilding market, the demand on accuracy management of hull is becoming higher and higher in shipbuilding industry. In order to enhance production efficiency and reduce manufacturing cycle time in shipbuilding industry, it is important for shipyards to have the accuracy of ship components evaluated efficiently during the whole manufacturing cycle time. In accurate shipbuilding process, block accuracy is the key part, which has significant meaning in shortening the period of shipbuilding process, decreasing cost and improving the quality of ship. The key of block accuracy control is to create a integrate block accuracy controlling system, which makes great sense in implementing comprehensive accuracy controlling, increasing block accuracy, standardization of proceeding of accuracy controlling, realizing "zero-defect transferring" and advancing non-allowance shipbuilding. Generally, managers of accuracy control measure the vital points at section surface of block by using the heavy total station, which is inconvenient and time-consuming for measurement of vital points. In this paper, a new measurement method based on point clouds technique has been proposed. This method is to measure the 3D coordinates values of vital points at section surface of block by using 3D scanner, and then compare the measured point with design point based on ICP algorithm which has an allowable error check process that makes sure that whether or not the error between design point and measured point is within the margin of error.

• 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 𝔻.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.52-54
• /
• 2003

Measurement is used to improve software process and to help calculating software quality. It makes software project to be control and help producing software. Measuring software scale becomes important target in software development. LOC is used to measure the size intentioned aspect and function point is used to measure the function intentioned aspect. This paper discusses measurement method using function point, which fullows proposed rule, and degree of GUI (Graphical User Interface) accesses achieved by applying this measurement to web page. Applying proposed rules to web pages (specially that use much GUI such as shopping mall or auction site), there is advantage that calculate site changes on numerical value by measuring GUI degree when do site administration or update.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1997.04a
• /
• pp.91-95
• /
• 1997

ESPI(Electronic Speckle Pattern Interferometry) is new optical measuring method to be able to measure the surface deformations of engineering components and materials in industrial areas. Conventional measuring method of surface deformation such as the strain gauge have many demerits because it is contact and point-to-point measuring one. But ESPI that is non-contact, whole field measuring method can overcome previous disadvantages. The speckle pattern to be formed with interference phenomena of scattering light from rough surfaces illuminated by laser light have phase information of surface In this study we used this interference phenomena and the phase shifting method to measure the in- plane deformation, together with the use of digital equipment to process the information contained in the speckle pattern and to display consequent inter ferograms. Finally we obtained good agreement between the experimenta results and those of FEM..