• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.531-533
• /
• 2000

실시간 시스템은 신뢰성이 중요하므로 실시간 시스템을 설계하는데 있어서 각 태스크의 기능적인 정확성의 검증은 물론 모든 태TM크에 대한 시간적인 요구사항들을 보장해야만 한다. 본 논문에서는 이러한 조건 즉, 실시간 시스템의 정확성과 시간성 보장을 위하여 기존의 객체 지향적 모델을 기반으로 하는 실시간 시스템을 위한 정형명세 언어인 TSC(Timed State Chart)에 자원(resource)의 개념을 추가한 TSCR(Timed State Chart with Resource)를 제안한다. TSCR을 통하여 실시간 시스템의 다양한 요구 사항을 명세하며, 태스크들의 시간성 보장을 위한 스케줄링 가능성 분석(schedulability analysis)을 할 수 있다. 실시간 시스템의 대표적인 예로 철도 건널목 제어 시스템을 TSCR를 이용하여 명세한다.

• Journal of Korean Society for Quality Management
• /
• v.20 no.1
• /
• pp.1-10
• /
• 1992

When we compare different control charting schemes, the average run length of each control chart is usually used. The use of the average run length implies that there is unbounded number of samples or observations. The regression recursive residuals, however, have been applied to the cumulative sum chart to detect whether the mean or variance changes. To implement choice of decision interval, we calculate the probability that certain fixed number of control statistics stay in the in-control state. This probability can be used as the significance level of a test for detecting the change in the residual mean or variance of the data with a finite number of observations.

• Journal of Korean Society for Quality Management
• /
• v.25 no.1
• /
• pp.100-115
• /
• 1997

Shewhart control chart is a basic technique to monitor the state of a process. We observe samples of size four or five and plot some statistic(e.g., mean or range) of each sample on the chart. When setting up the chart, we need to obtain u, pp.r and lower control limits. It is common practice that those limits are calculated from the preliminary 20-40 samples presumed to be homogeneous. However, it may ha, pp.n in practice that the samples are contaminated by outlying observations caused by various reasons. The presence of outlying observations make the control limits wider and hence decrease the sensitivity of the charts. In this paper, we introduce robust control charts with tighter control limits when outlying observations are present in the preliminary samples. Examples will be given via simulation study.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.17 no.30
• /
• pp.107-116
• /
• 1994

This paper formulates a dynamic monitoring and control model with a machine state by quality variations in a single lot production system. A monitoring model is based on estimate of machine state obtained using control theory. The model studied in this paper has a great advance from a point of view the combination between quality control (Sampling, Control Chart) and automatic control theory, and can be extended in a several ways.

• Geomechanics and Engineering
• /
• v.24 no.3
• /
• pp.295-305
• /
• 2021

In this study, design charts for estimating consolidation settlement are proposed according to finite strain consolidation theory using a nonlinear constitutive relationship equation. Results of parametric sensitivity analysis shows that the final settlement, initial height, and initial void ratio exerted the greatest effect, and the coefficients of the void ratio-effective-stress. Proposed design charts were analyzed for three regions using a representative constitutive relationship equation that enables major dredged-reclaimed construction sites in Korea. The regional design charts can be calculated accurately for the final settlement because it is applied directly to the numerical analysis results, except for reading errors. A general design chart applicable to all marine clays is proposed through correlation analysis of the main parameters. A final self-weight consolidation settlement with various initial void ratios and initial height conditions should be estimated easily using the general design chart and constitutive relationship. The estimated final settlement using the general design chart is similar to the results of numerical analysis obtained using finite strain consolidation theory. Under an overburden pressure condition, design charts for estimating consolidation settlement are proposed for three regions in Korea.

• Information Systems Review
• /
• v.23 no.1
• /
• pp.23-43
• /
• 2021

Recently, many studies have been conducted to increase the accuracy of stock price prediction by analyzing candlestick charts using artificial intelligence techniques. However, these studies failed to consider the time-series characteristics of candlestick charts and to take into account the emotional state of market participants in data learning for stock price prediction. In order to overcome these limitations, this study produced input data by combining volatility index and candlestick charts to consider the emotional state of market participants, and used the data as input for a new method proposed on the basis of combining variantion autoencoder (VAE) and attention mechanisms for considering the time-series characteristics of candlestick chart. Fifty firms were randomly selected from the S&P 500 index and their stock prices were predicted to evaluate the performance of the method compared with existing ones such as convolutional neural network (CNN) or long-short term memory (LSTM). The results indicated the method proposed in this study showed superior performance compared to the existing ones. This study implied that the accuracy of stock price prediction could be improved by considering the emotional state of market participants and the time-series characteristics of the candlestick chart.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2013.05a
• /
• pp.475-476
• /
• 2013

• Proceedings of the CALSEC Conference
• /
• 2004.02a
• /
• pp.350-354
• /
• 2004

□ Many specification language has been developed for workflow modeling, but their emphasis on the process semantics make it difficult for use on the business process modeling. □ Also their lack of understanding of global view of Business process adds another problem to model workflow in a seamless and accurate and timely fashion(omitted)

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.27 no.11
• /
• pp.1548-1562
• /
• 2003

This paper is the first of several companion papers which compare the methods of Air-fuel ratio determination. There are many methods which calculate Air-Fuel ratio from exhaust emission. Most of them are based on the simple chemical equations, which use balance of atom, and the error of the calculation is negligible as far as the instrumentation accuracy is guaranteed. They assume homogeneous mixture and complete combustion to the extent of oxygen availability. Because of these simple assumptions, they cannot offer the information about the fuel distribution state and the malfunction of instrument. For these limitations, Eltinge offered new one based on stricter mathematical model. This result coincides with the others very well and gives more information about the mixture state and instrumentation. Consequently this might be a general solution for Air-fuel ratio determination and exhaust composition. The objects of the calculation, however, were not commercial fuels except gasoline and the compensation method of unburned hydrocarbon was not appropriate to recent analyzer. Moreover he did not consider the fuel which contains oxygen, such as methanol, ethanol and blend of gasoline-alcohol. In this paper, Eltinge chart is expanded to the arbitrary fuel composition as the reference exhaust compositions for the purpose of further discussions about Air-fuel ratio determination methods and the charts fur gasoline, diesel, methanol, M85, liquefied petroleum gas(LPG), natural gas(NG), propane, butane are illustrated.

• The Journal of Internal Korean Medicine
• /
• v.41 no.2
• /
• pp.150-158
• /
• 2020

Objectives: This study aimed to investigate the effect of Soeumin-Seonghyangjeongki-san on diarrhea with tube feeding causing mental deterioration induced by subdural hemorrhage (SDH) in an 83-year-old male patient. Methods: The patient was treated with Soeumin-Seonghyangjeongki-san. His symptoms were assessed using the Bristol stool form index, the King's Stool Chart, and records of stool state. The treatment was executed for one week from September 10, 2018 to September 16, 2018. The patient was observed during that same period. Results: After being treated with Soeumin-Seonghyangjeongki-san for seven days, the patient's diarrhea symptoms were evaluated using the Bristol stool form index, the King's Stool Chart, and records of stool state. After the treatment, the results of all three evaluation methods showed that the patient's condition had improved. Conclusions: The results suggest that Soeumin-Seonghyangjeongki-san can be a valuable option for treating diarrhea with tube feeding causing mental deterioration induced by SDH.