• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2003년도 춘계종합학술대회
• /
• pp.526-529
• /
• 2003

논 논문에서는 VHDL 모델을 검증하기 위하여 정지법을 사용할 때 클럭 사이클을 줄일 수 있는 2가지 방법을 제안한다. 첫 번째 방법은 세미랜덤변수를 정의하고, 정지법이 동작 중에 세미랜덤변수의 영역에 존재하는 데이터를 생략하여 정지점(stopping point)을 줄이고, 두 번째 방법은 정지법의 페이즈가 변화시에 베이지안 파라미터의 기존 간을 그대로 유지하여 클럭 사이클을 줄이는 방법이다. 제안된 방법의 효율성을 입증하기 위하여 12개의 VHDL 모델에 대하여 분기검출률에 관한 모의실험을 하였다.

• 대한전자공학회논문지SD
• /
• 제40권12호
• /
• pp.39-45
• /
• 2003

칩의 크기가 증가함에 따라 VHDL 모델의 설계검증은 점점 어려워지고, 많은 시간을 소모하는 과정이 되고 있다. 최근에 VHDL 모델을 검증하기 위하여 베이지안 예측과 정지법(stopping rule)을 이용한 방법들이 소개되고 있다. 이 논문에서는 VHDL 모델을 검증하기 위하여 정지법을 사용할 때 클럭 사이클을 줄일 수 있는 2가지 방법을 제안한다. 첫 번째 방법은 세미랜덤변수를 정의하고, 정지법이 동작 중에 세미랜덤변수의 영역에 존재하는 데이터를 생략하여 정지점stopping point)을 줄이고, 두 번째 방법은 정지법의 페이즈가 변화시에 베이지안 파라미터의 기존 값을 그대고 유지하여 클럭 사이클을 줄이는 방법이다. 제안된 방법의 효율성을 입증하기 위하여 12개의 VHDL 모델에 대하여 분기검출율에 관한 모의실험을 하였으며, 기존의 방법과 비교하여 분기검출율은 0.6% 줄었지만 25% 이상의 클럭 사이클을 줄일 수 있었다.

• Design & Manufacturing
• /
• 제14권4호
• /
• pp.40-45
• /
• 2020

In a vehicle-to-vehicle accident, the impact posture, braking status, final stopping position, collision point and collision speed are important factors for accident reconstruction. In particular, the speed of collision is the most important issue. In this study, the collision speed and the final stopping position in the tunnel were estimated using PC-CRASH, a vehicle crash analysis program used for traffic accident analysis, and the final stopping position of the simulation and the final stopping position of the traffic accident report were compared. When the Pride speed was 0km/h or 30km/h and the Sorento speed was 100m/h, the simulation results and reports matched the final stopping positions and posture of the two vehicles. As a result of the simulation, it can be estimated that Pride was collided in an almost stationary state.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년도 심포지엄 논문집 정보 및 제어부문
• /
• pp.228-230
• /
• 2006

While trains perform a complete precision stopping control at stop point, it is essential to keep better commuters comfort in prompt. Because a train's brake force tends to increase a brake effort in a low speed and a low brake effort, a brake force in motor cars must be increased to keep better passenger comfort, to control the special braking qua1ities and to prevent the impact of the automatic coupler rather than trailer's, Rail cars must have a special braking process for the train stopping control. In the train stop mode, the train stopping control is designed to start at 20km/h. It starts by Dynamic brake blending, and then finally stops by only the friction. If these process are not exactly activated, the train may fail a complete precision stop. In this report, it studied the electric and friction brake processing during the precious stopping control. To achieve exact test results, the speed reference has to be reduced the calculated difference. In the precision stopping control. the ways of the keeping brake force in motor car was analyzed and some solutions of controling air pressure was brought up by means of direct test in main line, This study was based on line 5 in Seoul Metropolitan subway.

• Journal of the Korean Statistical Society
• /
• 제29권3호
• /
• pp.337-350
• /
• 2000

This paper suggests a new diagnostic measure and a stopping rule for detecting influential observations in multiple discriminant analysis (MDA). It is developed from a Bayesian point of view using a default Bayes factor obtained from the fractional Bayes factor methodology. The Bayes factor is taken as a discriminatory information in MDA. It is shown that the effect of an observation over the discriminatory information is fully explained by the diagnostic measure. Based on the measure, we suggest a stopping rule for detecting influential observations in a given training sample. As a tool for interpreting the measure a graphical method is sued. Performance of the method is used. Performance of the method is examined through two illustrative examples.

• 한국경영과학회지
• /
• 제1권1호
• /
• pp.147-150
• /
• 1976

Optimal stopping problem without recall from a multivariate distribution is solved by using the concept of an equilibrium point which was introduced by J. Nash. The solution is derived for the two cases: 1. The case where the observation cost C is positive and the given upper bound K on the number of observations is infinite. 2. The case where the observation cost C is zero and the given upper bound K on the number of observations is finite.

• 대한기계학회논문집
• /
• 제15권2호
• /
• pp.544-556
• /
• 1991

The optimization of many engineering design problems requires a nonlinear programming algorithm that is robust and efficient. A general-purpose nonlinear optimization program IDOL (Interactive Design Optimization Library) is developed based on the Augmented Lagrange Mulitiplier (ALM) method. The ideas of selecting a good initial design point, using resonable initial values for Lagrange multipliers, constraints scaling, descent vector restarting, and dynamic stopping criterion are employed for computational enhancement to the ALM method. A descent vector is determined by using the Broydon-Fletcher-Goldfarb-Shanno (BFGS) method. For line search, the Incremental-Search method is first used to find bounds on the solution, then the bounds are reduced by the Golden Section method, and finally a cubic polynomial approximation technique is applied to locate the next design point. Seven typical test problems are solved to show IDOL efficient and robust.

• Journal of Electrical Engineering and Technology
• /
• 제11권5호
• /
• pp.1441-1448
• /
• 2016

• Journal of the Korean Data and Information Science Society
• /
• 제16권3호
• /
• pp.657-663
• /
• 2005

Under the minimum risk point estimation formulation of Robbins(1959), we consider the sequential point estimation problem for normal population $N({\theta},\;{\theta})$ with unknown parameter ${\theta}$. In the case of completely unknown ${\theta}$, Stein's(1945) two-stage procedure is known to enjoy the consistency property, but it is not even first-order efficient. In the case when ${\theta}>{\theta}_L\;where\;{\theta}_L(>0)$ is known, the revised two-stage procedure is shown to enjoy all the usual second-order properties.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.2747-2752
• /
• 2003

This paper has develops a new framework to understand the human’s driving maneuver based on the expression as HDS focusing on the driver’s stopping maneuver. The driving data has been collected by using the three-dimensional driving simulator based on CAVE, which provides three-dimensional visual information. In our modeling, the relationship between the measured information such as distance to the stop line, its first and second derivatives and the braking amount has been expressed by the PWPS model, which is a class of HDS. The key idea to solve the identification problem was to formulate the problem as the MILP with replacing the switching conditions by binary variables. From the obtained results, it is found that the driver appropriately switches the ‘control law’ according to the following scenario: At the beginning of the stopping behavior (just after finding the stopping point), the driver decelerate the vehicle based on the acceleration information, and then switch to the control law based on the distance to the stop line.