• 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.

• 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에 의해 소개되었다. 하지만, 분석의 정확도에 영향을 미치는 역방향 요약 산술 연산자에 대한 연구는 아직 되어 있지 않다. 이 논문에서는 정수 합동 분석을 위한 역방향 요약 산술 연산자를 정의한다. 역방향 요약 산술 연산자를 정의하는 방법은 정수 방정식을 푸는 방법을 기반으로 고안되었다. 정의된 역방향 요약 산술 연산자는 프로그램 분석의 정확도를 높이는데 기여를 할 수 있는데, 이 논문에서는 예제를 통해서 이 사실을 보인다.

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

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

• 방재와보험
• /
• s.146
• /
• pp.56-57
• /
• 2012

이번 호에서는 광주 시민에게 편리한 최상의 행정서비스를 제공하는 "정부광주합동청사"에 방문하여 박회록 기술팀장을 만나보았다. 현재 정부청사는 정부서울청사, 정부과천청사, 정부대전청사 및 정부지방합동청사(광주, 제주, 춘천, 대구)로 분류되며, 정부세종청사 및 정부마산합동청사는 건축 중에 있다. 정부광주합동청사는 광주지역에 산재되어 있는 국가기관 청사를 한곳에 모아 지역 주민에게 종합적인 행정서비스를 신속하게 제공하기 위하여 2008년 12월에 준공되었고 현재 광주지방국세청 등 13개 특별행정기관이 입주해 있으며, 대민행정 One-Stop Service 확대는 물론 청사의 통합관리로 인력 및 예산절감 등 국유재산 활용도를 크게 높이고 있다.

• 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 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.

• 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.

• Journal of Educational Research in Mathematics
• /
• v.25 no.4
• /
• pp.499-524
• /
• 2015

In the present study, we propose four participating $8^{th}$ grade students' genetic decomposition of congruent transformation and investigate the role of their dragging activities while understanding the concept of congruent transformation in GSP(Geometer's Sketchpad). The students began to use two major schema, 'single-point movement' and 'identification of transformation' simultaneously in their transformation activities, but they were inclined to rely on the single-point movement schema when dealing with relatively difficult tasks. Through dragging activities, they could expand the domain and range of transformation to every point on a plane, not confined to relevant geometric figures. Dragging activities also helped the students recognize the role of a vector, a center of rotation, and an axis of symmetry.

• 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.