• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2021.05a
• /
• pp.19-21
• /
• 2021

In this paper, we introduce the model so-called Explainable Fact-Checking model based on attention mechanism which shows both the result of fact check of the news and the evidence of verdict. Recently, several news surge on media, so fact check attracts much attentions. However, in present fact check relies on the search made by journalists and members of fact check orgainzation, so there is some researchs about automated fact checking. Therefore in this paper we propose explainable automated fact checking model.

• 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.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1992.10a
• /
• pp.228-232
• /
• 1992

The integrated management system IMMC system) is developed for machining, measuring and checking by using IBM-PC under Borland C $\^$++/ environment. MMC system consists of following systems : DNC system, MascMC system (for measuring and checking) and MascCAM system : DNC system, MascNC system (for measuring and checking) and MascCAM system (for CAM). And some other modules support MMC system for practical usages. A vertical machining center equipped with FANUC 0MC is used for experiments. Feasibility of the system is confirmed by a large amount of experiments.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.346-348
• /
• 2004

시스템의 안정성을 검증하는 Model Checking(모델 검증)은 여러 가지 분야에서 기본적으로 중요하게 사용되어왔다. 하지만 Model Checking의 특성상 Computing Power가 많이 필요한 점과 최근 소프트웨어의 대형화, Ubiquitous 환경에서의 잦은 변화가 필요한 점 등으로 Model Checking 을 그대로 적용하기 어렵다. 따라서 이 논문은 점증적인 변화에 따른 필요한 부분만 검증하는 점증적 모델 검증을 소개한다.

• Journal of Ship and Ocean Technology
• /
• v.6 no.3
• /
• pp.26-36
• /
• 2002

Yaw-checking and course-keeping ability in IMO's ship rnanoeuvrability standards is reviewed from the viewpoint of safe navigation. Three kinds of virtual series-ships, which have different course instability, are taken as test models. The numerical simulation on Z-test is carried out in order to examine the correlation between known manoeuvrability in spiral characteristics and various kinds of overshoot angle. Then simulator experiments are executed with series-ships in a curved, narrow waterway by five pilots in order to examine the correlation between known manoeuvrability and degree of manoeuvring difficulty. IMO criteria for yaw-checking and course-keeping ability are discussed and new criteria are proposed.

• IE interfaces
• /
• v.21 no.4
• /
• pp.378-384
• /
• 2008

Small sized companies have not been successful in systematically applying statistical process control because of insufficient human resources. In this paper we present a case study of automatic checking system for a small sized company which produces various types of gears. A systematic way of automatically measuring gears is proposed and statistical analysis methods are presented. To reduce variation in the measurement data, a standard operating procedure is also proposed. This case study can be helpful to quality assurance practitioners of small sized companies who are willing to develop checking or inspection systems for their products.

• Journal of Navigation and Port Research
• /
• v.27 no.6
• /
• pp.631-638
• /
• 2003

Yaw-checking and course-keeping ability in IMO's ship manoeuvrability standards are reviewed from the viewpoint of safe navigation. Three kinds of virtual series-ships, which have different course instability, are taken as test models. The numerical simulation on Z-test is carried out in order to examine the correlation between known manoeuvrability in spiral characteristics and various kinds of overshoot angle. Then simulator experiments are executed with series-ships in a curved, narrow waterway by six operators(five active pilots and one ex-captain) in order to examine the correlation between known manoeuvrability and degree of manoeuvring difficulty. IMC criteria for yaw-checking and course-keeping ability are discussed and revised criteria are proposed.

• Journal of the Korean Society for Railway
• /
• v.9 no.6 s.37
• /
• pp.725-731
• /
• 2006

Hot Standby sparing system detecting faults by using software, and being tolerant any faults by using Hardware Redundancy is difficult to perform quantitative reliability prediction and to detect real time faults. Therefore, this paper designs Hot Standby sparing system using hardware basis self checking logic in order to overcome this problem. It also performs failure mode analysis of Hot Standby sparing system with designed self checking logic by using FMEA (Failure Mode Effect Analysis), and identifies reliability assessment of the controller designed by quantifying the numbers of failure development by using FTA (Fault Tree Analysis)

• Journal of the Korea Furniture Society
• /
• v.10 no.2
• /
• pp.29-36
• /
• 1999

During a radio-frequency/vacuum plus press drying process of some hardwood veneers for decoration we investigated the effect of a grain and thickness of a veneer sheet on drying rates, variations of final moisture content within a bundle of veneer sheets, and formation of checking, end waving, and burning mark. About thirty three hundreds sheet of veneer could be dried in sixty five hours from green to in0-use moisture content, and a final moisture content was significantly effected by initial moisture content of veneer. There were nearly variations in a final moisture content among the veneer sheets in the same bundle. A checking was never found in a edge-sliced veneer, and very slight in a flat-sliced veneer of ash and red oak. There were no end waving and no burning mark in all veneer sheets.

• Journal of Korea Multimedia Society
• /
• v.21 no.4
• /
• pp.535-544
• /
• 2018

Developing a new texture path tool is crucial in 3D industries to automatically manage and set up texture paths for characters and environment modelings. For a better study, I compare the problems, methods and functions of the new tool(SongRepath tool) with other commonly used tools such as File Path Editor, Genie, He Texture Path. Next, I analyze the top down method system for these commonly used tools, and create a new bottom-up algorithm for a better use and efficiency. Finally, analyzing and comparing SongRepath tool with other tools in terms of operation in convenience, steps for results, checking number of Texture files, checking the numbers of new paths, checking the numbers of files not found, checking the numbers of path not changed, errors or problems, and availability of cancelation while proceeding the result. As a result, this study shows that SongRepath tool has less errors and saves more time on the processing works.