• 대한수학교육학회지:수학교육학연구
• /
• 제25권2호
• /
• pp.225-240
• /
• 2015

본 연구에서는 중점연결정리의 사각형으로의 확장을 소재로 학교수학에서 다루어지는 증명의 대표성에 대해 고찰하였다. 다양한 사각형을 생각하고, 그에 맞는 중점연결정리의 확장을 증명하였으며, 이들 증명 간의 관계를 파악하여 학교수학에서의 증명이 대표성을 가짐을 보였다. 한편, 이러한 내용에 기초한 실태조사에서 학생들은 사각형 종류의 일부만을 찾았으며, 찾은 사각형 각각에 대한 증명은 쉽게 완성하였으나, 같은 수학적 사실을 증명하고 있음에도 대상 도형이 바뀌면 다른 증명 방법이나 수학적 개념을 사용하는 경향을 보였다. 따라서 증명들 간의 관계를 파악하는 것을 어려워하였다. 이러한 사실들은 구체적 도형에 대한 증명은 할 수 있으나, 증명들 간의 관계를 이해하여 일반화하는 증명의 대표성에 대한 이해는 부족함을 보여준다. 따라서 증명활동이 유기적이고 의미론적으로 이루어질 필요가 있음을 알 수 있다.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 2002년도 춘계학술대회 논문집
• /
• pp.209-218
• /
• 2002

보안의 형식검증은 시스템의 초기 상태를 정의하고 트랜잭션을 통해 그 상태를 추적하며 보안을 위해 각 상태를 체크하는 과정이다. 보안 증명이 잘못될 수 있는 경우는 시스템의 초기상태를 정의할 때와 상태가 안전하기 위한 조건을 정의할 때인데, 본 논문에서는 상태 트랜잭션을 위해 BAN 논리를 이용하여 대표적인 지불프로토콜인 NetBill 프로토콜에 대한 형식기법을 제안하였으며, 보안 프로토콜의 증명을 위해 BAN 논리의 확장을 제시했다. 이러한 확장된 연구결과는 원자성, 익명성 및 프라이버시와 같은 다른 중요한 보안의 특성을 증명하기 위해 이용될 수 있다.

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

가상 화폐 분야의 핵심 기술로 소개된 블록체인(Blockcahin) 기술은 4차 산업혁명에서 중심이 되는 기술로 주목받고 있다. 본 논문에서는 블록체인 시스템의 구조도와 대표적인 합의 알고리즘, 즉 증명(PoW: Proof of Work), 지분증명(PoS: Proof of Stake) 그리고 PBFT (Practical Byzantine Fault Tolerance)을 조사하였다. 합의 알고리즘의 특성을 분석하기 위하여, 보안성, 에너지 소비량, 거래 처리속도를 지표로 세워서 합의 알고리즘들에 대하여 전체적으로 비교 및 분석을 하였다.

• 벤처다이제스트
• /
• 통권50호
• /
• pp.10-11
• /
• 2004

얼마전 세계 최초로‘아버지 없는 쥐’가 탄생하였다는 뉴스가 세상을 깜짝 놀라게 하였다. 한일 공동 연구팀이 4월 22일 세계적 권위의 과학지 네이처에 논문을 게재하며 알려진 이 소식은 신화에나 나올법한‘난자만을 이용한 처녀생식이 가능하다’는 것을 증명한 과학사의 쾌거였다. 이 성과의 한 주역이 바로 한국 바이오벤처기업의 선두주자 마크로젠이다. 미세한 유전자(gene)를 통해 거시적(Macroscopic) 현상을 연구한다는 뜻의 회사이름 마크로젠(Macrogen)처럼 작은 체구에도 불구하고 당당하게 유전공학계의 거목으로 자리매김한 서정선 대표를 만나본다.

• 정보보호학회논문지
• /
• 제20권4호
• /
• pp.3-16
• /
• 2010

키유도함수는 고정된 길이의 키로부터 정보보호 알고리즘 수행을 위하여 필요로 하는 다양한 키들을 유도해내는 메커니즘으로 암호시스템의 필수적인 구성요소이다. 본 논문에서는 키유도함수에 대한 최신 연구 동향을 조사 분석하고 증명가능 안전성 관점에서 키유도함수 구조의 견고성에 대하여 논한다. 특히 NIST가 최근 제안한 의사난수함수(PRF) 기반 키유도함수 모드를 블록암호로 대표되는 의사단수치환 (PRP) 기반 키유도함수로 변형 할 경우의 증명 가능 안전성에 초점을 맞추어 Double-Pipeline Iteration 모드의 의사난수성을 규명한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2015년도 추계학술발표대회
• /
• pp.668-671
• /
• 2015

본인확인이란 적법하고 합당한 절차에 따라 합의된 사용자임을 증명하고 인증하는 과정을 의미한다. 본 연구에서는 본인확인서비스에서 본인임을 인증하는 다양한 수단들의 특징에서 살펴보고 대표적인 본인확인수단인 아이핀과 휴대폰 서비스의 인증절차 개선 방안을 제안한다. 제안한 방안을 통해 안전성이 강화된 본인확인서비스 제공과 이용이 가능할 것이다.

• 대한수학교육학회지:수학교육학연구
• /
• 제25권3호
• /
• pp.367-379
• /
• 2015

고대 그리스에서 '수학적 대상이 존재하기 위한 조건'으로 사용된 diorism을 통하여 수학적 대상의 존재성에 대하여 살펴본다. Diorism이 제시된 대표적 예인 "유클리드 원론" I권 정리 22를 중심으로 삼각형의 존재성을 "원론"이 어떻게 다루었는지에 대하여 논의한다. 정의한 대상의 존재성을 공준이나 명제로 증명하는 "원론"의 구조를 통하여 수학적 대상의 존재성은 인식가능성이고 공리체계 내에서 증명가능성임을 밝힌다. 이러한 관점에서 작도는 "원론"에서 존재성을 보증하는 주요 방법이다. 또한 diorism의 맥락에서 전개도가 다면체를 구성할 수 있음을 살펴보았다. 이러한 내용을 바탕으로 수학적 대상의 존재성에 대해 학교수학에서 시사하는 점을 논의하였다.

• 격월간물류
• /
• 통권14호
• /
• pp.20-24
• /
• 2006

올해 창립 76주년을 맞는 한국의 대표 물류기업 대한통운!! 100년 물류기업으로서 국내의 물류역사를 다시 쓴 대한통운은 근∙현대사의 국가 경제발전에 대동맥의 역할을 성실히 수행하면서 민족과 함께 발전해온 기업이다. 국내물류시장을 선도해 온 대한통운이 전통적인 항만.육상운송분야에서 물류의 신 블루오션을 개척하며 무섭게 변신하고 있다. 지난해 7월 1일‘대한통운’호 선장에 취임한 이후 회사정상화와 세계속의 종합물류기업으로의 도약을 위해 거침없는 행보를 계속하고 있는 이국동 대표이사 사장. 한국항만물류협회 회장, 한국관세협회 회장 등을 겸직하면서 왕성한 대외활동과 매월 1회 이상 해외 출장을 할 정도로 글로벌 대한통운을 위해 지구촌 곳곳을 누비고 있다. 지난해 9월말 리비아 출장을 통해서는 리비아 대수로청의 총책임자인 가우드장관과 회담을 통해 대수로공사 예비완공증명(PAC)서를 발급받는 성과를 이끌어 내‘리비아리스크’를 완전히 소멸시켰으며 회사정상화 기반을 확고히 했다. 글로벌물류에서 제2의 성장동력을 찾고있는 이국동 대한통운 사장을 만나 보았다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 추계학술발표대회
• /
• pp.381-382
• /
• 2009

본 논문은 고령자 및 장애인의 안전한 이동을 지원하기 위한 지능형 휠체어에서의 자동 장애물 감지 및 회피 기술을 개발한다. 이때 다양한 환경에서의 장애물을 정확히 감지하고 회피하기 위하여 학습을 이용한 비전 기반의 경로 선정 방법이 제안 된다. 제안된 시스템은 배경 분류기, occupancy grid map 생성기, 경로 선정기로 구성되며, 경로 선정 시 강건한 장애물 검출을 수행하기 위해 입력 영상을 occupancy grid map으로 변환하고, K-means clustering 알고리즘을 이용하여 생성된 대표 템플릿들과 비교하여 이동 가능한 방향을 선정한다. 제안된 시스템의 효율성을 증명하기 위해 다양한 형태의 장애물을 포함하는 실내 및 실외에서 실험한 결과 81.7%의 정확도를 보였으며, 지능형 휠체어 사용자에게 안전한 이동성을 제공 할 수 있음을 증명 하였다.

• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2007년도 학술대회 1부
• /
• pp.653-660
• /
• 2007

최근 국내외 소프트웨어 개발 특성의 변화인 잦은 요구사항의 변경, 단축된 비즈니스 라이프사이클, 비용절감의 압력등과 맞물려 생산성을 높이기 위한 개발 접근방식이 요구되었으며, 소프트웨어의 재사용 및 높은 생산성을 제공할 수 있는 대표적인 방법이 디자인 패턴이다. 본 연구는 웹 어플리케이션 시스템 개발에 실제 적용가능한 UI디자인 패턴모델을 개발하기 위해 20개의 웹 어플리케이션 시스템을 표본으로 추출하여 1000여개의 단위업무화면을 분석하였다. 개발한 어플리케이션 UI 디자인 패턴 모델을 실무 전문가(UI디자이너, 개발자)들에게 이해도, 사용적합성, 생산성측면에서 검증하여 실무에 적용가능한 모델임을 객관적으로 증명하였다.