• 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 Korean Society for Information Management Conference
• /
• 2018.08a
• /
• pp.117-126
• /
• 2018

본 연구는 국내외 대표 국가 리포지터리들을 대상으로 학문지원시스템으로서의 역할 수행을 위해 각 리포지터리들의 연구데이터 관리 체계를 살펴보았다. 이를 위하여 한국, 미국, 영국, 호주, 네덜란드의 대표 연구기관 홈페이지에서 제공되는 연구데이터의 메타데이터 현황을 내용분석의 방법을 통해 조사 분석하였다. 즉 연구데이터를 KRM의 표현체 분류 기준에 따라 '단행본군', '보고서군' 등 10종으로 분류하고, 연구데이터 분류별 메타데이터의 적용 현황을 분석하였다. 분석 결과에 따라 학문지원시스템으로서 연구데이터 관리의 문제점과 표준 개발의 개선점을 제시하였다.

• Journal of the Institute of Convergence Signal Processing
• /
• v.3 no.3
• /
• pp.47-53
• /
• 2002

In this paper, we proposed a content-based video search method using the eigen value of key frame and intensity component. We divided the video stream into shot units to extract key frame representing each shot, and get the intensity distribution of the shot from the database generated by using ECA(Eigen Component Analysis). The generated codebook, their index value for each key frame, and the intensity values were used for database. The query image is utilized to find video stream that has the most similar frame by using the euclidean distance measure among the codewords in the codebook. The experimental results showed that the proposed algorithm is superior to any other methols in the search outcome since it makes use of eigen value and intensity elements, and reduces the processing time etc.

• Journal of the KSME
• /
• v.54 no.2
• /
• pp.41-45
• /
• 2014

이 글에서는 조인트, 부싱, 댐퍼 그리고 구동기 등으로 연결된 일반적 다물체계의 질량, 강성, 감쇠, 기하학적 제원 등에 존재하는 불확실성의 영향을 동적 해석 및 설계 시 어떻게 체계적으로 고려해야 하는지 대표적인 방법을 중심으로 관련 내용을 소개하고자 한다.

• Review of KIISC
• /
• v.6 no.2
• /
• pp.53-70
• /
• 1996

본 논문에서는, 세계적으로 불붙고 있는 전자화폐를 암호학적인 측면에서 살펴보고, 전자화폐의 가장 핵심적인 기술인 추적 불가능성, 프라이버시 제공 기술 그리고 이중 사용 방지 기술 등과 암호 이론과의 관련성을 중심으로 정리하였다. 특히 기존에 제안되어 있는 대표적인 전자화폐 방식들에 대해서 암호 프로토콜 관점에서 고찰하여 보았으며 전반적인 전자화폐 관련 내용도 추가하였다.

• Information and Communications Magazine
• /
• v.31 no.8
• /
• pp.16-23
• /
• 2014

U-City 공간계획 및 설계기술개발연구는 그 동안 서비스와 정보통신기술(ICTs)을 중심으로 다루어졌던 U-City추진의 한계를 극복하고 도시공간에 기반한 U-City 구축과 실증을 통해 저비용 고효율의 미래 도시공간을 구현하고, 기존 도시의 문제 해결과 도시의 효율적 운영관리의 필요성 등에 따라 공간적 측면에서의 U-City 구축을 통해 국내 대표의 건설브랜드인 U-City선도화와 종주국으로서의 위상을 강화하기 위한 U-City 창조공간 계획 및 설계 기법을 연구하고자 한다. 본 연구를 위해서는 국내외 관련 문헌조사, 사례조사를 중심으로 연구를 진행하고 있으며, 도시 공간단위별로Prototype을 구축하고 실제 사례도시(Test Bed)를 선정하여 연구결과를 적용해 보고 효과를 검증하는 방법으로 연구 내용의 내실화를 기하고 있다. 본 연구개발사업을 통해서 도출된 결과물을 통해서는 도시민이 체감할 수 있는 U-City 구현을 통해 시민이 체감할 수 있는 U-City 보급과 확산으로 국내 고유의 대표건설브랜드로서 U-City의 대내외적 경쟁력을 확보하고, 침체된 건설경기 활성화 등에 기여할 수 있을 것이라 판단된다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.11 no.9
• /
• pp.837-843
• /
• 2001

In this work, we propose a new method of extracting and weighting representative keywords(RKs) from a few documents that might interest a user. In order to extract RKs, we first extract candidate terms and them choose a number of terms called initial representative keywords (IRKs) from them through fuzzy inference. Then, by expanding and reweighting IRKs using term co-occurrence similarity, the final RKs are obtained. Performance of our approach is heavily influenced by effectiveness of selection method of IRKs so that we choose fuzzy inference because it is more effective in handling the uncertainty inherent in selecting representative keywords of documents. The problem addressed in this paper can be viewed as the one of calculating center of document vectors. So, to show the usefulness of our approach, we compare with two famous methods - Rocchio and Widrow-Hoff - on a number of documents collections. The result show that our approach outperforms the other approaches.

• Proceedings of the Korean Society for Information Management Conference
• /
• 2003.08a
• /
• pp.95-103
• /
• 2003

목차 및 권말색인과 같은 인쇄형태의 정보내용에 대한 구조화된 접근방식에서 착안하여 전자 문서의 내용에 대한 새로운 형태의 접근방식을 개발할 수 있는데, 이를 위한 방안으로 용어 자동분류 기법이 있다. 본 연구에서는 용어의 의미모호성 문제를 해결하는 동시에 용어간 계층관계 표현이 가능한 자동분류 기법으로 퍼지 클러스터링 기법을 제안하고, 대표적인 퍼지 클러스터링 알고리즘인 퍼지 c-means 기법에 대해 분석하고자 한다.

• JOURNAL OF ELECTRICAL WORLD
• /
• s.358
• /
• pp.7-15
• /
• 2006

국내 중전기기 및 신재생 에너지부분 관련업체들의 향후 제품 및 기술개발 방향 설정에 참고로 활용되길 기대하면서 2006년 4월 및 8월 개최되었던 중전기기 및 신재생 에너지관련 대표적인 전시회 참관 보고서들을 요약하여 동 분야 기술 및 시장 동향들을 소개하고자 합니다. 아울러 여러 보고서 내용들을 요약 정리하는 과정에서 집필자의 주관적인 견해나 편견이 다소 작용할 수 있다는 점도 미리 지적해두고자 합니다.

• 한국IT서비스학회:학술대회논문집
• /
• 2008.05a
• /
• pp.559-564
• /
• 2008

XBRL은 재무 보고를 비롯한 다양한 비즈니스 보고에서 활용되고 있는 XML 기반 언어로서, 개념들과 이들간의 관계를 정의하여 활용할 수 있다. 비즈니스 보고 프로세스에서 절대적으로 중요한 것이 문법적이고 의미적인 수준에서 보고내용의 일치성과 완전성을 점검하여 제공하는 것이다. XBRL 문서를 제출 받아 이용하는 측에서도 제공받은 것들의 내용을 점검하는 것이 필수적이다. 이 논문에서는 현재 표준화가 진행중인 XBRL Formula를 중심으로, 의미 수준에서 XBRL 문서의 의미제약을 표현하고, 이를 서비스 품질 향상에 이용할 수 있도록 지원하는데 있어서, 대표적인 문제점과 해결방안에 대하여 토의한다.