• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (C)
• /
• pp.301-303
• /
• 2006

RFID기술은 RF를 이용하여 자동적으로 사물의 정보를 획득할 수 있는 매우 편리한 기술이다. 하지만 악의적인 공격자에 의해 사물의 의도적으로 노출이 될 수 있는 문제를 지니고 있다. 이러한 RFID 시스템의 보안적 취약점을 보안하기 위해 많은 프로토콜들이 제안되었지만, 아직까지 완벽하게 보안성과 경제성을 모두 만족시키지 못하였고, 직관적인 방법에 의해 제안 프로토콜들을 검증하여 명확한 검증이 이뤄졌다고 할 수 없다. 본 논문에서는 새로운 RFID 인증 프로토콜을 제안하고 직관적인 검증이 아닌 정형기법을 이용하여 프로토콜의 보안성을 검증하였다.

• 한국화재소방학회:학술대회논문집
• /
• 한국화재소방학회 2010년도 춘계학술논문발표회 논문집
• /
• pp.75-78
• /
• 2010

고발포 소화약제의 발포력은 화재시 포소화약제의 성능을 검증하는데에 중요한 요소이다. 이러한 발포력 검증은 한국소방산업기술원의 "포소화약제의 형식승인 및 검정기술기준(KOFEIS 0103)"에서 제시하고 있는 표준발포기를 이용한 측정법을 통해 검증한다. 본 연구에서는 기존 방법의 제작 비용 및 측정의 번거로움을 보완하기 위한 약제 개발단계에서의 포소화약제 발포력 검증을 위한 실험실적인 측정법을 고안하여 적용성을 분석한다. 측정은 1000ml 시험관내에 3%의 수용액 $100m{\ell}$를 첨가하여 수용액 내부에 정량펌프를 통해 일정한 기포량 및 기포크기로 분사하여 발포시켰으며, 기포의 노즐은 거품의 정확도를 향상시키기 위해 마이크로 피펫팁 $0.2m{\ell}$ 용량을 사용하여 적용성을 분석하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (하)
• /
• pp.1409-1412
• /
• 2000

현재 컴퓨터가 실생활의 모든 영역에 중대한 영향을 미치고 있기 때문에, 오류가 없는 소프트웨어에 대한 관심이 증대되고 있다. 오류 없는 안전한 소프트웨어 개발의 거의 유일한 방법은 시스템 개발 초기 단계에서부터 엄격한 검증과 테스트를 행하는 것이다. 그러나, 정작 그 소프트웨어가 적절한 명세에 따라 개발되었는지의 검증과 테스트는 이루어지고 있지 않다. 따라서 본 논문은 그러한 소프트웨어의 일부분인 JavaCard의 기술명세에 따라 제대로 만들어 졌는지의 여부를 검증할 수 있는 검증 테스팅 도구에 관해 연구하고자 한다.

• 국방과기술
• /
• 3호통권265호
• /
• pp.32-43
• /
• 2001

국방과학연구소는 정밀기술진흥대회에서 우수 첨단기술을 보유하고 있는 산업체 및 연구소들과의 치열한 기술경합을 통해 4번의 대회참가 중 3회에 걸쳐 금상을 수상받은 최초의 연구기관으로 기록을 남겼다. 군 무기체계를 연구개발하는 국방과학연구소가 정밀기술진흥대회 참가를 통해 대.내외적으로 공인된 관련기술들을 산업체에 개방 및 기술이전함으로써 국가산업 경쟁력 제고에 기여하였다. 지금은 세계 속의 경쟁력있는 연구소를 목표로 하고 있기 때문에 세계 수준의 첨단기술 및 기술 경쟁력을 확보하기 위해서는 대외적인 각종 정밀기술대회에 능동적으로 참가해야 할 핑요성이 증대되고 있다. 우수한 첨단기술을 보유한 산업체들가 기술경쟁을 통해 연구소가 보유하고 있는 분야별 국방관련 기술이 산업체보다 우수함을 검증받아야만 산업체에서 필요로 하는 관련 기술을 산업체들에게 효과적으로 이전시켜 줄 수 있기 때문이다. 따라서 연구소의 주체인 연구원들이 대외의 각종 정밀기술진흥대회에 자발적인 참가를 통해 자체 보유기술에 대한 대.내외 검증과 이로 인한 창의적인 기술개발을 보다 활성화시킬 수 있도록 연구소 차원의 지원과 관련제도의 뒷받침이 절실히 요구된다.

• 벤처창업연구
• /
• 제6권4호
• /
• pp.195-213
• /
• 2011

기술창업 기업의 창출과 지속적인 성장을 위해 기업가 역량과 기술사업화 능력을 제고하는 방안을 마련하는 연구는 이론적 실무적으로 의미가 있다고 본다. 또한 최근 기술사업화 관련 연구에 자주 사용되고 있는 자원기반이론의 측면에서 볼 때도 기업가의 역량을 분석하여 시사점을 도출하는 것은 중요한 의의가 있다고 판단된다. 따라서 본 연구는 기술창업기업의 기업가 역량과 기술사업화 능력이 경영성과에 미치는 영향을 검증함으로써 궁극적으로 기술창업기업의 성과 향상을 위하여 어떤 노력을 해야 하는가를 규명하고자 하였다. 기존의 연구에서는 기업가 역량과 기술사업화 능력을 각각 독립변수로 하여 경영성과에 미치는 영향을 파악하였으나, 본 연구에서는 기업가 역량과 기술사업화 능력이 경영성과에 미치는 영향과 변수간의 인과관계를 밝혀내기 위한 새로운 모형을 제시하였다. 연구모형 검증을 위해 대전 지역에 소재한 기술창업기업 125개를 대상으로 연구목적에 적합한 표본을 추출하여 연구가설을 검증하였다. 가설 검증 결과를 요약하면 다음과 같다. 첫째, 기업가 역량은 기술사업화 능력에 긍정적 영향을 미치고 있다. 둘째, 기술사업화 능력은 경영성과에 긍정적 영향을 미치고 있다. 연구모형과 연구가설의 검증결과 기업가 역량은 기술사업화 능력을 거쳐 경영성과에 영향을 미치는 것을 확인하였고, 특히 기업가의 역량요소 중 전략적 사고 역량이 기술사업화 능력에 중요한 영향을 준다는 연구결과를 도출하였다.

• 기계저널
• /
• 제54권2호
• /
• pp.52-57
• /
• 2014

이 글에서는 컴퓨터 이용 공학(CAE : Computer Aided Engineering) 기술이 발달함에 따라 갈수록 중요해지는 통계적 모델 검증 및 보정(Statistical Model Validation and Calibration)을 수행하는 데 필요한 통계적인 기법들을 각 단계별로 상세하게 소개하고, 실제 제품 개발에 적용하는 데 있어서 예상되는 어려움과 향후 연구방향을 제시하고자 한다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2010년도 춘계학술발표논문집 1부
• /
• pp.169-171
• /
• 2010

본 논문에서는 하드웨어 잡음원의 난수성에 대한 검증 기준과 관련하여, NIST SP800-22, AIS-31, Crypto-X, FIPS 표준을 기준으로 비교분석하였다.

• 기술혁신연구
• /
• 제25권4호
• /
• pp.79-105
• /
• 2017

최근 벤처캐피털의 운영 펀드 규모의 지속적 증가에 따라 투자 심사역의 업무도 대폭 증가하고 있다. 그러나 투자 판단은 심사역의 역량에 따라 많은 차이를 보이고 있다. 이에 본 연구는 '벤처 투자 실무 평가 지표'에 대한 후속 연구로서 투자 심사 평가 지표의 유효성을 검증하고자 하였다. 연구는 먼저 평가 지표를 표준화한 후, 100개 벤처 기업을 대상으로 t-검증을 실시한 결과, 투자 심사 평가 지표들은 유의미하였고 정성 평가 지표의 유효성 역시 약 85%의 적중률을 보였다. 따라서 본 연구결과가 향후 벤처기업 투자 의사 결정력 제고에 나름 기여할 수 있을 것으로 사료된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (3)
• /
• pp.706-708
• /
• 2004

일반적인 무선 통신망은 데이터 전송 고속화에 중심을 두고 발전해 왔으나, 최근 무선 센서 네트워크와 같은 응용 분야에서 소량의 데이터와 낮은 처리 속도를 지원하면서 저비용, 경량, 저전력을 요구하는 무선 통신 기술이 필요하게 됨에 따라 IEEE에서 LR-WPAN(Low Rate-Wireless Personal Area Network)을 위한 새로운 IEEE 802.15.4 표준이 제시되었다. 현재 무선 센서 네트워크에 관한 연구는 소형 경량의 MAC(Medium Access Control ) 프로토콜 개발이 핵심 기술로 인식되면서, 저전력 소모를 위한 라우팅 기법, MAC 프로토콜의 패킷처리 기술 등이 우선적으로 진행 중이다. 그러나 무선 센서 네트워크와 같은 응용분야에 사용 가능한 표준인 IEEE 802.15.4 MAC 프로토콜의 실질적인 상용화를 위해서는 표준안 분석 및 검증 과정이 기본적으로 선행되어야 한다. 본 논문에서는 IEEE 802.15.4 표준안의 핵심인 MAC 프로토콜을 정형화된 명세 언어인 SDL(Specification and Description Language)를 이용하며 상세 설계 및 분석 후, 자동화 도구를 이용한 모의수행을 통하여 검증하였으며 표준안과의 비교 및 오류 수정을 거친 연구결과를 기술한다.

• 우주기술과 응용
• /
• 제2권1호
• /
• pp.30-40
• /
• 2022

본 논문에서는 초소형 위성을 활용한 랑데부/도킹 기술검증 시 초기 발사 이후 표류(drift) 거리 회복(recovery)과 근접 운용을 위한 시나리오 설계에 대해 기술하였다. 랑데부/도킹은 궤도상서비싱(on-orbit servicing, OOS) 기술의 기반이 되는 기술로서 목표 물체에 접근하는 데 반드시 필요한 선제적인 과정이다. 특히 우주상에서 검증이 어려운 기술로서 개발 단계의 위험성 및 비용 등을 줄이기 위하여 최근에는 초소형 위성이 활용되고 있다. 따라서 본 논문에서는 랑데부/도킹 기술 검증을 위한 초소형 위성의 추력기 구성과 제원을 소개하며, 초소형 위성의 작은 크기 및 낮은 전력에서 오는 추력 한계를 고려할 수 있는 상대 궤적을 설계하고자 한다. 또한 추력 한계를 고려하지 않은 경우와의 궤적 및 추력 사용량 등의 비교를 통해 추후 사용 가능한 추력기의 성능 향상에 따른 시나리오 설계에도 도움이 되고자 한다.