• 한국항행학회논문지
• /
• 제26권6호
• /
• pp.528-535
• /
• 2022

항공기 제작 및 운송 기술 발달로 국내 항공산업은 비약적인 발전을 이루었으나, 항공안전 사고는 지속해서 발생하고 있다. 관리 감독기관에서는 위험기반 항공안전데이터를 기반으로 위해 요인과 위험도를 분류하고, 운송사업자별 안전 경향성 파악과 취약분야를 도출하여 사전점검을 수행함으로써 사건·사고를 사전 예방중에 있다. 그러나 자연어 형식으로 기술된 항공안전데이터의 휴먼 분류는 지식과 경험, 성향에 따라 서로 다른 분류 결과를 초래하고, 이벤트 내용의 의미 파악 및 분류를 위한 작업에 상당한 시간을 소요케 한다. 이에, 본 논문에서는 KoBERT 모델을 fine-tunning하고 5천 건 이상의 항공안전데이터를 기계학습 시켜 신규 데이터의 분류 값을 예측한 결과 79.2%의 정확성을 보였다. 그리고 유사 이벤트에 대해 동일한 결과 예측과 fail 된 데이터 중 일부는 휴먼 에러에 의한 오류임을 확인할 수 있었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제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.

• Nuclear Engineering and Technology
• /
• 제49권7호
• /
• pp.1414-1422
• /
• 2017

Remote response technology has advanced to the extent that a robot system, if properly designed and deployed, may greatly help respond to beyond-design-basis accidents at nuclear power plants. Particularly in the aftermath of the Fukushima accident, there is increasing interest in developing disaster robots that can be deployed in lieu of a human operator to the field to perform mitigating actions in the harsh environment caused by extreme natural hazards. The nuclear robotics team of the Korea Atomic Energy Research Institute (KAERI) is also endeavoring to construct disaster robots and, first of all, is interested in finding out to what extent safety benefits can be achieved by such a disaster robotic system. This paper discusses a new approach based on the probabilistic risk assessment (PRA) technique, which can be used to quantify safety benefits associated with disaster robots, along with a case study for seismic-induced station blackout condition. The results indicate that to avoid core damage in this special case a robot system with reliability > 0.65 is needed because otherwise core damage is inevitable. Therefore, considerable efforts are needed to improve the reliability of disaster robots, because without assurance of high reliability, remote response techniques will not be practically used.

• Genomics & Informatics
• /
• 제14권4호
• /
• pp.187-195
• /
• 2016

In genetic association studies with high-dimensional genomic data, multiple group testing procedures are often required in order to identify disease/trait-related genes or genetic regions, where multiple genetic sites or variants are located within the same gene or genetic region. However, statistical testing procedures based on an individual test suffer from multiple testing issues such as the control of family-wise error rate and dependent tests. Moreover, detecting only a few of genes associated with a phenotype outcome among tens of thousands of genes is of main interest in genetic association studies. In this reason regularization procedures, where a phenotype outcome regresses on all genomic markers and then regression coefficients are estimated based on a penalized likelihood, have been considered as a good alternative approach to analysis of high-dimensional genomic data. But, selection performance of regularization procedures has been rarely compared with that of statistical group testing procedures. In this article, we performed extensive simulation studies where commonly used group testing procedures such as principal component analysis, Hotelling's $T^2$ test, and permutation test are compared with group lasso (least absolute selection and shrinkage operator) in terms of true positive selection. Also, we applied all methods considered in simulation studies to identify genes associated with ovarian cancer from over 20,000 genetic sites generated from Illumina Infinium HumanMethylation27K Beadchip. We found a big discrepancy of selected genes between multiple group testing procedures and group lasso.

• 지능정보연구
• /
• 제8권1호
• /
• pp.63-74
• /
• 2002

본 논문에서는 용해로 이상감시를 위한 실시간 유리 용해로 운전 전문가시스템을 구축한 결과를 소개한다. 유리용해 공정에서는 운전자의 경험지식에 의해 내부의 상황을 판단하게 되고, 이는 용해로 수명과 제품의 품질에 중요한 영향을 준다 이를 전문가 시스템으로 구현하기 위하여, 먼저 기존 운전자의 지식을 취합, 분석한다. 그 후, 취합된 각 지식들의 특성에 부합하도록 이진 규칙(Crisp Rule)과 퍼지 규칙(Fuzzy Rule)으로 구분한다. 이 때, 선형 회귀분석을 통하여 퍼지 규칙의 입력을 결정함으로써 보다 정확한 운전 지식의 표현이 가능하도록 하였다. 설계된 알고리즘은 젠심(Gensym)사의 실시간 전문가 시스템 개발 툴인 G2를 사용하여 구현하였다. 제시된 퍼지 전문가 시스템은 삼성코닝(주) 수원사업장의 실제 생산 용해 공정에 직접 적용하여 그 효율성이 검증되었다.

• 제어로봇시스템학회논문지
• /
• 제7권5호
• /
• pp.420-426
• /
• 2001

In this paper, we introduce a case study of developing a miniature humanoid robot that has 16 degrees of freedom and is able to perform statically stable walking. The developed humanoid robot is 37cm tall and weighs 1,200g. RC servo motors are used as actuators. The robot can walk forward and turn to any direction on an even surface. It equipped with a small digital camera, so it can transmit vision data to a remote host computer via wireless modem. The robot can be operated in two modes: One is a remote-controlled mode, in which the robot behaves according to the command given by a human operator through the user-interface program running on a remote host computer, the other is a stand-alone mode, in which the robot behaves autonomously according the pre-programmed strategy. The user-interface program also contains a robot graphic simulator that is used to produce and verify the robot\`s gait motion. In our walking algorithm, the ankle joint is mainly used for balancing the robot. The experimental results shows that the developed robot can perform statically stable walking on an even surface.

• 전기학회논문지
• /
• 제62권8호
• /
• pp.1163-1168
• /
• 2013

The maximum allowable value of loop impedance($Z_s$) to secure the operation of overcurrent protective devices and the safety for indirect contact is a very important in TN-C-S system. The loop impedance is divided into inner loop impedance which consumer can adjust and external loop impedance($Z_e$) which only electric operator can adjust. Thus, an external loop impedance which limits to less than a certain value is a very important factor for human body protection against electric shock in TN-C-S system. The concept of loop impedance($Z_s$) is recently introduced to the domestic, the study about external loop impedance is yet insufficient. However, the study about the reference impedance as specified by the IEC 60725 standard to improve the quality and reliability of the power supply is being made. In this paper, reference value of external loop impedance($Z_e$) to meet domestic environment will be proposed by the nationwide measurement and statistical analysis.

• 한국농업기계학회:학술대회논문집
• /
• 한국농업기계학회 1993년도 Proceedings of International Conference for Agricultural Machinery and Process Engineering
• /
• pp.1254-1263
• /
• 1993

Representing knowledge uncertainty , aggregating evidence confidences , and propagation uncertainties are three key elements that effect the ability of a rule-based expert system to represent domains with uncertainty . Fuzzy set theory provide a good mathematical tool for representing the vagueness associated with a variable when , as the condition of a rule , it only partially corresponds to the input data. However, the aggregation of ANDed and Ored confidences is not as simple as the intersection and union operators defined for fuzzy set membership. There is, in fact, a certain degree of compensation that occurs when an expert aggregates confidences associated with compound evidence . Further, expert often consider individual evidences to be varying importance , or weight , in their support for a conclusion. This paper presents a flexible approach for evaluating evidence and conclusion confidences. Evidences may be represented as fuzzy or nonfuzzy variables with as associat d degree of certainty . different weight can also be associated degree of certainty. Different weights can also be assigned to the individual condition in determining the confidence of compound evidence . Conclusion confidence is calculated using a modified approach combining the evidence confidence and a rule strength. The techniques developed offer a flexible framework for representing knowledge and propagating uncertainties. This framework has the potention to reflect human aggregation of uncertain information more accurately than simple minimum and maximum operator do.

• 한국정보과학회논문지:정보통신
• /
• 제31권5호
• /
• pp.438-449
• /
• 2004

조직이 운영하는 네트워크의 규모가 방대해지고, 인터넷 사용이 활성화되면서 보안의 중요성도 함께 증가하였다. 그러나 최근 보안의 핵심으로 부각되고 있는 침입탐지 시스템들은 인터넷상의 공격들에 대한 적절한 분석이나 효율적인 대응책을 제공해 주기보다는, 대량의 침입탐지 정보를 생성시켜 관리자의 부담을 가중시키고 있다. 본 논문에서는 침입탐지 시스템이 생성하는 대량의 침입탐지 정보들간에 존재하는 연관성을 분석하여 대응에 필요한 고 수준의 정보를 실시간으로 생성해 냄으로써 관리 및 분석의 효율성을 증진시키고, 나아가서는 분산 서비스 거부 공격(DDoS) 같은 대규모의 공격까지도 조기에 탐지해 낼 수 있는 능력을 갖춘 침입탐지 정보 분석 시스템을 제안한다. 그리고 제안된 시스템의 성능 분석을 위해 각 모듈의 처리 효율을 측정하고 알려진 공격 시나리오 기반의 시험 평가를 실시한다.

• 한국정보처리학회논문지
• /
• 제4권12호
• /
• pp.3200-3210
• /
• 1997

훼손된 타원 및 복잡한 형태의 영상에서 타원 검출에 최소자승법(LSM : Least Square Method)을 적용할 수 있는데 이는 데이터가 비정규 오류 분포를 따르거나 특이한점들이 있는 상태에서는 신뢰할 수 있는 결과를 얻을 수 없다. 특히 최소자승법은 훼손된 부분을 데이터가 없는 것으로 가정 하고 모든 데이터를 동일한 비중으로 연산하므로 훼손된 부분은 더욱 훼손된 모양으로 검출되는 문제점 있다. 본 논문에서 변형된 최소자승 법(MLSM: Modified Least Square Method)이란 훼손부분의 가까운점에 큰 비중을 둠으로 원래의 모양에 접근하는 형상(feature)의 타원을 검출하려는 것으로 훼손점 부근의 2점과 그외 중요한 l점을 강제로 만족하는 방법이다. 3점을 만족시키는 제한 조건을 주고 2개의 파라미터는 최소자승법으로 구하고, 나머지 3개는 제한 조건으로 구하여 타원 검출에 적용한 결과 실제 영상에서 타원의 검출 및 판별에 좋은 효과가 있었으며, 특히 인간의 치열의 곡선 모양을 결정하는테 좋은 효과가 있음을 보였다.