• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 1997.11a
• /
• pp.111-119
• /
• 1997

본 논문에서는 Chaum이 처음으로 제안한 개념인 Blind signature를 타원곡선위에서 이산로그문제를 이용해 구현해보고 ECDSA와 Nyberg, Rueppel의 scheme을 Blind signature로 변형시킨 새로운 signature를 제시한다.

• Review of KIISC
• /
• v.16 no.5
• /
• pp.55-64
• /
• 2006

소프트웨어보안 분야는 정보보호, 소프트웨어공학, 프로그래밍언어 분야 등이 중첩되는 곳에 위치한다. 본 고는 프로그래밍언어 기술을 이용하여 소프트웨어 보안문제를 접근하는 한 예로서 정보흐름 보안성 분석법을 설명한다. 먼저 정보흐름 보안성이 관련되는 보안 문제들을 상기시킨 후에 이를 해결하는 프로그래밍언어 기술의 기본 개념들을 프로그램 분석법 중심으로 설명하고 최신 연구 경향을 소개한다.

• 발명특허
• /
• v.5 no.7 s.53
• /
• pp.20-22
• /
• 1980

중세과학자가 크롬비(A.C Crombie)에 따르면 중세는 과학과 기술, 그리고 과학의 방법에서 모두 진전을 보였다. 먼저 합리적 설명의 개념, 특히 수학의 이용의 회복은 어떻게 이론을 세우고 검증 또는 반증하는 가의 문제를 제기했다. 이 문제는 스콜라적인 귀납이론과 실험적 방법에 의해 해결되었다. 그 예는 13, 14세기의 광학과 자기학에서 볼 수 있다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.10a
• /
• pp.279-282
• /
• 2000

물류시스템설계 및 개선의 일환으로 차량운송계획 문제는 매우 중요시되는 분야이다. 본 연구는 유전자 알고리즘을 이용한 통합물류 운송계획문제(Integrated Vehicle Routing Problem : IVRP)를 위한 전산화 모델의 개발로서 운송 중인 차량의 자동위치 조회시스템(Automatic Vehicle Location System : AVL)을 이용하여 차량운송의 통제기능을 높이며, 차량운송 효율을 높이는 목적으로 VRP문제와 AVL문제를 연계하는 통합운송시스템의 개념 연구이다. 본 연구에서는 다-물류센터를 고려한 운송 영역할당(Sector Clustering), 경로계획 문제(VRP) 및 유전자 알고리즘을 이용한 운송순서 계획(GA-TSP)을 고려한 통합운송계획모델의 개발을 목적으로 차량의 운송간의 통신 및 통제 등의 기능을 위하여 위치 추적을 가진 GPS와 통신시스템을 위한 TRS 및 위치설정을 위한 GIS를 고려하였다. 본 연구에서의 AVL시스템 개발을 위한 GPS, GIS 및TRS 등 AVL시스템의 구성요소에 대하여 그 개요를 조사 연구하였다. 또한 GPS, GIS을 기반으로한 물류시스템의 구성과 시스템에 필요한 기능 및 구성요소를 파악하고 서브 시스템을 구성하여 각 서브 시스템의 기본설계를 실시하기 위한 연구이다.

• Education of Primary School Mathematics
• /
• v.15 no.3
• /
• pp.201-218
• /
• 2012

In this study, the following topics were investigated targeting elementary school students: Schema formed through precise notion of cognitive and the connection of the concepts when studying common divisor, common multiple, and the lowest common multiple, configuration ability and problem solving of the students when learning using a modified schema, how the schema of the student to advance to a higher level, and how the deformation of the schema is carried out student's configuration of concept and problem solving ability. As a result, it was found out that cognition about precise concept, schema and the modified schema are important factors when a primary concept was developed into a secondary concept, and play important roles when the connection and the formation of the modified schema created by cognition about the precise primary concept rather than by the formation of the secondary concept (formation of the secondary schema) created by the connection between the primary concept.

• Annual Conference on Human and Language Technology
• /
• 1996.10a
• /
• pp.403-407
• /
• 1996

자연언어는 사람이 쉽게 이해할 수 있지만 이론 컴퓨터가 이해하는데는 많은 문제점들이 발생한다. 이러한 문제의 해결을 위해 의미처리가 수행되어야하며 효율적인 의미처리를 위해서는 정확한 의미사전의 개발이 요구된다. 본 논문에서는 개념그래프를 이용한 의미사전의 개발과정에서 고려되어야할 몇가지 문제점들을 살펴본다.

• Communications of Mathematical Education
• /
• v.24 no.2
• /
• pp.345-363
• /
• 2010

The purpose of this study is to investigate and analyze informal knowledge of students who do not learn the conception of proportion and to identify how the informal knowledge can be used for teaching the conception of proportion in order to present an effective method of teaching the conception. For doing this, proportion was classified into direct and inverse proportion, and 'What are the informal knowledge of students?' were researched. The subjects of this study were 117 sixth-graders who did not have prior learning on direct and inverse proportion. A total eleven problems including seven for direct proportion and four for inverse proportion, all of them related to daily life. The result are as follows; Even though students didn't learn about proportion, they solve the problems of proportion using informal knowledge such as multiplicative reasoning, proportion reasoning, single-unit strategy etc. This result implies mathematics education emphasizes student's informal knowledge for improving their mathematical ability.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04b
• /
• pp.250-252
• /
• 2000

많은 최적화 문제에서 해답들의 구조는 서로 의존성을 가지고 있다. 이러한 경우 기존의 진화연산이 사용하는 빌딩 블록 개념으로는 문제를 해결하는데 많은 어려움을 겪게 된다. 이를 극복하기 위해서 헬름홀츠 머신(Helmholtz machine)을 이용해서 데이터의 분포를 예측한 후 최적화를 수행하는 방법을 제안한다. 기존의 진화 연산을 바탕으로 하지만 교차연산이나 돌연변이 연산을 사용하는 대신에, 헬름홀츠 머신을 이용해서 데이터의 분포를 파악하고, 이를 이용해서 새로운 데이터를 생성하는 과정을 통해 최적화 과정을 수행한다. 진화연산으로 해결하는데 곤란을 겪고 있는 여러 함수들을 해결하는 이를 검증하였다.

• Proceedings of the Korean Society for Cognitive Science Conference
• /
• 2005.05a
• /
• pp.177-181
• /
• 2005

기계학습에서 커널을 이용한 방법은 그 응용범위가 기계학습의 전반에 걸쳐 다양하게 이용되고 있으며, 그 성능 또한 기존의 방법들을 앞지르고 있다. 이는 기존의 비선형적 접근을 커널을 이용한 고차원 공간에서의 선형적 접근법으로 바꿈으로써 가능하게 되는 것이다. 다양한 분야에 적용되는 많은 커널들이 존재하며 각 커널들은 특별한 분야에 적용되기 쉽도록 다른 형태를 띠고 있기도 하지만, 커널로서 작용하기 위해 양한정 조건(positive definiteness)을 만족해야 한다. 본 연구에서는 DNA 문제에 직접 적용시킬 수 있는 방법으로서의 새로운 커널을 제시한다. 또한 매트로폴리스(Metropolis) 알고리즘을 이용하여 DNA의 hybridization과정을 모사함으로써 새로운 종류의 커널이 양한정(positive definite) 조건을 만족시킬 수 있는 방법을 제시한다. 새로 만들어진 커널이 행렬값을 형성해 나가는 과정을 살펴보면 인간이 예(instance)로부터 개념을 형성해 나가는 과정과 흡사한 양상을 보이는 것을 알 수 있다. 개념을 나타내는 좋은 예로서의 표본(prototype)으로부터 개념이 형성되어 가는 과정은 표본(prototype)이 아닌 예로부터 개념이 형성되는 과정과 다른 양상을 띠는 것과 같은 모양을 보인다.

• The Korean Journal of Air & Space Law and Policy
• /
• v.18
• /
• pp.185-209
• /
• 2003

이 논문은 21세기 우주개발로 인하여 제기되는 국제우주법의 장래 과제를 분석한 것이며 따라서 1967년 우주조약을 비롯한 기존의 5개 국제우주조약들과 '연성법'(soft law)으로서의 우주법인 5개의 UN결의들은 간략하게 소개하고 lex ferenda로서 제기되는 문제들을 중심으로 연구하였다. 21세기 국제우주법의 lex ferenda로 제기되는 문제는 다음과 같다. 첫째. 우주의 정의 및 경계획정문제와 지구정지궤도(GSO)의 성격과 활용의 문제가' 외기권 우주의 평화적 이용에 관한 위원회'(COPUOS)의 법률소위원회를 중심으로 어떻게 진행되고 있는가 하는 문제를 검토하였고, 둘째. 대기권 상공과 외기권 우주를 비행할 수 있는 새로운 우주운송수단으로 등장하고 있는 우주항공기(Aerospace Vehicle)가 기존의 항공법과 우주법의 관계에서 어떠한 법의 적용을 받아야 하는가의 문제를 검토하였다. 셋째. 그리고 통신위성을 이용하면서 발생하는 저작권법(copy right law) 및 지적재산권(intellectual property) 등의 문제 그리고 우주보험을 포함한 우주의 상업적 이용에서 발생하는 법규범의 문제를 검토하였고, 넷째. 우주활동으로 인해 발생하는 우주잔해(space debris)와 우주환경문제를 다루었다. 마지막으로 그리고 기타 국제우주법관련문제 특히 우주활동을 원활하게 수행하기 위한 '우주물체'(space objects)와 그와 관련된 용어들의 정확한 개념 정의를 명확하게 할 필요성과 우주의 상업적 이용과 우주의 오로지 평화적인 목적을 위하여 중요한 역할을 할 국제민간항공기구(ICAO)나 국제해사기구(IMO)와 같은 장래의 국제민간우주기구(International Civil Space Organization) 등의 설립문제를 검토하였다.