• 대한수학교육학회지:학교수학
• /
• 제15권2호
• /
• pp.389-404
• /
• 2013

연구자들은 수학의 진정한 이해를 위해 단순히 완성된 체계를 전달할 것이 아니라 학생들이 소박하고 직관적 수준에서 출발하여 점진적인 형식화 단계를 거쳐 연역적인 체계로 나아가는 경험을 할 수 있도록 지도할 것을 제안해 왔다. 본 연구에서는 학생들의 시각적 예가 제시되지 않은 기하문제해결과정을 분석하여 학생들의 소박한 기하적 사고에는 어떠한 것이 있는지 조사하였다. 학생들이 보여준 소박한 사고에는 첫째, 조건과 문제의 관련성에 대한 이해 부족, 둘째, 시각적 자료에 의존한 직관적 판단의 활용, 셋째, 기하에서 특수한 사례의 역할에 대한 이해 부족, 넷째, 정당화되지 않은 가정의 사용 등이 확인되었다. 이를 교수학적으로 활용할 수 있는 방안 역시 논의되었다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2018년도 춘계학술대회
• /
• pp.470-471
• /
• 2018

본 논문에서는 최근에 디지털논리시스템의 회로 구현시에 적용되기 시작한 분할설계기법의 한가지 방법을 제안하였다. 기존의 디지털논리회로설계기법은 적용되는 개별소자를 어떻게 효과적이며 효율적으로 이용하느냐 하는 것이 큰 목적이었으나, 최근의 전자공학의 발달과 회로의 집적도가 높아짐에 따라서 디지털논리설계기법은 각각의 모듈을 구성하고 있는 소자들의 개별소자를 사용하는 것보다는 복잡하더라도 좀 더 경제적이고 다기능의 분할설계기법이 요구되고 있다. 이러한 내용을 근간으로 본 논문에서는 효과적인 분할기법을 이용한 스위칭함수구성의 한가지 방법을 제안하였다.

• 한국정보통신학회논문지
• /
• 제9권6호
• /
• pp.1288-1293
• /
• 2005

본 논문에서는 TDBM과 CMTEDD를 사용하여 다중출력조합디지털논리시스템 설계방법의 한가지를 제안하였다. 또한, CBDD와 CMTEDD를 기반으로 최종 조합디지털논리시스템 구성을 멀티플렉서를 사용하여 구현하였다. 제안한 방법은 기존의 방법에 비해 모듈사이의 내부결선을 효과적으로 줄일 수 있으며 입력변수의 쌍과 출력함수의 쌍에 의해 게이트 수를 줄일 수 있는 장점이 있다.

• 대한수학교육학회지:학교수학
• /
• 제4권2호
• /
• pp.283-296
• /
• 2002

In this study we tried to find the method of using the tangrams and the mosaic puzzles together for learning the elementary geometry in the Korean primary schools. The tangram and the mosaic puzzle activity-panels were developed and the activity-cards for them also were designed. The criteria to be used for the analyses of contents of the activity-cards were developed. We surveyed and analyzed the students' responses, A previous research had insisted that solely using the tangrams were not useful in learning about an obtuse-angled triangle in the elementary geometry (Welchman, 1999), but the combinative uses of the tangrams and the mosaic puzzles were found to extend the limits of the previous study in investigating the figures of the plain diagrams. Actually, the tangrams and the mosaic puzzles helped the students to learn the concepts of several elements of the plain diagrams such as 'angles', 'sides', and 'angular points', with students'operational comparison of the diagrams developed with them. They also provided useful clues in learning the relationship between the 'length' and the 'area' of the Plain diagrams. The students participated in the class with much activities, using the operational learning materials. They also comprehended the concepts and the principles of the elementary geometry more thoroughly, expressing their ideas in spoken or written languages through interactive communication. In conclusion, the tangram and mosaic puzzles can be used for learning the elementary geometry of the primary school level as motivative learning materials, helping students enhance diverse mathematical thinking and discover mathematical principles.

• 한국컴퓨터정보학회논문지
• /
• 제13권3호
• /
• pp.1-13
• /
• 2008

Gestwicki 등은 객체 그래프의 더 좋은 그림을 얻기 위하여 클래스 다이어그램으로부터 객체 다이어그램의 구조를 탐지하고 예측하는 기술을 제안하였다. 그들의 방법은 클래스 다이어그램으로부터 두 가지 예측 가능한 구조-되부름 덩어리 (recursive cluster)와 잎 덩어리 (leaf cluster)를 찾는다. 하지만 이 방법은 출발점이 클래스 다이어그램이므로 실제 프로그램에 적용하기에는 실제적이지 않다. 본 연구는 자바 클래스 파일에 적용하기 위하여 그들의 방법을 확장하고 구현한다. 자바 클래스 파일로부터 추출한 클래스들과 덩어리들의 구조와 관련성을 얻는다. 이 정보는 JIVE와 같은 자바 프로그램 실행 시각화 도구에게 제공되어 객체 다이어그램의 틀로 사용될 수 있다.

• 정보처리학회논문지D
• /
• 제10D권6호
• /
• pp.971-982
• /
• 2003

다이어그램의 일관성이란 하나의 요구사항으로부터 설계된 여러가지 UML 다이어그램이 통일된 의미로 작성되었는가를 나타내는 성질이고, 정확성은 사용자가 작서안 다이어그램이 UML 표준에 적합하게 작성이 되었는가를 나타내는 성질이다. 본 연구에서는 UML(Unified Modeling Language) 버전 1.4 표준에 의해 작성된 객체지향 다이어그램의 일관성과 정확성을 검즈아는 방법으로서 UML 표중의 모델제약언어로 사용되는 OCL(Object Constraint Language)을 이용하여 검증하는 방법을 제시한다. 검증의 초기작업으로서 구성요소와 관계로 표현된 각 다이어그램의 메타모델을 유도하고, 메타 모델을 통해 정확성 및 일관성 검증규칙을 유도한다. 유도된 검증규칙은 명확화와 자동화를 위하여 특징적으로 OCL을 사용하여 정형적으로 명세한다. 명세된 규칙은 USE 도구를 이용하여 그 유용성을 검증한다.

• International Journal of Naval Architecture and Ocean Engineering
• /
• 제5권1호
• /
• pp.47-61
• /
• 2013

This study compares the Residual ultimate longitudinal strength - grounding Damage index (R-D) diagrams produced by two analysis methods: the ALPS/HULL Intelligent Supersize Finite Element Method (ISFEM) and the design formula (modified Paik and Mansour) method - used to assess the safety of damaged ships. The comparison includes four types of double-hull oil tankers: Panamax, Aframax, Suezmax and VLCC. The R-D diagrams were calculated for a series of 50 grounding scenarios. The diagrams were efficiently sampled using the Latin Hypercube Sampling (LHS) technique and comprehensively analysed based on ship size. Finally, the two methods were compared by statistically analysing the differences between their grounding damage indices and ultimate longitudinal strength predictions. The findings provide a useful example of how to apply the ultimate longitudinal strength analysis method to grounded ships.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2011년도 추계학술대회
• /
• pp.687-688
• /
• 2011

본 논문에서는 최근에 디지털논리시스템의 회로 구현시에 적용되기 시작한 분할설계기법의 한가지 방법을 제안하였다. 기존의 디지털논리회로설계기법은 적용되는 개별소자를 어떻게 효과적이며 효율적으로 이용하느냐 하는 것이 큰 목적이었으나, 최근의 전자공학의 발달과 회로의 집적도가 높아짐에 따라서 디지털논리설계기법은 각각의 모듈을 구성하고 있는 소자들의 개별소자를 사용하는 것보다는 복잡하더라도 좀 더 경제적이고 다기능의 분할설계기법이 요구되고 있다. 이러한 내용을 근간으로 본 논문에서는 효과적인 분할기법을 이용한 스위칭함수구성의 한가지 방법을 제안하였다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제18권3호
• /
• pp.633-652
• /
• 2024

Software testing is an important phase as it ensures the software quality. The software testing process comprises of three steps: generation, execution, and evaluation of test cases. Literature claims the usage of single and multiple 'Unified Modeling Language' (UML) diagrams to generate test cases. Using multiple UML diagrams increases test case coverage. However, the existing approaches show limitations in test case generation from UML diagrams. Therefore, in this research study, we propose an approach to generate the test cases using UML State Chart Diagram (SCD), Activity Diagram (AD), and Sequence Diagram (SD). The proposed approach transforms UML diagrams into intermediate forms: SCD Graph, AD Graph, and SD Graph respectively. Furthermore, by integrating these three graphs, a System Testing Graph (STG) is formed. Finally, test cases are identified from STG by using a traversal algorithm such as Depth First Search (DFS) that is an optimization method. The results show that the proposed approach is better compared to existing approaches in terms of coverage and performance. Moreover, the generated test cases have the ability to detect faults at the unit level, integration, and system level testing.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제8권6호
• /
• pp.657-668
• /
• 2002

소프트웨어 생명주기는 요구분석, 설계, 구현, 유지보수 단계 등으로 구성되며, 각 단계의 산출물은 다양한 형태를 지니고 있다 이러한 산출물을 표준화한 것이 UML이며, 요구분석 단계에서는 클래스 다이어그램, 사용사례 다이어그램, 활동 다이어그램, 협력 다이어그램이 일반적으로 사용되고 있다. 기존의 UML 개발 도구들은 이러한 다이어그램을 파일에 저장하기 때문에, 다이어그램 정보를 검색하거나 다수의 개발자들이 참석하는 공동 작업시 어려움이 발생한다. 본 논문에서는 이러한 어려움을 해결하고 요구분석 단계에서의 산출물을 효율적으로 처리하기 위하여 다이어그램 정보를 데이타베이스에 저장하고 관리하는 방법을 제안한다. 이를 위해 클래스, 사용사례, 활동, 협력 다이어그램을 구성하고 있는 모든 요소들을 분류하고, 분류된 각 구성요소들을 관계형 테이블로 변환한다. 이렇게 변환된 테이블에 다이어그램 정보를 저장하고 다양한 형태의 질의를 통해 저장된 정보를 검색할 수 있도록 한다. 제안한 방법은 다이어그램 정보를 다수의 개발자가 공유하여 사용할 수 있으며 모델의 재사용에 편리성을 제공할 것이다.