개발자비행일지

1.https://people.cispa.io/cas.cremers/index.html Cas Cremers My research involves the application of formal methods and cryptography to the analysis and development of secure systems. The resulting contributions include: Formal foundations of security How to mathematically define secure systems and their properties, people.cispa.io 홈페이지로 가서 Scyther를 다운로드 받는다. 2. Scyther은 프로토콜을 formal analysis 하기..

#https://m.blog.naver.com/compass1111/221171736268를 참고하여 개인 학습을 위해 정리한 자료 입니다. 먼저 RTK GPS는 쉽게 말해서 기지국을 통한 오류신호의 브로드캐스팅과 이 값을 바탕으로 한 수정을 통해 얻을 수 있는 좀 더 정확한 GPS로 이해하면 쉽다. GPS는 군용 목적에서 시작해 이제는 우리 생활에 없어서는 않될 필수적인 기술 수단이 되었다. 초기 군사용으로 개발되어 민간으로 공개된 GPS는 일반인들이 정확성이 많이 부족했습니다. 미군에서 민간이 사용하는 GPS에 위도/경도의 뒷자리에 랜덤 에러를 추가하여 이로 인해 약 100m의 오차가 야기 되었기 때문이다. 랜덤 에러 없이 공개된 없어진 계기는 1983년 대한항공 007편이 러시아 상공에서 격추되어 ..

정확한 시간과 주파수 보급에서 GPS의 역할 주로 내비게이션 시스템으로 알려진 GPS(Global Positioning System)은 정확한 시간, 시간 간격 및 주파수를 전파하는 용도로 사용된다. GPS 캐리어 신호(반송파)들은 아래의 그림과 같이 지상의 통제 시스템의 온보드 원자 시계에서 발생하며, 모니터링 된다. 아래의 그림을 보면 GPS 위성은 타임 신호를 각 서브 프레임 데이터를 반송파를 통해 변조하여 전송한다. 내비게이션 및 측량 수신기는 GPS 시간을 사용하여 위치 솔루션을 계산하고, 시간 및 주파수 수신기는 GPS 위성 전송을 사용하여 타이밍 신호 및 발진기를 제어한다. 시간, 시간간격, 주파수 시간과 시간간격은 서로 다른 개념이다. 먼저 시간은 이벤트에 대한 원점을 참조할 수 있는 표시..