• 전기학회논문지
• /
• 제60권1호
• /
• pp.124-130
• /
• 2011

In this paper, We design and implementation of Self-Charging Module for charging to battery which obtaining the environment inergy such as solar energy. The power chared battery through the charging module send to sensor node. And implementation of System Activation Module(SAM) based on ID system and Dynamic Power Management Module(DPM) with SPO(Self Power Off). This system consume power only communication between the sensor nodes. We verification this system by implementing the high efficiency poweer management system.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 학술회의 논문집 정보 및 제어부문 B
• /
• pp.852-855
• /
• 2003

This paper reports the RFC(Recursive Flow Classification) algorithm that is available on multiple fields. It is easy to be implemented by both software and hardware. For high speed classification of packets, the implementation of RFC is essential by hardware. Hence, in this paper, RFC algorithm is simulated by Verilog-HDL, and it verify the efficiency of the algorithm. The result shows that the algorithm can perform a packet classification within several cycles. It is not only much faster than software implementation but also enough to support OC192c.

• 대한임베디드공학회논문지
• /
• 제19권1호
• /
• pp.33-38
• /
• 2024

In this paper, we propose the implementation of a drone delivery system using artificial intelligence in a situation where the use of drones is rapidly increasing and human errors are occurring. This system requires the implementation of an accurate control algorithm, assuming that last-mile delivery is delivered to the apartment veranda. To recognize the delivery location, a recognition system using the YOLO algorithm was implemented, and a delivery system was installed on the drone to measure the distance to the object and increase the delivery distance to ensure stable delivery even at long distances. As a result of the experiment, it was confirmed that the recognition system recognized the marker with a match rate of more than 60% at a distance of less than 10m while the drone hovered stably. In addition, the drone carrying a 500g package was able to withstand the torque applied as the rail lengthened, extending to 1.5m and then stably placing the package down on the veranda at the end of the rail.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2008년도 춘계종합학술대회 A
• /
• pp.869-872
• /
• 2008

본 논문에서는 EPCglobal Class1 Gen2 protocol의 UHF(Ultra High Frequency) 대역 수동형 태그의 디지털 프로세서를 VHDL로 설계하고, FPGA를 사용한 프로토타이핑 보드를 통해 구현하여 수동형 태그의 인식률을 제고하여 본다. 제한된 인식거리로 인해 다수의 태그들을 Frame-Slotted Aloha 방식으로 인식해야하는 UHF 대역의 RFID(Radio Frequency IDentification) 환경에서, 태그들의 효율적인 응답 및 상태 천이가 가능하도록 구현하였다. 또한 C로 설계한 리더와의 UART 통신을 통하여 Gen2 Protocol의 Inventory Round가 원할히 동작함을 검증하였고, 640Kbps 태그 응답 속도에서 약 1.4ms만에 96bit EPC코드를 리더에게 전송하는 일련의 과정을 확인 할 수 있었다.

• 한국항공우주학회지
• /
• 제44권8호
• /
• pp.657-665
• /
• 2016

발사관제시스템은 발사캠페인 기간 중 지상의 발사 준비 및 발사 운용 임무를 수행한다. 보통 발사 운용의 성공 여부는 발사관제시스템의 하드웨어나 소프트웨어에 의해 크게 영향을 받는다. 특히 제어 알고리즘의 사소한 오류조차 발사 운용에 심각한 문제나 재난을 유발 시킬 수 있다. 따라서 내재된 오류를 사전 검증시험을 통해 찾아내 제거해야 한다. 본 논문은 발사관제시스템 검증에 사용된 하드웨어와 소프트웨어 시뮬레이터의 설계와 구현에 대해 소개한다. 시뮬레이터의 상세한 설계와 플로차트 형식의 구체적인 알고리즘을 기술하여 유사한 시스템의 구현에 적용할 수 있도록 하였다. 특히 별도의 컴퓨터나 PLC를 사용하지 않고 자체 제어기에서 모든 시뮬레이션 알고리즘이 동작하도록 개발한 점을 강조한다.

• 대한전자공학회논문지SP
• /
• 제47권2호
• /
• pp.33-44
• /
• 2010

본 논문에서는 로봇 시각 처리 활용을 위한 실시간 얼굴 검출 하드웨어 구조를 제안한다. 제안한 구조는 조명 변화에 강인하고 초당 60 프레임 이상의 속도로 처리된다. 조명 변화에 강인한 얼굴 특성 추출을 위해 MCT(Modified Census Transform) 변환을 이용하였다. 그리고 AdaBoost 알고리즘은 얼굴 특징 데이터의 학습 및 생성을 하며, 이 생성된 학습 데이터를 이용해 얼굴 검출을 하게 된다. 본 논문에서는 메모리 인터페이스부, 이미지 크기 조정부, MCT 생성부, 후보 얼굴 검출부, 신뢰도 비교부, 좌표 재조정부, 데이터 그룹화부, 검출 결과 표시부로 구성된 얼굴 검출 하드웨어 구조 및 Xilinx사의 Virtex5 LX330 FPGA를 이용한 하드웨어 구현 검증 결과에 대해 설명한다. 카메라로 부터 입력받은 이미지를 이용해 검증한 결과로 초당 최대 149프레임의 속도로 한 프레엠 당 최대 32개 얼굴을 검출함을 확인하였다.

• 한국항공우주학회지
• /
• 제42권5호
• /
• pp.398-405
• /
• 2014

내장형 소프트웨어 기술이 항공 및 방위산업과 같은 안전-필수 시스템에 적용됨에 따라 보다 높은 소프트웨어의 신뢰성이 요구되고 있다. 그 중에서 소프트웨어의 무결성은 주로 정적 분석 도구를 이용해 검증이 이뤄지고 있으며 최근에 개발된 정적 분석 도구는 수학적인 분석 방법을 통해 코드의 무결성을 평가하고 있다. 본 연구에서는 정형 검증 도구인 Polyspace를 이용해 자동코드의 결함을 검출하고, 코딩규칙의 준수 여부를 검증하였다. 검증된 결과를 바탕으로 결함을 가진 제어법칙 모델을 수정하여 코드 생성 이전의 원천적인 결함을 제거 가능함을 확인하였고 FBW 헬리콥터 제어법칙 자동생성코드의 무결성을 확보 할 수 있었다.

• 한국정보통신학회논문지
• /
• 제7권2호
• /
• pp.214-227
• /
• 2003

어플리케이션을 개발하는 데 있어서 전통적인 텍스트 기반의 방법으로는 정확한 요구사항을 파악하기 어렵다. 그리고 각 개발 단계에서의 분석과 확인에 관한 문제점이 있다. 그러므로 만약 검증에서 에러와 요구사항의 교환이 요구된다면 모든 시스템에 나쁜 효력이 발생할 수 있다. 이 경우 개발비용과 기간에 불리하게 작용한다. 따라서 분석과 검증은 에러가 자주 일어나는 것을 방지하기 위해서 수행한다. 본 논문에서는 각 개발 단계에 대한 분석과 확인 그리고 그래픽 인터페이스를 제공하는 SDL을 이용한 TCP/IP 혼잡제어 알고리즘에 대해서 논한다. SDL을 사용함으로써 각 개발 단계에 대한 명확한 표현과 정확한 에러 또는 요구사항 교환에 검증을 쉽게 할 수 있다. 추가적으로 프로토콜의 단계는 MSC의 확인을 통해서 시뮬레이션으로 확인하고 결론에서는 TCP/IP 프로토콜보다 개발의 가능성을 보인다.

• 항공우주기술
• /
• 제11권1호
• /
• pp.49-56
• /
• 2012

위성의 기본적인 상태를 모니터링하며 자세 제어 및 위성 고유의 임무를 수행하는 위성비행소프트웨어는 운용 환경 및 그 특수성으로 인하여 매우 높은 수준의 신뢰성이 요구된다. 이를 위하여 개발 과정에서 다양한 활동이 이루어지게 된다. 실제 하드웨어 또는 하드웨어를 모사하는 시뮬레이터를 통해 위성비행소프트웨어를 동작시키고 지상 명령의 전송, Telemetry의 수신을 통한 검증의 경우, 매우 다양한 지원환경이 요구된다. 위성비행소프트웨어팀에서는 이러한 검증 활동을 보다 효과적으로 수행하고 이를 통해 소프트웨어의 신뢰성을 향상하고, 다양한 위성 개발에 공통으로 사용될 수 있는 위성 비행 소프트웨어 통합 검증 시스템을 구축하고 있다. 본 논문에서는 위성비행소프트웨어의 효과적인 검증을 위한 통합 검증 시스템의 설계 및 구축 방안에 대하여 소개한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제4권11호
• /
• pp.479-486
• /
• 2015

모델 체킹 방법은 가능한 모든 경우를 자동으로 확인할 수 있으며, 코드가 구현되기 이전의 명세서나 디자인의 검증에도 적용할 수 있어 고위험 시스템의 검증에 활발히 적용되어왔다. 그러나 이러한 엄밀한 검증기법에 대한 일반적인 이해 부족과 테스팅에 비해 높은 검증 비용으로 인하여, 일반적인 소프트웨어들은 여전히 인력에 의한 테스팅과 같은 기초적인 방법에 의존하여 검증이 수행되고 있다. 본 논문에서는 그 대표적인 예인 온라인 게임 서버를 대상으로, SPIN 모델 체커(SPIN model checker)를 이용한 자동화 검증 방법을 적용하는 실험적인 연구를 수행하여 검증 비용 대비 효과에 근거한 적용성을 판단하였다. 연구 결과, 5~7GB 이내의 메모리와 10분 이내의 시간 내에서 온라인 게임 서버 파티 시스템의 주요 특성들을 검증할 수 있음을 보였고, 이 과정에서 기존에 파악하지 못한 오류도 검출하였다. 이로부터 인력에 의한 테스팅에 비해 납득할만한 수준의 검증 비용으로 엄밀하고 효과적인 검증이 가능하다는 결론을 도출할 수 있었다.