• 한국항행학회논문지
• /
• 제27권2호
• /
• pp.167-172
• /
• 2023

대한민국 해군이 운영하는 P-3C 해상초계기에는 전술데이터 수집을 위한 다양한 센서 장치(LRUs, line replace units)들이 탑재 되어 있다. 센서 장치의 특성에 따라 IEEE 802.3, MIL-STD-1553A/B, ARINC-429 등 각기 다른 다양한 통신 프로토콜로 운영된다. 그리고 수집된 전술데이터는 임무조작사들을 위한 전술컴퓨터(tactical station)에서 처리가 되며, 이 전술컴퓨터는 기가비트 이더넷을 주축으로 한 클러스터링 네트워크를 구성하고 분산처리방식으로 운영이 된다. 센서 장치와의 원활한 통신을 위해 특정 전술 컴퓨터는 센서 장치를 위한 주변 장치(예: ARINC-429 interface card)를 별도로 탑재한다. 문제는 이 특정 장치의 주변장치 제어와 통신 중계에 따른 전체 분산처리의 성능을 떨어트리는 단점이 발생하며, 심지어 해당 전술컴퓨터의 동작 정지는 관련 센서 장치와 통신을 두절시키는 문제를 갖는다. 본 논문에서는 이를 해결하기 위해 별도의 중계기를 탑재하는 방법을 제안하며, 이 중계기의 동작 결과를 통해 제안 적용의 타당성을 입증한다.

• 정보관리학회지
• /
• 제26권2호
• /
• pp.83-103
• /
• 2009

1990년부터 2003년까지 운용된, Computer Interchange of Museum Information (CIMI)는 국제 박물관 사회에 메타데이터 산업표준 채택의 개념을 고안해내고, 소개하는 역할을 했다. CIMI 컨소시엄은 이러한 기본임무를 넘어서, 표준구조 (Standard Framework), 프로파일, 테스트베드 (testbeds), 주요 메타데이터 저작물, 다운로드가능 무료 메타데이터 소프트웨어나 프로토콜등을 생산했고, 새로운 프로젝트에 대한 산업적 안내 및 지원을 제공했다. 하지만, CIMI의 가장 중요한 성취물은 아마도 표준기반 접근의 중요성과 유용성과 CIMI 표준 프레임워크의 실행의 필요성에 대한 강조일 것이다. 이로 인해CIMI의 가동기간동안, 박물관들은 각자의 요구를 충족시키기 위해 새로운 표준/모델의 고안이나 소프트웨어의 개발에 따른 비용부담없이, 메타데이터 모델 혹은 표준의 이용법을 습득하는 것으로 각자의 이득을 거둬 들일 수 있었다. 비록 CIMI의 가동은 2003년으로 중단되었지만, 박물관 관련 메타데이터 응용과 연구에 미친 유산과 영향력은 막대하다고 할 수 있다. 본 논문은 CIMI가 박물관 메타데이터 분야 다음 세대 개발자들에게 남긴 유산을 살펴보고 예상되는 후속프로젝트 및 연구를 살펴본다.

• Journal of Astronomy and Space Sciences
• /
• 제26권2호
• /
• pp.229-236
• /
• 2009

다목적실용위성-5호는 2010년 발사를 목표로 고도 550km의 저궤도에 위치하게 될 것이다. 다목적실용위성-5호의 임무인 고정밀 SAR(Synthetic Aperture Radar) 영상을 처리하기 위해서는 정확한 위성의 위치(20cm) 와 속도(0.03cm/s)가 결정되어야 한다. 이러한 요구 조건은 한국 전자통신연구원에서 개발한 ETRI GNSS Precise Orbit Determination(EGPOD) 소프트웨어로 검증하였다. 0.1Hz 수신 주기의 SAC-C 위성 반송파위상 데이터로 정밀궤도결정을 수행하였다. 이중 주파수 GPS 데이터를 사용하여 수신 선호의 전리층 오차를 대부분 제거하고 이중 차분된 데이터를 생성함으로써 GPS 위성과 수신기의 공통된 시계 오차를 없앴다. 동역학 모델 접근 방법을 이용하였고, Batch Least Square Estimator(BLSE) 필터로 각 데이터 아크(arc) 에 해당하는 위성의 위치와 속도, 대기저항 계수, 태양풍 계수를 추정하였다. 또한 정밀한 동역학 모델을 위하여 모델 되지 않은 부정확한 가속도 항을 보충하는 경험 가속도를 추가하였다. 경험 가속도는 위성의 공전 주기(revolution) 당 한번씩 시선방향(radial), 진행방향(along-track), 수직방향(cross-track)으로 추정하고, 수직방향의 상수 항에 대해서는 해당 데이터 아크에 관하여 부가적으로 추정하였다. 정밀궤도결정 결과 검증을 위하여 EGPOD 소프트웨어에서 얻어진 결과와 JPL에서 제공하는 정밀궤도력(Precise Orbit Ephemeris)을 비교하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권3호
• /
• pp.224-238
• /
• 2001

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성되어 있으며 모드는 머신의 압축된 상태를 표현한다. 전이는 하나의 모드에서 다른 모드로의 전환을 나타내며 조건과 이벤트로 구성되어 있다. 포트는 ATM간의 상호작용을 위한 진입을 표현한다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 측면에서 볼 때 ATM은 계산 논리뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM의 모드는 계산모드, 추상화 모드, 주제모드로 구분된다. 계산 모드는 코드 상에서의 논리와 계산을 나타내며 추상화 모드는 모드와 전이의 블록을 하나의 ATM으로써 표현한다. 대개의 경우, 이것은 코드 상에서의 블록을 ATM내 하나의 모드로 나타낼 때 사용한다. 주제 모드는 예외나 주기적 동작 등과 같은 다수의 ATM의 주제를 표현한다. 실시간 시스템을 검증하기 위해 시스템의 소스 코드는 역명세 과정을 통하여 ATM으로 표현된다. 검증은 ATM에 대한 도달성 그래프를 생성하는 것에 의해 수행된다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 방법들과 예제를 통하여 비교한다.수 있다. 모피우스는 헤더나 광고와 같은 불필요한 정보들을 제거하는 별도의 단계를 거치지 않으므로 wrapper를 빠르게 생성한다. 궁극적으로 모피우스는 새로운 웹 상점을 사용자가 자유롭게 추가, 삭제할 수 있는 환경을 제공한다.X>와 반응시킬 경우에는 반응식 c에 의거 진행됨을 예측할 수 있었다.의거 진행됨을 예측할 수 있었다.이 거의 산화되지 않았고, $700^{\circ}C$에서도 ZnS와 ZnO 상이 공존한 것으로 보아 SnO$_2$코팅이 ZnS의 산화를 억제하는 것으로 나타났다.pplied not only to the strike system in the RSC circle, but also to the logistics system in the SLC circle. Thus, the RSLC model can maximize combat synergy effects by integrating the RSC and the SLC. With a similar logic, this paper develops "A Revised System of Systems with Logistics (RSSL)" which combines "A New system of Systems" and logistics. These tow models proposed here help explain several issues such as logistics environment in future warfare, MOE(Measure of Effectiveness( on logistics performance, and COA(Course of Actions)

• 한국항공우주학회지
• /
• 제49권5호
• /
• pp.417-424
• /
• 2021

정지궤도위성의 원격데이터 통신 포맷은 제한된 통신 속도 대비 대량으로 생성되는 위성 데이터를 효율적으로 수신하고, 36,000km 고도에서 운영되는 정지궤도위성의 원격명령어 수신 결과를 정확하게 확인하기 위해 설계된다. 한국항공우주연구원에서 개발하여 2018년과 2020년에 각각 발사 및 운영 중인 천리안2A호와 2B호는 한국 최초의 정지궤도위성인 천리안1호의 임무를 연속하여 수행하도록 설계되었다. 따라서 정지궤도위성과 지상국의 안정적이고 효율적인 원격 통신을 위해 필요한 원격 통신 설계 요소들을 승계하였다. 한편, 원격 데이터의 처리 및 운영을 담당하는 천리안 2A호와 2B호의 탑재소프트웨어는 다목적위성시리즈를 통해 그 성능이 더욱 개선되어 왔으며 최신의 원격 데이터 처리 및 운영 알고리즘이 구축되어 있다. 본 논문에서는 정지궤도위성의 향상된 원격 데이터 송수신을 위한 원격명령어 및 원격측정데이터의 포맷 및 운영 개념 설계를 제안하고, 실제 천리안 2A호와 2B호의 탑재소프트웨어에 적용된 내용들을 상세하게 기술한다.

• 인터넷정보학회논문지
• /
• 제24권4호
• /
• pp.57-64
• /
• 2023

현재 진행되는 고령화 및 인구절벽으로 대표되는 인구구조적 문제는 한국군 경계임무에 심각한 도전이 되고 있다. 본 연구의 목적은 AI모델을 적용해 군 경계체계를 지능화하는 것이다. 본 연구를 통해 제4차 산업혁명과 그 핵심이 되는 인공지능 알고리즘의 의의가 경계근무 상황실 내에서의 단순작업을 기계화하여 작업효율을 극대화하는 것임을 실증한다. 하나의 완성된 시스템으로서 군경계체계를 개발하기 위해, 지능화·자동화된 군(軍) 경계체계라는 목표로부터 필요한 인공지능 기술인 다중 객체 추적(multi-object tracking, MOT) 기술을 선택한다. 또한 체계 사용자의 접근성 및 체계 이용의 효율성을 담보하기 위해서는 데이터 시각화(data visualization)와 사용자 인터페이스(user interface)를 꼽았다. 이 추가 요소를 결합하여 하나의 유기적인 소프트웨어 애플리케이션을 구성한다. CCTV 영상 데이터 수집한 장소는 00부대 제1정문 및 제2정문에 설치된 CCTV 카메라이며, 지통실의 협조 아래 영상 수집을 진행하였다. 실험결과를 통해 경계체계를 지능화·자동화시켜 더 많은 정보를 경계체계 운용인원에게 전달할 수 있음을 보였다. 그러 나 여전히 개발된 소프트웨어 경계체계 역시 한계점이 존재한다. 이를 설명하여 군 경계체계 개발의 향후 방향성을 제시한다.

• 우주기술과 응용
• /
• 제3권2호
• /
• pp.118-143
• /
• 2023

우주공간은 안보공간의 역할에서 상업공간으로 역할을 급속히 넓혀가고 있다. 현실적인 제약들 때문에 늦게 출발했지만 우리나라는 최근 들어 비약적 기술발전과 함께 우주에 대한 국가적 관심이 커지고 있다. 2023년 5월 25일, 누리호는 7개의 위성을 성공적으로 550 km 고도의 태양동기궤도에 배치했다. 그런데, 이 근처 고도에는 이미 스타링크가 4,000대 이상의 위성을 배치시키고 상업적 서비스를 진행하고 있다. 따라서, 누리호 위성들은 스타링크위성들과의 위험상황발생 가능성에 대해 지속적으로 예측하고 만일의 경우에 대해서는 준비를 해야 한다. 본 논문은 누리호 위성들이 임무수행을 위해 궤도비행을 하면서 발생할 수 있는 충돌위험상황에 대해 수행한 연구의 계량적 분석결과를 보고한다. 분석결과에 따르면 누리호 위성들은 하루에 3회 정도 1 km 거리 이내로 스타링크위성에 접근하는 것으로 나타났으며, 이 상황에서의 충돌확률은 1.0E-5 이상인 것으로 계산되었고 크게는 1.0E-2 이상인 경우도 발생하고 있다. 2013년에 발사된 후 성공적으로 임무를 수행하고 있는 아리랑 5호에 대한 본 연구의 비교분석은 아리랑 5호와 누리호 위성들이 위험상황의 분포에 있어 중요한 차이가 있음을 보여준다. 본 연구는 스타링크가 회피기동을 할 때의 비용에 대한 계량적인 분석결과도 보고하며, 후발주자로서 우주산업에 진입하는 우리나라가 고려해야 할 전략도 제시했다. SpaceMap사에서 개발한 AstroOne 프로그램을 분석도구로 사용했으며, Celestrak사의 Socrates Plus에서 보고한 결과와 비교검증하였다. 우주물체데이터는 TLE(two line element)를 사용했다.

• 한국문헌정보학회지
• /
• 제41권2호
• /
• pp.111-133
• /
• 2007

인터넷 상의 불법 유해 정보의 존재는 규제 당국뿐만 아니라 공공도서관과 학교를 비롯하여, 인터넷 서비스를 제공하는 모든 공공정보자원에서 큰 고민거리가 되어온 지 오래다. 특히 현대 정보사회에서 정보자원의 조직과 정보의 공개, 제공 및 이용서비스를 주 임무로 하고 있는 공공도서관의 경우 도서관 이용자들에 대한 인터넷 서비스의 제공은 필수적이라 할 수 있다는 측면에서 인터넷 정보를 둘러싼 규제 환경의 변화는 공공도서관 서비스 전반에 직접적인 영향을 미칠 수 있다. 1990년대 중반부터 본격화된 인터넷 정보에 대한 규제는 인터넷의 고유한 매체특성으로 인하여 법제도적 규제와 함께 기술적 규제 방식이 적극적으로 활용되어 왔다. 그러나 기술적 규제 방식 또한 각 나라마다. 매우 다양한 모습으로 발전하여 왔고, 더욱이 도서관 등과 같은 공공정보자원에서의 기술 규제는 표현의 자유와 알권리, 정보접근원의 침해라는 비판을 받아왔다. 이 글은 인터넷 규제와 표현의 자유에 대한 이론적 논의들로 시작하여, 인터넷에 대한 기술적 규제 방식으로 폭넓게 활용되고 있는 필터링 소프트웨어의 기술적 측면을 살피고, 인터넷 필터링을 중심으로 한 각국의 규제 양상을 비교 분석한다. 이를 통해 공공정보자원에서의 인터넷 필터링을 둘러싼 문제들에 대해 비판적으로 논의하고자 한다.

• 한국정보통신학회논문지
• /
• 제21권9호
• /
• pp.1788-1795
• /
• 2017

본 논문에서는 육/해상에서 제공 가능한 다양한 서비스를 통해 항해사의 의사결정을 지원함으로써 해양 안전을 확보하기 위한 연구의 일환으로 ARPA 혹은 ATA 장비가 탑재되어 있지 않는 선박에 CPA/TCPA 정보를 제공하기 위한 서비스를 제안한다. 제안 서비스를 검증하기 위하여 실제 선박을 대상으로 실험을 수행하기에는 많은 어려움이 있기 때문에 본 논문에서는 시나리오 기반의 시뮬레이터인 SiNAS 및 CPA/TCPA 정보 제공 소프트웨어를 활용하여 유용성을 평가한다. 이를 위해 검증 목적에 적합하도록 시뮬레이션 시나리오를 명세한 후, 다양한 경력을 가진 12명의 항해사를 선정하여 시뮬레이션을 수행한다. 또한, 임무 성공 여부, 충돌 위험 선박과의 최근접 거리, 충돌 위험 선박을 인지하는데 까지 걸린 시간, 인지한 후 회피 조치를 취한 시간 등을 기반으로 시뮬레이션 결과를 분석하며, 유효성, 효율성, 만족성의 세 가지 요소를 기준으로 제안 서비스의 유용성을 평가한다.

• 정보보호학회논문지
• /
• 제31권4호
• /
• pp.817-839
• /
• 2021

소프트웨어를 안전하게 관리하기 위해 군은 RMF A&A(Risk Management Framework Assessment & Authorization) 표준에 따라 제품을 구매하고 관리한다. 해당 표준은 무기체계를 비롯한 군 IT 제품의 획득 체계에 관한 표준으로 제품에 대한 요구사항, 평가를 통한 구매, 유지보수를 다룬다. 해당 표준에 따르면 제품 개발활동에는 군에서 제시한 임무의 위험도가 반영되어야 한다. 즉, 개발사는 보안 내재화 및 공급망 보안을 통해 제시된 위험도를 완화하였고, RMF A&A의 보안 요구사항을 제대로 준수하였음을 입증하는 자료를 제출해야하고, 군에서는 개발사로부터 제출된 증거자료에 대한 평가를 통해 최종 획득 여부를 결정한다. 기존에 RMF A&A 실증 연구가 수행된 사례가 있다. 하지만, 해당 연구는 RMF A&A의 전체 단계가 아닌 일부분에 대해서만 다루고 있고, 해당 연구의 실증 사례가 대외비인 관계로 상세한 정보가 공개되지 않아 실제 산업 환경에 적용하는데 어려움이 있다. 이에 본 논문에서는 군의 위험도 측정 및 RMF A&A 관련 표준들을 분석하고, 이를 바탕으로 군 RMF A&A의 요구사항을 만족시킬 수 있는 증거자료 작성방안에 대해 제시한다. 또한, 제시한 방안을 실제 드론 시스템에 적용하여 작성된 평가 제출물이 RMF A&A의 요구사항에 부합한지 검증을 수행한다.