• Title/Summary/Keyword: 논리규칙

Search Result 290, Processing Time 0.032 seconds

Synthesizing of Communication Protocol using CFSM (CFSM을 이용한 통신 프로토콜의 합성)

  • 이철희;이상호;김성열
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.15 no.4
    • /
    • pp.331-340
    • /
    • 1990
  • In communication protocol design, it is important that design procedure is simple and result protocol must be correct. This paper presents a communication protocol synth-sizing algorithm, which enhances productivity of protocol design, using CFSM. CFSM is defined as extended FSM for representing protocol information and simplification. In this method protocol designer descripts only one communication machine with out error consideration using FSM, then two communication machine M' and N' are generated. And then transformation rules for error-recovery converts M' and N' to EM' and EN' which are logically correct.

  • PDF

Creation of Soccer Video Highlight Using The Structural Features of Caption (장면자막의 구조적 특징을 이용한 축구 비디오 하이라이트 생성)

  • Shin Seong-Yoon;Rhee Yang-Won
    • Annual Conference of KIPS
    • /
    • 2004.11a
    • /
    • pp.637-640
    • /
    • 2004
  • 논문에서는 자막의 구조적 특징을 이용하여 축구 비디오 하이라이트를 생성하는 방법을 제시한다. 자막의 구조적 특징은 자막이 갖는 시간적 특징과 공간적 특징으로서 이러한 구조적 특징을 이용하여 자막 프레임 구간과 자막 키 프레임을 추출한다. 그리고 하이라이트 비디오는 자막 키 프레임들에 대한 장면 재설정과 논리적 색인화 및 하이라이트 생성 규칙을 이용하여 생성한다. 마지막으로, 브라우저를 통한 사용자의 항목 선택에 의하여 하이라이트 비디오와 비디오 세그먼트에 대한 검색과 브라우징을 수행할 수 있다.

  • PDF

Moving Obstacle Avoidance for Sensor-Based Mobile Robot using Fuzzy Logic (퍼지 논리를 이용한 센서기반 이동로봇의 이동장애물 회피)

  • Woo, Sang-Yong;Ahn, Hyun-Sik;Oh, Ha-Ryoung;Seong, Yeong-Rak;Kim, Do-Hyun
    • Proceedings of the KIEE Conference
    • /
    • 2004.05a
    • /
    • pp.44-46
    • /
    • 2004
  • 본 논문에서는 이동로봇이 임의의 선행물체를 추종할 때 진행 경로상에 이동장애물이 진입하는 경우 이 장애물을 효과적으로 회피할 수 있는 방법을 제시한다 초음파 센서를 이용하여 이동로봇의 진행경로에 진입하는 이동장애물에 대한 거리 정보와 방향각(Heading Angle)을 구할 수 있다. 이동로봇의 본체 주위에 배치된 16개의 초음파 센서를 이용하여 이동로봇의 전면, 후면 및 측면의 데이터를 얻을 수 있으며 이 정보를 퍼지제어기의 입력으로 사용한다 퍼지제어기는 이러한 입력정보와 제안된 규칙 베이스를 이용하여 이동로봇의 진행방향과 속도를 결정한다. 본 논문에서 제안한 퍼지제어기를 이용한 시뮬레이션을 통해 이동장애물에 대한 효과적인 충돌회피가 수행됨을 보인다.

  • PDF

Development common DTD on construction-form documents (건설 서식문서에 관한 공통 DTD 개발)

  • Jeong, Seong-Yun;Kim, Seong-Jin;Ok, Hyun;Na, Hei-Suk
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2001.10a
    • /
    • pp.19-21
    • /
    • 2001
  • 건설사업을 시행하면서 발생하는 법정 서식문서를 사업주체간에 보다 원활하게 교환하기 위해서는 서식 문서의 전자화가 선행되어야 한다. 서식문서를 XML로 전자화 할 때 사업주체가 공통으로 활용할 수 있는 문서의 논리구조 정립이 필요하다. 이를 위해서 1,500여 개의 건설관련 법정 서식문서와 건설CALS/EC 사업에서 개발한 XML 전자문서를 조사.분석하였다. 분석된 결과를 바탕으로 서식문서의 공통 구성체계와 구성요소를 구조화하고 이론 XML 규칙에 따라 24개 대표 엘리먼트로 구성된 공통 DTD를 개발하였다.

  • PDF

Control of Wind Velocity Using Temperature of Bodily Sensation and Fuzzy Logic (체감 온도와 퍼지 논리를 이용한 풍속 제어)

  • Kim, Jae-Yong;Ha, Yan;Kim, Seong-Hoon;Kim, Kwang-Beak
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2009.10a
    • /
    • pp.320-322
    • /
    • 2009
  • 본 논문에서는 에너지 소비를 효율적으로 절약하기 위한 방법으로 평면도 상의 색상 분포 영상, 벽색상 분포 영상, 습도를 퍼지 추론 규칙에 적용하여 풍향 및 풍속을 제어하는 방법을 제안한다. 기존 제어 방법의 시뮬레이터는 소비 전력을 풍속에 관계없이 8.3KW로 설정하여 계산하기 때문에 풍속이 강하거나 약하더라도 시간 당 소비되는 전력이 같다는 문제점이 있었다. 그러나 본 논문에서 제안된 시뮬레이터에서는 풍속이 강할 수 록 소비되는 전력을 크게 설정하고, 풍속이 약할 수 록 소비되는 전력을 적게 설정한다. 제안된 풍속 제어 방법을 $400{\times}300$ 크기의 평명도 색상 영상 50장과 $400{\times}200$ 크기의 벽 색상 분포 영상 50장을 대상으로 기존의 풍속 제어 방법과의 전력량 차이를 시뮬레이션 한 결과, 기존의 방법보다 에너지 절약이 개선된 것을 확인하였다.

  • PDF

Using Prior Domain Knowledge for Efficient Relational Reinforcement Learning (효율적인 관계형 강화학습을 위한 사전 영역 지식의 활용)

  • Kang, Minkyo;Kim, Incheol
    • Annual Conference of KIPS
    • /
    • 2021.05a
    • /
    • pp.483-486
    • /
    • 2021
  • 기존의 심층 강화학습은 상태, 행동, 정책 등을 모두 벡터 형태로 표현하는 강화학습으로서, 학습된 정책의 일반성과 해석 가능성에 제한이 있고 영역 지식을 학습에 효과적으로 활용하기도 어렵다는 한계성이 있다. 이러한 문제점들을 해결하기 위해 제안된 새로운 관계형 강화학습 프레임워크인 dNL-RRL은 상태, 행동, 그리고 학습된 정책을 모두 논리 서술자와 규칙들로 표현할 수 있다. 본 논문에서는 dNL-RRL을 기초로 공장 내 운송용 모바일 로봇의 제어를 위한 행동 정책 학습을 수행하였으며, 학습의 효율성 향상을 위해 인간 전문가의 사전 영역 지식을 활용하는 방안들을 제안한다. 다양한 실험들을 통해, 본 논문에서 제안하는 영역 지식을 활용한 관계형 강화학습 방법의 학습 성능 개선 효과를 입증한다.

Intelligent Image Retrieval Using Inference-Based Web Ontology (추론기반의 웹 온톨로지를 이용한 지능형 이미지 검색)

  • Kim, Su-Kyoung;Ahan, Kee-Hong
    • Annual Conference of KIPS
    • /
    • 2007.05a
    • /
    • pp.521-524
    • /
    • 2007
  • 추론 기반의 온톨로지 구축은 시맨틱 웹 응용의 구현을 위한 최소 요건이다. 그러나 현재 시맨틱 웹응용에 적용된 대부분의 온톨로지들은 추론을 통한 지식의 재사용을 제공하지 못하며, 이는 시맨틱 웹응용의 발전에 많은 지장을 주는 요인이다. 따라서 본 연구는 서술 논리와 규칙 언어로 표현된 추론 기반의 웹 온톨로지를 구축하고, 이를 지능형 이미지 검색에 적용하였다. 추론 엔진을 이용한 지능형 이미지 검색 결과 실험으로, 추론 기반의 웹 온톨로지와 주석 기반의 웹 온톨로지를 이미지 검색 시스템에 적용하였으며, 추론 기반의 웹 온톨로지를 적용한 검색 결과가 재현율과 정확율에 있어 더욱 우수한 성능을 보여주었다.

Supercargo and Temporary Passengers (화물관리인과 임시승선자)

  • Choi, Suk-Yoon;Hong, Sung-Hwa;Ha, Chang-Woo
    • Proceedings of the Korean Institute of Navigation and Port Research Conference
    • /
    • 2018.11a
    • /
    • pp.225-227
    • /
    • 2018
  • This research paper examines the history and present of 'temporary passengers' prescribed in Paragraph 9 of Article 5 of the Ships Safety Act Enforcement Regulations and suggests improvement plans referring to the examples of legislation of other countries. In 2015, Ministry of Ocean and Fisheries made authoritative interpretation that Paragraph 9 of Article 5 of the Ships Safety Act Enforcement Regulations, which prescribes special cargo drivers such as agricultural, marine or livestock vehicles as temporary passengers, is applied only to passenger ships and not to cargo ships such including Ro-Ro cargo ships. As the authoritative interpretation of the Ministry does not agree with not only the traditional interpretational methodology but also the interpretational methodology that are commonly used today, it lacks logical basis and looks unpersuasive. Paragraph 9 of Article 5 of the Ships Safety Act Enforcement Regulations can be applied not only on passenger ships but also on cargo ships. Also in case of Ro-Ro cargo ships, it is logically contradictory and against fairness not to acknowledge special cargo vehicle drivers as temporary passengers when there is no problem with safe navigation and safety of passengers on board even when the sailor, the sailor's family and the ship owner may be acknowledged as temporary passengers. To avoid unnecessary disputes and lawsuits, improvement plans using theory of legislation through statutory reform is more desirable. Therefore, the P aragraph should be amended to "Supercargo who deals with cargo that requires special care due to the characteristics of the cargo, such as transportation vehicles for agricultural products, marine products, livestock, explosives or flammable materials (drivers can serve as supercargos)" to reflect the distinct characteristics of cargo and ship navigation in Korea including the current distribution system, while setting an objective standard based on common sense of ordinary people and not on arbitrary interpretation.

  • PDF

Image Contrast Enhancement by Illumination Change Detection (조명 변화 감지에 의한 영상 콘트라스트 개선)

  • Odgerel, Bayanmunkh;Lee, Chang Hoon
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.24 no.2
    • /
    • pp.155-160
    • /
    • 2014
  • There are many image processing based algorithms and applications that fail when illumination change occurs. Therefore, the illumination change has to be detected then the illumination change occurred images need to be enhanced in order to keep the appropriate algorithm processing in a reality. In this paper, a new method for detecting illumination changes efficiently in a real time by using local region information and fuzzy logic is introduced. The effective way for detecting illumination changes in lighting area and the edge of the area was selected to analyze the mean and variance of the histogram of each area and to reflect the changing trends on previous frame's mean and variance for each area of the histogram. The ways are used as an input. The changes of mean and variance make different patterns w hen illumination change occurs. Fuzzy rules were defined based on the patterns of the input for detecting illumination changes. Proposed method was tested with different dataset through the evaluation metrics; in particular, the specificity, recall and precision showed high rates. An automatic parameter selection method was proposed for contrast limited adaptive histogram equalization method by using entropy of image through adaptive neural fuzzy inference system. The results showed that the contrast of images could be enhanced. The proposed algorithm is robust to detect global illumination change, and it is also computationally efficient in real applications.

Exploring the Implications of Peirce's Abduction in Science Education by Theoretical Investigation (Peirce의 귀추법에 관한 이론적 고찰을 통한 과학교육적 함의 탐색)

  • Joung, Yong-Jae;Song, Jin-Woong
    • Journal of The Korean Association For Science Education
    • /
    • v.26 no.6
    • /
    • pp.703-722
    • /
    • 2006
  • The purpose of this study is to investigate the characteristics of abduction suggested by C. S. Peirce, and to discuss its implications in science education. Peirce's abduction is the logic of generating hypothesis. Abduction is a kind of logical inference, which colligates general rule and the observed result, and then it makes us judge the observed result as a case of the general rule on the basis of their resemblance. The process of abduction is also the logic of inquiry. In a Peirce's view, inquiry is a struggle for escaping from the condition of 'doubt' and to 'belief the nature of which is the establishment of habits. Because what habit an object has is its whole meaning, in his views, the fixation of belief is the way of attaining the truth related to it. The beliefs of individuals, however, are always fallible. So, to attain a truth, we need the terminal opinion of community of inquiry that could conduct infinite inquiry. These characteristics of Peirce's abduction give suggestions in science education as follows; firstly, hypothesis generating which transforms the condition of 'doubt' into the 'belief by considering practical effects should be highlighted, secondly, logical inference which makes us judge the observed result as a case of the general rule on the basis of resemblance should be highlighted, and thirdly, communities of inquiry which stand on the view of modest realism should be intended toward. These results could be expected in playing a role in critical discussion on science education relating to abduction.