• Journal of Educational Research in Mathematics
• /
• v.13 no.1
• /
• pp.25-55
• /
• 2003

In the school mathematics, the negative numbers have been instructed by means of intuitive models(concrete situation models, number line model, colour counter model), inductive-extrapolation approach, and the formal approach using the inverse operation relations. These instructions on the negative numbers have caused students to have the difficulty in understanding especially why the rules of signs hold. It is due to the fact that those models are complicated, inconsistent, and incomplete. So, students usually should memorize the sign rules. In this study we studied on the didactical phenomenology of the negative numbers as a foundational study for the improvement of teaching negative numbers. First, we analysed the formal nature of the negative numbers and the cognitive obstructions which have showed up in the historic-genetic process of them. Second, we investigated what the middle school students know about the negative numbers and their operations, which they have learned according to the current national curriculum. The results showed that the degree they understand the reasons why the sign rules hold was low Third, we instructed the middle school students about the negative number and its operations using the formal approach as Freudenthal suggest ed. And we investigated whether students understand the formal approach or not. And we analysed the validity of the new teaching method of the negative numbers. The results showed that students didn't understand the formal approach well. And finally we discussed the directions for improving the instruction of the negative numbers on the ground of these didactical phenomenological analysis.

• Asian Journal of Innovation and Policy
• /
• v.4 no.2
• /
• pp.242-262
• /
• 2015

The relationship between geographical proximity and academics' formal and informal knowledge-transfer activities in the network is analyzed with a mixed research method. With social network analysis as a basis, we have explored the networks between academics and firms in the 16 regions of South Korea. The result shows Seoul and Gyunggi are identified as central nodes, meaning that the academics in other regions tend to collaborate with firms in these regions. An econometric analysis is performed to confirm the localization of knowledge-transfer activities. The intensity of formal channels measured by the number of academic papers is negatively, but significantly associated with the geographical proximity. However, we have not found any significant relationship between the formality of the channels and geographical proximity. Possibly, the regional innovation systems in South Korea are neither big enough nor strong enough to show a localization effect.

• Journal of Information Processing Systems
• /
• v.6 no.2
• /
• pp.197-208
• /
• 2010

Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios which can preserve the original test coverage with respect to some testing criteria. We are proposing to apply Formal Concept Analysis (FCA) in analyzing the association between a set of test scenarios and a set of transitions specified in a state machine model. By utilizing the properties of concept lattice, we are able to determine incrementally a minimal set of test scenarios with adequate test coverage.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.2 no.3
• /
• pp.150-170
• /
• 2008

In recent years, main focus of research on image retrieval techniques is on content-based image retrieval. Text-based image retrieval schemes, on the other hand, provide semantic support and efficient retrieval of matching images. In this paper, based on Formal Concept Analysis (FCA), we propose a new image indexing and retrieval technique. The proposed scheme uses keywords and textual annotations and provides semantic support with fast retrieval of images. Retrieval efficiency in this scheme is independent of the number of images in the database and depends only on the number of attributes. This scheme provides dynamic support for addition of new images in the database and can be adopted to find images with any number of matching attributes.

• Journal of Computing Science and Engineering
• /
• v.5 no.1
• /
• pp.85-110
• /
• 2011

Achieving situation awareness is especially challenging for real-time data stream applications because they i) operate on continuous unbounded streams of data, and ii) have inherent realtime requirements. In this paper we showed how formal data stream modeling and analysis can be used to better understand stream behavior, evaluate query costs, and improve application performance. We used MEDAL, a formal specification language based on Petri nets, to model the data stream queries and the quality-of-service management mechanisms of RT-STREAM, a prototype system for data stream management. MEDAL's ability to combine query logic and data admission control in one model allows us to design a single comprehensive model of the system. This model can be used to perform a large set of analyses to help improve the application's performance and quality of service.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.35 no.3
• /
• pp.110-117
• /
• 2012

A product family design has received much attention over the last several decades, since a product family-based development shortens lead-times and reduces cost, as well as increases efficiency and effectiveness of the product realization process. It is challenging work, however, to define the product family design in the heterogeneous product development environments, due to myriads of products related information described in different ways across products in any companies. In this paper, we provided a way of defining product family design framework using formal concept analysis and ontology language. Based on this, the specific product family can be derived by ontological reasoning, and the new product concept can be also expanded in the framework. The proposed framework is formalized using OWL (Web Ontology Language) and implemented in $Prot{\acute{e}}g{\acute{e}}$. Actual product family design algorithm is carried out using FaCT++ engine, a plug-in to $Prot{\acute{e}}g{\acute{e}}$, and the benefits of the proposed method are also demonstrated through a case study.

• 한국노년학
• /
• v.30 no.4
• /
• pp.1027-1044
• /
• 2010

This study is to examine the effective system for providing services for long-term care elders, despite the expansion of formal care, informal care still is needed. Thus, this study's purpose is to classify the informal-formal resources linkages types of long-term care elders and looks into service satisfaction by these types and discover effective informal-formal resources linkages models. For that, this study is to divide informal-formal resources linkages types by the degree of providing services of informal and formal caregivers and discover the informal-formal resources linkages types using cluster analysis and explores the effectiveness of service satisfaction using multiple regression. The study's results is to suggest four models, such as family care, complementary, separation, formal service and complementary type was founded to be the most effective and then based on the result, we discuss as follows. First, we must strive to combine informal resources into formal service systemto the system for providing of service is made up the complementary type. Second, the system for providing services of long-term care elders is required integrated care system to alining of medical and long-term care services. Third, we have to consider a measure to improve of formal service type, for the satisfaction of formal service appears low relatively. Based on research findings, this study propose that the informal-formal resources linkages models are subdivided into the dimension of quantity and quality of care for improving the effectiveness of long-term care services.

• International conference on construction engineering and project management
• /
• 2022.06a
• /
• pp.1130-1137
• /
• 2022

The Industry Foundation Classes (IFC) provides standardized product models for the building construction domain. However, the current IFC schema has limited representation for infrastructure. Several studies have examined the data schema for road and highway modeling, but not in a sufficiently comprehensive and robust manner to facilitate the overall integrated project delivery of road projects. Several discussions have focused on slope engineering for road projects, but no solution has been provided regarding the formalized parametric modeling up to now. Iterative design, analysis, and modification are observed during the process of slope design for road projects. The practitioners need to carry out the stability analysis to consider different road design alternatives, including horizontal, vertical, and cross-section designs. The procedure is neither formalized nor automated. Thus, there is a need to develop the formal representation of the product and process of slope analysis for road design. The objective of this research is to develop a formal representation (i.e., an IFC extension data schema) for slope analysis. It consists of comprehensive information required for slope analysis in a structured manner. The deliverable of this study contributes to both the formal representation of infrastructure development and, further, the automated process of slope design for road projects.

• Journal of the Korean Society of Costume
• /
• v.58 no.1
• /
• pp.133-150
• /
• 2008

The purpose of this study was to recognize of the sizing system and analyze the fitting on formal pants of the on-line shopping mall for plus-sized women. To pursue this purpose, the investigation of the sizing system was focused on 22 online companies. The formal pants of 7 companies was selected among them. And actual sizes were compared with the guidance sizes of goods. For the assessment about the fitting on formal pants of 7 online companies, these came to make on to 16 obese women with 'A' body shaped and 'O' body shaped. A data analysis used the SPSS 14.0 statistics program. To verify the difference, this study used the variance analysis and Duncan's test for the postmortem verification. The result was as follows. 1. All of 22 companies were using the symbol such as 88, 99, 100 and 110 in the present condition of sizing system. The information about products size was presenting the products size not to be the body size. the guidance sizes of products were different from actual sizes of 7 companies to be assorted. Therefore, the guidance sizes of goods could not accomplish the facility. 2. According to the fitting-tests by the sensory assessment, the obese women with 'A' body shaped, did the dissatisfaction at the items of the hip circumference, abdominal region, crotch deep and pants length. The obese women with 'O' body shaped, did the dissatisfaction at the the items of crotch deep and pants length.

• Journal of Advanced Marine Engineering and Technology
• /
• v.33 no.2
• /
• pp.362-367
• /
• 2009

Formal Safety Assessment(FSA) was introduced by the IMO as "a rational and systematic process for accessing the risk related to maritime safety and the protection of the marine environment and for evaluating the costs and benefit of IMO's options for reducing these risks". FSA can be used as a tool or a rule making process to help develope new rules and regulations. The purpose of this paper is to conduct a general review of the FSA methodology and to propose ways to use it in rule making process of machinery parts.