Taking the total volume of import and export trade of Ningbo port in 2004-2011 as the original data, a mathematical model of gray forecasting is established for the total volume of import and export trade of port. The paper predicts the total volume of import and export trade of Ningbo port in 2012-2015 during the 12th Five-Year Plan in accordance with the posterior variance testing. The analys...

In this paper we display a practical approach adopted for the formal verification of Fairisle ATM (Asynchronous Transfer Mode) switch port controller using model checking. The ATM port controller is part of the Cambridge Fairisle ATM network and plays a key role in the ATM switching process. In particular, we present our experience on the model checking of the ATM port controller using the VIS ...

Alexander Rosewell, Rosheila Dagina, Manoj Murhekar, Berry Ropa, Enoch Posanai, Samir Dutta, Ian Barr, Glen Mola, Anthony Zwi, and C. Raina MacIntyre Author affi liations: World Health Organization, Port Moresby, Papua New Guinea (A. Rosewell, M. Murhekar); University of New South Wales, Sydney, New South Wales, Australia (A. Rosewell, A. Zwi, C.R. MacIntyre); National Department of Health, Por...

PURPOSE Single-port laparoscopic surgery has evolved from an effort to minimize tissue trauma, limit morbidity, and maximize cosmesis. Limited data exist comparing single-port with conventional laparoscopy for right colectomy. Our aim is to compare single-port with laparoscopic colectomy with regard to safety and feasibility. We assert that this approach can be adopted in a safe and efficacious...

This paper deals with the specification of a Decision Support System (DSS) that has to manage the flow of goods and the business transactions between a port and a dry port. The paper investigates the case of the broader area of Trieste port and specifies the DSS that manages the import flows of freights between dry port and seaport. An integrated approach is designed for the tactical level deci...

Port logistics plays a pivot role in the world’s rapid growth of international trade and regional economic (Song, 2002; Chou, 2002). For example, port logistics and related down-stream activities account for no less than 25% of Hong Kong’s GDP and nearly 25% of its workforce. More than 85% of the trade cargo in Hong Kong is transported through port (C&SD, Hong Kong SAR, 2008). Port logistics oc...

A study of a prefix routing cache for Internet IP routing is presented. An output port assignment requires one cache memory access when the assignment is found in cache. The cache array is divided into sets that are of variable size; all entries within a set have the same prefix size. The cache is based on a ternary content addressable memory that matches ones, zeroes and don’t care values. Our...

A compact fully integrated wideband six-port device composed of a suspended stripline Wilkinson power divider and three bias stripline of 3-dB quadrature directional couplers is presented. In order to integrate a six-port circuit, a multilayer circuit structure has been adopted by the via hole interconnection at the output port of the divider. The 3-dB quadrature directional coupler is composed...