Data-Flow analysis of prolog programs with extra-logical features

Abstract interpretation-based data-flow analysis of logic programs is at this point relatively well understood from the point of view of general frameworks and abstract domains. On the other hand, comparatively little attention has been given to the problems which arise when analysis of a full, practical dialect of the Prolog language is attempted, and only few solutions to these problems have been proposed to date. Such problems relate to dealing correctly with all builtins, including meta-logical and extra-logical predicates, with dynamic predicates (where the program is modified during execution), and with the absence of certain program text during compilation. Existing proposals for dealing with such issues generally restrict in one way or another the classes of programs which can be analyzed if the information from analysis is to be used for program optimization. This paper attempts to fill this gap by considering a full dialect of Prolog, essentially following the recently proposed ISO standard, pointing out the problems that may arise in the analysis of such a dialect, and proposing a combination of known and novel solutions that together allow the correct analysis of arbitrary programs using the full power of the language.

Designing Rapid Transit Network Design with Alternative routes

The aim of this paper is to propose a model for the design of a robust rapid transit network. In this paper, a network is said to be robust when the effect of disruption on total trip coverage is minimized. The proposed model is constrained by three different kinds of flow conditions. These constraints will yield a network that provides several alternative routes for given origin–destination pairs, therefore increasing robustness. The paper includes computational experiments which show how the introduction of robustness influences network design

Robust rolling stock in rapid transit network

This paper focuses on the railway rolling stock circulation problem in rapid transit networks, in which frequencies are high and distances are relatively short. Although the distances are not very large, service times are high due to the large number of intermediate stops required to allow proper passenger flow. The main complicating issue is the fact that the available capacity at depot stations is very low, and both capacity and rolling stock are shared between different train lines. This forces the introduction of empty train movements and rotation maneuvers, to ensure sufficient station capacity and rolling stock availability. However, these shunting operations may sometimes be difficult to perform and can easily malfunction, causing localized incidents that could propagate throughout the entire network due to cascading effects. This type of operation will be penalized with the goal of selectively avoiding them and ameliorating their high malfunction probabilities. Critic trains, defined as train services that come through stations that have a large number of passengers arriving at the platform during rush hours, are also introduced. We illustrate our model using computational experiments drawn from RENFE (the main Spanish operator of suburban passenger trains) in Madrid, Spain. The results of the model, achieved in approximately 1 min, have been received positively by RENFE planners

Air pollution data classification by SOM Neural Network

Over the last ten years, Salamanca has been considered among the most polluted cities in México. This paper presents a Self-Organizing Maps (SOM) Neural Network application to classify pollution data and automatize the air pollution level determination for Sulphur Dioxide (SO2) in Salamanca. Meteorological parameters are well known to be important factors contributing to air quality estimation and prediction. In order to observe the behavior and clarify the influence of wind parameters on the SO2 concentrations a SOM Neural Network have been implemented along a year. The main advantages of the SOM is that it allows to integrate data from different sensors and provide readily interpretation results. Especially, it is powerful mapping and classification tool, which others information in an easier way and facilitates the task of establishing an order of priority between the distinguished groups of concentrations depending on their need for further research or remediation actions in subsequent management steps. The results show a significative correlation between pollutant concentrations and some environmental variables.

MAL, an Integral Element of the Apical Sorting Machinery, Is an Itinerant Protein That Cycles between the Trans-Golgi Network and the Plasma Membrane

The MAL proteolipid is a nonglycosylated integral membrane protein found in glycolipid-enriched membrane microdomains. In polarized epithelial Madin-Darby canine kidney cells, MAL is necessary for normal apical transport and accurate sorting of the influenza virus hemagglutinin. MAL is thus part of the integral machinery for glycolipid-enriched membrane–mediated apical transport. At steady state, MAL is predominantly located in perinuclear vesicles that probably arise from the trans-Golgi network (TGN). To act on membrane traffic and to prevent their accumulation in the target compartment, integral membrane elements of the protein-sorting machinery should be itinerant proteins that cycle between the donor and target compartments. To establish whether MAL is an itinerant protein, we engineered the last extracellular loop of MAL by insertion of sequences containing the FLAG epitope or with sequences containing residues that became O-glycosylated within the cells or that displayed biotinylatable groups. The ectopic expression of these modified MAL proteins allowed us to investigate the surface expression of MAL and its movement through different compartments after internalization with the use of a combination of assays, including surface biotinylation, surface binding of anti-FLAG antibodies, neuraminidase sensitivity, and drug treatments. Immunofluorescence and flow cytometric analyses indicated that, in addition to its Golgi localization, MAL was also expressed on the cell surface, from which it was rapidly internalized. This retrieval implies transport through the endosomal pathway and requires endosomal acidification, because it can be inhibited by drugs such as chloroquine, monensin, and NH4Cl. Resialylation experiments of surface MAL treated with neuraminidase indicated that ∼30% of the internalized MAL molecules were delivered to the TGN, probably to start a new cycle of cargo transport. Together, these observations suggest that, as predicted for integral membrane members of the late protein transport machinery, MAL is an itinerant protein cycling between the TGN and the plasma membrane.

Two Components of Actin-based Retrograde Flow in Sea Urchin Coelomocytes

Sea urchin coelomocytes represent an excellent experimental model system for studying retrograde flow. Their extreme flatness allows for excellent microscopic visualization. Their discoid shape provides a radially symmetric geometry, which simplifies analysis of the flow pattern. Finally, the nonmotile nature of the cells allows for the retrograde flow to be analyzed in the absence of cell translocation. In this study we have begun an analysis of the retrograde flow mechanism by characterizing its kinetic and structural properties. The supramolecular organization of actin and myosin II was investigated using light and electron microscopic methods. Light microscopic immunolocalization was performed with anti-actin and anti-sea urchin egg myosin II antibodies, whereas transmission electron microscopy was performed on platinum replicas of critical point-dried and rotary-shadowed cytoskeletons. Coelomocytes contain a dense cortical actin network, which feeds into an extensive array of radial bundles in the interior. These actin bundles terminate in a perinuclear region, which contains a ring of myosin II bipolar minifilaments. Retrograde flow was arrested either by interfering with actin polymerization or by inhibiting myosin II function, but the pathway by which the flow was blocked was different for the two kinds of inhibitory treatments. Inhibition of actin polymerization with cytochalasin D caused the actin cytoskeleton to separate from the cell margin and undergo a finite retrograde retraction. In contrast, inhibition of myosin II function either with the wide-spectrum protein kinase inhibitor staurosporine or the myosin light chain kinase–specific inhibitor KT5926 stopped flow in the cell center, whereas normal retrograde flow continued at the cell periphery. These differential results suggest that the mechanism of retrograde flow has two, spatially segregated components. We propose a “push–pull” mechanism in which actin polymerization drives flow at the cell periphery, whereas myosin II provides the tension on the actin cytoskeleton necessary for flow in the cell interior.

Ribonucleoprotein infrastructure regulating the flow of genetic information between the genome and the proteome

Following transcription and splicing, each mRNA of a mammalian cell passes into the cytoplasm where its fate is in the hands of a complex network of ribonucleoproteins (mRNPs). The success or failure of a gene to be expressed depends on the performance of this mRNP infrastructure. The entry, gating, processing, and transit of each mRNA through an mRNP network helps determine the composition of a cell's proteome. The machinery that regulates storage, turnover, and translational activation of mRNAs is not well understood, in part, because of the heterogeneous nature of mRNPs. Recently, subsets of cellular mRNAs clustered as members of mRNP complexes have been identified by using antibodies reactive with RNA-binding proteins, including ELAV/Hu, eIF-4E, and poly(A)-binding proteins. Cytoplasmic ELAV/Hu proteins are involved in the stability and translation of early response gene (ERG) transcripts and are expressed predominately in neurons. mRNAs recovered from ELAV/Hu mRNP complexes were found to have similar sequence elements, suggesting a common structural linkage among them. This approach opens the possibility of identifying transcripts physically clustered in vivo that may have similar fates or functions. Moreover, the proteins encoded by physically organized mRNAs may participate in the same biological process or structural outcome, not unlike operons and their polycistronic mRNAs do in prokaryotic organisms. Our goal is to understand the organization and flow of genetic information on an integrative systems level by analyzing the collective properties of proteins and mRNAs associated with mRNPs in vivo.

Assessment of groups in a network organization based on the Shapley group value.

The focus of this paper is the assessment of groups of agents or units in a network organization. Given a social network, the relations between agents are modeled by means of a graph, and its functionality will be codified by means of a cooperative game. Building on previous work of Gomez et al. (2003) for the individual case, we propose a Myerson group value to evaluate the ability of each group of agents inside the social network to achieve the organization's goals. We analyze this centrality measure, and in particular we offer several decompositions that facilitate obtaining a precise interpretation of it.

Investigação de aquífero fraturado para entendimento de fluxo e transporte de contaminantes clorados: estudo de caso em Valinhos, SP

Casos de contaminação de aquíferos fraturados são bastante complexos, tendo em vista a heterogeneidade das redes de fraturas, e no geral, sua investigação demanda a utilização de técnicas pouco usuais, como por exemplo o imageamento acústico e a perfilagem de velocidade de fluxo de água. Na área de estudo, localizada em Valinhos/SP, o uso inadequado de solventes organoclorados no passado ocasionou a contaminação do aquífero raso em duas áreas, e o aparecimento de concentrações no aquifero profundo levaram a condução do atual trabalho, que teve como principal objetivo a elaboração de um modelo conceitual de fluxo de água e transporte de contaminantes no aquífero cristalino. Previamente à investigação do aquífero fraturado, foi realizada uma análise de trabalhos existentes, incluindo a interpretação de lineamentos, levantamentos geológicos além de perfilagens geofísicas de superfície. Em cada área investigada, foi realizada a perfuração de um poço profundo e aplicadas as técnicas de perfilagens de raios gama, cáliper, flowmeter, imageamento acústico, além da filmagem do poço e realização de ensaios hidráulicos nos dois pontos perfurados. Para caracterização química do aquífero fraturado, foram realizadas coletas de água subterrânea em intervalos selecionados com a utilização de obturadores pneumáticos. As cargas hidráulicas medidas durante a amostragem também auxiliaram no entendimento da direção do fluxo de água. O aquífero cristalino é formado por rochas gnáissicas e se encontra bastante fraturado e intemperizado, principalmente na porção superficial da rocha (até aproximadamente 65,0 m) onde as maiores velocidades de fluxo de água também foram observadas. A rocha sã possui uma menor densidade de fraturas e predominância de minerais mais claros. As fraturas de baixo a médio angulo de mergulho (Grupo 1) são as mais frequentes em ambas as perfurações e possuem direção principal N-S a NE-SW. São observadas, no geral, exercendo grande influência sobre o fluxo de água, principalmente na porção alterada do gnaisse. Fraturas com ângulo elevado de mergulho, classificadas como Grupo 2 (paralelas à foliação) e Grupo 3 (direção NW à W), são também observadas ao longo de toda a perfuração estabelecendo a conexão hidráulica entre as fraturas do Grupo 1. Em menor proporção, são ainda verificadas fraturas com ângulos de mergulho >40 ° pertencente aos Grupos 4 (NE-SW), 5 (E-W), 6 (NW-SE) e 7 (E-W). O fluxo de água subterrânea se mostrou descendente na porção superior da rocha alterada e ascendente na porção mais profunda, possivelmente direcionando a água subterrânea para a região de transição da rocha mais alterada para a rocha sã (entre 61 a 65 m de profundidade). Apesar do fluxo ascendente em profundidade, o bombeamento de poços tubulares existentes no entorno ao longo dos anos, favoreceu a migração dos contaminantes para porções mais profundas. Os contaminantes observados no poço tubular P6 possuem maior semelhança com os contaminantes observados na Área 2, e ambos estão localizados entre lineamentos NW-SE, indicando uma possível influência dos lineamentos no controle sobre o fluxo de água. No entanto, para entendimento do transporte dos contaminantes em área, é necessário um adensamento da rede de monitoramento, levando em consideração a heterogeneidade do meio e as incertezas relacionadas à extrapolação dos dados para áreas não investigadas.

Advanced interpretation of subsidence in Murcia (SE Spain) using A-DInSAR data – modelling and validation

Subsidence is a natural hazard that affects wide areas in the world causing important economic costs annually. This phenomenon has occurred in the metropolitan area of Murcia City (SE Spain) as a result of groundwater overexploitation. In this work aquifer system subsidence is investigated using an advanced differential SAR interferometry remote sensing technique (A-DInSAR) called Stable Point Network (SPN). The SPN derived displacement results, mainly the velocity displacement maps and the time series of the displacement, reveal that in the period 2004–2008 the rate of subsidence in Murcia metropolitan area doubled with respect to the previous period from 1995 to 2005. The acceleration of the deformation phenomenon is explained by the drought period started in 2006. The comparison of the temporal evolution of the displacements measured with the extensometers and the SPN technique shows an average absolute error of 3.9±3.8 mm. Finally, results from a finite element model developed to simulate the recorded time history subsidence from known water table height changes compares well with the SPN displacement time series estimations. This result demonstrates the potential of A-DInSAR techniques to validate subsidence prediction models as an alternative to using instrumental ground based techniques for validation.

Considerations on the electromagnetic flow in Airy beams based on the Gouy phase

We reexamine the Gouy phase in ballistic Airy beams (AiBs). A physical interpretation of our analysis is derived in terms of the local phase velocity and the Poynting vector streamlines. Recent experiments employing AiBs are consistent with our results. We provide an approach which potentially applies to any finite-energy paraxial wave field that lacks a beam axis.

Analysis of Hyporheic Flow Induced by a Bar in a Gravel Stream: an Experimental Study

Thesis (Master, Civil Engineering) -- Queen's University, 2016-06-01 00:03:02.939

Sample information and classification of lower Miocene gravity-flow types of sediment core CRP-1 (Table 1)

Nineteen samples of the Cape Roberts-1 drillcore were taken from Miocene- age deposits, from 90.25 - 146.50 metres below seafloor (mbsf) for thin section and laser grain-size analysis. Using the grain-size distribution, detailed core logging, X-radiography and thin-section analysis of microstructures, coupled with a statistical grouping of the grain-size data, three main styles of gravity-flow sedimentation were revealed. Thin (centimetre-scale) muddy debris-flow deposits are the most common and are possibly tirggered by debris rain-out from sea-ice These deposits are characterised by very poorly sorted, faintly laminated muddy sandstones with coarse granules toward their base. Contacts are gradational to sharp. Variations on this style of mass-wasting deposit are rhythmically stacked sequences of pebbly-coarse sandstones representing successive thin debris-flow events. These suggest very high sedimentation rates on an unstable slope in a shallow-water proximal glacimarine environment. Sandy-silty turbidites appear more common in the lower sections of the core, below approximately 141.00 mbsf, although they occur occasionally with the debris flow deposits The turbidites are characterised by inversely to normally graded, well-laminated siltstones with occasional lonestones, and represent a more distal shallow-water glacimarine environment.

The development of UTCS/NETSIM/ICG: an integrated urban traffic control system - network simulation - interactive computer graphics program. Final report.

Transportation Department, Office of University Research, Washington, D.C.