Border ports play a substantial role in socio-economic exchanges, which reflect the diplomatic relations between neighboring countries. This paper maps and analyzes the evolution process of border ports in China since the 1930s, in terms of the spatial distribution, transport modes, cargo and flows of people. Four development modes of border ports and cities are summarized based on the function...

Objective: To evaluate the feasibility and safety of single-port laparoscopic hysterectomy comparing with multi-port laparoscopic hysterectomy in treatment of benign uterine diseases. Methods: Data were collected retrospectively by review of the medical records of 252 patients who underwent multi-port or single-port laparoscopic surgery for treatment of benign gynecologic diseases. Laparoscopy ...

BACKGROUND Postoperative radiation (PORT) is an option for non-small cell lung cancer (NSCLC) patients with resectable stage IIIA pathological N2 status (pN2). For patients with PORT, this study aims to investigate the impact of the exact number of positive lymph nodes (LNs) on overall survival (OS) and lung cancer-specific survival (LCSS). METHODS Within the Surveillance, Epidemiology, and E...

Introduction Support of RSTP in Catalyst Switches New Port States and Port Roles Port States Port Roles New BPDU Format New BPDU Handling BPDU are Sent Every Hello−Time Faster Aging of Information Accepts Inferior BPDUs Rapid Transition to Forwarding State Edge Ports Link Type Convergence with 802.1D Convergence with 802.1w Proposal/Agreement Sequence UplinkFast New Topology Change Mechanisms T...

ion. For an abstraction, T (λx.t) is obtained by introducing an agent λ, and simply linking its right auxiliary port (called body port) to the root of T (t) and its left one (variable port) to the unique wire corresponding to x in T (t). If x does not appear in t, then the left port of the agent λ is linked to an agent (for erasure).

The Port of Seville is an inland port located in the Guadalquivir River in the south of Spain and it is the unique Spanish inland port. Our research is focused on the simulation of the freight transport process beginning with the movement through the whole estuary of the river and finishing with the vessels arriving to the port dependencies, where the logistic operators’ load and unload process...

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