• 한국CDE학회논문집
• /
• 제22권2호
• /
• pp.118-128
• /
• 2017

Many countries have been developing BIM-based building code checking system and studies in the utilization of Industry Foundation Classes (IFC) in building code checking. IFC is the open standard of BIM format. Currently, there is a disadvantage that could not include all of the attribute for the regulations of each country and there is the problem with the interoperability of the different defined IFC approach between BIM software. This study focus on developing, derived object and property by comparing through domestic regulation and IFC2x3 specification provided by the buildingSMART and classified review type depending on the interoperability of derived information. According to classified review type, the IFC data structure was established and property mapping contents were developed by including BIM software compatible information and creating a type of review plan. When the developed property mapping contents are applied into BIM-based building code checking system, checking of the BIM data generated from various fields is made effective and thus improving the interoperability of information.

• 한국철도학회논문집
• /
• 제9권6호
• /
• 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)

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

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

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

• 한국응급구조학회지
• /
• 제8권1호
• /
• pp.33-45
• /
• 2004

The study is designed to develop an educational CD-Title for Basic Life Support. The study is conducted from July to December, 2002, Based on the course of program development suggested by Dick and Cray. the study followed the planning, development, education and evaluation of a program. The developed CD-Title consists of 8 parts. 1. Intro include Introduction, Adult CPR, Child CPR, Infant CPR, Adult Foreign-Body Airway Obstruction, Infant Foreign-Body Airway Obstruction, and Exercise in Menu at Right of screen. 2. Introduction consist of death process at cardiac arresst, chain of survival, introduction of CPR, respiratory & ciculatory anatomy and physiology. 3. Adult CPR consist of assessment responsiveness, activating EMS system, position victim, opening a airway, checking for breathing, rescue breathing, checking for sign of circulation, chest compression, 1 person & 2 persion adult CPR video. 4. Child & Infant CPR consist of, causes, assessment responsiveness, position victim, opening the airway, checking for breathing, rescue breathing, checking for sign of circulation, chest compression, activating EMS system, child & infant CPR video. 5. Adult Foreign-Body Airway Obstruction include assessment responsiveness, activating EMS system, position victim, opening a airway, checking for breathing, 2 rescue breathing, reopening the airway, 2 rescue breathing, finger sweep, 5 abdominal thrusts, unresponsiveness adult Foreign-Body Airway Obstruction video. 6. Infant Foreign-Body Airway Obstruction consist of, causes, assessment responsiveness, position victim, opening the airway, checking for breathing, 2 rescue breathing, reopening the airway, 2 rescue breathing, checking foreign-body object in oral cavity of victim, 5 back blow, 5 chest thsusts, activating EMS system, video. 7. 32 exercise consist of 8 Adult CPR, 12 Child & Infant CPR, 5 Adult Foreign-Body Airway Obstruction, 7 Infant Foreign-Body Airway Obstruction. Every part consist of animations to trigger students interests. This CD-Title will be useful education for first responders and lay rescuers.

• 한국건설관리학회:학술대회논문집
• /
• 한국건설관리학회 2008년도 정기학술발표대회 논문집
• /
• pp.690-693
• /
• 2008

최근 건축물이 대형화, 복잡화되면서 예기치 못한 상황에 대한 안전성 문제가 이슈화되고 있다. 그러나 초대형 건물의 경우 규모가 커서 수작업으로 방재 및 안전성과 관련한 법규 검토에 시간이 많이 걸리고, 실수가 일어날 가능성도 높다. 이러한 문제로 한 조사에 따르면 건축 및 건설관련자-실무자의 83%가 자동법규검토 시스템이 필요하다고 응답하였다. 본 연구는 기존의 자동법규검토 시스템 및 연구현황을 살펴보고, 기존 BIM기술을 이용하여 국내 방재 및 피난 관련법규를 자동으로 검토하기 위한 시스템개발 가능성을 검토하고자 한다. 이밖에 자동법규검토 시스템의 필요성과 그 기대효과를 분석하고 기존 연구사례를 통해, 국내 적용가능 여부를 검토하고, 지역적 특수성에 대한 문제점, 한계를 논의한다. 또 그러한 문제점들에 대한 해결책과 향후 발전방안을 제시한다. 본 연구에서는 피난관련 법규로 그 범위를 제한하였지만 앞으로 전체적인 법규 자동검토시스템이 구축되기 위해 필요한 노력과 작업에 대해 알아보고 연구해 나가야할 것이다.

• 한국공작기계학회:학술대회논문집
• /
• 한국공작기계학회 2004년도 춘계학술대회 논문집
• /
• 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.

• 산업공학
• /
• 제21권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.

• 한국정보과학회논문지:시스템및이론
• /
• 제30권2호
• /
• pp.59-67
• /
• 2003

본 논문에서는 모델 체킹을 시스템의 성능상의 효율성 분석에 적용하는 방법에 대해 논한다. 시뮬레이션이나 실험적인 측정을 통해 시스템의 성능저하를 찾는 건은 쉽지만, 성능을 저하시키는 요인을 분석해 내는 젓은 사실상 매우 어렵다. 특히, 시스템 지체가 매우 복잡해지고, 주위 다른 시스템과의 상호 동작을 하게 되면 소스코드의 분을 통한 오류 발견은 거의 불가능해진다. 이에 본 논문에서는 모델 체킹에 사용되는 시제논리를 통해 시스템의 자원 활용도를 명세하고, 이를 이용해서 모델 체킹을 수행함으로써 성능 저하를 발생시키는 요인을 찾아내는 방법에 대해 논한다

• 한국정보통신학회논문지
• /
• 제8권1호
• /
• pp.115-122
• /
• 2004

CF 메모리카드를 위한 부트 시스템의 시스템을 초기화하고 CF 카드를 확인한 후 CF 메모리카드의 종류를 확인하여 적절한 CF 메모리카드임이 확인되면 파일 시스템을 초기화하고 원하는 시스템 프로그램을 읽어 들여 DRAM 영역에 재배치하는 부트 로더를 구현하였다. 시스템 프로그램을 CF 메모리카드에서 읽어 들이는 과정에서 시스템 프로그램의 무결성을 보장해주는 알고리즘을 넣어 시스템이 좀더 안정적으로 동작할 수 있다. 또한 CF 메모리카드를 사용하고 파일 시스템 표준을 준수하기 때문에 이기종간의 호환성이 유지되며 이를 양산 시점에 그대로 이용할 수 있기 때문에 양산성이 향상되는 특징이 있다.