Technical and Economic Criteria to Select Pavement Surfaces of Port Handling Plants

A port is an intermodal system in which many logistics activities requiring properly constructed areas occur. The large extension of these areas poses a major problem in choosing materials with technical and economic implications. Choice and design of pavements are directly related to the port handling systems and procedures for the disposal of the cargo units. The paper presents the design and verification procedures for three equivalent pavements for a handling pavement in an Italian medium-sized port trafficked by reach stackers moving containers. An asphalt pavement, a concrete pavement, and a concrete block pavement have been considered during the 20-year service life. Empirical and analytical methods have been adopted to design and verify the pavements. The structures have been examined in terms of economic concerns during the overall service life, considering both construction and maintenance costs, in order to determine the most cost-effective option. The results demonstrate the inappropriateness of asphalt pavement, in the examined case, from a construction costs point of view. Furthermore, the overall discounted costs show an inversion of convenience between block concrete pavement and cast in situ concrete: the latter is the cheaper solution. The proposed methodology can balance often conflicting objectives in matters of durability and funds management, providing answers to a complex topic

A Static Verification Framework for Secure Peer-to-Peer Applications

In this paper we present a static verification framework to support the design and verification of secure peer-to-peer applications. The framework supports the specification, modeling, and analysis of security aspects together with the general characteristics of the system, during early stages of the development life-cycle. The approach avoids security issues to be taken into consideration as a separate layer that is added to the system as an afterthought by the use of security protocols. The main functionality supported by the framework are concerned with the modeling of the system together with its security aspects by using an extension of UML, modeling of abuse cases to represent scenarios of attackers and assist with the identification of properties to be verified, specification of properties to be verified in a graphical template language, verification of the models against the properties, and visualization of the results of the verification process

Computerization of workflows, guidelines and care pathways: a review of implementation challenges for process-oriented health information systems

There is a need to integrate the various theoretical frameworks and formalisms for modeling clinical guidelines, workflows, and pathways, in order to move beyond providing support for individual clinical decisions and toward the provision of process-oriented, patient-centered, health information systems (HIS). In this review, we analyze the challenges in developing process-oriented HIS that formally model guidelines, workflows, and care pathways. A qualitative meta-synthesis was performed on studies published in English between 1995 and 2010 that addressed the modeling process and reported the exposition of a new methodology, model, system implementation, or system architecture. Thematic analysis, principal component analysis (PCA) and data visualisation techniques were used to identify and cluster the underlying implementation ‘challenge’ themes. One hundred and eight relevant studies were selected for review. Twenty-five underlying ‘challenge’ themes were identified. These were clustered into 10 distinct groups, from which a conceptual model of the implementation process was developed. We found that the development of systems supporting individual clinical decisions is evolving toward the implementation of adaptable care pathways on the semantic web, incorporating formal, clinical, and organizational ontologies, and the use of workflow management systems. These architectures now need to be implemented and evaluated on a wider scale within clinical settings

Import procedures for timber to the European Union : options for streamlining procedures for legal timber

This report provides a description of the institutions involved in timber import and an overview of import procedures and related documents in the Netherlands in the framework of the European Union Action Plan for Forest Law Enforcement, Governance and Trade (FLEGT). FLEGT aims at establishing Voluntary Partnership Agreements (VPAs) between the EU and timber producing countries. The report includes recommendations with respect to streamlining import procedures and electronic document handling

Handling Data-Based Concurrency in Context-Aware Service Protocols

Dependency analysis is a technique to identify and determine data dependencies between service protocols. Protocols evolving concurrently in the service composition need to impose an order in their execution if there exist data dependencies. In this work, we describe a model to formalise context-aware service protocols. We also present a composition language to handle dynamically the concurrent execution of protocols. This language addresses data dependency issues among several protocols concurrently executed on the same user device, using mechanisms based on data semantic matching. Our approach aims at assisting the user in establishing priorities between these dependencies, avoiding the occurrence of deadlock situations. Nevertheless, this process is error-prone, since it requires human intervention. Therefore, we also propose verification techniques to automatically detect possible inconsistencies specified by the user while building the data dependency set. Our approach is supported by a prototype tool we have implemented.Comment: In Proceedings FOCLASA 2010, arXiv:1007.499

R&D on co-working transport schemes in Geant4

A research and development (R&D) project related to the extension of the Geant4 toolkit has been recently launched to address fundamental methods in radiation transport simulation. The project focuses on simulation at different scales in the same experimental environment; this problem requires new methods across the current boundaries of condensed-random-walk and discrete transport schemes. The new developments have been motivated by experimental requirements in various domains, including nanodosimetry, astronomy and detector developments for high energy physics applications.Comment: To be published in the Proceedings of the CHEP (Computing in High Energy Physics) 2009 conferenc

Design and Verification Guidelines for Vibroacoustic and Transient Environments

Design and verification guidelines for vibroacoustic and transient environments contain many basic methods that are common throughout the aerospace industry. However, there are some significant differences in methodology between NASA/MSFC and others - both government agencies and contractors. The purpose of this document is to provide the general guidelines used by the Component Analysis Branch, ED23, at MSFC, for the application of the vibroacoustic and transient technology to all launch vehicle and payload components and payload components and experiments managed by NASA/MSFC. This document is intended as a tool to be utilized by the MSFC program management and their contractors as a guide for the design and verification of flight hardware

Modelling of a Gas Cap Gas Lift System

Imperial Users onl