• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.31 no.4
• /
• pp.701-713
• /
• 2021

Race Condition is a vulnerability in which two or more processes input or manipulate a common resource at the same time, resulting in unintended results. This vulnerability can lead to problems such as denial of service, elevation of privilege. When a vulnerability occurs in software, the relevant information is documented, but often the cause of the vulnerability or the source code is not disclosed. In this case, analysis at the binary level is necessary to detect the vulnerability. This paper aims to detect the Time-Of-Check Time-Of-Use (TOCTOU) Race Condition vulnerability of UNIX kernel-based File System at the binary level. So far, various detection techniques of static/dynamic analysis techniques have been studied for the vulnerability. Existing vulnerability detection tools using static analysis detect through source code analysis, and there are currently few studies conducted at the binary level. In this paper, we propose a method for detecting TOCTOU Race Condition in File System based on Control Flow Graph and Call Graph through Binary Analysis Platform (BAP), a binary static analysis tool.

• Journal of the Korean Society of Industry Convergence
• /
• v.24 no.6_2
• /
• pp.729-735
• /
• 2021

Recently Artificial Intelligence(AI) has been developed and used in various fields. Especially AI recognition technology can perceive and distinguish images so it should plays a significant role in quality inspection process. For stability of autonomous driving technology, semiconductors inside automobiles must be protected from external electromagnetic wave(EM wave). As a shield film, a thin polymeric material with hole shaped micro-patterns created by a laser processing could be used for the protection. The shielding efficiency of the film can be increased by the hole structure with appropriate pitch and size. However, since the sensitivity of micro-machining for some parameters, the shape of every single hole can not be same, even it is possible to make defective patterns during process. And it is absolutely time consuming way to inspect all patterns by just using optical microscope. In this paper, we introduce a AI inspection system which is based on web site AI tool. And we evaluate the usefulness of AI model by calculate Area Under ROC curve(Receiver Operating Characteristics). The AI system can classify the micro-patterns into normal or abnormal ones displaying the text of the result on real-time images and save them as image files respectively. Furthermore, pressing the running button, the Hardware of robot arm with two Arduino motors move the film on the optical microscopy stage in order for raster scanning. So this AI system can inspect the entire micro-patterns of a film automatically. If our system could collect much more identified data, it is believed that this system should be a more precise and accurate process for the efficiency of the AI inspection. Also this one could be applied to image-based inspection process of other products.

• Education of Primary School Mathematics
• /
• v.26 no.4
• /
• pp.299-316
• /
• 2023

With the importance and necessity of using AI in the field of education, this study aims to explore elementary school teachers' perceptions of using Artificial Intelligence (AI) in mathematics education. For this purpose, we conducted a survey using a 5-point Likert scale with 161 elementary school teachers and analyzed their perceptions of mathematics education with AI via four categories (i.e., Attitude of using AI, AI for teaching mathematics, AI for learning mathematics, and AI for assessing mathematics performance). As a result, elementary school teachers displayed positive perceptions of the usefulness of AI applications to teaching, learning, and assessment of mathematics. Specifically, they strongly agreed that AI could assist personalized teaching and learning, supplement prerequisite learning, and analyze the results of assessment. They also agreed that AI in mathematics education would not replace the teacher's role. The results of this study also showed that the teachers exhibited diverse perceptions ranging from negative to neutral to positive. The teachers reported that they were less confident and prepared to teach mathematics using AI, with significant differences in their perceptions depending on whether they enacted mathematics lessons with AI or received professional training courses related to AI. We discuss the implications for the role of teachers and pedagogical supports to effectively utilize AI in mathematics education.

• Journal of the Korea Society of Computer and Information
• /
• v.25 no.5
• /
• pp.229-241
• /
• 2020

In this study, we developed a test tool to measure the computational thinking ability of middle school students and investigated their computational thinking power using the tool. The test tool used exploratory factor analysis to examine the computational thinking scales of Korkmaz et al. (2017) and derive suitable factors and questions for middle school students in Korea. The developed test tool was applied to 492 middle school students to analyze differences in computational thinking ability according to gender, grade, programming experience, type of programming language, and interest. According to the study, male Korean middle school students had higher computing power than females. In addition, students who had programming experience or used text-based rather than block-based programming languages demonstrated higher computational thinking. There was no significant difference in the computational thinking of middle school students according to grade, and the level of interest in artificial intelligence only had a slight influence on computational thinking.

• Microbiology and Biotechnology Letters
• /
• v.51 no.1
• /
• pp.69-82
• /
• 2023

Nitrilases are a hydrolase group of enzymes that catalyzes nitrile compounds and produce industrially important organic acids. The current objective is to optimize nitrilase production using statistical methods assisted with artificial intelligence (AI) tool from novel nitrile degrading isolate. A nitrile hydrolyzing bacteria Bacillus subtilis AGAB-2 (GenBank Ascension number- MW857547) was isolated from industrial effluent waste through an enrichment culture technique. The culture conditions were optimized by creating an orthogonal design with 7 variables to investigate the effect of the significant factors on nitrilase activity. On the basis of obtained data, an AI-driven support vector machine was used for the fitted regression, which yielded new sets of predicted responses with zero mean error and reduced root mean square error. The results of the above global optimization were regarded as the theoretical optimal function conditions. Nitrilase activity of 9832 ± 15.3 U/ml was obtained under optimized conditions, which is a 5.3-fold increase in compared to unoptimized (1822 ± 18.42 U/ml). The statistical optimization method involving Plackett Burman Design and Response surface methodology in combination with an AI tool created a better response prediction model with a significant improvement in enzyme production.

• Journal of Information Science Theory and Practice
• /
• v.12 no.2
• /
• pp.79-95
• /
• 2024

The new AI based conversational chatbot, ChatGPT, launched in November 2022, is causing a stir. There are many opinions about this being a 'threat or a promise,' and thus it is important to understand what has been said about this tool and, based on the growing literature that has emerged on the subject, demystify its effective impact on society. To analyse this impact, a systematic literature review with the support of the preferred reporting items for systematic reviews and meta-analysis protocol was used. The data, scientific documents, were collected using the main scientific databases - SCOPUS and Web of Science - and the results were presented based on a bibliometric and thematic exploration of content. The main findings indicate that people are increasingly using this chatbot in more diverse areas. Therefore, this study contributes at the practical level, aiming to enlighten people in general - both in professional and personal life - about this tool and its impacts. Also, it contributes at the theoretical level, which involves expanding understanding and elucidation of the impacts of ChatGPT in different areas of study.

• Computers and Concrete
• /
• v.9 no.5
• /
• pp.375-387
• /
• 2012

The objective of this investigation was to develop rules for automatic categorization of concrete quality using selected artificial intelligence methods based on machine learning. The range of tested materials included concrete containing a new waste material - solid residue from coal combustion in fluidized bed boilers (CFBC fly ash) used as additive. The rapid chloride permeability test - Nordtest Method BUILD 492 method was used for determining chloride ions penetration in concrete. Performed experimental tests on obtained chloride migration provided data for learning and testing of rules discovered by machine learning techniques. It has been found that machine learning is a tool which can be applied to determine concrete durability. The rules generated by computer programs AQ21 and WEKA using J48 algorithm provided means for adequate categorization of plain concrete and concrete modified with CFBC fly ash as materials of good and acceptable resistance to chloride penetration.

• Journal of Korea Multimedia Society
• /
• v.20 no.10
• /
• pp.1697-1709
• /
• 2017

This paper aims to investigate the effect of anticipatory motion in Wall E (2008). For the purpose of the study, first of all, an overall discussion on the definition and role of anticipation presented through the related literature review. Based on this, the present study analyzed the functions of anticipatory movements of the main characters, Wall E and EVE in 29 scenes. As a result, this paper found that anticipation is involved in expressions of humanity, thought process, utterance and intonation, the degree of emotion and energy, reinforcement of the character's intention, and biological response within the film. Overall, these findings show that anticipation takes an important part in giving the illusion of life to the characters throughout the movie, which may imply that anticipation can be beneficial for characters with abstract form or limited modality. The ultimate goal of this study is to propose that the animation principles can be used as a tool to analyze character animation and can be applied academically or industrially to other fields such as artificial intelligence.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.04a
• /
• pp.617-620
• /
• 2000

In this paper, we show an application of constraint logic programming to the operation scheduling on machines in a job shop. Constraint logic programming is a new genre of programming technique combining the declarative aspect of logic programming with the efficiency of constraint manipulation and solving mechanisms. Due to the latter feature, combinatorial search problems like scheduling may be resolved efficiently. In this study, the jobs that consist of a set of related operations are supposed to be constrained by precedence and resource availability. We also explore how the constraint solving mechanisms can be defined over a scheduling domain. Thus the scheduling approach presented here has two benefits: the flexibility that can be expected from an artificial intelligence tool by simplifying greatly the problem; and the efficiency that stems from the capability of constraint logic programming to manipulate constraints to prune the search space in an a priori manner.

• Proceeding of Spring/Autumn Annual Conference of KHA
• /
• 1995.10a
• /
• pp.85-93
• /
• 1995

Recently, the development of Artificial Intelligence(AI) and Expert System has caused some interest in the possibility of developing an intelligent CAD system. However, these development and possibility are in an extremenly early stage for Architectural design. In this study, the design process of Residence being recognized as a Constraints-satisfied model, a part of these constraints used in the Architectural design of Residence are being systematized and sorted by the design process. Those regulations and planning items to be considered in the basic planning stage are being systematized as a knowledge base system. The possibility of this knowledge-based system as an effective design tool is studied and an integrated form of Architectural design system is proposed.