• 한국산업안전학회:학술대회논문집
• /
• 한국안전학회 1998년도 추계 학술논문발표회 논문집
• /
• pp.253-260
• /
• 1998

원자력 안전과 관련된 시스템에서 요구되는 것 중에서 필수적인 것은 내진 발생에 대비하는 검증이 있다. 이 논문은 내진 검증을 증명하고 장차 사용을 위한 증명된 유한요소 해석모델을 개발하는 방법이 제시되었다. 여기서 사용된 모델은 한국원자력연구소의 KMRR에서 사용되기 위해 이화전기산업(주)에서 제작되었다. (중략)

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2004년도 춘계학술발표대회논문집
• /
• pp.5-8
• /
• 2004

본 논문은 보안제품 적합성 검중을 위한 자동화 도구를 리눅스 기반에서 구현하였으며, 구현된 적합성 검증 자동화 도구를 이용하여 TCP/IP 5Layer중 IP Layer 이상의 계층에서 보안성을 제공하는 제품들에 대한 무결성 테스트를 실시하였다. 그리고 CC(Common Criteria) 기반의 적합성 검증 절차를 연구하여 구체적인 보안제품의 보호파일에 대한 제안을 제기했다. 구현된 적합성 검증 자동화 도구를 이용하여 개발된 보안제품의 안정성을 테스트할 수 있으리라 예상되며, 제안된 보호파일은 구체적인 평가항목으로 국가기관에서 보안제품의 평가 시 사용될 수 있으리라 예상된다.

• 한국벤처창업학회:학술대회논문집
• /
• 한국벤처창업학회 2018년도 춘계학술대회
• /
• pp.115-121
• /
• 2018

창업교육에서 강조하는 창의성 역량은 사회에 필요한 융합형 인재 육성을 위해 반드시 필요한 부분이다. 하지만 이제까지 창업교육에 대한 효과성을 검증함에 있어서 창업분야에 대한 단편적인 효과중심으로 연구되었고 진로에 어떠한 영향을 미치는지에 대한 효과 연구는 매우 부족한 실정이다. 이에 본 연구에서는 선행연구와 차별적으로 대학의 창업교육을 통한 역량함양이 사회에 진출을 앞두고 있는 대학생의 진로준비와 행동에 어떤 영향을 미치는지에 대해 실증분석 검증하였다. 2016년 8월부터 설문조사를 실시하였고 지역별 창업교육을 수강한 대학생 393개의 표본을 실증분석에 활용하였다. 분석결과 창업교육을 통해 함양된 협업적의사소통능력, 창의적문제해결능력은 기업가정신과 자기효능감에 정(+)의 영향을 미쳤고, 기업가정신과 자기효능감은 진로준비행동에 정(+)의 유의미한 영향을 미쳤다. 또한 기업가정신, 자기효능감의 매개효과 검증에서 협업적 의사소통능력, 창의적 문제해결능력과 진로준비행동 사이에 정(+)의 영향을 미쳤지만 창업교육에 의한 창의성 역량들은 진로준비행동에는 직접적인 유의미한 영향이 없는 것으로 분석되었다. 이에 본 연구의 시사점은 대학의 창업교육의 효과 검증에서 창업교육의 양적인 확대보다는 기업가정신과 자기효능감을 고취 함양시킴으로써 진로준비행동에 긍정의 영향을 미친다는 시사점을 도출 할 수 있었다. 또한 대학 창업교육의 중요성 검증과 향후 다양한 효과에 대한 평가를 학생창업 영역 뿐만 아니라 다각도로 추가 연구가 필요하겠다.

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

근감소증은 영양부족, 운동량 감소 그리고 노화 등으로 정상적인 근육의 양과 근력 및 근 기능이 감소하는 질환을 말한다. 근감소증은 보편적으로 유럽 근감소증 실무그룹분석(EWGSOP)에서 정의한 측정 방법을 따른다. 본 논문에서는 근감소증 진단을 위한 영상 분할 모델을 개발하고 외부검증하는 방법에 대해서 제안한다. 우리는 CT 영상에서 L3 영역을 선별하여 자동으로 근육, 피하지방, 내장지방을 분할할 수 있는 인공지능 모델을 U-Net을 사용하여 개발하였다. 또한 모델의 성능을 평가하기 위해서 분할영역의 IOU(Intersection over Union)를 계산하여 내부검증을 진행하였으며, 타 병원의 데이터를 이용하여 같은 방법으로 외부검증을 진행한 결과를 보인다. 검증 결과를 토대로 문제점과 해결방안에 대해서 고찰하고 보완하고자 했다.

• 한국콘텐츠학회논문지
• /
• 제16권3호
• /
• pp.546-552
• /
• 2016

컴퓨터게임이 새로운 인기 레저활동으로 변화되고, 기능성게임에 대한 활용도가 높아짐에 따라서 이에 대한 효과성 검증이 요구되고 있다. 기존의 많은 연구들이 기능성게임의 효과 평가, 종류, 개발 등에 국한되어진 반면, 게임 활용이후 효과성을 실증적으로 검증하기 위한 연구는 미흡한 실정이다. 이에 기능성 게임 효과에 대한 실증적 검증을 위하여 기존의 문헌연구에 사용된 효과성 검증에 사용된 성과 변수들을 분석하고, 특히 교육용 기능성게임의 효율적인 효과성검증을 위해 필요한 성과지표들은 어떠한 것들이 있는지에 대하여 알아보고자 한다. 이는 향후 게임사용 이 후 변화된 학습효과, 인지 효과 등을 검증하기 위한 성과지표로써 활용도가 높을 것으로 예상한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (A)
• /
• pp.265-267
• /
• 2004

암호 시스템들은 복잡한 연산과정을 수행하므로 소프트웨어적으로 구현할 경우 수행속도가 저하되는 단점이 있다. 이를 고속으로 수행하기 위하여 암호 시스템을 하드웨어적으로 구현하는 연구가 활발히 수행되고 있는 것이 현재의 추세이다. 암호 시스템을 하드웨어 모듈로 개발하는 과정 중에는 설계한 모듈이 올바르게 동작하는 지의 여부를 검증하는 과정이 필수적으로 포함된다. 기존의 방법은 검증하고자 하는 암호 알고리즘의 종류에 따라 검증도구를 다시 개발해야 하는 번거로움으로 시간과 비용의 낭비가 초래되었다. 본 논문에서는 기존의 검증 방법을 보완하는 방법으로 PC 기반의 소프트웨어 통제 하에서 어떤 종류의 암호 하드웨어 모듈에 대해서도 호환성을 갖출 신뢰성 있는 검증 도구를 효과적으로 개발하였다.

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

인터넷 및 전자상거래의 발전으로 인해 물류가 급증하고 있다. 물류 인수인계 문서 및 물류 정보의 전달 수단으로서 2 차원 바코드가 사용되는데 본 논문에서는 MaxiCode 에 대한 관심영역 추출 결과를 검증하는 방법을 제시하였다. 제안된 방법은 물류상에 바코드 영역 추출 방법에 의해 여러 종류의 바코드 중에서 MaxiCode 영역인지 검증하는 방법으로써 검증 후보 영역 설정, 후보 영역으로부터 중심점 획득, 중심점 검증 단계로 MaxiCode 의 영역 검증 방법을 제시한 것이다.

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

USE는 OCL(Object Constraint Language)로 작성된 UML 다이어그램의 제약조건을 검증해볼 수 있는 가장 뛰어난 도구이다. USE는 다이어그램에 적용되는 제약조건을 미리 저장해두고 검증 다이어그램을 명령어 형태로 입력받아 정확성 또는 일관성을 검증하는데 사용된다. 본 연구에서는 이러한 검증과정의 복잡함을 줄이기 위하여, UML 모델링 시에 검증 대상이 되는 다이어그램의 USE 명령어를 생성하는 효율적인 도구를 설계하고 구현한다.

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

안전 필수 시스템(Safety-critical system) 중 하나인 차량 전장용 운영체제의 엄밀한 검증을 위하여 모델 기반 테스트 생성기법들이 연구되어 왔다. 그러나 기존의 연구들은 이러한 차량 전장용 운영체제에서 빈번히 사용되는 주기적인 동작을 요하는 작업들에 대한 테스트 생성 문제를 해결하지 못하였다. 본 연구에서는 주기적 태스크의 검증을 지원하지 않았던 기존의 테스트 케이스 생성기에 알람 모델을 추가하여 보완하였다. 이를 통해 차량 전장용 운영체제의 검증에 있어서 주기적 태스크를 포함한 다양한 테스트 케이스를 생성할 수 있었고 차량 전장용 운영체제의 보다 엄밀한 검증이 가능해졌다.

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

본 논문에서는 유 무선 네트워크 환경에서의 자료 일치성 유지를 위한 동기화 프로토콜(SyncML1.1)을 검증한다. 프로토콜 검증에 관한 기존 연구에서는 약한 일관성을 갖는 동기화 프로토콜은 다루어지지 않았으며 정리 증명 혹은 모델 채킹에 대한 선택적 접근으로인해 증명 영역이 제한적이었다. 본 연구에서는 프로토콜의 의미를 정의하고 행위 및 시스템 구조, 메시지 패싱에 대한 개별적 모델을 단계적으로 설계하는 한편, 동기화 프로토콜에서의 안전성 및 상호 배제, 궁극성 속성은 시퀀트 계산법에서의 역방향 전략으로 증명되며, 모델 채킹 기술을 하나의 증명 규칙으로 사용했다. 본 연구는 두가지 부분에서 특징과 의미을 갖는다. 첫째, 정리증명과 모델 채킹이 혼합된 검증 방법을 사용했다. 둘째, 객체 제약 언어 및 정형 명세 언어의 사용을 통해 모델의 생성을 보다 단계적이고 정형적으로 유도했으며 이를 통해 검증의 신뢰성 및 품질을 높였다.