• Communications for Statistical Applications and Methods
• /
• v.23 no.3
• /
• pp.231-239
• /
• 2016

A graphical diagnostic method based on multiple case deletions in a regression context is introduced by using the sampling distribution of the difference between two least squares estimators with and without multiple cases. Principal components analysis plays a key role in deriving this diagnostic method. Multiple case deletions of test statistic are also considered when a new observation is fitted to a given regression model. The result is useful for detecting influential observations in econometric data analysis, for example in checking whether the consumption pattern at a later time is the same as the one found before or not, as well as for investigating the influence of cases in the usual regression model. An illustrative example is given.

• Journal of the Korea Society of Computer and Information
• /
• v.19 no.12
• /
• pp.123-132
• /
• 2014

In this paper, we study the verification techniques for OS integrity that can be more fatal than applications in case of security issues. The dissemination of smartphones is rapidly progressing and there are many similarities of smartphones and PCs in terms of security risks. Recently, in mobile network environment, there is a trend of increasing damages and now, there are active researches on a system that can comprehensively respond to this. As a way to prevent these risks, integrity checking method on operation system is being researched. As most integrity checking algorithms are classified by verification from the levels before booting the OS and at the time of passing on the control to the OS, in which, there are minor differences in the definitions of integrity checking or its methods. In this paper, we suggests the integrity verification technique of OS using a boot loader and a physically independent storing device in the mobile device.

• Journal of Korea Game Society
• /
• v.4 no.1
• /
• pp.58-66
• /
• 2004

This paper uses counterexamples for solving reachability games. An objective. of the game we consider here is to find out a minimal path from an initial state to the goal state. We represent initial states and game rules as finite state model and the goal state as temporal logic formula. Then, model checking is used to determine whether the model satisfies the formula. In case the model does not satisfy the formula, model checking generates a counterexample that shows how to reach the goal state from an initial state. In this way, we solve many of small-sized Push Push games. However, we cannot handle larger-sized games due to the state explosion problem. To mitigate the problem, abstraction is used to reduce the state space to be che cked. As a result, unsolved games are solved with the abstraction technique we propose inthis paper.

• Proceedings of the Korea Concrete Institute Conference
• /
• 2006.05a
• /
• pp.550-553
• /
• 2006

This study measured corrosion rates for checking and analysis of Hume pipes in the housing sites. According to the result, Concrete pipe is deteriorating for twenty years by hydrogen sulfide(H2S). Investigation method applied phenolphthalein method(depth of neutrality). Phenolphthalein method measured average depth from concrete surface to coloring point by red after spraying phenolphthalein solution. A result of investigation, Life span of Hume pipe in the housing site is investigated of twenty years.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.542-543
• /
• 2016

본 논문에서는 소프트웨어의 검증 방법 중 하나인 모형 검사가 컴퓨터 소프트웨어에서 어떻게 활용될 수 있는지 소개하고 테세우스와 미노타우로스 게임을 모형 검사를 활용하여 풀어낸다. 게임의 풀이는 교대 방식 시맨틱스와 병행 방식 시맨틱스의 두 가지 방식으로 해석해 서로 비교한다. 이를 위해서는 모형 검사를 위한 모형을 작성하는 것이 필수이다. 본 논문에서는 모형 검사를 위해 모형을 제작한 경험을 설명한다. 끝으로 각 게임 방식의 풀이 생성에 소요되는 시간을 분석한다.

• The Journal of the Korean dental association
• /
• v.22 no.4 s.179
• /
• pp.329-332
• /
• 1984

The author observed a patient of ectodermal dysplasia with oligodontia. The treatments were done as follows: Vital pulpotomy and restorative treatment were done as usual method. Removable type space maintainer was set on the area of primary teeth removed. Follow-up checking were required for the observation of growth and development of the permanent teeth and the jaw.

• Journal of the Korean Data and Information Science Society
• /
• v.8 no.2
• /
• pp.195-209
• /
• 1997

The joint modelling of mean and dispersion in quasi-likelihood models which greatly extend the scope of generalized linear models, is required in case that the dispersion parameter, the variance component of response variables, is not constant but changes by depending on any covariates. In this paper, by using statistical package GENSTAT(release 5.3.2, 1996) which makes a easily analyze real data through this joint modelling, we mention necessities that must consider this joint modelling rather than existing mean models through model checking based on graphic methods for esterase assay data introduced by Carrol and Ruppert(1987, pp.46-47), and then study methods finding reasonable joint model of mean and dispersion for this data.

• Journal of the Korean Wood Science and Technology
• /
• v.4 no.1
• /
• pp.48-53
• /
• 1976

This Study was carried out to investigate the course of air-drying and drying defects of red pine (Pinus densiflora S. et Z.) and Italian poplar (Populus eurameriana I-476) boards 1,2 and 3cm thick in the flat pile. The results are as follows. 1. Air-drying curves for red pine and Italian poplar boards were same as figure 1 and 2. These moisture contents were lower in July and August during seasoning periods. 2. Air drying time of red pine board required to dry 15 percent moisture content in one week for 1 cm board, five weeks for 2 cm board and six weeks for 3cm board respectively. In case of Italian poplar boards, in one week for 1 cm board, four weeks for 2 cm and five weeks for 3 cm board. The thickness of board influenced the time for air drying. 3. Drying defects such as checking, warping and staining happened badly in pine than in Italian poplar boards. Especially, checking was severe in thicker board and warping in thinner board.

• Proceedings of the KIEE Conference
• /
• 2007.04a
• /
• pp.436-438
• /
• 2007

As the sensors and communication technology get advance, the remote health diagnosis for patients and senior persons at home are possible now without visiting doctors in hospitals. A low-power ubiquitous health check device was developed adapting Real-Time Embedded Linux is developed. This ubiquitous device is consisted of three sensors. The wrist type health checking terminal acquires periodically the health data by using a blood pressure sensor, a pulse sensor and a body temperature sensor. It transmits the health data to the access point located at the home center through the ZigBee wireless communication modem. This health data collector or access point device sends the data again to the main server operated in a hospital or health care organization. The health server control continuously the input data and sends an alarm signal to the assigned. doctor and responsible persons using cellular SMS when any dangerous events occur. This wrist type health check device has an embedded linux OS using Intel PAX255 MPU. The developed U-Health system is applicable for checking patients health in remote at home. And their family or related persons in remote site can check the patients health status at any time. They can be assured by receiving SMS record and alarm of emergency case which is transmitted from the health server.

• Journal of Mechanical Science and Technology
• /
• v.16 no.4
• /
• pp.427-435
• /
• 2002

This paper presents a development result for image processed tracking system of multiple moving objects based on Kalman filter and a simple window tracking method. The proposed algorithm of foreground detection and background adaptation (FDBA) is composed of three modules: a block checking module(BCM), an object movement prediction module(OMPM), and an adaptive background estimation module (ABEM). The BCM is processed for checking the existence of objects. To speed up the image processing time and to precisely track multiple objects under the object's mergence, a concept of a simple window tracking method is adopted in the OMPM. The ABEM separates the foreground from the background in the reset simple tracking window in the OMPM. It is shown through experimental results that the proposed FDBA algorithm is robustly adaptable to the background variation in a short processing time. Furthermore, it is shown that the proposed method can solve the problems of mergence, cross and split that are brought up in the case of tracking multiple moving objects.