• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 춘계학술발표대회
• /
• pp.1021-1024
• /
• 2008

이 논문에서는 모바일 게임 검증 통일이 필요함을 역설하고 이를 위한 기준안을 제안하였다. 기존의 모바일 게임 개발은 개발환경의 비통합화로 인해 개발에 많은 어려움을 겪었지만, WIPI라는 통합 플랫폼의 등장으로 인해 개발 효율성이 높아졌음을 알 수 있었다. 그러나 이동통신사마다 다른 검증 항목과 과정은 개발환경 통합화를 통한 개발 효율성의 증가를 방해하는 요소임을 알 수 있었다. 따라서 게임 검증의 항목을 제안하는 기준을 통해 통일시킴으로써 개발환경의 통합화로 인한 개발 효율성의 증가를 돕도록 하여 모바일 게임의 질적, 양적인 발전을 이루도록 해야 한다. 기준안을 바탕으로 더 많은 연구가 이루어지게 되면 모바일 게임 검증 표준화가 가능하다고 기대한다.

• 지적과 국토정보
• /
• 제44권1호
• /
• pp.165-177
• /
• 2014

일반적으로 KML 검증도구는 KML 파일을 작성하는 사람이 사용할 기능을 제공한다. 즉, 잘 구성된 문서 여부와 스키마 및 명세서를 준수하였는지를 검증하고, 오류가 있는 부분의 KML 코드 위치만 알려줄 뿐이다. 타인이 작성한 KML 파일을 사용하고자 하는 사람은 KML 검증을 통해 해당 파일의 유효성뿐만 아니라 공간객체의 위치정보, 형태, 개수 등의 일반적 요약사항도 궁금해 한다. 이에 본 연구에서는 기존 검증도구의 검증기능을 모두 포함하면서 OpenLayers 기반의 지도 연동과 도형 및 이미지 기반의 KML 파일 요약정보를 제공하는 사용자 친화적 KML 검증도구를 제안하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2019년도 춘계학술발표대회
• /
• pp.342-345
• /
• 2019

드론의 동작 검증을 위한 테스트는 최종적으로 드론이 운용될 환경에서 이루어진다. 그러나 테스트 비용이 크고 테스트 비행 중 파손의 위험이 있기 때문에 시뮬레이션을 통한 사전 검증을 수행하는 것이 중요하다. 시뮬레이션은 SIL 방식이나 HIL 방식으로 이루어지는데 추가적인 외부 센서를 활용하는 경우 검증하기가 어렵다. SIL에서는 검증을 위해 가상의 외부 센서 구현이 필요하다. HIL 에서는 실제 센서를 사용하므로 가상의 외부 센서 구현은 필요 없다. 그러나 테스트 환경이기 때문에 실제 환경과 비슷한 데이터나 동작 검증에 적합한 데이터를 얻기 어렵다. 이러한 HIL에서의 문제를 해결하기 위해 외부 센서를 실제 환경에서 사용한 로그나 테스트 환경에서 센서 검증에 사용한 로그를 이용할 수 있다. 본 논문에서 제안하는 외부 센서의 로그를 활용한 HIL 시뮬레이션 기법 확장 내용은 외부 센서 데이터 입력기가 로그로부터 얻은 센서 데이터를 비행 컨트롤러로 보내 검증을 수행하기 때문에 데이터를 재사용할 수 있고 테스트 비용을 줄일 수 있다. 또 외부 센서 데이터 입력기는 로그 파서, 뷰어, 슬라이서, 데이터 전송기로 구성되어 로그로부터 검증에 적합한 데이터를 쉽게 얻어 활용할 수 있다.

• 항공우주시스템공학회지
• /
• 제13권3호
• /
• pp.40-47
• /
• 2019

본 논문은 무인항공기 체계(UAS; unmanned aerial system)의 비행체 탑재장비 및 지상에서 운용하는 장비의 연동 검증을 위한 체계통합실험실(SIL; system integration laboratory) 및 체계통합시험(SIT; system integration test)의 환경 구축 및 이를 통한 검증방법에 대하여 다룬다. SIL 내 구축된 지상통제체계, 데이터링크체계, 비행체 탑재장비, 임무장비(EO/IR, SAR) 등과 같은 부체계간의 인터페이스 환경 및 모의 비행을 통한 체계 운용로직의 검증방법과 실험실 레벨에서의 검증이 완료된 각 부체계를 실제 시험 환경에서 검증하는 방법에 대해 기술한다.

• 한국시뮬레이션학회논문지
• /
• 제19권1호
• /
• pp.41-51
• /
• 2010

500MW급 초임계압 표준 석탄 화력 발전소에의 실증 적용을 목표로 국산 분산제어시스템의 개발 연구가 진행되고 있다. 시뮬레이터는 원자력발전소의 디지털 제어시스템 업그레이드나 아날로그 제어 시스템의 디지털 제어시스템으로의 개체시 제어 시스템의 검증용으로 활용되고 있으며, 국내에서도 중용량 석탄 화력 보일러 제어 시스템 검증에 활용된 바 있다. 본 논문에서 는 500MW급 표준 석탄 화력 발전소에의 적용을 목적으로 개발 중인 제어 시스템을 검증하기 위해 제어 검증용 시뮬레이터를 개발하였다. 제어 검증을 위한 제어 모델을 개발하는데 있어서 현장 제어 시스템 데이터와 시뮬레이션 개발 환경에서 현장 데이터를 활용가능하게 하는 변환 프로그램, 제어 시스템 제작사 매뉴얼에 기반하여 제어 모델을 개발하였다. 개발한 시뮬레이터는 열평형상태시험, 부하변동 시험, 고장모사시험 등을 통하여 효용성을 확인하였으며, 개발 중인 제어 시스템을 검증하고, 기존 제어 시스템의 분석 및 개선에 유용하게 활용할 수 있을 것으로 기대한다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제12권3호
• /
• pp.119-126
• /
• 2023

근감소증은 국내는 2021년 질병으로 분류되었을 만큼 잘 알려져 있지 않지만 고령화사회에 진입한 선진국에서는 사회적 문제로 인식하고 있다. 근감소증 진단은 유럽노인근감소증 진단그룹(EWGSOP)과 아시아근감소증진단그룹(AWGS)에서 제시하는 국제표준지침을 따른다. 최근 진단방법으로 절대적 근육량 이외에 신체수행평가로 보행속도 측정과 일어서기 검사 등을 통하여 근육 기능을 함께 측정할 것을 권고하고 있다. 근육량을 측정하기 위한 대표적인 방법으로 DEXA를 이용한 체성분 분석 방법이 임상에서 정식으로 실시하고 있다. 또한 MRI 또는 CT의 복부 영상을 이용하여 근육량을 측정하는 다양한 연구가 활발하게 진행되고 있다. 따라서 본 논문에서는 근감소증 진단을 위해서 비교적 짧은 촬영시간을 갖는 CT의 복부영상기반으로 AI 영상 분할 모델을 개발하고 다기관 검증한 내용을 기술한다. 우리는 CT 영상 중에 요추의 L3 영역을 분류하여 피하지방, 내장지방, 근육을 자동으로 분할할 수 있는 인공지능 모델을 U-Net 모델을 사용하여 개발하였다. 또한 모델의 성능평가를 위해서 분할영역의 IOU(Intersection over Union)를 계산하여 내부검증을 진행했으며, 타 병원의 데이터를 활용하여 동일한 IOU 방법으로 외부검증을 진행한 결과를 보인다. 검증 결과를 토대로 문제점과 해결방안에 대해서 검증하고 보완하고자 했다.

• 정보보호학회논문지
• /
• 제11권2호
• /
• pp.45-58
• /
• 2001

암호기술 검증에 대한 연구는 암호 알고리즘의 안전성 및 신뢰성을 검증하는데 집중되어 있는 경우가 대부분이다. 그러나 정보보호 시스템의 수준 향상과 안전성 신뢰성 확보를 위해서는 암호기술 자체에 대한 검증뿐만 아니라, 암호기술을 구현한 구현물에 대한 검증이 필요하다. 특히, 암호기술에 대해서 국내외적으로 폭 넓은 표준화가 진행되고 있는 가운데, 이들 기술표준을 정화하게 구현하는 것은 정보보호 시스템의 안전성 및 신뢰성 향상을 가져올 뿐만 아니라, 정보보호 시스템 간의 상호연동성 확보 및 사용자 편익 증대라는 면에서도 매우 중요하다. 본 논문에서는 RSA, KCDSA, SHA-1, HAS-160 등 국내 공인인증체계 기술표준으로 적용되고 있는 암호기술의 구현물이 기술표준을 정확하게 준용하여 구현되었는지를 테스트할 수 있는 검증도구를 설계 및 구현하였다. 각각의 암호기술에 내한 검증은 여러 개의 세부항목으로 구성되어 있고, 충분한 테스트 항목을 통해 검증의 정확성을 높였으며, 검증도구와 검증 대상이 원격에 위치한 상태에서 검증을 수행한 수 있도록 하였다. 본 논문에서 설계 및 구현한 검증도구는 RSA, KCDSA, SHA-1, HAS-160 등을 구현한 모든 보안 제품에 적용할 수 있으며, 각종 암호제품의 평가 및 인증에 활용한 수 있을 것으로 기대된다.

• 벤처창업연구
• /
• 제10권3호
• /
• pp.185-193
• /
• 2015

본 연구는 대학에서 창업촉진을 위한 방안으로 투자연계를 통한 사례를 보여주고자 한다. 한밭대학교에서는 3년 동안 운영한 이노폴리스 캠퍼스 창업아이템검증프로그램을 운영프로그램과 우수 사례를 제공함으로써 대학에서 투자자들을 중심으로 한 시장전문가와 대학과의 협업 방안을 제시하고자 한다. 따라서 본 연구를 통해 첫째, 타 이노폴리스캠퍼스창업사업단의 벤치마킹 모델로 활용가능토록 하고, 둘째, 우수 참여자사례 스토리는 타 사업단이 참가자를 발굴하고 선정하여 검증 후 보강하는 시스템에 대한 구체적인 노하우를 제공할 수 있는 기회를 제공함을 목적으로 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 춘계학술발표대회
• /
• pp.1466-1469
• /
• 2011

플러그인 프레임워크는 기존 M&S 프레임워크에서의 문제점인 구성요소 간 높은 종속관계 및 낮은 유연성을 해결하고자 개발된 프레임워크 설계 방식으로, 프레임워크를 구성하는 컴포넌트를 플러그인으로 제공하여 구성요소의 추가 및 변경이 동적으로 이루어질 수 있게 한다. 또한 플러그인 컴포넌트간 통신을 위한 메시지 구조 정의가 실행 시점에 동적으로 결정되어, 컴포넌트 간 상호 독립적인 인터페이스를 보장해준다. 하지만, 플러그인 컴포넌트들의 조합이 이뤄진 상태에서 전체적인 메시지 연결 흐름이 원활하기 위해서는 각 컴포넌트에서 개별적으로 작성된 인터페이스에 대한 검증이 사전에 이뤄줘야 한다. 이에 본 논문에서는 XML 기반으로 작성된 객체 모델 명세서에 대한 무결성과 중복성을 검증할 수 있는 객체 모델 명세서 검증 도구에 대해 제안하고 이에 대한 설계내용을 설명하도록 한다.

• 한국콘텐츠학회논문지
• /
• 제21권10호
• /
• pp.356-367
• /
• 2021

본 연구는 최근 급변하는 기업경영 및 공공조직의 환경에서 지속적인 경쟁우위를 확보하고 유지해 나갈 수 있도록 조직의 리더십이 고객지향성에 어느 정도의 영향을 미치는가에 대한 연구로서 피그말리온 리더십의 이론적 고찰을 통해서 접근하였으며, 이에 대한 본 연구의 목적은 다음과 같다. 첫째, 피그말리온 리더십과 이를 구성하고 있는 분위기, 피드백, 출력의 3개 연구변인에 대한 개념적 정의를 내리고. 둘째, 개념적으로 정의된 피그말리온 리더십의 3개 독립변인과 자아효능감과 조직몰입의 매개변인 간 인과관계를 검증하였다. 셋째, 피그말리온 리더십이 매개변인 자아효능감과 조직몰입을 통해서 어느 정도의 고객지향성에 영향을 미치는가에 대한 인과관계를 검증하였다. 넷째, 본 연구의 연구모형을 구성하고 있는 연구변인들 간 인과관계의 검증결과를 통해서 공공조직 구성원들로 하여금 피그말리온 리더십이 고객지향성을 제고시켜 나아가는데 어떠한 영향력을 제공하는가에 대한 학문적, 실무적 시사점을 제시하고자 하였다. 본 연구를 위해 서울과 경기도 그리고 세종시 지역에서 근무하고 있는 공공조직 구성원 252명의 표본을 대상으로 설문조사를 실시하였으며, SPSS 23과 AMOS 23을 활용하여 표본의 인구통계학적 분석, 연구변인의 요인분석과 신뢰성 분석, 타당성 분석을 실시하였다. 그리고 검증된 연구모형을 구성하고 있는 피그말리온 리더십의 연구변인들과 매개변인, 종속변인 간 직·간접적 인과관계의 유의성을 검증하여 가설검증 결과를 제시하였으며, 본 연구결과의 학문적, 실무적 시사점을 제시하였다.