• 한국항공운항학회지
• /
• 제25권4호
• /
• pp.161-169
• /
• 2017

The Human Factors Analysis and Classification System (HFACS) is a general human error framework originally developed and tested within the U.S. military as a tool for investigating and analyzing the human causes of aviation accidents. Based upon Reason's (1990) model of latent and active failures, HFACS addresses human error at all levels of the system, including the condition of aircrew and organizational factors. As a result, this study aims to examine the influence between the latent conditions based on HFACS. This study seeks to verify the factors of "Organizational Influence" effecting the "Precondition for Unsafe Acts" of HFACS. The results of empirical analysis demonstrated that the organizational influence had a positive influence on precondition for unsafe act, especially the "Organizational Climate" of organizational influence had even greater influence on precondition for unsafe acts.

• 정보처리학회논문지D
• /
• 제18D권1호
• /
• pp.23-34
• /
• 2011

최근의 소프트웨어 개발에서는 리팩토링이 활발하게 이용되고 있다. 리팩토링에 대한 관심이 높아지면서 요소 리팩토링을 정의해서 이들의 조립을 통해 더 큰 종류의 복합 리팩토링을 처리하려는 연구들이 많이 진행되고 있다. 복합 리팩토링은 조합된 요소 리팩토링의 순서대로 처리되기 때문에 프로그램에 실제 적용하기에 앞서 적용 가능성을 판단하는 것이 중요하다. 기존 연구들에서는 요소 리팩토링들의 선 후행조건들로부터 복합 리팩토링에 대한 선행조건을 계산하여 적용 가능성을 판단하고 있다. 이것은 선행조건이 정의되어 있는 복합 리팩토링만 판별할 수 있으며 선행조건이 정의되어 있지 않은 복합 리팩토링에 대해서는 적용 가능성을 판단할 수 없는 문제점이 있다. 본 연구에서는 복합 리팩토링의 명세를 추가로 정의 하지 않고 요소 리팩토링만으로 조립 가능 여부를 판단하고자 한다. 이를 위해 요소 리 팩토링을 명세하는 방법과 조립성 검사 방법을 제안한다. 이를 기반으로 프로토타입 도구를 개발해 보고, 적용사례를 통해 선행조건이 명세되어 있지 않은 복합 리팩토링들의 조립성 검사를 확인해봄으로써 본 연구의 효용성을 검토해본다.

• 의료ㆍ복지 건축 : 한국의료복지건축학회 논문집
• /
• 제19권2호
• /
• pp.19-30
• /
• 2013

Purpose: The planning and design of hospital generally requires the participation and consultation of skilled experts since it has more complex space program than any other buildings. Therefore, the BIM systems for the planning of hospital have been tried continuously. The purpose of this study is to identify the precondition for space Program validation of healthcare architecture based on BIM, which is recently receiving wide attention. Method: For this study, United States, Australia and Finland's guidelines were analyzed among the description space program validation system in 14 overseas BIM Guidelines. And the propose precondition that can be applied to healthcare architecture from among these description of space program validation items, target, process etc for General building. Result: 1) spatial program validation is the following four evaluation phase. Step 1: Standard setting phase Step 2: BIM model accuracy assessment phase Step 3: space validation phase Step 4: Performance evaluation phase 2) The standards for the building elements at Standards Setting stage is considered to the standards for the architectural elements of General building. 3) Healthcare Architecture Area calculation method is considered to be reasonable that borrowing the area calculation standard of general architecture according to the UIA of international standards. However, Be proposed of measuring method that reflect the efficiency of the design process step-by-step area calculation method. The performance assessment indicators of reflect the Hospital uniqueness have to developed. And the research needs to be carried out continuously according to the purpose for healthcare architecture of feature-oriented. Implications: In this paper like to understanding that precondition of space program validation considering the BIM. As a result, understanding to condition about step of the evaluation, the evaluation standards. Is expected to keep the focus on the development of performance indicators that reflect the uniqueness of the hospital for the efficient evaluation of the Hospital building.

• 융합보안논문지
• /
• 제12권3호
• /
• pp.45-52
• /
• 2012

정보보호시스템의 국제공통평가기준인 CC(또는 ISO/IEC 15408)에서는 평가용 문서(즉, 제출물)에 대한 세부지침을 포함하지 않고 있으므로, CC기반 평가체계를 구축하기 위해서는 문서 스키마(즉, 목차와 내용요구사항)를 개발해야 한다. 본 논문에서는 CC기반 평가체계에서 활용할 수 있는 문서 스키마를 개발하였다. CC내의 보증클래스로부터 Weakest precondition함수, 문서량 축소규칙, 문서 종속성 분석방법을 적용하여 문서스키마와 DTD를 개발하였다. 본 연구의 접근방법은 소프트웨어 품질의 평가체계에서 사용할 문서스키마 또는 DTD를 개발하는데 응용될 수 있다.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2008년 영문 학술대회
• /
• pp.666-670
• /
• 2008

The low-speed preconditioning technique is applied to solve the compressible Reynolds averaged Navier-Stokes equations for low-speed flows. The space discretization is based on Roe's flux-difference splitting with third-order-accurate MUSCL extrapolation. Time integration is performed employing a diagonal approximate factorization algorithm. The dual-time stepping has been incorporated to solve the unsteady flows. Full multigrid method is implemented to accelerate the convergence rate. To verify the algorithms several cases have been tested. Demonstrated the improvement on convergence and quality of the solution.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권8호
• /
• pp.1010-1017
• /
• 1999

불완전한 계획 영역 이론은 오류 영역(noisy domain)에서 하나의 상태에 상반된 연산자들이 적용되는 불일치성 문제를 야기할 수 있다. 이 문제를 해결하기 위해서 본 논문은 상태를 기술하기 위해 다치 논리를 도입하여 제어지식으로서의 부정적 선행조건을 학습하는 새로운 방법을 제안한다. 기계에는 알려지지 않은 이러한 제어지식이 인간에게는 반대개념으로 잠재적으로 사용되고 있다. 이러한 잠재된 개념을 학습하기 위해 본 논문은 반대 연산자들로 구성된 사이클을 영역이론으로부터 기계적으로 생성하고, 이 연산자들에 대한 실험을 통해 반대 리터럴(literal)들을 추출한다. 학습된 규칙은 불일치성을 방지하면서 동시에 중복된 선행조건을 제거하여 연산자를 단순화시킬 수 있다.Abstract An incomplete planning domain theory can cause an inconsistency problem in a noisy domain, allowing two opposite operators to be applied to a state. To solve the problem, we present a novel method to learn a negative precondition as control knowledge by introducing a three-valued logic for state description. However, even though the control knowledge is unknown to a machine, it is implicitly known as opposite concept to a human. To learn the implicit concept, we mechanically generate a cycle composed of opposite operators from a domain theory and extract opposite literals through experimenting the operators. A learned rule can simplify the operator by removing a redundant precondition while preventing inconsistency.

• 산업경영시스템학회지
• /
• 제27권1호
• /
• pp.32-37
• /
• 2004

A new display device is required, which has concepts of flatness and slimness. FED can be one of the solutions. When we use flat panel, we can save the raw material and reduce the production time by eliminating the printing process, drying process, and washing process. In this case, good panel flatness and consistency with panel flatness and black matrix is the precondition. Therefor, we analyzed process capability of panel flatness and regression between panel flatness and BM position by experiments.

• Journal of applied mathematics & informatics
• /
• 제29권5_6호
• /
• pp.1067-1074
• /
• 2011

In this paper, a preconditioned mixed-type splitting iterative method for solving the linear systems Ax = b is presented, where A is a Z-matrix. Then we also obtain some results to show that the rate of convergence of our method is faster than that of the preconditioned AOR (PAOR) iterative method and preconditioned SOR (PSOR) iterative method. Finally, we give one numerical example to illustrate our results.

• 연구논문집
• /
• 통권26호
• /
• pp.57-68
• /
• 1996

Recently, a lot of researches on material handling system are actively studied for realization of FA(Factory Automation), FMS(Flexible Manufacturing System) and CIM(Computer Integrated Manufacturing). Management and application of material handling system are precondition technologies playing an important part in integration of production system including manufacturing. assemhly, and inspection cell. In this paper, the general situation of automation technology is investigated and technology level is analyzed in comparision with an advanced country. And the operation trend and part of material handling system including AS/RS, AGV, and Conveyor, are studied. And also technologies related to material handling system in the inside and outside of the country are studied.

• Journal of applied mathematics & informatics
• /
• 제28권5_6호
• /
• pp.1409-1418
• /
• 2010

In this paper, we present a preconditioned iterative method for solving linear systems Ax = b, where A is a Z-matrix. We give some comparison theorems to show that the rate of convergence of the new preconditioned iterative method is faster than the rate of convergence of the previous preconditioned iterative method. Finally, we give one numerical example to show that our results are true.