• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.531-533
• /
• 2000

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

• 품질경영학회지
• /
• 제20권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.

• 품질경영학회지
• /
• 제25권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.

• 산업경영시스템학회지
• /
• 제17권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
• /
• 제24권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.

• 경영정보학연구
• /
• 제23권1호
• /
• pp.23-43
• /
• 2021

최근 인공지능 기법을 활용하여 캔들스틱 차트를 분석함으로써 주식가격 예측의 정확성을 높이고자 하는 다양한 연구가 진행되어 왔다. 그러나 이러한 연구들은 주식가격 예측을 위한 학습에 있어 캔들스틱 차트의 시계열적 특성을 고려하지 못한다는 점과 시장 참여자들의 감정 상태를 고려하지 못한다는 점 등이 문제로 지적되고 있다. 본 연구에서는 시장 참여자들의 감정상태를 반영하기 위해 변동성지수(VIX: volatility index) 차트를 캔들스틱 차트와 함께 고려하여 학습시키고 이를 변이형 오토인코더(VAE: variational auto encoder)와 어텐션 메커니즘(attention mechanisms)을 결합한 새로운 방법으로 분석하여 캔들스틱 차트의 시계열적 특성을 고려함으로써 기존 연구의 한계를 극복하고자 한다. 본 연구에서 제안한 방법의 성능 비교를 위해 S&P 500 기업 가운데 50개를 임의로 추출하여 제안한 방법을 통해 이들의 주식가격을 예측하고 이를 합성곱 신경망(CNN: convolutional neural network) 또는 장단기메모리(LSTM: long-short term memory) 등과 같은 기존 방법들과 비교하였다. 비교 결과 기존 방법들에 비해 본 연구에서 제안한 방법이 더 우수한 성능을 보이는 것으로 나타났다. 본 연구는 시장 참여자들의 감정 상태와 캔들스틱 차트의 시계열적 특성을 고려함으로써 주식 가격 예측의 정확성을 높였다는 점에서 그 의의가 있다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2013년도 춘계학술대회 논문집
• /
• pp.475-476
• /
• 2013

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2004년도 e-Biz World Conference
• /
• 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)

• 대한기계학회논문집B
• /
• 제27권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.

• 대한한방내과학회지
• /
• 제41권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.