• 국제학술발표논문집
• /
• The 6th International Conference on Construction Engineering and Project Management
• /
• 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.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제5권12호
• /
• pp.615-622
• /
• 2016

차량전장용 제어 소프트웨어는 표준에 명시된 시스템 호출 제약사항을 위배할 경우 심각한 안전성 위협을 초래할 수 있다. 그러나 제약사항 위배는 실행경로가 복잡해질 경우 수동분석으로 색출하기 어렵고 테스팅을 통해 찾아내기도 어려워 이에 특화된 검증 방법이 필요하다. 본 연구에서는 차량전장용 제어 소프트웨어의 시스템 호출 제약사항 위배 여부를 효과적으로 검증하기 위한 두 가지 방법을 소개하고 그 효과를 실험적으로 비교하였다. 첫 번째 방법은 애플리케이션의 모든 가능한 실행경로를 탐색하고 각 경로의 제약사항 준수여부를 확인하는 방법이며, 두 번째 방법은 모델 검증 도구를 이용하여 애플리케이션이 오토마타로 표현된 제약사항을 위배하는 경우가 발생가능한지 확인하는 방법이다. 각 방법을 구현하고 실험한 결과 실행경로를 이용한 방법은 오탐을 유발하고 몇 가지 제약사항 위반을 놓치는 경우가 있는데 반해서 모델 검증을 이용한 방법은 오탐이 없었으며 비교적 큰 애플리케이션을 대상으로 보다 빠른 시간 내에 검증을 수행할 수 있음을 보였다.

• 정보보호학회논문지
• /
• 제24권1호
• /
• pp.215-219
• /
• 2014

C언어에는 프로그래머의 의도와는 다르게 동작하는 정의되지 않은 행동(undefined behavior)들이 존재한다. 정상적인 데이터를 확인하기 위한 안전성 검사에서 정의되지 못한 행동에 해당되는 경우를 인지하지 못하고 사용하여 안전성 검사가 컴파일러에 의해 무효화 되는 문제점이 발생한다. 본 논문에서는 이러한 문제점들을 해결하기 위해 소스코드에서 안전성 검사를 표기하고 실행파일에서 유효성을 확인하는 자동화된 시스템을 제안한다.

• 한국CDE학회논문집
• /
• 제20권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.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2023년도 봄 학술논문 발표대회
• /
• 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.

• 한국융합학회논문지
• /
• 제10권7호
• /
• pp.15-21
• /
• 2019

가짜 정보를 탐지하기 위한 연구는 2016년 미국 대통령 선거 이후 본격적으로 시작되었다. 정확한 출처를 알 수 없는 정보들이 뉴스 형식으로 생산되고, 이는 자극적이고 흥미로운 소재에 많은 관심을 보이는 대중의 특성에 따라 빠른 속도로 확산되고 있다. 또한, 소셜 네트워크 서비스 등 정보를 전달하기 쉬운 플랫폼의 대중화는 이러한 현상을 더욱 악화시킨다. Poynter는 IFCN(International Fact Checking Network)를 만들어 숙련된 전문가들이 사실 여부를 판단할 수 있는 가이드라인을 제시하고, 팩트 체크 기관을 위한 강령을 제공하고 있다. 하지만 이러한 접근 방법은 하나의 기사에 대한 진위 여부를 검증하기 위해 다수의 전문가 인력이 투입되어야 하므로 시간 및 금전적 비용이 크다. 따라서 지속적으로 증가하는 가짜 뉴스에 효율적으로 대응할 수 있는 자동화된 가짜 뉴스 탐지 기술에 대한 연구가 주목받고 있다. 본 논문에서는 최근 딥러닝 기술의 접목으로 인해 빠르게 발전하고 있는 가짜 뉴스 탐지 시스템과 연구들을 정리 및 분석한다. 또한, 많은 연구가 필요한 본 분야에 연구자들이 쉽게 접근할 수 있도록 다양한 형태로 주어지는 학습 말뭉치 및 챌린지들도 정리한다.

• 한국건설관리학회논문집
• /
• 제16권4호
• /
• pp.60-69
• /
• 2015

출역관리는 전통적으로 출역점검표 작성에 의해 수작업으로 진행되기 때문에 많은 노력과 시간을 요구했다. Bar Code, QR code, RFID와 같은 전자장치들이 발달하면서 자동화된 출역관리시스템이 출현하였고, 최근에는 지문, 정맥인식과 같은 생체인식과 융합된 다양한 유형의 출역관리시스템이 등장하고 있다. 출석체크를 위해 사용되는 다양한 인식 장비들의 출연에도 불구하고, 건설현장 마다 적합한 출역관리시스템을 선정하기 위한 체계적인 기준이 부족한 실정이다. 따라서 본 연구는 출역관리에 사용되는 다양한 인식 장비를 건설 현장에 적합한 시스템을 선정하기 위한 체계적인 의사결정 프레임워크를 제시하는 것이 목적이다. 본 연구는 건설현장에서의 사용성을 테스트하기 위해 인식장비 마다 특징들을 살펴보고, 기존 문헌 및 전문가 인터뷰를 수행하였다. 테스트 결과, 가장 빠른 시간 내에 많은 인원의 출석을 확인하는 것에는 RFID가 적합한 것으로 나타났다. 그리고 손혈관과 지문의 경우, 손가락 변형과 상관없이 페인트, 시멘트와 같은 오염물질이 많이 묻어있는 경우 인식이 되지 않는 것으로 나타났다. 이러한 테스트 결과를 반영하여 본 연구는 출역관리시스템 선정을 위한 모델을 제시하였으며, 보다 효율적인 출역관리시스템 구축에 기여할 것으로 기대한다.