• Journal of the Society of Disaster Information
• /
• v.20 no.1
• /
• pp.60-68
• /
• 2024

Purpose: When designing plants and workplaces such as handling and using chemicals, a system that can automatically determine whether the design has been made in compliance with domestic safety management laws is established to shorten the review time and increase accuracy. Method: Safety design standards for chemical handling and use workplaces were investigated, and types and systems were derived that could automatically judge design errors by dividing the articles into semantic units. Result: An automatic design review method performed when designing a building was proposed, and a system that can review the safety design requirements required when designing a chemical handling business site through the development of a rule checker was proposed. After confirming whether the law is subject to application, the safety design rules are classified into semantic units through preprocessing. The classified results can be classified into four types, and the specifications, space, conditions, situations, and specific devices and facilities to reinforce safety were analyzed as representative types. It proposes a system that prepares a diagram for the safety design rule and allows it to be reviewed through the rule checker program.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.04a
• /
• pp.633-636
• /
• 2017

This paper presents a cloud service called CDLint for checking and analyzing the Javascript code dynamically. The correctness of Javascript code is becoming more important since it can also run on the server side as well as the client side. There are several analysis systems for checking the bad code in JavaScript but they seem like have one or more weaknesses. CDLint is developed based on an existing work named DLint which is a powerful bad JavaScript checker. Compared with similar systems, CDLint shows the best performances with respect to the system extensibility, the freedom to use without installation, the automatic parsing of JavaScript code from website, and the environment configuration for JavaScript code checking.

• International Journal of Contents
• /
• v.6 no.3
• /
• pp.1-4
• /
• 2010

The national management and retrieval service of the national scholar Content DB are very important. High quality content can improve the user's utilization and satisfaction and be a strong base for both the citation index creation and the calculation of journal impact factors. Therefore, the system is necessary to check data quality effectively. We have closely studied and developed a webbased data quality checking system that will support anything from raw digital data to its automatic validation as well as hands-on validation, all of which will be discussed in this paper.

• Proceedings of the Korean Institute Of Construction Engineering and Management
• /
• 2008.11a
• /
• pp.690-693
• /
• 2008

Recently, the trend has been for buildings to become larger and more sophisticated, and this has created safety issues. Because the buildings are big it takes lots of time to check building codes related to anti-disaster and safety manually, and there is the high possibility of making mistakes. Due to these problems, according to a study, 83% of architecture and construction workers believe that an automated code-checking system is needed. This study researches past automated code checking systems and research activity, and using Building Information Model (BIM) technology, determines the feasibility of developing a system to automatically check domestic codes related to egress and anti-disaster. This paper describes the necessity of an automated building code checking system and expected effects. It then reports whether the methods used in previous studies can be deployed in domestic building code checking and discusses problems and limitations. It also suggests an alternative approach. Although this study covers limited codes related to egress, we need to find out what is needed for automatic general code checking system and do further studies for that.

• Journal of the Korean Society for Precision Engineering
• /
• v.20 no.12
• /
• pp.105-114
• /
• 2003

In this study, a dicing machine with vision system was built and an algorithm for automatic alignment was developed for dual camera system. The system had a macro and a micro inspection tool. The algorithm was formulated from geometric relations. When a wafer was put on the cutting stage within certain range, it was inspected by vision system and compared with a standard pattern. The difference between the patterns was analyzed and evaluated. Then, the stage was moved by x, y, $\theta$ axes to compensate these differences. The amount of compensation was calculated from the result of the vision inspection through the automatic alignment algorithm. The stage was moved to the compensated position and was inspected by vision for checking its result again. Accuracy and validity of the algorithm was discussed from these data.

• Journal of Korean Society on Water Environment
• /
• v.28 no.2
• /
• pp.300-304
• /
• 2012

It has a limitation to satisfy the phosphorus effluent criteria of 0.2 mg/L which will be reinforced from 2012 with the Biological Nutrient Removal (BNR) process. The chemical coagulation process has been operated in parallel with the biological treatment process for advanced treatment of phosphorous in the developed countries including Europe. However, the coagulation process has some disadvantages such as the desired goal may not be achieved without injecting the optimum dosage of the coagulant. This study developed the automatic control system to inject the optimum dosage of phosphorous coagulant into the coagulation process. The adopted coagulant was 10% Poly Aluminum Chloride (PAC) in this study. The automatic control system developed in this study was adopted for the treatment of the phosphorus from the effluent in SBR process. The automatic control system was composed of the data receiving part, the optimum coagulant dosage control part and the data transmit part. The result of the phosphorous advanced treatment of the SBR effluent using the automatic control system showed the removing efficiency over 95% consistently with the phosphorous concentration under 0.02 ~ 0.15 mg/L. The reproducibility analysis for checking the safety of automatic control system showed more than 95% correlation.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06a
• /
• pp.64-65
• /
• 2008

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.1
• /
• pp.123-136
• /
• 2013

The Feature model can not be guaranteed the syntactic accuracy of its model and be difficult the validation using automatic tool for its syntax, because this model is expressed by a graphical and informal structure in itself. Therefore, there is a need to formalize and check for the feature model, to precisely define syntax for construct of the model. This paper presents a Z formal specification and a model checking mechanism of the feature model to guarantee the correctness of the model. It first defines the translation rules between feature model and Z, and then converts the syntax of the feature model into the Z schema specification by applying these rules. Finally, the Z schema specification is checked syntax, type, and domain errors using the Z/Eves validation tool to assure the correctness of its specification, With the use of the proposed method, we may express more precisely the construct of the feature model. Moreover the domain analyst are able to usefully verify the errors of the generated feature model.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.18 no.1
• /
• pp.19-24
• /
• 2023

In traditional fish farming way, the workers have to observe all of the pools every time and every day to feed at the right timing. This method causes tremendous stress on workers and wastes time. To solve this problem, we implemented an automatic detection system for feeding time using deep neural network. The detection system consists of two steps: classification of the presence or absence of feed and checking DO (Dissolved Oxygen) of the pool. For the classification, the pretrained ResNet18 model and transfer learning with custom dataset are used. DO is obtained from the DO sensor in the pool through HTTP in real time. For better accuracy, the next step, checking DO proceeds when the result of the classification is absence of feed several times in a row. DO is checked if it is higher than a DO reference value that is set by the workers. These actions are performed automatically in the UI programs developed with LabVIEW.

• Korean Journal of Construction Engineering and Management
• /
• v.14 no.5
• /
• pp.131-143
• /
• 2013

There is the difference of criteria to apply guidelines among the project participants and to depend on the purpose of utilizing BIM models, although modeling criteria are basically provided through BIM guidelines. Therefore, it is quite important to check compliance with guidelines to raise quality of the BIM model. But Quality Checking (QC) items and method for BIM model modeled in accordance with guidelines is not provided. This study suggested QC items and Rule Specifications(RS) for automatic QC. First of all, QC items were derived by analyzing domestic BIM guidelines and a process for structuring natural language is conducted by utilizing flowchart and pseudocode. So, by combining them, RS was suggested. Finally, RS-based case study was conducted by implementing automatic QC process with solibri model checker$^{TM}$. This study will contribute to the improvement of design quality and completeness of BIM model including huge data of 3 dimension. Furthermore, it is necessary to develop BIM guidelines according to the use case and to provide detailed process and standard for QC of BIM model.