• 한국정보교육학회:학술대회논문집
• /
• 2007.08a
• /
• pp.294-299
• /
• 2007

도형의 합동은 도형의 대칭이나 도형그리기를 배우는 데에 기본이 되며, 도형의 성질을 이해하고 모양을 그리는 능력을 기르게 할 수 있다. 도형의 합동을 공부해야 일상 생활에서 필요로 하는 디자인이나 아름다운 예술 작품에 대한 소양을 가질 수 있다. 하지만 합동 학습을 할 때에 개념을 형성하는데 드는 시간보다 종이를 자르고 도형의 본을 뜨는 행동과 같은 구체적 조작 시간이 많이 소요되기 때문에 학생들 간의 상호작용은 물론 교사와 학생들과의 상호작용 시간도 기대하기 어렵다. 따라서 본 연구에서는 초등학교 학생들에게 학습효과를 높일 수 있도록 상호작용 이론을 합동학습에 적용하여 학습자들이 합동의 개념을 쉽게 이해할 수 있도록 하였고 동시에 동시적 비동시적 의사소통이 가능한 웹상에서 실시하는 합동학습 코스웨어를 개발하고 적용하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.652-654
• /
• 2002

정수 합동 분석(integer congruence analysis)은 프로그램 변수들의 의미 영역을 정수 합동(integer congruence) 집합으로 정의하여 분석한다. 정수 합동 분석을 위한 정수 합동 격자(lattice of integer congruences)와 순방향 요약 산술 연산자에 대한 정의는 이미 p. Granger에 의해 소개되었다. 하지만, 분석의 정확도에 영향을 미치는 역방향 요약 산술 연산자에 대한 연구는 아직 되어 있지 않다. 이 논문에서는 정수 합동 분석을 위한 역방향 요약 산술 연산자를 정의한다. 역방향 요약 산술 연산자를 정의하는 방법은 정수 방정식을 푸는 방법을 기반으로 고안되었다. 정의된 역방향 요약 산술 연산자는 프로그램 분석의 정확도를 높이는데 기여를 할 수 있는데, 이 논문에서는 예제를 통해서 이 사실을 보인다.

• Journal of The Korean Association of Information Education
• /
• v.12 no.2
• /
• pp.141-149
• /
• 2008

Congruence of figure is a basic to learn a symmetrical figure and helps to understand the characteristics of figure and know the way of drawing figures. The knowledge of congruence provides us art attainments to understand design and fine pieces of art. However, it is difficult to expect the interaction between students or between teachers and students, because of spending too much time for cutting papers and making the shapes of figure during the class for establishing the concepts. This study utilized a question-based interaction model which would foster elementary school student's learning effectiveness and make them understood the concept of congruence, also developed a congruence learning system which could communicate in both synchronous and asynchronous situation.

• Journal of Information Technology and Architecture
• /
• v.11 no.2
• /
• pp.187-199
• /
• 2014

The DoD of United State, the MoD of United Kingdom and NATO have developed and implemented not only the concepts of joint capability but also management system for the joint capability to respond the future uncertain operations effectively. The resources of the DoD in United State have been efficiently planning, programming, budgeting, execution and evaluation using the PPBEE system which developed based on the concept of joint capability. The joint capability of the DoD has been managing through the JCAMS (Joint Capability Area Management System) which constructed based on JCA, UJTL and so on. Recently the MND of Korea eager to try introducing concept of the JCMS and developing the JCMS like the JCAMS of DoD for the future joint operation in the uncertain environment. We propose the holistic mechanism to develop the JCMS (Joint Capability Management System) of MND which can implement during the constructing the JCMS of Korea efficiently and effectively.

• Journal of the Korean School Mathematics Society
• /
• v.8 no.1
• /
• pp.89-100
• /
• 2005

This study is to compare contents of mathematics textbooks of Korea and Russia laying stress on topic 'congruence of triangles'. We analyze and compare contents description system, relation between congruent conditions of triangles and construction problem, and jestification methods of congruent conditions of triangles in Korean and Russian mathematics textbooks.

• Journal of the Korean School Mathematics Society
• /
• v.10 no.3
• /
• pp.341-351
• /
• 2007

The primary purpose of this treatise is to suggest the solutions as follows for the errors concerning the triangle determination and congruence in every Korean mathematics textbook for 7th graders: showing that SsA, along with SSS, SAS, ASA, should also be included as the condition for triangle determination, congruence and similarity; proving that contrary to what has been believed, minimality applies only to congruence and similarity but not to determination; examining related Euclidean propositions; discussing the confusion about the characteristics of determination and congruence; and considering the negative effects of giving definite figures in construction education. The secondary purpose is to analyze the significance of triangle determinant that is not dealt with in either Euclid's Elements or the text books in the U.S. or Japan, and suggest a way to effectively deal with triangle determination and congruence in education.

• Annual Conference on Human and Language Technology
• /
• 2019.10a
• /
• pp.165-169
• /
• 2019

자연어 이해 모델은 대화 시스템의 핵심적인 구성 요소로서 자연어 문장에 대해 그 의도와 정보를 파악하여 의도(intent)와 슬롯(slot)의 형태로 분석하는 모델이다. 최근 연구에서 의도와 슬롯의 추정을 단일 합동 모델(joint model)을 이용하여 합동 학습(joint training)을 하는 연구들이 진행되고 있다. 합동 모델을 이용한 합동 학습은 의도와 슬롯의 추정 정보가 모델 내에서 암시적으로 교류 되도록 하여 의도와 슬롯 추정 성능이 향상된다. 본 논문에서는 기존 합동 모델이 암시적으로 추정 정보를 교류하는 데서 더 나아가 모델 내의 의도와 슬롯 추정 정보를 명시적으로 교류하도록 모델링하여 의도와 슬롯 추정 성능을 높일 수 있는 교차 게이트 메커니즘(Cross Gated Mechanism)을 제안한다.

• Journal of IKEEE
• /
• v.15 no.1
• /
• pp.15-22
• /
• 2011

In order to performing the joint operation of Korean army efficiently, informations about surveillance, reconnaissance, and situation awareness need to be possessed jointly. In the first development phase (basis type) of the Korean joint tactical data link system (JTDLS-K), essential tactical information and recognized situation are owned among platforms in common by using existing wireless terminals. In the second development phase (completion type) of the JTDLS-K, a JTDLS which can perform network centric warfare (NCW) will be developed in due consideration of technology development of the basis type and common technology maturity degree. This is a joint battlefield system that can show fighting power simultaneous and polysynthetically through providing command and control messages effectively to each platform, which is participating in the joint and combined operations. In this paper, the development of JTDLS-K with a common data processor based on common link integration processing (CLIP) is described. From the test results of the system presented in this paper, it is demonstrated that quadrature phase shift keying (QPSK) signals can be applied to the system.

• Journal of Elementary Mathematics Education in Korea
• /
• v.18 no.3
• /
• pp.539-555
• /
• 2014

In this study, an implication has been drawn for the textbook development and teaching and learning process as a congruence of a figure is compared and analyzed between Korean elementary mathematics textbooks and American elementary math textbooks. Based on the result of comparison and analysis in congruence contents between Korean and EM textbooks, some applications for the development of figure and congruence chapters in Korean textbooks are as below. First of all, in term of congruence, activities related to congruence need to be introduced after the concept of congruence is defined either with illustrations of fundamental figures such as a segment and angle or with examples of polygon. Second, it is required to assist students to realize that compasses can be used to copy length. In Korean textbooks, compasses are being introduced as a tool to draw circles, which causes children to have difficulty in drawing triangles. Last, for the implication of congruence, tessellation suggested in American Everyday Mathematics textbooks is worth being applied to the development of Korean textbooks.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2022.06a
• /
• pp.1191-1194
• /
• 2022

인터넷의 발전으로 수많은 이미지와 비디오를 손쉽게 이용할 수 있게 되었다. 이미지와 비디오 데이터의 양이 기하급수적으로 증가함에 따라, JPEG, HEVC, VVC 등 이미지와 비디오를 효율적으로 저장하기 위한 부호화 기술들이 등장했다. 최근에는 인공신경망을 활용한 학습 기반 모델이 발전함에 따라, 이를 활용한 이미지 및 비디오 압축 기술에 관한 연구가 빠르게 진행되고 있다. NNIC (Neural Network based Image Coding)는 이러한 학습 가능한 인공신경망 기반 이미지 부호화 기술을 의미한다. 본 논문에서는 NNIC 모델과 인공신경망 기반의 초해상화(Super Resolution) 모델을 합동훈련하여 기존 NNIC 모델보다 더 높은 성능을 보일 수 있는 방법을 제시한다. 먼저 NNIC 인코더(Encoder)에 이미지를 입력하기 전 다운 스케일링(Down Scaling)으로 쌍삼차보간법을 사용하여 이미지의 화소를 줄인 후 부호화(Encoding)한다. NNIC 디코더(Decoder)를 통해 부호화된 이미지를 복호화(Decoding)하고 업 스케일링으로 초해상화를 통해 복호화된 이미지를 원본 이미지로 복원한다. 이때 NNIC 모델과 초해상화 모델을 합동훈련한다. 결과적으로 낮은 비트량에서 더 높은 성능을 볼 수 있는 가능성을 보았다. 또한 합동훈련을 함으로써 전체 성능의 향상을 보아 학습 시간을 늘리고, 압축 잡음을 위한 초해상화 모델을 사용한다면 기존의 NNIC 보다 나은 성능을 보일 수 있는 가능성을 시사한다.