• 한국산학기술학회논문지
• /
• 제4권2호
• /
• pp.87-95
• /
• 2003

Dynamic Programming Matching (DPM)은 순차적으로 구성된 문제를 수학적으로 최적화 시키는 기술로서 패턴인시 분야에서 다년간 중요한 역할을 해왔다. 서명인식을 위한 대부분의 실제적 적용에서는 Sakoe and Chiba [9]의 실제구현 버전이 기반이 되어 왔는데, 일반적으로 slope constraint p = 0의 방법이 적용되어 왔다. 이 논문에서는 이 경우에는 전진탐색에 의한 휴리스틱한 방법을 적용한 MDPM이 상당한 처리시간의 단축 뿐만 아니라 약간의 인식능력 향상을 가질 수 있음을 보여준다.

• 정보처리학회논문지B
• /
• 제10B권4호
• /
• pp.451-458
• /
• 2003

Dynamic Programming Matching(DPM)은 순차적으로 구성된 문제를 수학적으로 최적화 시키는 기술로서 패턴인식 분야에서 다년간 중요한 역할을 해왔다. 서명인식을 위한 대부분의 실제적 적용에서는 Sakoe and Chiba [9]의 실제구현 버전이 기반이 되어 왔는데, 일반적으로 slope constraint p = 0의 방법이 적용되어 왔다. 이 논문에서는 이 경우에는 전진탐색에 의한 휴리스틱한 방법을 적용한 MDPM이 상당한 처리 시간의 단축 뿐만 아니라 약간의 인식능력 향상을 가질 수 있음을 보여준다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2015년도 추계학술대회
• /
• pp.1045-1046
• /
• 2015

When using the Support Vector Machine in the online signature verification, SVM kernel function should be chosen to use non-linear SVM and the constant parameters in the kernel functions should be adjusted to appropriate values to reduce the error rate of signature verification. Non-linear SVM which is built on a strong mathematical basis shows better performance of classification with the higher discrimination power. However, choosing the kernel function and adjusting constant parameter values depend on the heuristics of the problem domain. In the signature verification, this paper deals with the problems of selecting the correct kernel function and constant parameters' values, and shows the kernel function and coefficient parameter's values with the minimum error rate. As a result of this research, we expect the average error rate to be less than 1%.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2005년도 춘계학술대회 논문집
• /
• pp.1591-1596
• /
• 2005

In this paper, we designed the aspheric lens by mathematical methods which are solved by refractive index. Based on these mathematical method, we manufactured the aspheric lens. Because of the usefulness of manufacturing, we used the acryl as the material. And we used a high speed machine to manufacture the aspheric lens. Also it sits in judgment the aberration of spherical distribution by using the grid fringe. Asource of laser produced by laser sheet generator passed the optical system of the aspheric lens. Though a character is to verify that the accuracy of the aspheric lens by experiment of the straight character.

• 대한수학회보
• /
• 제46권4호
• /
• pp.771-787
• /
• 2009

We use an idea of linear representations of the symmetric group to reduce the number of communication rounds in the verification protocol, proposed in Crypto 2005 by Peng et al., of a shuffling. We assume Paillier encryption scheme with which we can apply some known zero-knowledge proofs following the same line of approaches of Peng et al. Incidence matrices of 1-subsets and 2-subsets of a finite set is intensively used for the implementation, and the idea of $\lambda$-designs is employed for the improvement of the computational complexity.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2003년도 추계학술대회 및 정기총회
• /
• pp.297-300
• /
• 2003

This paper considers formal verification methods for enhancing software reliability. The formal method verifies that a software is correctly implemented according to its specification by using a mathematical formalism. This paper presents a partial survey on the formal methods and discusses possible applications for the improved software implementation. Finally, some topics are remarked as further studies.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제36권2호
• /
• pp.253-286
• /
• 2022

본 연구는 학교 현장에서 교원학습 공동체 프로그램에 참여한 동일교 소속 교사들 네 명이 실천적이고 공유 가능한 수업 자료 개발을 목표로 윤리와 수학 과목에서 플라톤이라는 인물을 연계 고리로 하여 교과 간 연계·융합 자료 개발한 연구이다. 이때 자료 개발 절차는 '자료 개발 계획 수립, 자료 개발, 개발 자료의 검증, 검증 의견을 반영한 최종 자료 개발'과 같은 네 가지 절차를 따랐으며, 자료 개발 단계에서는 주제기반 설계 모형에 따라 자료를 개발하였다. 개발한 자료는 현장 교사들을 대상으로 개발 자료의 타당성과 수업 적용 가능성을 중심으로 CVR 검증을 실시하였고, 검증 결과를 반영하여 개발 자료의 수정을 거쳐 최종 개발 자료 결과물을 제시하였다. 특히 본 연구에서는 단순하게 개발한 자료를 소개하는 것이 아니라, 자료 개발 과정의 절차와 그 과정에서의 개발자들의 시행착오와 고민도 함께 기술하여 자료 개발을 시도하는 다른 현장 연구자들에게 기초 연구 성격의 정보를 제공하고자 하였다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제46권1호
• /
• pp.69-79
• /
• 2007

Students experience many problem solving activities in school mathematics. These activities have focused on finding the solution whose existence was known, and then again conjecture about existence of solution or posing of problems has been neglected. It needs to put more emphasis on conjecture and problem posing activities in school mathematics. To do this, a model and examples of designing mathematical activities centered on conjecture and problem posing are needed. In this article, we introduce some examples of designing such activities (from the pythagorean theorem, the determination condition of triangle, and existing solved-problems in textbook) and examine suggestions for mathematics education. Our examples can be used as instructional materials for mathematically able students at middle school.

• 대한수학회보
• /
• 제50권1호
• /
• pp.201-216
• /
• 2013

In this note, we consider the Riemann problem for a two-dimensional nonstrictly hyperbolic system of conservation laws. Without the restriction that each jump of the initial data projects one planar elementary wave, six topologically distinct solutions are constructed by applying the generalized characteristic analysis method, in which the delta shock waves and the vacuum states appear. Moreover we demonstrate that the nature of our solutions is identical with that of solutions to the corresponding one-dimensional Cauchy problem, which provides a verification that our construction produces the correct global solutions.

• 대한수학회지
• /
• 제51권6호
• /
• pp.1291-1304
• /
• 2014

In 2005 Kadiri proved that the Riemann zeta function ${\zeta}(s)$ does not vanish in the region $$Re(s){\geq}1-\frac{1}{R_0\;{\log}\;{\mid}Im(s){\mid}},\;{\mid}Im(s){\mid}{\geq}2$$ with $R_0=5.69693$. In this paper we will show that $R_0$ can be taken $R_0=5.68371$ using Kadiri's method together with Platt's numerical verification of Riemann Hypothesis.