• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2012년도 춘계 학술논문 발표대회
• /
• pp.317-318
• /
• 2012

Although installations and usages of gang-form that has advantages of preventing fall disaster, the serious disasters from gang-form occur every year. This research focused on the continuous prevention of disasters in construction of outer wall of apartment working site through step by step safety management worker's checking table. The result is the worker's checking table for safety management in apartment gang-form works, through safety guidelines case studies, interviews with safety management experts and then extracting a check list.

• 한국CDE학회논문집
• /
• 제20권1호
• /
• pp.22-35
• /
• 2015

As BIM in the construction industry has been activated, the building information reliability - design quality is getting important. Meanwhile, it is still difficult to reflect the quality control experience to the modelling since the current methods are strongly rely on a certain BIM tools or systems with formal logics and limited information for quality checking. Therefore, the checking results may contain a lot of issues unrelated or unnecessary to the BIM qualities. In order to overcome this problem, we firstly performed clash check using a conventional checking tool and secondly interpret the results by an Expert System to filter out more meaningful results. We found this study gave a confirmation that it is possible to improve clash quality control when we link the expert experience to the rule-based automatic checking system.

• Journal of Communications and Networks
• /
• 제16권4호
• /
• pp.385-396
• /
• 2014

In this paper, we present a formal method for modeling and checking an enhanced version of the carrier sense multiple access with collision avoidance protocol related to the IEEE 802.11 MAC layer, which has been proposed as the standard protocol for wireless local area networks. We deal mainly with the distributed coordination function (DCF) procedure of this protocol throughout a sequence of transformation steps. First, we use the unified modeling language state machines to thoroughly capture the behavior of wireless stations implementing a DCF, and then translate them into the input language of the UPPAAL model checking tool, which is a network of communicating timed automata. Finally, we proceed by checking of some of the safety and liveness properties, such as deadlock-freedom, using this tool.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2000년도 춘계학술대회 논문집
• /
• pp.352-359
• /
• 2000

In this paper, the method is used that each system isolates the part in which faults are occurred in case of fault occurrence since total system is designed in the type of hot standby sparing system construction and self-checking circuit in each system is attached to the memory being of the high failure rate in common communication system. Thus reliability and availability in system are improved. In this thesis, self-checking circuit was designed using 2 out of 6 code and didn't have any effect to the system operation. For the purpose of verification, each system attached with self-checking circuit was simulated through fault injection arid the continuity of each system in hot standby sparing system was tested in case that the system was switched when faults in the system were occurred.

• 한국정보통신학회논문지
• /
• 제25권9호
• /
• pp.1275-1278
• /
• 2021

Nowadays, fake news from newspapers and social media is a serious issue in news credibility. Some of machine learning methods (such as LSTM, logistic regression, and Transformer) has been applied for fact checking. In this paper, we present Transformer-based fact checking model which improves computational efficiency. Locality Sensitive Hashing (LSH) is employed to efficiently compute attention value so that it can reduce the computation time. With LSH, model can group semantically similar words, and compute attention value within the group. The performance of proposed model is 75% for accuracy, 42.9% and 75% for Fl micro score and F1 macro score, respectively.

• 한국산업보건학회지
• /
• 제30권4호
• /
• pp.394-404
• /
• 2020

Objectives: The aims of this study are to derive the characteristics of diesel exhaust gas emissions generated during vehicle checking in the garage of fire stations and of the related improvement plans for proper air quality management. Methods: The researcher measured changes in the air quality inside garages according to the operating conditions of the exhaust facility and before and after vehicle checking at three fire stations. Results: During the checking of fire engines, a large volume of hazardous substances exceeding management standards were generated, and improvement of the discharge facilities was required for proper air quality management. Conclusions: It is necessary to study the hazard evaluation of firefighters' exposure to exhaust gas, to operate exhaust gas ventilation facilities, and to prepare technical standards for proper indoor air quality management.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2013년도 춘계학술대회 논문집
• /
• pp.859-860
• /
• 2013

• 융합보안논문지
• /
• 제6권4호
• /
• pp.29-40
• /
• 2006

웜, 바이러스를 비롯한 최근의 사이버위협은 인터넷과 같은 주요 정보통신시설에 내제된 취약점을 악용하여 경제적 및 정치적 목적을 달성하기 위한 형태로 발전하고 있다. 이를 위해 취약점 발표 시 신속하게 취약점 점검 모듈을 개발하고 이를 적용하는 일이 매우 필요로 되고 있다. 본 논문에서는 신규 취약점 발생 시 이에 대한 점검 프로그램을 제작하는 방법론을 연구한다. 첫째, GFI LANGuard Network Security Scanner, Nessus 등을 포함한 7개의 취약점 점검 도구에서 신규 취약점 발생 시 대응하는 방법을 조사 및 분석하고 이에 대해 비교 분석을 수행한다. 둘째, 이를 기반으로 5가지 고유한 취약점 점검 모듈 제작 방법을 수준별로 정의하고 이를 제안한다. 마지막으로, 가상의 조건을 정의하고 5가지 취약점 점검 모듈 제작 방법 중 주어진 조건에 부합하는 최적의 방법을 결정하는 절차를 제시한다.

• 정보교육학회논문지
• /
• 제16권3호
• /
• pp.283-289
• /
• 2012

인터넷을 이용한 원격교육이 매우 빠르게 확산됨에 따라 원격교육을 수강하는 학습자에 대한 본인 확인과 실제 학습 여부를 확인하는 것에 대한 어려움도 점점 더 커지고 있다. 원격교육에서는 교수자와 학습자가 상호 대면하지 않아도 수업이 이루어지므로 본인 출석 여부를 시스템적으로 확인해 주어야 한다. 종래의 확인 방법으로는 로그인 체크, SMS 본인 인증, 돌발퀴즈 등의 방법이 있다. 그러나 학습 시간 전반에 걸쳐 학습자 본인이 잘 참여하고 있는지를 확인하기에는 기술적인 한계가 적지 않다. 이에 본 연구에서는 실제 학습자가 학습시간 전반에 걸쳐 잘 참여하고 있는지를 PC 카메라의 이미지 촬영 기반으로 확인할 수 있는 시스템을 설계 및 구현하고자 한다. 이 시스템은 원격교육, 원격평가 등에 있어 학습자의 실제 참여 여부를 판단할 수 있게 함으로써 원격교육 신뢰성을 더욱 높일 수 있을 것으로 기대한다.

• 한국컴퓨터정보학회논문지
• /
• 제18권1호
• /
• pp.123-136
• /
• 2013

시각적이고 비정형적인 구조로 표현된 휘처 모델(Feature model)은 구문적 명확성을 보장할 수 없고, 자동화 툴(tool)에 의한 구문(syntax)의 검증이 어렵다. 따라서, 휘처 모델이 가진 구조물의 구문적 명확성을 입증하기 위한 정형적 명세와 모델 검사(model checking)가 필요하다. 본 논문은 Z 언어를 이용한 휘처 모델의 정형적 명세와 모델 검사를 통해서, 휘처 모델의 정확성을 검사하는 기법을 제시한다. 이를 위해, 휘처 모델과 Z간 변환 규칙을 정의하고, 이 규칙에 의거하여 휘처 모델의 구문에 대해 Z 스키마(schema)로 명세한다. 모델 검사는 Z 스키마 명세에 대해 Z/Eves 툴을 사용하여 구문, 타입 검사(type checking), 그리고 도메인 검사(domain checking)를 수행하여 모델의 모호성을 검사한다. 이로서, 휘처 모델의 구조물을 좀더 명확하게 표현할 수 있으며, 설계된 모델의 오류를 검사할 수 있다.