• International conference on construction engineering and project management
• /
• 2015.10a
• /
• pp.284-288
• /
• 2015

Recently, the mandate on utilizing BIM implemented by public institutions of many countries has great impact on the significantly increasing practices of BIM. The improvement of work efficiency and productivity, which is occurred by BIM adoption, depends on the consistency and accuracy of data. To maximize the benefit of BIM, the interests in BIM data quality have been enlarging all over the world. The BIM data quality pre-check, which is conducted by designer in the design phase, offers opportunities for quality improvement by continuously assessing BIM data. However, BIM quality pre-check is being conducted under arbitrary interpretation of users because of the absence of specific review factors and assessment methods for checking BIM quality. The purpose of this study is to establish an automated BIM quality pre-checking system to improve BIM design quality effectively and efficiently. It could be expected to meet the owner's requirements and to minimize the cost and time occurred additionally from revising and reproducing data by constructing consistency and accuracy of it.

• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.12
• /
• pp.615-622
• /
• 2016

Automotive control software can be a source of critical safety issues when developers do not comply system constraints. However, a violation is difficult to identify in complicated source code if not supported by an automated verification tool. This paper introduces two possible approaches that check whether an automotive control software complies API call constraints to compare their performance and effectiveness. One method statically analyzes the source code and explores all possible execution paths, and the other utilizes a model checker to monitor constraint violations for a given set of constraint automata. We have implemented both approaches and performed a series of experiments showing that the approach with model-checking finds constraint violations more accurately and scales better.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.24 no.1
• /
• pp.215-219
• /
• 2014

C programming language has undefined behaviors, which cause unintended execution of a program. When a programmer adds sanity checks without caring about undefined behaviors, compilers may misunderstand and invalidate the sanity checks. Thus, we propose an automated system to detect invalidated sanity checks by marking sanity checks in source code and checking the marks in binary code.

• Korean Journal of Computational Design and Engineering
• /
• v.20 no.2
• /
• pp.124-132
• /
• 2015

When Building Information Modeling (BIM) was introduced at the early stage, it was only utilized as a three-dimensional visualization tool. Nowadays, however, BIM is being studied for increasing design productivity and managing enormous information on building life cycle. One of the representative research is developing 'common prototype BIM libraries'. BIM data made of common prototype libraries should be utilized in various ways, quantity takeoff, code checking, energy analysis and so on. However, common prototype BIM libraries are not enough to estimate accurate cost. For example, composite wall libraries should be divided into several single objects, wall structure and finishes, for the quantity takeoff and construction cost calculation. In this paper, we are suggesting an automated division algorithm of composite wall and developing a system prototype for it. This study is expected to reduce extra modeling work and contribute to fast and accurate cost calculation in the construction.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2023.05a
• /
• pp.211-212
• /
• 2023

Building Information Modeling (BIM) design has been mandatory in Korea since 2016, and it has been gradually expanding in the industry, with a slow attempt to apply it in remodeling constructions. This is because Korea is facing a situation where many buildings are over 30 years old and require remodeling or reconstruction. The remodeling industry is also a growing market, as it saves construction time and cost compared to reconstruction. BIM is an ideal technology element for a competitive remodeling construction, as remodeling constructions face a complicated construction process from the start, including demolition, maintenance, and reinforcement to save the change process. However, there are still limitations in applying BIM to remodeling constructions, due to considerations of the existing building and the complicated requests of the inhabitants. BIM still has technical and environmental limitations for general use. In this study, I analyzed BIM application cases from existing studies and suggest what improvement points should be strengthened.

• Journal of the Korea Convergence Society
• /
• v.10 no.7
• /
• pp.15-21
• /
• 2019

Research in detecting fake information gained a lot of interest after the US presidential election in 2016. Information from unknown sources are produced in the shape of news, and its rapid spread is fueled by the interest of public drawn to stimulating and interesting issues. In addition, the wide use of mass communication platforms such as social network services makes this phenomenon worse. Poynter Institute created the International Fact Checking Network (IFCN) to provide guidelines for judging the facts of skilled professionals and releasing "Code of Ethics" for fact check agencies. However, this type of approach is costly because of the large number of experts required to test authenticity of each article. Therefore, research in automated fake news detection technology that can efficiently identify it is gaining more attention. In this paper, we investigate fake news detection systems and researches that are rapidly developing, mainly thanks to recent advances in deep learning technology. In addition, we also organize shared tasks and training corpus that are released in various forms, so that researchers can easily participate in this field, which deserves a lot of research effort.

• Korean Journal of Construction Engineering and Management
• /
• v.16 no.4
• /
• pp.60-69
• /
• 2015

Labor attendance management has traditionally been carried out by writing a table for checking an attendance of labor, which requires a lot of time and effort. As electronic devices with additions such as barcodes, Quick Response codes, and Radio Frequency Identification(RFID) have been developed, however, automated labor attendance management systems have appeared. Recently, various types of labor recognition devices converged with biometrics (fingerprint, vein, face recognition, etc.) have been released. However, although these devices can be used to check attendance automatically, there is insufficient guidance when it comes to selecting the appropriate labor attendance management system for construction sites. Therefore, this study proposed a decision framework to determine which labor attendance management system would be suitable for a construction site and to select the labor recognition device. This study investigated different labor recognition devices, focusing on how they worked, and tested the performance of devices and their usability for construction labor attendance management. The test results showed that RFID is most suitable when verifying the attendance of many laborers over a short period of time. The devices for hand vein and fingerprint recognition did not function when there was a foreign material such as cement or paint on the laborer's hand, except for a deformed finger. Reflecting these test results, this study suggested a framework for selecting a labor attendance system and recognition device; this is expected to contribute to the development of more efficient labor management systems.