• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.25 no.11
• /
• pp.631-639
• /
• 2013

This study derives quality checking items in Building Mechanical Systems Design Criteria, and suggests quality criteria to review BIM models in the duct system of an air conditioning system for rule-based automatic checking. First, components for the duct system of an air conditioning system were reviewed, and the quality checking items were drawn from Building Mechanical Systems Design Criteria, through assessment according to object, attribute and relationship composing the BIM model. Second, quality checking types were derived, by analyzing the quality checking items and Rule set of the Solibri Model Checker. Finally, methods of algorithm functioning for checking the BIM models for mechanical systems in computers were drawn, and Elements to comprise the quality checking criteria (rule) were suggested. This study means that that checking items are derived from domestic criteria, and a way for the development process of determining quality checking criteria (rules) is suggested.

• Journal of the Korean Society of Safety
• /
• v.8 no.3
• /
• pp.64-72
• /
• 1993

A large prropotion of structural failures are due to human error at the design stage of a structural engineering project, and many of these failures could have been prevented if there had been proper design checking. Analyses of the data from the 6 engineering firms and 24 professional engineer practitioners are shown on diagrams, also applicated for suggested models; overview checking. And then analyzed results of current work in this area, which examine the effects of error magnitude, are compared to the limit data obtained from the surveys. Overview checking only is analyzed of three typical design checking processes; self checking; Independent detailed checking, and overview checking.

• Journal of KIISE:Software and Applications
• /
• v.34 no.8
• /
• pp.743-751
• /
• 2007

Model checking has been successfully applied to hardware verification. Software is more subtle than hardware with respect to formal verification due to its infinite state space. Although there are many research activities in this area, bounded model checking is regarded as a promising technique. Bounded model checking uses an upper bound to unroll its model, which is the main advantage of bounded model checking compared to other model checking techniques. In this paper, we applied bounded model checking to verify BIR which is the input model for the model checking tool BOGOR. Some BIR examples are verified with our technique. Experimental results show that bounded model checking is better than explicit model checking provided by BOGOR. This paper presents the formalization of BIR and the encoding algorithm of BIR into CNF.

• International Journal of Advanced Culture Technology
• /
• v.9 no.3
• /
• pp.352-359
• /
• 2021

The purpose of this study is to design and build fake news discrimination systems and methods using fact-checking guidelines. In other words, the main content of this study is the system for identifying fake news using Artificial Intelligence -based Fact-checking guidelines. Specifically planned guidelines are needed to determine fake news that is prevalent these days, and the purpose of these guidelines is fact-checking. Identifying fake news immediately after seeing a huge amount of news is inefficient in handling and ineffective in handling. For this reason, we would like to design a fake news identification system using the fact-checking guidelines to create guidelines based on pattern analysis against fake news and real news data. The model will monitor the fact-checking guideline model modeled to determine the Fact-checking target within the news article and news articles shared on social networking service sites. Through this, the model is reflected in the fact-checking guideline model by analyzing news monitoring devices that select suspicious news articles based on their user responses. The core of this research model is a fake news identification device that determines the authenticity of this suspected news article. So, we propose news article identification methods with fact-checking guideline on Artificial Intelligence & Bigdata. This study will help news subscribers determine news that is unclear in its authenticity.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1994.10a
• /
• pp.847-851
• /
• 1994

Existing CAD systems do not provide the advanced function for systematic checking of design and drafting errors in mechanical drawings. This paper describes a method for systematic checking in mechanical drawings. The checking items are deficiency and redundancy of dimensions, input-errors in dimension figures and symbols, etc. Checking for deficiency and redundancy of global dimensions has been performed applying Graph Theory. This system has been applied to several examples and we have confirmed the feasibility of this design checking method.

• Journal of Computing Science and Engineering
• /
• v.3 no.4
• /
• pp.260-277
• /
• 2009

In this paper we propose a model for checking integrity constraints of mobile databases called Three-Level (3-L) model, wherein the process of constraint checking to maintain the consistent state of mobile databases is realized at three different levels. Sufficient and complete tests proposed in the previous works together with the idea of caching relevant data items for checking the integrity constraints are adopted. This has improved the checking mechanism by preventing delays during the process of checking constraints and performing the update. Also, the 3-L model reduces the amount of data accessed given that much of the tasks are performed at the mobile host, and hence speeds up the checking process.

• Journal of Information Science Theory and Practice
• /
• v.11 no.1
• /
• pp.1-13
• /
• 2023

This study determines how social media users (SMUs) verify the information they come across on the Internet. It determines SMUs' perception of online fact-checking services in terms of their ease of use, usefulness, and trust. By conducting a focus group discussion and key informant interviews, themes were derived in determining fact-checking practices while a survey was further conducted to determine such perceived ease of use, usefulness, and trust in fact-checking services. The thematic analysis revealed major information verification practices, such as cross-checking and verifying with other sources, inspecting comments and reactions, and confirming from personal and social networks. The results showed that SMUs considered fact-checking services easy to use. However, a concern was raised about their usefulness stemming from the delayed action in addressing the information issues that need to be verified. As to perceived trust, it was found that SMUs have reservations about fact-checking services. Finally, it is believed that fact-checking services are expected to be credible and need to be promoted to mitigate any form of fake news, particularly on social media platforms.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2004.04a
• /
• pp.329-334
• /
• 2004

This paper proposes Internet-based checking scheme for machine-tools with a variant CNC. Checking points defined in this research are classified into two categories such as structured point and operational point. The formal includes the vibration of bearing, temperature of spindle unit and another periodical management. And the latter includes oil checking, clamp locking/unlocking and machining on/off status. Through this research, for the global management of variant CNC machines interspersed with CAC and OAC in manufacturing system, the suitable environment for Internet-based checking of variant CNC machines was designed and the checking methods for CAC and OAC machines were compared with each other.

• Journal of the Korea Furniture Society
• /
• v.19 no.2
• /
• pp.116-123
• /
• 2008

Kiln schedule development was based on two schedule phases, the first being to determine the maximum safe kiln temperature during the check prone initial stage of drying, with the second stage determining how to accelerate drying once the danger of checking had passed. This was achieved by using 38 mm thick boards which were pre-screened for susceptibility to internal checking, and then drying matched sample boards over a range of kiln temperatures. Research has shown that below 50% MC there is no further risk of internal checking. However, difference in drying rate due to board width and the increased occurrence of wet patches in wide boards means that it is essential to modify the basic schedule according to the maximum board width. A condition of 52/40 $^{\circ}C$ was selected for the checking-free initial kiln drying step and a 5-step kiln-schedule dried the boards from 109% to 8% MC for 72.5 hours without internal checking.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.14 no.10
• /
• pp.2310-2316
• /
• 2010

This paper presents an application of retiming to model checking, a branch of formal verification. Retiming can change the transition relation of a circuit without changing its input-output behaviour by relocating its registers. With the retiming, a given circuit can have a different structure more adequate for model checking. This paper proposes a cost function to reflect the number of registers and the characteristic of its transition relation and develops a heuristic annealing algorithm to search efficiently the circuit structures obtained by retiming. Experimental results show that the proposed method can improve the model checking performance.