• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.5
• /
• pp.1039-1048
• /
• 2019

Symbolic execution, an automatic search method for vulnerability verification, has been technically improved over the last few years. However, it is still not practical to analyze the program using only the symbolic execution itself. One of the biggest reasons is that because of the path explosion problem that occurs during program analysis, there is not enough memory, and you can not find the solution of all paths in the program using symbolic execution. Thus, it is practical for the analyst to construct a path for symbolic execution to a target with vulnerability rather than solving all paths. In this paper, we propose a static analysis - based backward CFG(Control Flow Graph) generation technique that can be used in symbolic execution for program analysis. With the creation of a backward CFG, an analyst can select potential vulnerable points, and the backward path generated from that point can be used for future symbolic execution. We conducted experiments with Linux binaries(x86), and indeed showed that potential vulnerability selection and backward CFG path generation were possible in a variety of binary situations.

• Journal of Convergence for Information Technology
• /
• v.8 no.3
• /
• pp.175-181
• /
• 2018

The purpose of this study is to explore the educational needs of learning supporting program on the students' perception of current competencies and important competencies. The data was collected by using the online type (e-mail survey) and the offline type (printed survey) with survey instrument developed by researcher. Survey instrument was composed of 3 categories and 10 competencies. Collected data was analyzed using the SPSS 21.0 for Windows statistical package. And 159 cases were analyzed finally. The paired t-test was conducted to analyze the difference between importance-performance of students' competencies. The educational needs of learning supporting program were calculated by using the Borich's formula. The findings were as follows: The first, 3 categories and 10 competencies were significant difference exists statistically. The second, The high ranks of the educational needs of learning supporting program were 'Major field knowledge', followed by 'Creativity', 'Problem solving ability', 'Global capability', 'Technology capability' in sequence. The results of this study reflected the authentic needs of students will be used a basic data to establish the curriculum for learning supporting program.

• Journal of the Korea Society of Computer and Information
• /
• v.11 no.3
• /
• pp.21-30
• /
• 2006

This study applies the cognitive apprenticeship theory a representative learning theory of constructivism. to design and create a web courseware for data device operator license. to enable research that begins with peripheral participation in Problem solving and ends with full participation and initiative, to act as a medium for assisting students in learning, to enable adaptation to actual situations through simulation studies, to allow aggressive interaction, and to help reinforce the level of data processing with regard to learning. The student was made to evaluate learning materials at real time for feedback on insufficient areas, to enable effective learning. The study was done by offering a web courseware without applying the cognitive apprenticeship theory and a web courseware with the cognitive apprenticeship theory, which was followed by an evaluation on study achievement level and learning behavior and then a survey was done after the evaluations. The results of this study were first, the learning group with web courseware applying cognitive apprenticeship theory showed more effect in improving learning achievement than the group with web courseware without the cognitive apprenticeship theory. Secondly, learning with web courseware applying cognitive apprenticeship theory was more effective for improving learning behavior.

• Journal of the Korea Organic Resources Recycling Association
• /
• v.19 no.2
• /
• pp.55-69
• /
• 2011

Use of disposer at the kitchens of Korean apartments is inevitable in treating their foodwaste having a water content of more than 80%. Also we have to ensure that this extra disposer-foodwaste BOD loadings be treated properly by installing/operating a pre-treatment system before this wastewater enters public sewer system. However, the degree of BOD removal should not be excessive since a BOD/N ratio higher than 5 is required for removing N/P at a municipal wastewater treatment plant. The removal of BOD/N in the pretreatment system rather than BOD alone can be an alternative solution in solving this problem. The particles separated by sedimentation, screen or packed-bed can be anaerobically digested at apartment sites to generate biogas that can be used for simple digester heating and to generate volatile fatty acids (VFAs) for nitrogen removal. We suggest that Korean government grants a temporary license (say for 5 years) to foodwaste treatment companies in collaboration with apartment construction companies which may do business and develop various kinds of disposer-foodwaste treatment systems in diverse wastewater discharge systems of Korean apartments.

• Journal of Navigation and Port Research
• /
• v.45 no.4
• /
• pp.224-230
• /
• 2021

It has been 16 years since the government announced its first Ocean Education Policy in 2005. Although the public consensus on the importance of ocean education has been formed, it is impossible to objectively analyze the impact of the policy on the society or the economy. The aim of this paper was to identify differences in perceptions and behaviors about the ocean between groups participating in ocean education and non-participating groups and to analyze the effectiveness of ocean education by developing measurement indicators for the value that individuals gave to ocean education services. To conduct this study, first, the value of ocean education was defined and value items that could be provided to individuals were classified. Second, to develop indicators that could measure classified value items, a Delphi survey was conducted to collect opinions of various experts. Third, by measuring the content validity ratio (CVR) for each item, final indicators and questionnaire were derived. As a result of Delphi analysis, 18 items with a CVR value of 0.6 or higher were finally adopted out of 32 indicator items. In the cognitive value category, indicators that could identify an individual's level of knowledge of the ocean, change in perception, and problem-solving ability were selected. In the behavioral value category, indicators were expanded to judge changes in attitudes and relationships toward the ocean and responsible behavior in more detail. This study is meaningful in that it provides the basis for directly judging the value of ocean education service provided by the government to the people. Results of such analysis are expected to contribute to securing a stable budget and the justification for expanding human resources in the government's continuous promotion of ocean education policies.

• Korean Journal of Construction Engineering and Management
• /
• v.22 no.6
• /
• pp.3-14
• /
• 2021

In the Chinese construction industry, the utilization of Building Information Modeling (BIM) aims to increase the total output of the construction industry by solving the problem of inefficient interoperability in the construction industry. In 2011, the Chinese Ministry of Housing and Urban-Rural Development despite the technical advantages of BIM and the government policy, the BIM adoption rate in China is lower than 45%. Meanwhile, as the South Korean construction industry is a step ahead of its Chinese counterpart in introducing and utilizing BIM, it is expected that BIM is more actively utilized and accepted in South Korea than in China. According to a comparative study based on the hype-cycle theory, South Korea is at a more advanced stage of introducing BIM, than in China. This study aimed to suggest how to increase BIM utilization rates in China. To this end, this study comparatively analyzed factors affecting BIM acceptance between China and South Korea. For the comparative analysis of the BIM acceptance factors between China and South Korea, literature reviews on the technology acceptance model (TAM) and BIM acceptance model were carried out, and based on that, the BIM acceptance factors were classified. Other BIM acceptance factors were also added and considered, as they reflected Chinese national characteristics and construction industry. As for the derived BIM acceptance factors, construction project participants, especially actual BIM users in China and South Korea, were targeted for the survey. A t-test using SPSS 22.00 was carried out to identify significant differences in data. Finally, based on the t-test results, this study suggested ways of improving the BIM utilization rate in China. Based on the findings, this study is expected to contribute to activating BIM adoption in the Chinese construction industry and also to set a theoretical foundation for future studies on BIM utilization in the industry.

• Smart Media Journal
• /
• v.10 no.2
• /
• pp.61-69
• /
• 2021

Wayfinding is a 'Process solving problem to find destination', and it is important to select spatial data for optimal way. Recently, due to the complexity of space and the expansion of the medium of the wayfinding service, it is necessary to the approach on the information design for them. Therefore, the purpose of this study is to propose a meta guideline on the information design for the design of orientation sign, which is an important cognitive clue in the wayfinding. It was conducted in 3 stages, First, a design process was proposed and design elements were derived for each step by literature research related to information and sign design, and analysis of manual for signage design. Second, a meta guideline for information organization and visualization in the three-stage design process was proposed by FGI and analysis. Third, the meta guideline was applied to the sign design on an area for user evaluation to inspect the applicability of the meta guideline. Through the user questionnaire, the possibility of applying the guideline for visualization of directions and spaces, information hierarchy according to spatial characteristics and information priority was identified. It is meaningful in that necessary element for signage design are systematized centering on the process and that it presents a macroscopic methodology according to spatial characteristics.

• Journal of The Korean Association of Information Education
• /
• v.25 no.5
• /
• pp.691-704
• /
• 2021

The development of AI technology has brought about a big change in our lives. The importance of AI and data education is also growing as AI's influence from life to society to the economy grows. In response, the OECD Education Research Report and various domestic information and curriculum studies deal with data literacy and present it as an essential competency. However, the definition of data literacy and the content and scope of the components vary among researchers. Thus, we analyze the semantic similarity of words through Word2Vec deep learning natural language processing methods along with the definitions of key data literacy studies and analysis of word frequency utilized in components, to present objective and comprehensive definition and components. It was revised and supplemented by expert review, and we defined data literacy as the 'basic ability of knowledge construction and communication to collect, analyze, and use data and process it as information for problem solving'. Furthermore we propose the components of each category of knowledge, skills, values and attitudes. We hope that the definition and components of data literacy derived from this study will serve as a good foundation for the systematization and education research of AI education related to students' future competency.

• Journal of Internet Computing and Services
• /
• v.22 no.5
• /
• pp.47-55
• /
• 2021

Analysis of research trends in specific subject areas is performed by examining related topics and subject changes by using topic modeling techniques through keyword extraction for most of the literature information (paper, patents, etc.). Unlike existing research methods, this paper extracts topics related to the research topic using the LDA topic modeling technique for the project information of national R&D projects provided by the National Science and Technology Knowledge Information Service (NTIS) in the field of artificial intelligence. By analyzing these topics, this study aims to analyze research topics and investment directions for national R&D projects. NTIS provides a vast amount of national R&D information, from information on tasks carried out through national R&D projects to research results (thesis, patents, etc.) generated through research. In this paper, the search results were confirmed by performing artificial intelligence keywords and related classification searches in NTIS integrated search, and basic data was constructed by downloading the latest three-year project information. Using the LDA topic modeling library provided by Python, related topics and keywords were extracted and analyzed for basic data (research goals, research content, expected effects, keywords, etc.) to derive insights on the direction of research investment.

• Journal of Korean Home Economics Education Association
• /
• v.33 no.2
• /
• pp.57-80
• /
• 2021

The purpose of this research is to develop a Home Economics education curriculum that can promote citizenship through critical literacy. To this end, the 'housing' area in the 2015 revised curriculum of home economics and textbooks were analyzed from a critical literacy perspective. Using Laster(1986)'s critical science curriculum development course and "A Teacher's guideFamily, Food and Society"(Staaland & Storm, 1996), a 'Citizenship raising curriculum of home economics education in the housing area.' was developed. The results of this research are as follows. First, when the the curriculum was examined, the teaching objectives of the overall subject, or the achievement criteria, learning elements, and evluative methods of the housing area consisted of practical problem solving curriculum that can include critical literacy content. In addition, as a result of analyzing the text of the three textbooks' housing areas, it was found that most of them were described as adapting to and coping with the current culture, and few problems or social issues were mentioned that could lead to critical literacy. Second, the housing area curriculum for critical literacy learning was developed, with a total of 13 plan of 7 modules including continuous interests, valued ends, learning contents, and 26 learning materials including reading materials, and video materials. Based on the findings, the next curriculum and textbook should address social issues related to critical literacy and various classes of housing, and teachers' communities and training should be operated to support teachers who can be examplary for practical reasoning and critical thinking.