• Journal of Korean Elementary Science Education
• /
• v.36 no.4
• /
• pp.356-366
• /
• 2017

The purpose of this study is to analyze whether the required cognitive levels of the current 6th graders' science textbooks conform to the children's cognitive levels and to examine the students' sensed psychological difficulty of the current science textbooks. The eighty five students (boy: 39, girl: 46) from one elementary school were participated in this study. The results of the study are as follows. First, the 2/3 out of the contents in the six graders' science textbooks require concrete level of operation and the 1/3 out of the contents in the textbooks requires the formal level of operation. So the 70% students at the concrete operational level are likely to undergo difficulties with the 1/3 contents in the textbooks. Second, the students' psychological difficulty on the science textbooks is relatively low (approximately two out of five points) and there is not any special pattern between the cognitive level of the textbooks and the students' psychological difficulty of the textbooks.

• The Journal of Korean Association of Computer Education
• /
• v.5 no.4
• /
• pp.61-69
• /
• 2002

Software documents consist of a number of logical objects and relationships between them, and a lot of versions are generated during software development. When an object is changed, it is desirable to easily identify the change and the range of change propagation for efficient software development and maintenance. However, it is difficult to identify it in a coarse-grained object management model. To solve this problem, fine-grained object management is required. In this paper, I propose a consistency management model for fine-grained software objects based on operation history applied to edit software objects. This paper presents a formal model for consistency management at the fine-grained level. Consistency between documents is managed using dependency between objects and kinds of the operations applied to the objects so that unnecessary change propagation can be avoided.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.1
• /
• pp.60-68
• /
• 2009

Because of the reduced product life-cycle, industries are making an effort to bring down the process planning time. In the traditional approach, we have to analyze established process planning, then design the time chart based on process information and drawing the formal time chart such as SOP(sequence of operation). Thereafter, it will be converted to PLC code that is a time consuming and redundant job. Similarly, Industrial automated process uses PLC Code to control the factory; however, control information and control code(PLC code) are difficult to understand. Hence, industries prefer writing new control code instead of using the existing one. It shows the lack of information reusability in the existing process planning. As a result, to reduce this redundancy and lack of reusability, we propose SOS-Net modeling method. Unlike past stabilized process planning that is rigid to any change; our proposed SOS-Net modeling method is more adaptable to the new changes. The SOS-Net model is easy to understand and easy to convert into PLC Code accordingly. Therefore, we can easily modify the control information and reuse it for new process planning. The proposed model plays an intermediary role between process planning and PLC code generation. It can reduce the process planning and implementation time as well as cost.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.17 no.1
• /
• pp.25-34
• /
• 2021

Availability is one of the important factor for developing weapon system, because it indicates the mission capability and sustainable life cycle management of weapon system. Recently, as weapon system becomes more advanced and more complex, availability estimation becomes more important to reduce the life cycle cost of weapon system. Modeling and simulation(M&S) is useful method to describe the availability of complex weapon system applying operational environment and maintenance plan. Especially agent based model(ABM) has the strength to describe interactions between agents and environments in complex system. Therefore, this paper presents the availability estimation of weapon system using agent based model. The sample data of part list and reliability analysis is applied to build availability estimation model. User agent and mechanic agent are developed to illustrate the behavior of operation and maintenance using formal specification. Storage reliability is applied to describe failure of each parts. The experimental result shows that this model is quite useful to estimate availability of weapon system. This model may estimate more reasonable availability, if full scale data of weapon system and real field data of operation is provided.

• International Commerce and Information Review
• /
• v.11 no.3
• /
• pp.47-71
• /
• 2009

In order to implement e-trade infrastructure through the radical innovation of trade process, e-trade platform which is called 'uTradehub' has been developed for three years. After pilot operation of this platform in 2007, the formal service of e-trade such as logistics, customs and foreign exchanges had been provided in 2008. However, the usage of e-Trade platform is not the level of users' satisfaction because trade-related communities have not actively participated into e-trade platform and several functions with users requirements are necessary to develop additionally. In this regard, there are strong demands to suggest some strategies for application and usage proliferation of e-trade platform. Therefore, this paper would like to evaluate the current status of e-trade platform service and usage by the theoretical consideration of preceding researches and practical analysis of statistical data. Then, it will explore several service improvement ideas in terms of system supplementation and integration, electronic documents standardization, radical change of using fee, global connection, user oriented education and advertisement.

• International Journal of Advanced Culture Technology
• /
• v.6 no.2
• /
• pp.117-122
• /
• 2018

As evidenced through rapidly growing digital repositories and web resources, automatic metadata generation is becoming ever more critical, especially considering the costly and complex operation of manual metadata creation. Also, automatic metadata generation is apt to consistent metadata application. In this sense, metadata quality and interoperability can be enhanced by utilizing a mechanism for automatic metadata generation. In this article, a mechanism of automatic metadata extraction called ExMETA is introduced in order to alleviate issues dealing with inconsistent metadata application and semantic interoperability across ever-growing digital collections. Conceptual graph, one of formal languages that represent the meanings of natural language sentences, is utilized for ExMETA as a mediation mechanism that enhances the metadata quality by disambiguating semantic ambiguities caused by isolation of a metadata element and its corresponding definition from the relevant context. Hence, automatic metadata generation by using ExMETA can be a good way of enhancing metadata quality and semantic interoperability.

• Journal of KIBIM
• /
• v.8 no.2
• /
• pp.19-28
• /
• 2018

Recent increase in the interest and adoption of BIM for infrastructure projects has created a need for formal BIM guidelines in the civil engineering domain. Currently a BIM guideline has been developed in Korea exclusively for the road sector. However, the guideline has gaps in the specification of how BIM models should be generated, managed and applied for maximum effect in projects. This study reviewed the guidelines and tender documents of Singapore to determine potential improvements to adopt in Korea. Results showed that Korea's guideline should focus more on process integration as to stipulating BIM deliverables, encourage a common data environment, clearly distinguish between compulsory and selective BIM applications, and require data and models that can be leveraged in the operation phase of the facility.

• Journal of information and communication convergence engineering
• /
• v.6 no.2
• /
• pp.187-191
• /
• 2008

In the mobile environments for the vector map services, a map simplification work through the map generalization steps helps improve the readability of the map on a large scale. The generalization operations are various such as selection, aggregation, simplification, displacement, and so on, the formal operation algorithms have not been built yet. Because the algorithms require deep special knowledge and heuristic, which make it hard to automate the processes. This thesis proposes some map generalization algorithms specialized in mobile vector map services, based on previous works. This thesis will show the detail to adapt the approaches on the mobile environment, to display complex spatial objects efficiently on the mobile devices which have restriction on the resources.

• Journal of The Korean Association For Science Education
• /
• v.1 no.1
• /
• pp.1-14
• /
• 1978

The aims of this research are two-folds; tomake an outline of 15 experiments conducted by J.Piaget and to make an analysis of Piagetian understandiug level on child's conception of Movement and Speed. The finding of this study are as follows; 1) The outline reveals that all of the experiments(15EA.) were constructed logically under the bases of Cognitive Development i.e. Succession order or placing (2EA.), Change of location (4EA.) Qualitative Speed(6EA.), and Quantification of Speed (3EA.) etc. 2) The analysis indicates that the concept on Movement and Speed which children develop go through generally from the stage (1B) of late preoperation to the stage(3A) oarly formal operation.

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.5 no.2
• /
• pp.41-48
• /
• 1987

This paper is concerned with selection evaluation technique among three major performance evaluation techniques which are suitable for new computer system selection. It will discuss benchmarks, synthetic programs and simulation among various techniques for selection evaluation. It will show a formal technique using integer programming models for selecting a suitable job mix. It will suggest a simple method for comparing performance evaluation results. It will also provide benchmarks and synthetic program operation rules and expected outputs in appendix.