http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
지상파 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.
Yices와 모델 정보를 이용한 Simulink/Stateflow 모델의 테스트 케이스 생성 기법
박한곤 ( Han Gon Park ),정기현 ( Kihyun Chung ),최경희 ( Kyunghee Choi ) 한국정보처리학회 2017 정보처리학회논문지. 소프트웨어 및 데이터 공학 Vol.6 No.6
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..
김도훈 ( Do-hoon Kim ),정기현 ( Kihyun Chung ) 한국정보처리학회 2012 한국정보처리학회 학술대회논문집 Vol.19 No.2
레이더 시스템에서 신호처리에 대한 연산 량 및 데이터의 전송 용량은 시스템 개발 시, 성능과 구성을 결정하는 주요 요소다. 이런 요소에 대한 정확한 사전 예측은 시스템 전체 성능 및 개발 기간과 연구비용에 영향 끼친다. 레이더 신호처리에 대한 정확한 연산 량 및 데이터 전송 량의 예측은 개발 전문가의 경험과 COTS 보드의 성능으로 결정된다. 이런 예측을 보다 정확하게, 보편적으로 하기 위해서 시뮬레이션을 이용하는데, 그 중 하나인 AXIS Development Tool 은 개발자에게 편리성과 효율성을 제공한다. 이 시뮬레이션 기능은 개발 보드와의 동일 환경을 제공함으로 개발의 시간을 단축시키고, 사용자의 편리한 GUI 환경을 제공함으로 개발의 유연성을 제공해 개발 성능에 대한 예측이 정확하여 안정적 개발을 보장한다.
이달한 ( Dal-han Lee ),정기현 ( Kihyun Chung ) 한국정보처리학회 2012 한국정보처리학회 학술대회논문집 Vol.19 No.2
현대의 레이더는 복잡성 증가 및 다기능으로의 변화가 불가피하며 이에 따라 보다 정교하고 실시간성이 보장되는 구성품의 제어가 필요하여 고속의 실시간 통제기가 필수적으로 사용되어야 한다. 고속의 실시간 통제기를 구현하기 위해서는 신뢰성이 높은 실시간 운영체제를 기반으로 개발하여야 하며 오류가 없는 통제 소프트웨어의 구현이 필요하다.
굴절차량을 위한 전차륜 조향 시스템 전자제어 장치 개발
김기정(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.
최우원 ( Woowon Choi ),정기현 ( Kihyun Chung ),최경희 ( Kyunghee Choi ) 한국정보처리학회 2017 정보처리학회논문지. 소프트웨어 및 데이터 공학 Vol.6 No.7
This paper proposes the architecture of test case generator that can generate test cases, considering feedback signals from subsystems controlled by an embedded system. In general, a closed system decides the next test input to its subsystem under its control referencing feedback signals from its subsystem. In such systems, it is hard to use the typical test cases generated without referencing feedback. The architecture proposed in this paper re-produces test cases in real time using feedback signals. The architecture is implemented and its effectiveness is verified through experimenting a demo system.
자동차 전원의 변동 조건에 대한 자동차내 제품의 신뢰성 검증 방안에 관한 연구
유병국(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.