• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.313-315
• /
• 2005

XML을 이용하면 다이어그램에서 변경 내용을 검출하는 문제는 트리 구조에서 변경 내용을 검출하는 문제로 전환할 수 있다. 트리 구조의 털러 버전(version) 간에 형제(sibling) 노드의 순서가 유지되지 않는 조건하에서, 트리 구조의 변경 내용을 검출하는 문제는 NP-complete임이 증명되어 있다. 그러므로 본 논문에서는, 트리 연산에 몇 가지 제한을 부가하여, 빠른 시간 내에 최적에 가까운 변경 내용을 검출하는 방법을 제안한다.

• Journal of Korean Philosophical Society
• /
• v.147
• /
• pp.215-237
• /
• 2018

The purpose of this study is to illuminate the precise nature and the central line of Kant's proof of the causal principle stated in the Second Analogy of the 2nd. edition of the Critique of Pure Reason. The study argues for the following thesis: 1. The proof of the Second Analogy concerns only the causal principle called the "every-event-some-cause" principle, and not the causal law(s) called the "same-cause-same-event" principle. 2. The goal of the proof is to establish the possibility of knowledge of an temporal order of successive states of an object. 3. The proof is broadly an single transcendental argument in two steps. The 1st. step is an analytic argument that infers from the given perceptions of an oder of successive states of an objects to the conclusion that the causal principle is the necessary condition for the objectivity of dies perceived order. The 2nd. step is a synthetic argument that infers from the formal nature of time to the conclusion that the causal principle is a necessary condition for die possibility of objective alterations and of empirical knowledge of these alterations. 4. The poof involves not the 'non sequitur' assumed by P. F. Strawson, that is, Kant infers not directly from a feature of our perceptions to a conclusion regarding the causal relations of distinct states of affairs that supposedly correspond to these perceptions.

• School Mathematics
• /
• v.13 no.2
• /
• pp.345-362
• /
• 2011

This paper addresses mathematics content knowledge required for teaching in secondary school. Three components of mathematical knowledge are needed for teaching: (i) knowing school mathematics, (ii) knowing process of school mathematics, (iii) making connections between school mathematics and advanced mathematics. We investigated mathematics content knowledge of secondary teachers. We found that secondary mathematics teachers have a lack of understanding in solving realistic problem, reasoning and proof, and making connections between school mathematics and advanced mathematics.

• International Commerce and Information Review
• /
• v.3 no.1
• /
• pp.83-104
• /
• 2001

전자문서를 이용한 전자거래는 비접촉, 비대면으로 이루어지기 때문에 거래당사자간에 상대방의 신원과 거래의사의 진정성 여부를 확인하기 어렵고, 타인으로 위장하여 전자문서 등을 부정하게 사용할 위험이 있다. 또한 전자문서는 유통되는 과정에서 위 변조가 용이하고, 문서작성 사실을 입증하기 곤란할 뿐만 아니라, 전송 내용의 비밀 유지가 곤란하다는 문제점이 있다. 이 같이 전자문서 및 전자거래가 가지는 문제점을 해소하기 위한 방안이 암호기술을 이용한 전자서명과 인중문제이다. 세계 각국은 전자거래에서 전자문서의 내용을 증명하고 거래의 진정성을 법적으로 확보하기 위한 관련 법제를 추진하고 있다. 우리 나라도 전자서명법을 제정하여 1999년 7월부터 시행하고 있으며, 비록 전자거래법과 갈이 시행초기라서 아직 법규정이 미비하나 전자거래의 시발점을 열었다는 점에서 의의가 크다고 할 수 있다. 이와 관련하여 전자거래에서 전자서명과 인증과 관한 기술적 내용과 일반적 논의를 살펴보고, 이와 관련된 국내외 동향과 최근 제정하여 시행중인 전자거래법과 시행령 시행규칙의 주요 내용을 검토하고 이를 중심으로 향후 전자서명 인증관련 주요 과제 및 방전 방안을 검토하고자 한다.

• 전기의세계
• /
• v.24 no.6
• /
• pp.18-23
• /
• 1975

대한전기학회로부터 기술해설에 관한 내용의 원고를 의뢰받고 주저했으나 결국은 착수하기로 했다. Multivariable function 이론이 개화하면 응용면에 있어 예측하기 어려울만큼 큰 장래가 약속된다고 믿어져 집필을 했다. 영문을 그대로 실은 대목도 있고 지면절약상 증명은 생략했다. 보완이 될까 생각되어 대표적인 논문들을 참고로 첨부한다. 큰 개발이 요구되는 이 분야에 우리 나라에서도 관심을 갖는 분이 많이 생겨 제기된 문제 해결에 공헌 있기를 바란다.

• 프린팅코리아
• /
• v.7 no.8
• /
• pp.76-79
• /
• 2008

일본정부는 지난 7월 14일 독도 영유권이 일본에 있다는 내용을 사실상 포함시킨 '중학교 사회과목 새 학습지도 요령 해설서'를 공표했다. 이에 우리나라 정부는 권철현 주일 대사를 독도 영유권 명기에 대한 항의 표시로 일시 귀국조치 시켰다. 이처럼 독도가 일본땅이라고 억지주장하는 것과 비례해 독도에 대한 관심도 그 어느때보다 높아지고 있다. 이에 본지는 독도가 한국영토임을 증명하는 역사적 객관적 사실을 지도와 책자 등 인쇄물을 통해 정리해 본다.

• Defense and Technology
• /
• no.8 s.174
• /
• pp.62-71
• /
• 1993

일본의 군사정책은 큰 변화를 겪게될 전망입니다. 변화를 추구하는 핵심적 내용은 국제사회에서 경제대국에 걸맞는 정치대국이 되어야 되겠다는 것입니다. 세계역사가 증명하듯이 정치대국은 강력한 군사력 없이는 불가능합니다 국제공헌을 통하여 세계평화를 추구하겠다는 일본을 신뢰하기 힘든 이유는, 평화의 실현이라는 세계적 비전을 갖고 있지 못하기 때문입니다 더욱이 장래에 중국과 일본과의 갈등이 일어날수 있는 가능성이 예측되는 상황에서, 한반도의 장래는 그 우려가 가중되고 있습니다

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.700-702
• /
• 2001

As computers and networks become popular, distributing information on the Interment is common in our daily life. Also, the explosion of the Internet, of wireless digital communication and data exchange on Internet has rapidly changed the way we connect with other people. But secure mall is gamins popularity abroad and domestically because of their nature of prodding security. That is. it has been used a variety of fields such as general mail and e-mail for advertisement But, As the data transmitted on network can be easily opened or forged with simple operations. Most of existing e-mall system don't have any security on the transmitted information. Thus, security mail system need to provide security including message encryption, content integrity, message origin authentication, and non-repudiation. In this paper, we design implement secure mall system with non-repudiation service and encryption capability to provide services for certification of delivery and certification of content as well as the basic security services.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05a
• /
• pp.297-300
• /
• 2003

월드 와이드 웹을 기반으로 한 검색 시스템에 대한 최근의 연구들은 링크정보가 내용정보와 함께 검색 시스템의 성능 향상에 커다란 도움을 주고 있다는 것을 증명하고 있다. 본 연구에서는 링크정보를 이용한 과거의 연구들을 살펴보고, 링크정보와 내용정보를 결합한 알고리즘들을 분석한다. 그리고 결함 알고리즘들을 크게 두 가지로 분류하고, 일반화된 모델을 제시한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05a
• /
• pp.643-646
• /
• 2003

본 논문은 분할된 비디오 화면들의 색상 내용을 기반으로 하는 새로운 영상 검색 방법을 제안 하고자 한다. 제안된 시간 색상 상관그래프는 공통적인 통계 데이터를 이용하여 비디오 화면 내의 공간-시간 관계를 계산한다. 시간 색상 상관 그래프는 내용 기반의 영상 검색에 매우 효과적인 것으로 밝혀진 HSV(Hue, Saturation, Value) 색상 상관 그래프를 기반으로 하고 있다. 시간 색상 상관 그래프는 하나의 비디오 화면으로부터 추출된 프레임 샘플의 양자화 된 HSV 색상 값의 자기상관관계를 이용하여 구성하였다. 본 논문에서는 11시간 분량의 분할된 MPEG-1 비디오에 대한 질의와 질의에 대한 관련성 판정을 하고자 내용 기반의 멀티미디어 검색 시스템을 구축하여 실험하였다. 실험 견과 제안된 방법이 시각 정보만을 필요로 하는 검색에 있어 기존의 다른 검색 방법보다 우수한 결과를 나타냄을 증명하였다.