• The KIPS Transactions:PartD
• /
• v.17D no.5
• /
• pp.337-346
• /
• 2010

Timing diagram is popularly utilized for the reason of its advantages; it is convenient for timing diagram to describe behavior of system and it is simple for described behaviors to recognize it. Various techniques are needed to test systems described in timing diagram. One of them is a technique to derive the system into a certain condition under which a test case is effective. This paper proposes a technique to automatically generate the test input sequence to reach the condition for systems described in timing diagram. It requires a proper input set which satisfy transition condition restricted by input waveform and timing constraints to generate a test input sequence automatically. To solve the problem, this paper chooses an approach utilizing the linear programming, and solving procedure is as follows: 1) Get a Timing diagram model as an input, and transforms the timing diagram model into a linear programming problem. 2) Solve the linear programming problem using a linear programming tool. 3) Generate test input sequences of a timing diagram model from the solution of linear programming problem. This paper addresses the formal method to drive the linear programming model from a given timing diagram, shows the feasibility of our approach by prove it, and demonstrates the usability of our paper by showing that our implemented tool solves an example of a timing diagram model.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2006.03a
• /
• pp.338-347
• /
• 2006

연직차수벽은 오염지역이나 폐기물 매립장에서 오염된 지하수 (때로는 오염된 수증기) 흐름을 차단하거나 또는 오염지역의 정화처리시 효율을 높이기 위하여 외부로부터 지하수 흐름을 막기 위해 설치된다. 이 논문에서는 연직차수벽의 가장 중요한 설계요소인 차수벽체의 현장 투수성을 평가하는 방법들중 가장 보편적으로 사용되는 단공식 순간 변위시험 (slug test)을 소개한다. 연직차수벽에서 실행된 단공식 순간 변위시험 결과를 해석하기 위해서, 연직차수벽의 압축성과 기하학적인 특성을 고려한 수정된 linear curve fitting 방법을 제안하고 그 적용성을 case study를 통해 평가한다. 기존의 대수층 투수계수 산정에 이용된 curve fitting 방법들에 비하여 수정된 linear curve fitting 방법은 보다 정확한 연직차수벽체의 투수성을 평가하도록 한다.

• Geomechanics and Engineering
• /
• v.15 no.3
• /
• pp.811-822
• /
• 2018

Chip size distribution can be used to evaluate the cutting efficiency and to characterize the cutting behavior of rock during cutting and fragmentation process. In this study, a series of linear cutting tests was performed to investigate the effect of cutting conditions (specifically cut spacing and penetration depth) on the production and size distribution of rock chips. Linyi sandstone from China was used in the linear cutting tests. After each run of linear cutting machine test, the rock chips were collected and their size distribution was analyzed using a sieving test and image processing. Image processing can rapidly and cost-effectively provide useful information of size distribution. Rosin-Rammer distribution pamameters, the coarseness index and the coefficients of uniformity and curvature were determined by image processing for different cutting conditions. The size of the rock chips was greatest at the optimum cut spacing, and the size distribution parameters were highly correlated with cutter forces and specific energy.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.2 no.3
• /
• pp.226-232
• /
• 2002

This paper explains a technique to improve the fault coverage of oscillation-test [1-5] for linear analog circuits. The transient behavior of the virtual ground is monitored during oscillation to extract information of the circuit. The limitation of the oscillation-test is analyzed, and an efficient signature analysis technique is proposed to maximize the fault coverage. The experimental result proves that the parametric fault coverage can be significantly increased by the proposed technique.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.49 no.12
• /
• pp.226-233
• /
• 2012

In this paper, we propose a 'linear approximation method' which is an accelerated BER (Bit Error Rate) test method for high speed interfaces, based on an analytical BER model. Both the conventional 'Q-factor estimation method' and 'linear approximation method' can predict a timing margin for $10^{-13}$ BER with an error of about 0.03UI. This linear approximation method is implemented on a hardware as an accelerated Built-In Self Test (BIST) with an internal BERT (BET Tester). While a direct measurement of a timing margin in a 3Gbps interface takes about 5.6 hours with $10^{-13}$ BER requirement and 95% confidence level, the accelerated BIST estimates a timing margin within 0.6 second without a considerable loss of accuracy. The test results show that the error between the estimated timing margin and the timing margin from an actual measurement using the internal BERT is less than 0.045UI.

• Journal of the Korean Data and Information Science Society
• /
• v.13 no.2
• /
• pp.271-284
• /
• 2002

In this paper we consider the robust inference for the parameter of linear regression model based on weighted least squares. First we consider the sequential test of multiple outliers. Next we suggest the way to assign a weight to each observation $(x_i,\;y_i)$ and recommend the robust inference for linear model. Finally, to check the performance of confidence interval for the slope using proposed method, we conducted a Monte Carlo simulation and presented some numerical results and examples.

• Journal of applied mathematics & informatics
• /
• v.10 no.1_2
• /
• pp.111-118
• /
• 2002

We study the influence of observations on testing a linear hypothesis using single and multiple case-deletions. The change in the F-test statistic due to case-deletions is shown to be completely determined by two externally Studentized residuals. These residuals we used for investigating the outlyingness when there are linear constraints or not. An illustrative example is given. It shows the usefulness of case-deletions.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2003.06a
• /
• pp.1231-1234
• /
• 2003

Pneumatic servo valve which is widely applied in industrial world is advanced technology compounded with electric, electronic and machine. And It is consist of Linear Force Motor. Spool Commutation Mechanism and Microprocessor. In this study, we accomplished test method of Linear Force motor test, Static characteristic test, Dynamic characteristic test for KS(Koran industrial standard) of Pneumatic servo valve. we accomplished study about the main item of Static characteristic test which is related to unload flow characteristic test. And Dynamic characteristic test was step input test and frequency response test. Specially about frequency response test, There was a difficulty resulting from the time delay problem caused by the basic compressibility of air. In order to solve the problem in this study. we proposed two methods. First, displacement of the servo valve spool was directly measured by using a laser sensor. Second, method of calculating control flow by measuring pressure and temperature of chamber.

• Communications for Statistical Applications and Methods
• /
• v.11 no.3
• /
• pp.475-484
• /
• 2004

This paper consider the testing problem of grouped heteroscedasticity in the linear regression model. We provide the Lagrange Multiplier(LM), Wald, Likelihood Ratio (LR) test statistis for testing of grouped heteroscedasticity. Monte Carlo experiments are conducted to study the performance of these tests.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.18 no.4
• /
• pp.21-29
• /
• 2010

The main purpose of this study is to obtain linear models for the design of automatic flight controller in order to operate the Light Sport Aircraft as unmanned air vehicle. Flight test equipments installed on the aircraft to acquire flight test data are described and maneuvers for practical speed calibration are introduced. Parameters for the linear models of lateral and longitudinal motion are estimated by the Output error method as well as trim data analysis using the flight test data. Simulated data using the estimated parameters is shown to agree well with the measurement data. Estimated parameters obtained for several flight conditions can be used to improve the aerodynamic database of the simulation program.