http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
굴절차량을 위한 전차륜 조향 시스템 전자제어 장치 개발
김기정(Kijeong Kim),정기현(Kihyun Chung),최경희(Kyunghee Choi),이수호(Sooho Lee),박태원(Taewon Park),문경호(Kyeongho Moon) 한국철도학회 2008 한국철도학회 학술발표대회논문집 Vol.- No.-
Since the bi-modal tram is too long so that the traditional steering system controlled only the first axle increases its turning radius, it is not suitable to the domestic road environment. In addition, it become hard to make fine parking with the traditional steering system. To resolve the problem, the bi-modal tram requires an all wheel steering system (AWS) that the second axle is controlled by the first axle"s degree and the velocity of vehicle, and the third axle is steered by the articulation angle"s degree and the velocity of degree. This paper addresses the factors for the AWS ECU design, the strategies to solve the problems, the core technologies for the implementation, and also the outcomes and analysis of the performance evaluation of implemented system.
지상파 DMB와 GPS 모듈이 내장된 시스템에서의 GPS 수신감도 개선
정재헌(Jae-Hun Jung),정기현(Kihyun chung) 대한전자공학회 2007 대한전자공학회 학술대회 Vol.2007 No.7
Recently developed Mobile Device have several RF functions. In this paper, the snesitivity in GPS of mobile devices including GPS & terrestrial DMB is studied. And a technique is proposed to increase the GPS sensitivity while minimizing the interference around ground plane.
이달한 ( Dal-han Lee ),정기현 ( Kihyun Chung ) 한국정보처리학회 2012 한국정보처리학회 학술대회논문집 Vol.19 No.2
현대의 레이더는 복잡성 증가 및 다기능으로의 변화가 불가피하며 이에 따라 보다 정교하고 실시간성이 보장되는 구성품의 제어가 필요하여 고속의 실시간 통제기가 필수적으로 사용되어야 한다. 고속의 실시간 통제기를 구현하기 위해서는 신뢰성이 높은 실시간 운영체제를 기반으로 개발하여야 하며 오류가 없는 통제 소프트웨어의 구현이 필요하다.
Yices와 모델 정보를 이용한 Simulink/Stateflow 모델의 테스트 케이스 생성 기법
박한곤 ( Han Gon Park ),정기현 ( Kihyun Chung ),최경희 ( Kyunghee Choi ) 한국정보처리학회 2017 정보처리학회논문지. 소프트웨어 및 데이터 공학 Vol.6 No.6
본 논문에서는 SMT (Satisfiability Modulo Theories) Solver인 Yices와 Simulink/Stateflow (SL/SF)의 모델 정보를 이용한 SL/SF 모델의 테스트 케이스 생성 기법을 제안한다. SL/SF 모델로부터 테스트 케이스 생성 시 발생하는 가장 어려운 점은 도달 가능성 문제를 해결하는 것이다. 제안하는 방법에서는 Yices와 모델 정보로부터 만들어진 테이블로 도달 가능성 문제를 해결한다. 제안하는 방법에서는 SL/SF 모델을 Yices의 입력 언어로 변환한 SMT 모델을 사용하여 테스트 케이스를 생성한다. SL/SF 모델로부터 생성된 정보들은 제안하는 테스트 케이스생성 알고리즘의 Backward 프로세싱에 사용되어 테스트 케이스 생성 효율을 증가시킨다. 제안된 테스트 케이스 생성 기법은 상용 냉장고 제어시스템 모델과 자동차의 ECU (Electrical Control Unit) 모델을 이용하여 성능을 평가한다. This paper proposes a method that generates test cases from Simulink/Stateflow(SL/SF) using a SMT (Satisfiability Modulo Theory) solver, Yices and information of SL/SF model. The most difficult problem to generate test cases from SL/SF model is to solve reachability problem. In the propose method, Yices and the tables built with the model information are utilized to solve the reachability problem. The method utilizes the SMT model, that is the SL/SF model transformed in Yices. The tables built from SL/SF are used for backward processing of the proposed method and increases test generation efficiency. A commercial refrigerator model and two car ECU (Electrical Control Unit) models are used to evaluate the performance of the proposed algorithm..
CAN Communication을 이용한 CAR AV System 도난 방지 기능 구현에 관한 연구
박민수(Min-su.Park),정기현(Kihyun.Chung) 대한전자공학회 2007 대한전자공학회 학술대회 Vol.2007 No.7
This paper proposes an algorithm to improve the anti-theft function of the CAR_A V using the CAN (Controller Area Network) communication between CAR AV and cluster. Compare to the typical anti-theft algorithms like security code entering, the proposed one is more secure in most cases. The proposed algorithm is suitable for the recent automobile that employ the CAN network as the communication channel between their devices.
자동차 전원의 변동 조건에 대한 자동차내 제품의 신뢰성 검증 방안에 관한 연구
유병국(Byaeng-Kuk Yoo),정기현(Kihyun Chung) 대한전자공학회 2007 대한전자공학회 학술대회 Vol.2007 No.7
Electric and electronic devices like car stereo have to be secured for stable operation and thier reliability against the several types of power noise coming from the power line of vehicle. The test curve for the testing simulation is based on the ISO16750-2 4.5.3 "Start Pulse". The main parameters are fixed for testing condition. 8 testing curves are built by using these variable parameter. These curves have the different value of variable parameter like the dropped voltage level, timing slope, time period and the repeated number. Additionally the magnified test cases are described for the detail test. The decision levels are fixed to define the error behaviour on testing or after testing. The reliability and stability of car stereo are verified by these simulated curves.
김도훈 ( Do-hoon Kim ),정기현 ( Kihyun Chung ) 한국정보처리학회 2012 한국정보처리학회 학술대회논문집 Vol.19 No.2
레이더 시스템에서 신호처리에 대한 연산 량 및 데이터의 전송 용량은 시스템 개발 시, 성능과 구성을 결정하는 주요 요소다. 이런 요소에 대한 정확한 사전 예측은 시스템 전체 성능 및 개발 기간과 연구비용에 영향 끼친다. 레이더 신호처리에 대한 정확한 연산 량 및 데이터 전송 량의 예측은 개발 전문가의 경험과 COTS 보드의 성능으로 결정된다. 이런 예측을 보다 정확하게, 보편적으로 하기 위해서 시뮬레이션을 이용하는데, 그 중 하나인 AXIS Development Tool 은 개발자에게 편리성과 효율성을 제공한다. 이 시뮬레이션 기능은 개발 보드와의 동일 환경을 제공함으로 개발의 시간을 단축시키고, 사용자의 편리한 GUI 환경을 제공함으로 개발의 유연성을 제공해 개발 성능에 대한 예측이 정확하여 안정적 개발을 보장한다.