<link rel="stylesheet" href="styles.cf390c6bfbe7555f.css">

學術出版;;Publications

Permanent URI for this communityhdl:11536/1

收集所有交通大學研究人員與學生個人或團體所發表之各項學術著作，涵蓋期刊論文、教師專書、學位論文等項。;;Collections of Publications of NCTU Researchers and Students Like Journal Papers and Thesis.

Browse

🏛️國立陽明交通大學機構典藏

Access type: Open accessSubject: search.filters.subject.ATM

Search Results

Now showing 1 - 10 of 12
  • Thumbnail Image
    Item type:Item,
    ATM網路訊務管理及信號系統---總計畫
    (2000)
    張仲儒
    ;
    CHANG CHUNG-JU
    ;
    交通大學電信工程系
  • Thumbnail Image
    Item type:Item,
    整合型高速網路軟體工程環境之研究與設計---高速網路通訊協定之實證與驗證(III)
    (1998)
    鍾乾癸
    ;
    Chung, Chyan-Goei
    ;
    交通大學資訊工程系
    ATM在眾多高速網路中是最重要的一種，相對的設計與驗證ATM網路和其通訊協定也變成是是一件重要工作。運用傳統之網路和通訊協定的設計與分析方法來設計ATM通訊協定，其所得結果並不能完全滿足ATM通訊協定驗証的需求。因此，如何提供一個well-formed的規格語言，以及ATM高速網路性質的實證與驗證環境，無疑的是重要的工作。本計劃為整合計畫「整合性高速網路軟體工程環境之研究與設計」之一子計畫，為期三年，本研究為第三年。整體而言，第一年計劃之工作是提出適合描述ATM網路通訊協定規格描述語言。第二年的計畫目標在於定義ATM性質描述語言，以及提出一套驗證方法能夠驗證性質描述語言所描述之性質，驗證的方法包含以路徑導向為基礎的靜態驗證方與，以及以模擬為基礎的動態驗證方法，第二年進行後者。第三年的目標則在設計靜態驗證方法，以及將前兩年所設計的驗證方法製作成工具，並且與其它子計畫所設計的工具進行整合。第一年完成如下的工作：1.研究ATM高速網路之相關通訊協定重要的特性：2.加強Estelle的敘述能力使之適合ATM網路通訊協定的描述。3.建立一固定ATM網路的網路模擬程式在第二年度的計畫中，依照前一年度所提出的計畫書，本年度的工作目標在於研究ATM通訊協定軟體驗證的方法，以驗證ATM通訊協定所需具備的性質(擬定的方法包含具時間概念的路徑導向方法，以及以模擬為基礎的兩種驗證方法)。但是由於在第一年的計畫完成後，在年終檢討的時候，我們為了整體的計畫考量，將預定進行的工作修正為1. 研究與定義ATM通訊協定中所需驗證的性質，並以Temporal Logic為基礎設計依性質描述語言。2. 提出以模擬為基礎的驗證方法3. 利用一物件導向的分析設計方法設計模擬器與相關之模擬模型。4. 研究目前現有的以通訊協定正規驗證方法，與定義驗證所需要的驗證模型。5. 研究與設計物件導向通訊協定規格。6. 設計與製作ATM模擬器與以模擬為基礎的驗證環境在第三年的計畫中，我們則將致力於具時間概念的以路徑為基礎的驗證方法與相關環境的設計與製作。在驗證方法的研究上，我們將採用路徑導向的驗證方法突破”State SpaceExplosion Problem”，並且將之加入與時間有關的特性以及Temporal Logic的驗證能力。另外由於這將是計畫的最後一年我們將進行與其它子計畫所設計的系統進行整合。
  • Thumbnail Image
    Item type:Item,
  • Thumbnail Image
    Item type:Item,
  • Thumbnail Image
    Item type:Item,
    ATM網路訊務管理及信號系統---ATM訊號系統之研究發展
    (1999)
    陳耀宗
    ;
    CHEN YAW-CHUNG
    ;
    交通大學資訊工程系
  • Thumbnail Image
    Item type:Item,
    ATM網路訊務管理及信號系統---子計畫III：ATM網路CBR訊務控制法則之研發
    (2000)
    陳伯寧
    ;
    CHEN PO-NING
    ;
    交通大學電信工程系
  • Thumbnail Image
    Item type:Item,
    Design and analysis of delay control for CBR services in ATM networks
    (1998-05-15)
    Chen, YC
    ;
    Chan, CT
    ;
    Hu, SC
    ;
    資訊工程學系
    ;
    Department of Computer Science
    Asynchronous transfer mode (ATM) networks are designed to provide end-to-end transport of user data via virtual connections with specified quality of services (QOS), which is expected to be satisfied through effective traffic control mechanisms. This paper presents an adaptive delay-jitter control (ADJC) method that guarantees the delay bounds of constant bit rate (CBR) services in ATM networks. Our proposed method is based on a node-by-node time-frame scheme. Through both mathematical derivation and simulation, we have demonstrated that ADJC features a significant improvement over existing approaches in jitter delay, which can be reduced to one time-frame from end-to-end for CBR traffic. Simulation results have shown that CBR services receive satisfactory delay performance using our approach. (C) 1998 Elsevier Science B.V.
  • Thumbnail Image
    Item type:Item,
    The dual flow control problem of TCP over ATM ABR services
    (1999-07-01)
    Lai, YC
    ;
    Lin, YD
    ;
    Hung, HF
    ;
    資訊工程學系
    ;
    Department of Computer Science
    In this paper, we investigate the dual control problem-TCP how control at the TCP layer and ABR how control at the ATM layer. First, we observe that TCP how control and ABR how control cannot co-operate well. The worst case is that the slow start after packet loss causes high but unused ACR (Allowed Cell Rate) which raises the potential of cell loss and an underflowed switch queue which reduces ABR throughput. We suggest to implement a use-it-or-lose-it policy for ABR and fast recovery for TCP to avoid these phenomena. Copyright (C) 1999 John Wiley & Sons, Ltd.
  • Thumbnail Image
    Item type:Item,
    Ping-pong flow control for ATM ABR traffic
    (2003-09-01)
    Ku, CY
    ;
    Hwang, LC
    ;
    Wu, HT
    ;
    電信工程研究所
    ;
    Institute of Communications Engineering
    In this paper, we propose an improved technique for congestion control, named as ping-pong flow control (PPFC), for asynchronous transfer mode (ATM) available bit rate (ABR) traffic. This is a rate-based flow control scheme, in which the rate regulation is achieved by directly adjusting the transmission rate in the source end station. The proposed algorithm uses a bipolar feedback strategy, which employs positive and negative feedbacks to control the transmission rate for different switch states. These states are determined using the traditional threshold-based method. We also introduce state early detection (SED), which enables the PPFC to control traffic flows more precisely and accurately at critical moments. The simulation results show that the proposed algorithm provides a higher throughput and lower cell loss ratio when compared to the well-known backward explicit congestion notification (BECN). Furthermore, these results also show that PPFC is robust against feedback losses. (C) 2003 Elsevier Science B.V. All rights reserved.
  • Thumbnail Image
    Item type:Item,
    Dynamic resource allocation for VBR video transmission
    (1998)
    Yang, HC
    ;
    Hang, HM
    ;
    電子工程學系及電子研究所
    ;
    Department of Electronics Engineering and Institute of Electronics
    The goal of this paper is to provide a feasible and flexible mechanism for variable bit rate (VBR) video transmission and to achieve high network utilization with statistical Quality of Service (QoS). In this paper, we employ a piece-wise constant rate smoothing algorithm to smooth the video coder outputs and propose a simple algorithm to determine the renegotiation schedule for the smoothed streams. In order to transmit video streams with renegotiation-based VER service, we suggest a connection admission control (CAC) based on Chernoff bound using a simple yet quite accurate "binomial" traffic model. The experimental results show that our proposed method provides an easy and robust mechanism to support real-time video transmission in both homogeneous and heterogeneous connection environments.