• Journal of the Korean Statistical Society
• /
• 제26권3호
• /
• pp.407-416
• /
• 1997

Suppose that { $X_{i}$ } is a stationary AR(1) process and { $Y_{j}$ } is an ARX process with { $X_{i}$ } as exogeneous variables. Let $Y_{j}$ $^{*}$ be the stochastic process which is the sum of $Y_{j}$ and a nonstochastic trend. In this paper we consider the problem of estimating the conditional probability that $Y_{{n+1}}$$^{*}$ is bigger than $X_{{n+1}}$, given $X_{1}$, $Y_{1}$$^{*}$,..., $X_{n}$ , $Y_{n}$ $^{*}$. As an estimator for the tolerance probability, an Mann-Whitney statistic based on least squares residuars is suggested. It is shown that the deviations between the estimator and true probability are stochatically bounded with $n^{{-1}$2}/ order. The result may be applied to the stress-strength reliability theory when the stress and strength variables violate the classical iid assumption.umption.n.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 제39회 하계학술대회
• /
• pp.1817-1818
• /
• 2008

Even though efficiency of coal-fired power plant is proportional to operating temperature, increasement of operating temperature is limited by a technological level of each power plant components. It is an alternative plan to increase operating pressure up to ultra super critical point for efficiency enhancement. It is difficult to control in that pressure within safety guideline that many unexpected phenomena are happen because that region is highly nonlinear region. In this paper, Advanced process control algorithm, ARX and Fuzzifier, is introduced. Then power plant control logics applied Unit Step Optimizer, which is combination of ARX and Fuzzifier are proposed. Its performance is tested and analyzed with design guide line.

• 대한의용생체공학회:학술대회논문집
• /
• 대한의용생체공학회 1995년도 춘계학술대회
• /
• pp.117-119
• /
• 1995

서울대학교 의공학과에서는 부분적인 심부전 판자의 보조 및 치료장비로 전기유압식 좌심실 보조 장치를 개발하고 있다. 이 장비의 경우 인체의 좌심방 및 대동맥에 직접 연결되므로 실제적으로 좌심실 보조 장치의 박출량을 센서를 통하여 알아내는 데에는 여러가지 어려움이 따른다. 이러한 필요성에 비추어 전기유압식 좌심실 보조 장치의 박출량을 시스템을 ARX모델로 모델링하여 RLS(Recursive Least Square) 알고리듬을 이용하여 추정하였다. 그 결과 비교적 높은 정착도로 박출량이 추정됨을 볼 수 있었다. 하지만, ARX모델의 특성상 원래 본 연구의 시작과정에서 분석한 시스템의 동적 특성을 완전하게 반영할 수 없었다. 앞으로 시스템의 파라미터 추정 과정에서 이미 주어진 동적 특성은 고정시키고 나머지 파라미터들만을 추정하는 알고리듬을 개발하는 것도 흥미로운 과제라 할 수 있다.

• 한국항해항만학회지
• /
• 제29권2호
• /
• pp.135-140
• /
• 2005

In this paper, we propose a human model for analysing the human work pattern or human fault, where a gantry crane simulator is used to survey the property cf human operation From the input and output cf gantry crane response, we make a human operation model by using conventional ARX identification method To identify the human model, we assume the eight inputs and two outputs. By using the achieved input/output data, we estimate the parameters of ARX for the human work model. To verify the proposed method, we compared the real data with the modeled data, where three kinds of work trajectory path are used.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2017년도 전력전자학술대회
• /
• pp.126-127
• /
• 2017

An accurate State Of Charge (SOC) estimation of battery is the most important technique for Electric Vehicles (EVs) and Energy Storage Systems (ESSs). In this paper a new integrated Unscented Kalman Filter-Particle Filter (UKF-PF) is employed to estimate the SOC of a $LiFePO_4$ battery cell and a significant improvement is obtained as compared to the other methods. The parameters of the battery is modeled by the second order Auto Regressive eXogenous (ARX) model and estimated by using Recursive Least Square (RLS) method to calculate value of each element in the model. The proposed algorithm is established by combining a parameter identification technique using RLS method with ARX model and an SOC estimation technique using UKF-PF.

• 대한기계학회논문집B
• /
• 제41권5호
• /
• pp.321-328
• /
• 2017

본 연구에서는 고온측과 저온측의 온도 예측을 위한 볼텍스 튜브 모델을 개발하였다. 볼텍스 튜브 모델은 시스템 식별 방법을 기반으로 개발하였으며, 개발된 볼텍스 튜브 모델은 ARX(Auto-Regressive with eXtra inputs)모델을 기반으로 하여 설계되었다. 본 연구에서 유도된 다항식 모델은 모델의 정확성을 확인하기 위해 실험데이터와 검증하였다. 또한, 유도된 모델은 안정성 검사 통과를 보여준다. 저온측 스로틀 밸브 각도를 변경하였을 때, 적절히 온도 분리가 이루어지는 것을 확인하였으며, 동적응답을 확인하기 위해 저온측 스로틀 밸브 각도를 변경 시켰을 경우, 볼텍스 튜브 모델의 온도가 적절히 분리 되는 것을 확인할 수 있다. 결론적으로, 개발된 볼텍스 튜브 모델을 저온측 스로틀 밸브 각도에 따라 온도 분리 예측이 가능하다는 것을 확인할 수 있다.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2011년도 제37회 추계학술대회논문집
• /
• pp.599-602
• /
• 2011

일회성 비행체의 경우 임무 수행 시작 후에 발생하는 센서 등이 고장 나더라고 이를 극복하고 임무를 완료할 수 있게 강인하게 추진체 제어기를 설계하여야 한다. 이러한 비행체에는 중요 센서의 고장에 대비하여 대체 가능한 센서를 여분으로 장착하여 내결함성을 향상시키고 있다. 이 경우 추가 센서 장착으로 인해 비행체의 가격이 상승하게 된다. 본 논문에서는 NARX 모델을 사용하여 적용대상 추진체의 속도 센서를 대치 가능하게 하였고 각각의 센서 신호는 모델 기반의 고장 진단을 수행하여 고장 식별을 하였다. 설계된 NARX 및 고장 진단 알고리즘은 최적화하여 TI 사의 TMS320F2812 에 탑재되어 실시간으로 HIL 장비와 연동될 수 있도록 하였다. 본 논문에서는 최소한의 센서를 적용하여 일회성 비행체의 내결함성을 향상시키고 복잡한 고장 상황하에서 주어진 임무를 완료할 수 있는 추진체 제어기의 설계하여 HIL 환경에서 시험하여 적용 가능성을 확인하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (3)
• /
• pp.65-67
• /
• 1998

내장 실시간 시스템이 높은 우선순위의 비동기적 이벤트를 적시에 처리하면서 필수적으로 적은 비용의 선점 다중쓰레드를 지원해야한다. 사용자 레벨 쓰레드는 커널 레벨 쓰레드 보다 적은 비용의 유연한 추상적 기법들을 제공하지만, 기존의 실시간 시스템에서는 스케줄링과 시그날(signal) 처리가 단순하다는 이류로 커널 레벨 쓰레드가 선호 되어왔다. 본 논문에서는 내장 실시간 시스템에 적합한 새로운 사용자 레벨 다중 쓰레드 방식을 제안한다. 이 기법은 가상 쓰레드(virtual threads)와 개선된 스케줄링 이벤트 업콜(scheduling event upcall) 메카니즘을 기반으로 한다. 가상 쓰레드는 사용자 레벨 쓰레드에게 커널 레벨의 실행 환경을 제공할 수 있도록 사용자 레벨 쓰레드를 커널 레벨로 형상화한 것이다. 이 쓰레드는 필요에 의해 잠시동안 사용자 레벨 쓰레드에 묶이는 소동적인 존재이다. 스케줄링 이벤트 업콜 메카니즘은 쓰레드 블록킹과 타이머 만기와 같은 커널 이벤트를 유저 프로세서에게 전달할 수 있게 한다. 본 논문의 개선된 업콜 방식은 scheduler activation과 시그날과 같은 전통적인 업콜 구조에서 예측하기 힘든 요소들을 배제했다. 순간적인 시스템의 과부하 상황에서도 이벤트를 놓치지 않으면서 커널과 유저 프로세서의 비싼 동기화 작업들을 피할 수 있도록 하는 잠금(lock)이 필요 없는 이벤트 큐를 상용한다. 본 기법은 서울대학교 실시간 운영체계 실험실에서 구현한 ARX위에 완벽하게 구현되었다. ARX 사용자 레벨 쓰레드가 사용자 레벨 쓰레드의 장점을 손상하지 않으면서 솔라리스와 윈도즈98과 같은 상용 운영체제의 커널 쓰레드보다 성능이 우수함을 실험적 비교에 의해서 입증한다.분에서 uronic acid를 분리동정하였을 때 점미는 0.90%, 백미는 0.66%, 흑미는 1.8%로서 흑미에서 uronic acid 함량이 두 배 이상으로 나타났다. 흑미의 uronic acid 함량이 가장 많이 용출된 분획은 sodium hydroxide 부분으로서 hemicellulose구조가 polyuronic acid의 형태인 것으로 사료된다. 추출획분의 구성단당은 여러 곡물연구의 보고와 유사하게 glucose, arabinose, xylose 함량이 대체로 높게 나타났다. 점미가 수가용성분에서 goucose대비 용출함량이 고르게 나타나는 경향을 보였고 흑미는 알칼리가용분에서 glucose가 상당량(0.68%) 포함되고 있음을 보여주었고 arabinose(0.68%), xylose(0.05%)도 다른 종류에 비해서 다량 함유한 것으로 나타났다. 흑미는 총식이섬유 함량이 높고 pectic substances, hemicellulose, uronic acid 함량이 높아서 콜레스테롤 저하 등의 효과가 기대되며 고섬유식품으로서 조리 특성 연구가 필요한 것으로 사료된다.리하였다. 얻어진 소견(所見)은 다음과 같았다. 1. 모년령(母年齡), 임신회수(姙娠回數), 임신기간(姙娠其間), 출산시체중등(出産時體重等)의 제요인(諸要因)은 주산기사망(周産基死亡)에 대(對)하여 통계적(統計的)으로 유의(有意)한 영향을 미치고 있어 $25{\sim}29$세(歲)의 연령군에서, 2번째 임신과 2번째의 출산에서 그리고 만삭의 임신 기간에, 출산시체중(出産時體重) $3.50{\sim}3.99kg$사이의 아이에서 그 주산기사망률(周産基死亡率)이 각각 가장 낮았다. 2. 사산(死産)과 초생

• 정보보호학회논문지
• /
• 제28권5호
• /
• pp.1071-1078
• /
• 2018

최근 가용 자원이 제한된 디바이스에서 사용할 수 있는 구현 성능이 효율적인 경량 블록 암호 알고리듬 CHAM이 제안되었다. CHAM은 키의 상태를 갱신하지 않는 스케줄링 기법을 사용함으로써 키 저장 공간을 획기적으로 감소시켰으며, ARX(Addition, Rotation, and XOR) 연산에 기반하여 설계함으로써 계산 성능을 크게 향상시켰다. 그럼에도 불구하고 본 논문에서는 CHAM은 오류 주입 공격에 의해 라운드 키가 노출될 가능성이 있으며 4개의 라운드 키로부터 마스터 비밀 키를 추출할 수 있음을 보이고자 한다. 제안된 오류 주입 기법을 사용하면 약 24개의 정상-오류 암호문 쌍을 이용하여 CHAM-128/128에 사용된 비밀 키를 찾을 수 있음을 컴퓨터 시뮬레이션을 통해 확인하였다.

• 한국항해항만학회지
• /
• 제44권2호
• /
• pp.136-143
• /
• 2020

Maritime autonomous surface ships (MASS) has been developed over the years. But, there are many unresolved problems. To overcome these problems, this study proposes connected ship navigation system. The system comprises a slave ship and a master ship that leads the slave ship. To implement this system, communication network, route planning algorithms, and controllers are designed. The communication network is built using the transmission control protocol/Internet protocol (TCP/IP) socket communication method to exchange data between ships. The route planning algorithms calculate the course and distance of the slave ship using the middle latitude sailing method. Nomoto model is used as the mathematical model of the slave ship maneuvering motion. Then, the autoregressive with exogenous variables (ARX) model is used to estimate the parameters of Nomoto model. Based on the above model, the automatic steering controller is designed using a proportional-derivative (PD) control. Also, the speed controller is designed for the slave ship to maintain constant distance from the master ship. Sea experiments are conducted to verify the proposed system with two remodeled boats.