통합 검색 | Korea Science

박사천;권기현;하순회
- 정보처리학회논문지D
- /
- 제12D권6호
- /
- pp.863-868
- /
- 2005
하드웨어와 소프트웨어를 통합 설계하는 프레임워크인 PeaCE(Ptolemy extension as a Codesign Environment)가 개발되었다. PeaCE 에서는 데이터 흐름과 제어 흐름을 모두 표현할 수 있는데, 제어 흐름은 상태 기계를 확장한 fFSM으로 나타낸다. fFSM은 계층형 상태 기계로서 제어흐름을 표현하기 위해 많은 구문을 제공하지만, 모델에 대한 의미가 정의되어 있지 않아서 명세를 검증하는데 어려움이 많다. fFSM의 의미를 정의하기 위해서, 본 논문에서는 계층형 상태 기계를 먼저 평탄화한 후에 평탄화된 모델에 대해서 단계 의미를 정의하였다. 그 결과 레이스 조건, 애매한 전이, 순환 전이 등의 주요한 버그들을 정형적으로 검출할 수 있었다.
https://doi.org/10.3745/KIPSTD.2005.12D.6.863 인용 PDF KSCI

임중수
- 한국전자파학회지:전자파기술
- /
- 제11권4호
- /
- pp.53-63
- /
- 2000
전자전은 적의 전자파를 수신하여 적의 움직임을 정밀하게 탐지하는 정보수집 활동과 적이 레이더나 통신기들을 불법으로 사용하면 같은 반송파 주파수에 잡음 신호를 송신하여 적의 전파 사용을 방해하는 활동이다. 전자전 장비에 소요되는 기술은 레이더나 통신기 개발에 필요한 각종 전자, 기계, 재료 기술 외에도 광대역 주파수의 전자파의 실시간 수신기술, 실시간 복재 기술 등의 고도의 기술이 필요하다. 민과 군의 기술이 활발히 교류되는 이땐 산.학.연.군이 힘을 합쳐 연구할 수 있는 기술분야를 소개하고자 한다.
PDF