• Journal of Educational Research in Mathematics
• /
• v.25 no.2
• /
• pp.225-240
• /
• 2015

In this study, we investigated the representativeness of proofs in school mathematics, based on the extension of the midpoint connector theorem for the quadrilateral. To this end, we considered a variety of quadrilateral and proved their extensions of the midpoint connector theorem, and identified the relationships between them, therefore seemed that the proof in school mathematics has a representativeness. On the other hand, in the survey based on this information, students were found only some types of quadrilateral and completed easily the proofs for each quadrilateral they found, but students tended to use other proof or mathematical concepts, if the target figures changes in despite of proving the same mathematical fact. Thus, students were more difficult to figure out the relationship between the proofs. From these facts, we know that students are poorly understood the representativeness of proofs to understand the relationship between concrete proofs and to generalize it, though they are able to proof to the specific figures. Therefore it can be seen that the proof activity needs to be done with organic and semantic.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2002.06a
• /
• pp.209-218
• /
• 2002

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2019.05a
• /
• pp.197-200
• /
• 2019

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

• Venture DIGEST
• /
• s.50
• /
• pp.10-11
• /
• 2004

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

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.20 no.4
• /
• pp.3-16
• /
• 2010

Key derivation functions are used within many cryptographic systems in order to generate various keys from a fixed short key string. In this paper we survey a state-of-the-art in the key derivation functions and wish to examine the soundness of the functions on the view point of provable security. Especially we focus on the key derivation functions using pseudorandom functions which are recommended by NISI recently, and show that the variant of Double-Pipeline Iteration mode using pseudorandom permutations is a pseudorandom function. Block ciphers can be regarded as practical primitives of pseudorandom permutations.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.668-671
• /
• 2015

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

• Journal of Educational Research in Mathematics
• /
• v.25 no.3
• /
• pp.367-379
• /
• 2015

The existence of mathematical objects was considered through diorism which was used in ancient Greece as conditions for the existence of the solution of the problem. Proposition I-22 of Euclid Elements has diorism for the existence of triangle. By discussing the diorism in Elements, ancient Greek mathematician proved the existence of defined object by postulates or theorems. Therefore, the existence of mathematical object is verifiability in the axiom system. From this perspective, construction is the main method to guarantee the existence in the Elements. Furthermore, we suggest some implications about the existence of mathematical objects in school mathematics.

• LOGISTICS
• /
• s.14
• /
• pp.20-24
• /
• 2006

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.381-382
• /
• 2009

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

• 한국HCI학회:학술대회논문집
• /
• 2007.02a
• /
• pp.653-660
• /
• 2007

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