RISS 학술연구정보서비스

검색
다국어 입력

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

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

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

    RISS 인기검색어

      검색결과 좁혀 보기

      선택해제
      • 좁혀본 항목 보기순서

        • 원문유무
        • 원문제공처
        • 등재정보
        • 학술지명
        • 주제분류
        • 발행연도
        • 작성언어
        • 저자
          펼치기

      오늘 본 자료

      • 오늘 본 자료가 없습니다.
      더보기
      • 무료
      • 기관 내 무료
      • 유료
      • KCI등재

        무선가입자망의 링크 부계층에서 재전송 방식의 처리율 분석

        위성홍,신병철,김진경,양순성,송평중,이헌,We, Sung-Hong,Shin, Byung-Cheol,Kim, Jin-Kyong,Yang, Soon-Sung,Song, Pyung-Joong,Lee, Hun 한국통신학회 1998 韓國通信學會論文誌 Vol.23 No.5

        The link sublayer segmentizes a use data into several frames and transmits it through a wireless channel. In this case, the packet error probability and link throughput are affected by the frame size. And a portion of pure user data in a packet affects a link throughput. In this paper we analyze and simulate the retransmission scheme of the Wireless Local Loop(WLL) system and study the link throughput according to the payload size. 본 논문에서는 무선 가입자망(WLL: Wireless Local Loop)을 통하여 데이터 서비스를 제공하는 경우에 있어 Link 부계층의 성능을 연구하고자 한다. Link 부계층에서는 사용자 패킷 데이터를 전송하기에 알맞게 분할하여 전송하게 된다. 데이터를 어느 정도 크기로 분할하느냐에 따라서 패킷 오류 확률이 달라지고 이에 따라서 링크 처리율이 변화하게 된다. 또한 한 패킷 내에서 헤더를 제외한 순수 사용자 데이터가 차지하는 비율이 달라짐에 따라 처리율이 변화하게 된다. 본 논문에서는 WLL 시스템의 재전송 방식을 수학적으로 분석하고 모의 실험함으로써 페이로드의 크기 변화에 따라서 Link 부계층에서의 처리율이 어떻게 변화하는지를 보인다.

      • 무선신호링크 프로토콜 검증을 위해 확장된 변환규칙을 이용한 확률 페트리네트 모델링

        조정호(Chung Ho Cho),최훈(Hoon Choi),노철우(Cheul Woo Ro),송평중(Pyung Joong Song),임형석(Hyeong Seok Lim) 한국정보과학회 1996 정보과학회논문지 : 시스템 및 이론 Vol.23 No.11

        본 논문에서는 CDMA(Code Division Multiple Access) 다원 접속 방식에 근거하여 설계된 PCS(Personal Communication Service) 무선신호링크 프로토콜(RSLP:Radio Signaling Link Protocol)의 S이(Specification and Description Language) 규격을 검증한다. RSLP 동작은 정보의 송수신, 버퍼 큐 내의 불필요한 정보의 제거, 정보의 재전송, 상태 변수의 초기치 설정, 버퍼 큐로의 정보 삽입, 큐로부터 정보 추출, 변수의 상태 값 갱신 처리 기능으로 이루어진다. 본 논문에서는 RSLP의 모든 처리 동작을 확률 페트리네트로 변환하는 확장된 변환 규칙을 제안한다. 확장된 변환 규칙을 이용하여 RSLP를 확률 페트리네트로 모델링한 후 이로부터 도달성 그래프를 구하고 이를 분석하여 RSLP의 동작 특성인 도달성, 제한성, 생존성, 환원성의 검증 뿐만 아니라 설계상의 여러 가지 의미적 에러를 검증할 수 있음을 보인다. In this paper, we verify SDL descriptions of Radio Signaling Link Protocols(RSLP) using Stochastic Petri Nets. The RSLP is used for PCS and is based on CDMA multiple access technology. RSLP process functions such as information transmission and reception, discard of useless information in buffer queue, retransmission of information, initialization of the status variables, inserting an information into buffer queue, retrieving an information from buffer queue, and change of values of the status variables. The extended transformation rules from SDL into Stochastic Petri Nets are proposed. The SDL description of the RSLP is converted Stochastic Petri Nets by the proposed rules, from which the reachability graphs are obtained. By analyzing the graphs, behavioral properties such as reachability, boundedness, livenesss, and reversibility as well as semantic errors of the protocol can be verified.

      연관 검색어 추천

      이 검색어로 많이 본 자료

      활용도 높은 자료

      해외이동버튼