• Transactions of the Korean Society of Automotive Engineers
• /
• v.13 no.2
• /
• pp.37-43
• /
• 2005

A haptic steering system which reflects steering reaction torque has been developed for a fixed base vehicle simulator. The haptic steering system consists of a steering effort sensor, MR-clutch, AC servo motor and controller. In order to generate realistic steering torque feel to driver and at the same time to meet real-time simulation requirement, 3D torque map is constructed by experimental data and torque generation algorithm using the torque map has been also developed. 3D torque map is constructed using curve fitting and interpolation of the measured values of the steering angle, velocity and steering torque from actual slalom test on the proving ground. In order to carry out performance test of the developed haptic steering system, a fixed based vehicle simulator is constructed by integrating real time vehicle dynamics module, VR-video/audio module, and the haptic steering system. Steering torque and steering angle curves have been obtained from virtual testing in the vehicle simulator and performance of the haptic steering system has been evaluated.

• Fire Science and Engineering
• /
• v.32 no.1
• /
• pp.99-107
• /
• 2018

Diesel cars employ a diesel particulate filter (DPF) to reduce the discharge of fine dust. However, cases of fires caused by DPFs have been reported in diesel cars. In this study, I examined the regulation of exhaust gas and exhaust gas recirculation in diesel cars. Then, I analyzed cases of car fires caused by DPFs, their characteristics, car fire factors related to DPFs and preventive measures, and their consideration in investigations of the causes of fires. Finally, regarding car fire investigations, this study proposed a process of proving that fires are caused by DPFs.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.19 no.2
• /
• pp.171-176
• /
• 2016

In this paper, the integration of the firing test stages at the acceptance test of the propelling charge has been studied using statistical analysis on the basis of the test data of K676 and K677 propelling charge for K9 self propelled howitzer. Acceptance test of K676 / K677 propelling charge consists of 3 stages and each stage is charge assessment test, charge uniformity test and charge proving ground test. Many of rounds are fired and much money is spent to prove the charge performance at each stage. The result of t-test shows that there is no difference between charge uniformity and charge proving ground test stage of K676 and K677 propelling charge.

• Kyungpook Mathematical Journal
• /
• v.45 no.2
• /
• pp.281-292
• /
• 2005

In this paper a nonlinear alternative of Leray-Schauder type is proved in a Banach algebra involving three operators and it is further applied to a functional nonlinear integral equation of mixed type $$x(t)=k(t,x({\mu}(t)))+[f(t,x({\theta}(t)))]\(q(t)+{\int}_0{^{\sigma}^{(t)}}v(t,s)g(s,x({\eta}\(s)))ds\)$$ for proving the existence results in Banach algebras under generalized Lipschitz and $Carath{\acute{e}}odory$ conditions.

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.2517-2526
• /
• 2011

As technologies are developed and systems are complicated, hazards embedded in the system are also increasing. proving safety and managing the safety is more scientific and organizational domain so that safety management system is pursuing to be active formation detecting the factors of hazard and managing them beyond passive-way. In the future, in order to establish and manage national safety management system, it is important to have effective system and manage it and also more important that all the people related to target system has to change their recognition and to play roles in it.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2010.10a
• /
• pp.144-145
• /
• 2010

3-D noise map of Mugue Dong of the Ulsan City has been constructed. Comparing with the measured noise level, the predicted noise level has been confirmed for its accuracy. Correction factors for better prediction result using the constructed noise map have been investigated proving that its method is useful. The procedure of noise map construction method has also been introduced using RLS-90, Cadna A.

• Proceedings of the IEEK Conference
• /
• 2000.11a
• /
• pp.453-456
• /
• 2000

This paper describes IMT-2000 Testbed System which consists of ATM based IMT-2000 exchange(A-lMX), RNC simulator, HLR simulator, SCP simulator, B-ISDN subscriber simulator and MS simulator. Simulators were developed to verify the mobile functions and basic services of IMT-2000 like Videophone, VoD(Video on Demand), and Internet access. UPT(Universal Personal Telecommunication) service could be adapted well to this testbed system. Until the entire network elements are developed fully, this testbed system can be used to prove new services in IMT-2000 network.

• Computers and Concrete
• /
• v.16 no.6
• /
• pp.881-896
• /
• 2015

A simultaneous analytical, experimental and numerical analysis of crack initiation, propagation and breaking process of the Central Straight through Crack Brazilian Disk (CSCBD) specimens under diametrical compression is carried out. Brazilian disc tests are being accomplished to evaluate the fracturing process based on stress intensity factors (SIFs). The effects of crack inclination angle and crack length on the fracturing processes have been investigated. The same experimental specimens have been numerically modeled by a higher order indirect boundary element method (HDDM). These numerical results are compared with the existing experimental results proving the accuracy and validity of the proposed numerical method.

• Journal of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.399-422
• /
• 1998

A useful method of proving the finite decidability of an equationally definable class V of algebras (i.e., variety) is to prove the decidability of the class of finite directly indecomposable members of V. The validity of this method relies on the well-known result of Feferman-Vaught: if a class K of first-order structures is decidable, then so is the class {$\prod$$_{i}$＜n/ $A_{i}$│ $A_{i}$ $\in$ X (i < n), n $\in$ $\omega$}. In this paper we show that the converse of this does not necessarily hold.d.d.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.31B no.3
• /
• pp.47-52
• /
• 1994

In industrial multivariable plants, it is often the case that all of plant outputs are measured not simultaneously, but seriallu. While Reference 1 proposed a special type of observer (referred to as "serial-sampling" type obserrversL. which was provento be very effective in this situation, it alsopointed out that the observer may have some minor problems in case of practical applications. In this paper, it isshown that these kind of problems can be resolved by proving the existence of the solution of the simultaneous equations (35) of Reference 1.