• 제목/요약/키워드: Automatic checking

검색결과 146건 처리시간 0.027초

설계단계에서의 BIM 안전설계 품질검토 (BIM Quality Assurance for DFS in Design Phase)

  • 권오철;조주원;조찬원
    • 한국CDE학회논문집
    • /
    • 제18권5호
    • /
    • pp.348-358
    • /
    • 2013
  • Since the safety accidents on the construction sites take large part of total industry disasters, research on the construction safety has been getting important. Recently, as BIM technology allows cooperation between designer and constructor groups, it becomes more active worldwide than before to study on the ways of accomplish construction safety improvement in the design phase. In this paper, we suggested a checklist for assuring construction safety in the phase of design, and performed automatic evaluation by using a BIM quality checking tool. This shows that it is possible for us to find out the construction safety has been improved in the design phase. Once the standard checklist and assurance process are developed, they are expected to play a great role of reducing disasters in the construction industry.

Semi-Automatic Annotation Tool to Build Large Dependency Tree-Tagged Corpus

  • Park, Eun-Jin;Kim, Jae-Hoon;Kim, Chang-Hyun;Kim, Young-Kill
    • 한국언어정보학회:학술대회논문집
    • /
    • 한국언어정보학회 2007년도 정기학술대회
    • /
    • pp.385-393
    • /
    • 2007
  • Corpora annotated with lots of linguistic information are required to develop robust and statistical natural language processing systems. Building such corpora, however, is an expensive, labor-intensive, and time-consuming work. To help the work, we design and implement an annotation tool for establishing a Korean dependency tree-tagged corpus. Compared with other annotation tools, our tool is characterized by the following features: independence of applications, localization of errors, powerful error checking, instant annotated information sharing, user-friendly. Using our tool, we have annotated 100,904 Korean sentences with dependency structures. The number of annotators is 33, the average annotation time is about 4 minutes per sentence, and the total period of the annotation is 5 months. We are confident that we can have accurate and consistent annotations as well as reduced labor and time.

  • PDF

Automated Detection of Cattle Mounting using Side-View Camera

  • Chung, Yongwha;Choi, Dongwhee;Choi, Heesu;Park, Daihee;Chang, Hong-Hee;Kim, Suk
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제9권8호
    • /
    • pp.3151-3168
    • /
    • 2015
  • Automatic detection of estrus in cows is important in cattle management. This paper proposes a method of estrus detection by automatically checking cattle mounting. We use a side-view video camera and apply computer vision techniques to detect mounting behavior. In particular, we extract motion information to select a potential mount-up and mount-down motion and then verify the true mounting behavior by considering the direction, magnitude, and history of the mount motion. From experimental results using video data obtained from a Korean native cattle farm, we believe that the proposed method based on the abrupt change of a mounting cow's height and motion history information can be utilized for detecting mounting behavior automatically, even in the case of fence occlusion.

밸브 수압측정기의 유동해석 (Computational Fluid Dynamics of Hydraulic Valve Meter)

  • 이종선
    • 한국산학기술학회논문지
    • /
    • 제13권5호
    • /
    • pp.1963-1968
    • /
    • 2012
  • 본 논문은 현장에서 사용하고 있는 밸브 수압측정기를 3차원 자동설계 프로그램인 CATiA를 활용하여 설계하였다. 또한 유한요소 해석코드인 ANSYS를 활용하여 설계된 밸브 수압측정기에 대하여 유동해석을 수행하여 내부압력에 따른 유체의 흐름을 구하였다. 이러한 해석결과는 새로운 밸브 수압측정기를 개발하는데 기초자료로 활용될 계획이며 개발예정인 밸브 수압측정기는 밸브 점검 시 시간을 단축하고, 사고를 방지하여 안전성을 향상시킨다.

철근 콘크리트 축대칭 구조물 해석 모형의 개발 (Development of Model for the Analysis of Reinforced Concrete Axi-symmetric structures)

  • 조진구
    • 한국농공학회지
    • /
    • 제37권2호
    • /
    • pp.86-94
    • /
    • 1995
  • This study aimes at developing an analysis model for axisymmetric RC structures on an elastic foundation and also, at checking its practical adaptability through some case studies. The computer program developed in this study is general-purpose one, applicable not only to 8-noded isoparametric elements, but also to 3, 4, 6 and g-noded element cases. And for the economies of input data processing works, automatic system for data prepa- ration including division of elements is included in the computer program. Although these are not exemplified in the case studies, the program developed in this study can be easily applicable without any modification to axisymmetric structures with roof and PC structures.

  • PDF

GIS, uIT, RS기반 스마트 방재시스템 구축방안 (An Establishment of the GIS, uIT, RS based Smart Disaster Systems)

  • 오종우
    • 한국재난정보학회 논문집
    • /
    • 제6권2호
    • /
    • pp.87-106
    • /
    • 2010
  • This research focused on the effect of the GIS, uIT, and RS based smart disaster systems. Ubiquitous IT strongly involved in intelligent analysis for the natural disasters. Remote sensing technologies, such as hyper-spectral imaging, MODIS, LiDAR, Radar, and optical imaging processes, can contribute many means of investigation for the natural and unnatural problems in the atmosphere, hydrosphere, and lithosphere. Recent IT trends guides abundant smart solutions, such as automatic sensing using USN, RFID, and wireless communication devices. Smart monitoring systems using intelligent LBSs will produce many ways of checking, processes, and controls for the human safeties. In results, u-smart GIS, uIT, and RS based disaster systems must be using ubiquitous IT involved smart systems using intelligent GIS methods.

PBS 작업 스케줄러 Hook를 이용한 슈퍼컴퓨터 5호기 계산노드 자동 점검 기능 구현 (Implementation of automatic checking function of calculation node of Supercomputer 5th using Hook of PBS job scheduler)

  • 권민우;윤준원;홍태영
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2019년도 추계학술발표대회
    • /
    • pp.101-102
    • /
    • 2019
  • 한국과학기술정보연구원(KISTI)은 2019년 1월 슈퍼컴퓨터 5호기 Nurion의 공식서비스를 시작하였다. Nurion은 8,432개의 계산노드를 장착한 초거대 컴퓨팅 시스템으로 안정적인 운영을 위해 많은 인력을 필요로 하는 시스템이다. 본 논문에서는 Nurion에서 사용 중인 PBS 작업 스케줄러의 Hook 기능을 이용하여 계산노드의 장애를 자동으로 점검하는 기능을 구현하여 운영 효율을 향상시키는 기법에 대해서 소개한다.

File Signature's Automatic Calculation Algorithm Proposal for Digital Forensic

  • Jang, Eun-Jin;Shin, Seung-Jung
    • International Journal of Internet, Broadcasting and Communication
    • /
    • 제13권3호
    • /
    • pp.118-123
    • /
    • 2021
  • Recently, digital crime is becoming more intelligent, and efficient digital forensic techniques are required to collect evidence for this. In the case of important files related to crime, a specific person may intentionally delete the file. In such a situation, data recovery is a very important procedure that can prove criminal charges. Although there are various methods to recover deleted files, we focuses on the recovery technique using HxD editor. When recovering a deleted file using the HxD editor, check the file structure and access the file data area through calculation. However, there is a possibility that errors such as arithmetic errors may occur when a file approach through calculation is used. Therefore, in this paper, we propose an algorithm that automatically calculates the header and footer of a file after checking the file signature in the root directory for efficient file recovery. If the algorithm proposed in this paper is used, it is expected that the error rate of arithmetic errors in the file recovery process can be reduced.

BIM 기반의 건축법규검토를 위한 룰셋 정의서 개발 - 장애인,노인,임산부 등의 편의증진 보장에 관한 법률 대상으로 - (Development of Rule-Set Definition for Architectural Design Code Checking based on BIM - for Act on the Promotion and Guarantee of Access for the Disabled, the Aged, and Pregnant Women to Facilities and Information -)

  • 김유리;이상화;박상혁
    • 한국건설관리학회논문집
    • /
    • 제13권6호
    • /
    • pp.143-152
    • /
    • 2012
  • 조달청은 2016년부터 공공공사 전 사업으로 BIM 발주를 확대할 계획이어서 BIM 설계의 중요성이 증가하고 있다. 이에 따라, BIM 설계의 품질을 확보하는 방안 법규검토의 중요성 또한 증가하고 있다. 본 연구에서는 장애인 노인 임산부 등의 편의증진보장에 관한 법률을 대상으로 실무의 건축계획 과정에서 빈번하게 검토되는 항목을 중심으로 최적화된 룰셋 정의서를 개발하였다. 법규조항을 선정하는 과정으로는 프로젝트 법규검토서를 활용한 빈도 분석, 함수화 가능도 분석, 모델 검토 가능성 분석을 제시하였다. 모델 검토 시나리오 작성에 따라 룰셋 정의서를 개발하였으며, 실제 프로젝트에서 구현을 통해 적용성 및 정합성 분석을 수행하였다. 본 연구를 수행한 결과, 자동법규검토에서는 경제성 및 활용성을 확보할 수 있는 항목의 선정이 중요함을 확인할 수 있었다. 향후 연구에서는 대상 법규 조항 선정의 항목 세분화가 필요하며, 실무자 검증을 통해 좀 더 실질적인 항목 도출이 요구된다. 또한 자동법규검토에서 발생할 수 있는 모델링 요구사항, 소프트웨어 간 호환성 문제 등의 변수를 확인하고 룰셋의 논리를 검증하는 사례 연구가 수행되어야 한다.

AVK based Cryptosystem and Recent Directions Towards Cryptanalysis

  • Prajapat, Shaligram;Sharma, Ashok;Thakur, Ramjeevan Singh
    • 인터넷정보학회논문지
    • /
    • 제17권5호
    • /
    • pp.97-110
    • /
    • 2016
  • Cryptanalysis is very important step for auditing and checking strength of any cryptosystem. Some of these cryptosystem ensures confidentiality and security of large information exchange from source to destination using symmetric key cryptography. The cryptanalyst investigates the strengths and identifies weakness key as well as enciphering algorithm. With increase in key size the time and effort required to guess the correct key increases so trend is increase key size from 8, 16, 24, 32, 56, 64, 128 and 256 bits to strengthen the cryptosystem and thus algorithm continues without compromise on the cost of time and computation. Automatic Variable Key (AVK) approach is an alternative to the approach of fixing up key size and adding security level with key variability adds new dimension in the development of secure cryptosystem. Likewise, whenever any new cryptographic method is invented to replace per-existing vulnerable cryptographic method, its deep analysis from all perspectives (Hacker / Cryptanalyst as well as User) is desirable and proper study and evaluation of its performance is must. This work investigates AVK based cryptic techniques, in future to exploit benefits of advances in computational methods like ANN, GA, SI etc. These techniques for cryptanalysis are changing drastically to reduce cryptographic complexity. In this paper a detailed survey and direction of development work has been conducted. The work compares these new methods with state of art approaches and presents future scope and direction from the cryptic mining perspectives.