• 영어어문교육
• /
• 제10권3호
• /
• pp.21-40
• /
• 2004

This study Questioned what happens in L2 reading comprehension of the expository text, as measured by recall and inference-making abilities, when a L2 reader was induced to develop a content schema about the topic of a target text, but the structure of that schema departs from the structure of the target text Seventy-four. Korean university students read either the same version text twice (consistent condition) or two different version texts (inconsistent condition) with a three-day interval between the two readings. The results of a verification test indicate that, for those subjects with higher L2 reading proficiency, the inconsistent condition was more beneficial than the consistent condition for the inference-making task. On the other hand, for lower-level L2 readers, the consistent condition was more favorable for the recall task. It was concluded that inducing a structurally inconsistent schema through an L2 pre-reading would be beneficial only when the reader's L2 linguistic ability is proficient enough to produce necessary propositions from the pre-reading.

• 한국지능시스템학회논문지
• /
• 제13권5호
• /
• pp.505-511
• /
• 2003

생성 규칙의 지식 표현 방식은 많은 장점에도 불구하고 일관성 유지가 어렵다는 단점을 갖고 있다. 그런데 지식의 일관성 유지 여부는 지식을 기반으로 한 추론 결과의 신뢰도에 직결되므로 신뢰성을 제고하기 위하여 일관성 검증 시스템이 필수적이다. 일관성 검증 방식 중 가장 많이 사용되는 쌍 검증(pairwise checking) 방식에서는 가치 있는 규칙이 생략될 수 있으며 규칙의 수가 많은 경우에는 검증 시간이 많이 걸리는 단점이 있다. 따라서 본 논문에서는 확실한 특성의 리스트와 가능한 특성의 리스트를 사용하고 검증단계를 개선함으로써 쌍 검증 방식의 단점을 보완하여, 구조적 및 의미적 오류도 제거한 수 있는 검증 시스템을 제안하고 구축한다.

• 실천공학교육논문지
• /
• 제6권1호
• /
• pp.1-7
• /
• 2014

이 연구는 귀납법적 확증(confirmation)을 위해서 실행하는 실험이 확률론적 추론임을 밝히고 이의 단점을 보완하기 위해서 적용된 확률적 확인론에 따라서 수행하는 실험에서 통제하는 절차와 방법을 다루었다. 이 통제란 알려진 조건과 상황들을 인위적으로 조작하되 가설에서 명시된 특정조건(즉 독립변수) 이외의 조건(기타 변수)이 작용하여 현상이 발생(종속변수)될 가능성을 막는 것이다. 특정조건에 의하여 현상이 발생할 가능성을 극대화 시키고 기타 조건에 의하여 현상이 발생할 가능성을 최소화시키는 것이다. 그렇게 함으로써 특정 선행사건(독립변수)과 후행사건(종속변수) 사이의 진정한 인과관계성(the causal relationship)을 객관적으로 정확하게 추론하도록 보장하는 방법이 통제인 것이다. 이 연구에서는 변수통제에 대해 좀 더 구체적으로 다루기 위해 대표적인 헬스기구인 Elliptical Trainer (ET)와 Tread Mill (TM)를 이용한 실험에서 변수통제를 가하여 운동속도(독립변수)에 따른 에너지 소비량 변화(종속변수)와 운동속도(독립변수)에 따른 호흡교환율(RER)과 심장 박동율(HR)의 변화(종속변수)를 얻었다. 마지막으로 이 통제를 통해 얻어진 실험결과들을 그래프로 그려 그 결과에 따라 연구의 결론이 다루어졌다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1992년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 19-21 Oct. 1992
• /
• pp.507-512
• /
• 1992

This paper presents a method for the automatic generation of assembly sequences based on the recursive extraction of a preferred part along with the verification of its disassemblability. To verify the disassemblability of the part we inference the geometric precedence constraints using a method of extracting separable directions for the part and determine the disassemblability cost by the separability and stability cost. The proosed method provides a local optimal solution of finding a cost effective assembly plan, and the feasibility of calculating robot motion programs by evaluating separable directions in flexible manufacturing application. A case study is given to illustrate the concepts and procedure of the proposed scheme.

• 한국정밀공학회지
• /
• 제24권7호
• /
• pp.39-48
• /
• 2007

This paper presents a method of a line balanced assembly sequence generation based on the verification of a disassemblability and a work time. To derive the disassemblability for a part to be disassembled, first we inference collision free assembly directions by extracting separable directions fur the part. And we determine the disassemblability defined by the separability and stability cost. The separability cost represents a facility of the part disassembly operation, and the stability cost which represents a degree of the stability for the base assembly motion. Based upon the results, we propose a new approach of evaluating work time using neural networks. The proposed assembly sequence generation provides an effective means of solving the line balancing problem and gives a design guidance of planning assembly lay-out in flexible manufacturing application. Example study is given to illustrate the concepts and procedure of the proposed schemes.

• 대한기계학회논문집
• /
• 제16권10호
• /
• pp.1833-1840
• /
• 1992

본 연구에서는 자동차의 발달에 따른 정비 전문가의 상대적인 능력 감퇴를 보 완하고 진단의 정확성을 높일 수 있도록 소음계측에 의한 인공 지능적 뉴로-퍼지 진단 기법을 연구하였다. 이를 위하여 진단결과에 영향을 미치는 많은 작용변수와 다양한 차량상태 등을 고려함으로서 보다 신뢰성 있는 결과를 산출해내기 위한 퍼지(fuzzy) 추론 방식의 판단법을 도입하였으며, 진단이 실패했을 경우나 입력된 데이터가 충분하 지 못할 경우에 시스템 자체의 지식을 확장시켜 나갈 수 있도록 해밍네트(hamming net )에 의한 패턴인식 기법을 적용하였다. 그리고 컴퓨터 시뮬레이션과 자동차를 대상 으로 고장진단 실험을 실시하여 기존의 진단기법과의 비교를 통한 뉴로-퍼지 진단기법 의 효율성과 알고리즘의 타당성을 검증하였다.

• 디지털산업정보학회논문지
• /
• 제19권4호
• /
• pp.45-52
• /
• 2023

With the advent of deep learning, Artificial Intelligence (AI) technology has experienced rapid advancements, extending its application across various industrial sectors. However, the focus has shifted from the independent use of AI technology to its dispersion and proliferation through the open AI ecosystem. This shift signifies the transition from a phase of research and development to an era where AI technology is becoming widely accessible to the general public. However, as this dispersion continues, there is an increasing demand for the verification of outcomes derived from AI technologies. Causal AI applies the traditional concept of causal inference to AI, allowing not only the analysis of data correlations but also the derivation of the causes of the results, thereby obtaining the optimal output values. Causal AI technology addresses these limitations by applying the theory of causal inference to machine learning and deep learning to derive the basis of the analysis results. This paper analyzes recent cases of causal AI technology and presents the major tasks and directions of causal AI, extracting patterns between data using the correlation between them and presenting the results of the analysis.

• 한국정보통신학회논문지
• /
• 제12권9호
• /
• pp.1689-1695
• /
• 2008

저전력 무선 통신의 발전과 다기능, 저가의 스마트 센서는 원격에서 상태정보를 감지할 수 있는 센서네트워크의 실현을 가능하게 하였다. 센서 노드는 소형 배터리를 사용해 에너지를 공급받는데 일반적으로 배터리 교환이 용이하지 않은 위치에 설치되기 때문에 센서 노드의 평균 소모 전력을 최소화할 필요가 있다. 알려진 바에 따르면 센서 노드의 전체 소모 전력의 20-60%를 무선 통신에 사용하는 RF 모듈이 차지하고 있다. 본 논문에서는 센싱된 데이터의 송신에 소비되는 에너지를 개선하기 위해 센싱 데이터의 변동 특성에 실시간 적응하여 확률적 계산값이 임의의 랜덤값보다 클 경우 기지국 노드로 전송하는 확률추론 휴리스틱기반 비주기적 전송 방법을 제안한다. 제안하는 전송 방법에서는 확률추론 휴리스틱 알고리즘에 따라 센싱된 데이터와 직전 센싱된 데이터를 평가하여 전송 여부를 결정하며 알고리즘에 필요한 계수값은 알고리즘 검증 데이터의 재현율을 통하여 결정한다.

• 동의생리병리학회지
• /
• 제33권6호
• /
• pp.303-310
• /
• 2019

In order to search for the causes of having difficulty with the scientification task of the Korean medicine, the definition and conception of science were reviewed first and then formalization of reasoning scheme and a practical method of scientification were proposed. Science in its definition is meant by foundation of method and system for production of scientific knowledge not by knowledge of science itself. The formation of science is composed of complex processes including not only scientific knowledge but also politicosocial output containing activity of scientist society, spreading of social value and intercommunication. The production of scientific knowledge of Korean medicine is begun from logicality of the differential diagnosis and treatment theory through abductive verification of analogical inference by yinyang and 5 phase theory. For the commensurability between the various heterogenic theories within Korean medicine, the scientific activity of collecting, compiling, analyzing, distributing, and discussing the significant knowledge gained through abductive verification in the experiment and clinical process should be formed broadly. Based on these knowledge database, organization of scientist society with Korean medicine, life science, medical engineering, social expansion and generalization of pattern conception, and then social propagation and contribution for national health should be driven forward.

• 한국가스학회지
• /
• 제2권1호
• /
• pp.53-58
• /
• 1998

화학공정 변수간의 관계를 표현하는 방법으로, 지식기반 접근법을 이용하여 부호유향그래프(signed directed graph, SDG)를 자동합성하였다. SDG의 자동합성은 지식베이스를 이용한 추론과정 및 Loop 검증의 두 단계를 거쳐 수행된다. 먼저, 공정내 장치를 중심으로 장치간의 결합관계를 Topology로 표현하고, Topology 정보를 이용한 공정 변수관계 표현 및 지식베이스의 공정경향 데이타를 문자 패턴 매칭하여 Primary-SDG를 자동으로 합성한다. 생성된 Primary-SDG를 Loop 검증기의 추론을 통하여 검증, 수정하여 SDG를 자동합성하였다.