RISS 학술연구정보서비스

검색
다국어 입력

http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.

변환된 중국어를 복사하여 사용하시면 됩니다.

예시)
  • 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
  • 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
닫기
    인기검색어 순위 펼치기

    RISS 인기검색어

      검색결과 좁혀 보기

      선택해제
      • 무료
      • 기관 내 무료
      • 유료
      • KCI등재

        수정된 maximal progress 상태 탐사방법에 의한 개선된 프로토콜 검증 알고리즘

        이철희,이상호,고원국 한국통신학회 1988 韓國通信學會論文誌 Vol.13 No.3

        본 논문에서는 두개의유한 상태 통신 기계에 대한 통신 프로토콜을 검증할 수 있도록 수정된 maximal progress 상태 탐사 방법을 제안한다. 모든 도달 가능한 상태들을 생성하는 작업은 두개의 독립된 작업으로 구분하며, 각 작업에서는 어느 한 기계에 대한 도달 가능한 상태들을 수정된 maximal progress순서에 의해서 생성되도록 한다. 이러한 maximal progress 상태 탐사 방법은 기존의 maximal progress 상태 탐사 방법보다 더 적은 시간과 공간을 요구한다. A new approach to the reachability analysis of communication protocols is presented using a modified maximal progress state exploation for two communicating finite state machines. The task of generating all reachable states is divided into two independent subtasks. In each subtask, only the states which are reachable by forcing modified maximal progress sequence for one machine are generated. Modified maximal progress state exploration saves space and time over maximal progress state exploration.

      • KCI우수등재

        퍼지 페트리 네트를 이용한 신경계 행위 표현

        김성열(Seong Ryeol Kim),고원국(Won Guk Ko),이상호(Sang Ho Lee),이철희(Chul Hee Lee) 한국정보과학회 1993 정보과학회논문지 Vol.20 No.5

        본 논문은 신경계의 정보 처리 과정을 다루기 위하여, 행위 표현 방법에 대한 새로운 모형을 제안하고, 이 모형을 인간의 실제 신경계에 적용한다. 신경계의 수많은 뉴런들 사이의 상호작용에 의해 나타나는 신경계 행위의 변화과정이 정보처리의 특성이다. 이와 같은 변화 행위를 규명하기 위하여, 퍼지 집합 이론을 페트리 네트에 적용한 새로운 모형과 도구로 퍼지 페트리 네트를 제안한다. 퍼지 페트리 네트를 사용하여, 신경계의 행위 표현을 위한 모형화 도구를 구현하고, 실제의 정중 신경계에 적용한 결과로, 제안된 방법이 일반적인 신경계를 표현하고 분석하는 데 사용될 수 있음을 밝힌다. A new model for the representation of behaviors to deal with the information processing of the nervous systems is proposed in this paper, and the model is applied to the nervous systems of the human. The variation process of the nervous system behaviors that appears by the interactions of many neurons is an information processing characteristics. To verify such a variation behavior in the nervous system, we propose a Fuzzy Petri Net as a new modeling tool, which is applied a Fuzzy set theory to the Petri Net. Using the Fuzzy Petri Net, a modeling tool for the representation of the nervous system behaviors can be implemented. As a result of appling it to the real median nervous system, it is shown that the proposed analytical approach enables us to use representation and analysis in the general nervous systems.

      • OSI 환경하에서의 효율적인 네트워크 관리에 관한 연구

        유남호(Nam Ho Yoo),고원국(Won Kook Ko),이철희(Chul Hee Lee) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.2

        본 논문은 복잡해지는 네트워크를 관리하기 위해서 OSI 환경하에서 보다 효율적인 네트워크 관리 방안에 관해 연구하였다. 먼저 네트워크 관리의 기본적인 이론을 기술하였고, 기존 네트워크 관리 시스템을 검토하였다. 또한 OSI 환경하에 따른 네트워크 동작 관리의 자동화 모델과 성능 관리의 효율적 방법을 제시하고 표준화에 따른 네트워크 관리 구조의 개념적 모델에서 효과적인 관리를 위한 전략적인 방안을 제안하였다.

      • 양산성을 고려한 고토크 저속 직구동 시스템의 최적 설계

        박동명,강일환,경태현,김찬오,고원국,이동훈,문우용 한국항공우주학회 2014 한국항공우주학회 학술발표회 논문집 Vol.2014 No.4

        일반적으로, 기어와 감속기로 구성된 구동 시스템들은 기어가 가지고 있는 백래쉬와 기어 마찰에 의한 에너지 손실, 기어비에 따른 소음과 진동 등의 문제점을 항상 가지고 있다. 이에 반해, 기어를 사용하지 않는 중공형 직구동 시스템은 이러한 문제점을 해결함과 빠른 응답속도, 정밀한 위치제어 및 속도 제어가 가능한 장점이 있다. 그러나, 중공형 직구동 모터는 회전자와 고정자 간의 인력이 크기 때문에, 대구경 형태로 개발할수록 구현이 힘들며 균질한 기계적 특성을 구현하기가 힘들다. 따라서, 본 연구에서는 BLAC 형태의 대구경 중공형 직구동 시스템을 개발하고, 이를 정형화하여 양산에 적용한 사례에 대해 기술토록 한다. Generally, geared type driving systems have some problem such as gear backlash and energy loss by gear contact, noise and vibration by gear ratio. etc. Relatively, the advantage of direct drive motor type hollow direct drive systems is that it is no problems of geared type driving systems and a rapid speed response, an accuracy position/speed control. But, a characteristic of direct drive motor has a big attractive force between rotor and stator. So, the more direct drive system(DDS) is large, the difficult DDS’s characteristics have uniformity. Therefore, in this study we developed and standardized BLAC type of a high tongue and low speed direct drive system and made development criteria considering the mass product phase.

      연관 검색어 추천

      이 검색어로 많이 본 자료

      활용도 높은 자료

      해외이동버튼