In the left figure two components are shown which are used to compute and display car speed: speed display and speedometer. Because the speedometer has to send speed updates to the speed display, it needs a port which is connected via a connector to a port on the speed display component. Ports have a multiplicity: this indicates how many ports of this type exist. Every port also has a role. The...

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...