• School Mathematics
• /
• v.15 no.2
• /
• pp.389-404
• /
• 2013

Researchers have suggested that students should be experienced in progress of geometric thinking set out in naive and intuitive level and deduced throughout gradual formalization rather than completed mathematics are conveyed to students for students' understanding. This study examined naive and intuitive thinking of students by investigating students' geometric problem solving without diagrams. The students showed these naive thinking: lack of recognition of relation between problem and conditions, use of intuitive judgement depending on diagrams, lacking in understanding of role of specific case, and use of unjustified assumption. This study suggests implication for instruction in geometry.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2018.05a
• /
• pp.470-471
• /
• 2018

This paper presents a design method for combinational digital logic systems using time domain based multiplexing and common multi-terminal extension decision diagrams. The proposed method can reduce the 1)hardware, 2)logic levels and 3)pins. In the logic system design, we use two types of decision diagrams(DDs), that is the common binary decision diagrams and CMTEDDs. Also, we propose an algorithms to derive common multiple-terminal binary decision diagrams from CBDDs, and CMTEDDs from CMTBDDs. The CMTEDDs over CBDDs is more compactness in terms of number of non-terminal nodes, where the nodes for output selection variables are not included in the non-terminal nodes. In the logic design, each non-terminal nodes of an CBDDs and an CMTEDDs is realized by a multiplexer(MUX). In addition, we compare the proposed TDBM realization with the conventional one.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.6
• /
• pp.1288-1293
• /
• 2005

This paper presents a design method for multiple-output combinational digital logic systems using time domain based on multiplexing(TDBM) and common multi-terminal extension decision diagrams(CMTEDD). The CMIEDDs represents extension valued multiple-output functions, while TDBM systems transmit several signals on a single lines. The proposed method can reduce the 1)hardware, 2)logic levels and 3)pins. In the logic system design, we use two types of decision diagrams(DDs), that is the common binary decision diagrams(CBDDs) and CMTEDDs. Also, we propose an algorithms to derive common multiple-terminal binary decision diagrams(CMTBDD) from CBDDs, and CMTEDDs from CMTBDDs. The CMTEDDs over CBDDs is more compactness in terms of number of non-terminal nodes, where the nodes for output selection variables are not included in the non-terminal nodes. In the logic design, each non-terminal nodes of an CBDDs and an CMTEDDs is realized by a multiplexer(MUX). In addition, we compare the proposed TDBM realization with the conventional one.

• School Mathematics
• /
• v.4 no.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.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.3
• /
• pp.1-13
• /
• 2008

Gestwicki et. al. proposed the technique that detects and predicts the structure of object diagrams from class diagrams to get the improved drawing of object graphs. Their approach finds two predictable structures - recursive clusters and leaf clusters from class diagrams. Their approach is not practical to be applied to real programs, because the starting point is class diagram. In this work, we improve and implement their technique to apply to Java classes. We obtain the structure and relationships of classes and clusters extracted from class files. This information can be provided and used as a template of object graphs for Java execution visualization tools like JIVE.

• The KIPS Transactions:PartD
• /
• v.10D no.6
• /
• pp.971-982
• /
• 2003

The consistency of UML diagrams is a nature for checking whether diagrams are coherently designed with only one requirements and the correctness of UML Diagrams, especially it uses OCL(Object Constraint Language) which is standard constraint language in UML. Firstly we devise metamodels that are described with conponent and relationships, then we derive verification rules from each matamodels for verifying correctness and consistency, and then we formally specify the rules with OCL for automatic verification. Finally we verify the rules with USE TOOL.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.5 no.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.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2011.10a
• /
• pp.687-688
• /
• 2011

This paper presents a design method for combinational digital logic systems using time domain based multiplexing(TDBM) and common multi-terminal extension decision diagrams(CMTEDD). The proposed method can reduce the 1)hardware, 2)logic levels and 3)pins. In the logic system design, we use two types of decision diagrams(DDs), that is the common binary decision diagrams(CBDDs) and CMTEDDs. Also, we propose an algorithms to derive common multiple-terminal binary decision diagrams(CMTBDD) from CBDDs, and CMTEDDs from CMTBDDs. The CMTEDDs over CBDDs is more compactness in terms of number of non-terminal nodes, where the nodes for output selection variables are not included in the non-terminal nodes. In the logic design, each non-terminal nodes of an CBDDs and an CMTEDDs is realized by a multiplexer(MUX). In addition, we compare the proposed TDBM realization with the conventional one.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.18 no.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.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.6
• /
• pp.657-668
• /
• 2002

Software life cycle consists of requirement analysis, design, implementation, and maintenance phases, and the product of each phase has various format. The UML normalizes such products, and the class diagram, use case diagram, activity diagram and collaboration diagram are usually used for the requirement analysis phase. Because most of UML development tools store such diagrams in a file, there nay be some difficulties of information retrieval and co-work among users. To cope with the difficulties, this paper proposes a database supported methodology to store and manage the diagrams produced by the requirement analysis. In this methodology, the constituents of class, use case, activity and collaboration diagram are first analyzed and then transformed in the form of relational fables. The constituents of such diagrams are stored as tables in a database, and can be easily retrieved from the database by using some queries. This database supported methodology provides the concurrent sharing and high reuse of diagrams.