Non-Linear Network-Flow Model of Lukasiewicz’s Multivalue Logic

The paper presents a new network-flow interpretation of Łukasiewicz’s logic based on models with an increased effectiveness. The obtained results show that the presented network-flow models principally may work for multivalue logics with more than three states of the variables i.e. with a finite set of states in the interval from 0 to 1. The described models give the opportunity to formulate various logical functions. If the results from a given model that are contained in the obtained values of the arc flow functions are used as input data for other models then it is possible in Łukasiewicz’s logic to interpret successfully other sophisticated logical structures. The obtained models allow a research of Łukasiewicz’s logic with specific effective methods of the network-flow programming. It is possible successfully to use the specific peculiarities and the results pertaining to the function ‘traffic capacity of the network arcs’. Based on the introduced network-flow approach it is possible to interpret other multivalue logics – of E.Post, of L.Brauer, of Kolmogorov, etc.

Short term hydroelectric scheduling combining network flow and interior point approaches

In this paper, short term hydroelectric scheduling is formulated as a network flow optimization model and solved by interior point methods. The primal-dual and predictor-corrector versions of such interior point methods are developed and the resulting matrix structure is explored. This structure leads to very fast iterations since it avoids computation and factorization of impedance matrices. For each time interval, the linear algebra reduces to the solution of two linear systems, either to the number of buses or to the number of independent loops. Either matrix is invariant and can be factored off-line. As a consequence of such matrix manipulations, a linear system which changes at each iteration has to be solved, although its size is reduced to the number of generating units and is not a function of time intervals. These methods were applied to IEEE and Brazilian power systems, and numerical results were obtained using a MATLAB implementation. Both interior point methods proved to be robust and achieved fast convergence for all instances tested. (C) 2004 Elsevier Ltd. All rights reserved.

Stratigraphic Variation Within Polar Firn Caused by Differential Accumulation and Ice Flow: Interpretation of a 400 Mhz Short-Pulse Radar Profile from West Antarctica

We investigate causes of the stratigraphic variation revealed in a 177 km, 400 MHz short-pulse radar profile of firn from West Antarctica. The profile covers 56 m depth, and its direction was close to those of the ice flow and mean wind. The average, near-surface accumulation rates calculated from the time delays of one radar horizon consistently show minima on leeward slopes and maxima on windward slopes, confirming an earlier study based on stake observations. The stratigraphic variation includes up to 30 m depth variation in individual horizons over tens of km, fold limbs that become progressively steeper with depth, and fold-hinge loci that change direction or propagate down-ice with depth over distances far less than predicted by the ice speeds. We use an accumulation rate model to show how local rate anomalies and the effect of ice speed upon a periodic variation in accumulation rate cause these phenomena, and we reproduce two key features seen in the stratigraphic variations. We conclude that the model provides an explanation of changes in spatial stratigraphy and local measures of accumulation history given the constraints of surface topography, ice and wind velocities, and a general accumulation rate for an area.

HOW TO EFFICIEN TLY INCORPORATE FACTS DEVICES IN OPTIMAL ACTIVE POWER FLOW MODEL

This paper presents for the first time how to easily incorporate facts devices in an optimal active power flow model such that an efficient interior-point method may be applied. The optimal active power flow model is based on a network flow approach instead of the traditional nodal formulation that allows the use of an efficiently predictor-corrector interior point method speed up by sparsity exploitation. The mathematical equivalence between the network flow and the nodal models is addressed, as well as the computational advantages of the former considering the solution by interior point methods. The adequacy of the network flow model for representing facts devices is presented and illustrated on a small 5-bus system. The model was implemented using Matlab and its performance was evaluated with the 3,397-bus and 4,075-branch Brazilian power system which show the robustness and efficiency of the formulation proposed. The numerical results also indicate an efficient tool for optimal active power flow that is suitable for incorporating facts devices.

A Flow Trace Generator using Graph-based Traffic Classification Techniques

We propose a novel methodology to generate realistic network flow traces to enable systematic evaluation of network monitoring systems in various traffic conditions. Our technique uses a graph-based approach to model the communication structure observed in real-world traces and to extract traffic templates. By combining extracted and user-defined traffic templates, realistic network flow traces that comprise normal traffic and customized conditions are generated in a scalable manner. A proof-of-concept implementation demonstrates the utility and simplicity of our method to produce a variety of evaluation scenarios. We show that the extraction of templates from real-world traffic leads to a manageable number of templates that still enable accurate re-creation of the original communication properties on the network flow level.

Pore water geochemistry of Håkon Mosby mud volcano sediments measured at station PS74/169-1_PUC-15 (Z1-S1, new flow surface)

Pore water and turnover rates were determined for surface sediment cores obtained in 2009 and 2010. The pore water was extracted with Rhizons (Rhizon CSS: length 5 cm, pore diameter 0.15 µm; Rhizosphere Research Products, Wageningen, Netherlands) in 1 cm-resolution and immediately fixed in 5% zinc acetate (ZnAc) solution for sulfate, and sulfide analyses. The samples were diluted, filtered and the concentrations measured with non-suppressed anion exchange chromatography (Waters IC-Pak anion exchange column, waters 430 conductivity detector). The total sulfide concentrations (H2S + HS- + S**2-) were determined using the diamine complexation method (doi:10.4319/lo.1969.14.3.0454). Samples for dissolved inorganic carbon (DIC) and alkalinity measurements were preserved by adding 2 µl saturated mercury chloride (HgCl2) solution and stored headspace-free in gas-tight glass vials. DIC and alkalinity were measured using the flow injection method (detector VWR scientific model 1054) (doi:10.4319/lo.1992.37.5.1113). Dissolved sulfide was eliminated prior to the DIC measurement by adding 0.5 M molybdate solution (doi:10.4319/lo.1995.40.5.1011). Nutrient subsamples (10 - 15 ml) were stored at - 20 °C prior to concentration measurements with a Skalar Continuous-Flow Analyzer (doi:10.1002/9783527613984).

Pore water geochemistry of Håkon Mosby mud volcano sediments measured at station MSM16/2_847-1 (Z2-S2, aged flow surface)

Pore water and turnover rates were determined for surface sediment cores obtained in 2009 and 2010. The pore water was extracted with Rhizons (Rhizon CSS: length 5 cm, pore diameter 0.15 µm; Rhizosphere Research Products, Wageningen, Netherlands) in 1 cm-resolution and immediately fixed in 5% zinc acetate (ZnAc) solution for sulfate, and sulfide analyses. The samples were diluted, filtered and the concentrations measured with non-suppressed anion exchange chromatography (Waters IC-Pak anion exchange column, waters 430 conductivity detector). The total sulfide concentrations (H2S + HS- + S**2-) were determined using the diamine complexation method (doi:10.4319/lo.1969.14.3.0454). Samples for dissolved inorganic carbon (DIC) and alkalinity measurements were preserved by adding 2 µl saturated mercury chloride (HgCl2) solution and stored headspace-free in gas-tight glass vials. DIC and alkalinity were measured using the flow injection method (detector VWR scientific model 1054) (doi:10.4319/lo.1992.37.5.1113). Dissolved sulfide was eliminated prior to the DIC measurement by adding 0.5 M molybdate solution (doi:10.4319/lo.1995.40.5.1011). Nutrient subsamples (10 - 15 ml) were stored at - 20 °C prior to concentration measurements with a Skalar Continuous-Flow Analyzer (doi:10.1002/9783527613984).

Pore water geochemistry of Håkon Mosby mud volcano sediments measured at station MSM16/2_838-1 (Z1-S3, new flow surface)

Pore water and turnover rates were determined for surface sediment cores obtained in 2009 and 2010. The pore water was extracted with Rhizons (Rhizon CSS: length 5 cm, pore diameter 0.15 µm; Rhizosphere Research Products, Wageningen, Netherlands) in 1 cm-resolution and immediately fixed in 5% zinc acetate (ZnAc) solution for sulfate, and sulfide analyses. The samples were diluted, filtered and the concentrations measured with non-suppressed anion exchange chromatography (Waters IC-Pak anion exchange column, waters 430 conductivity detector). The total sulfide concentrations (H2S + HS- + S**2-) were determined using the diamine complexation method (doi:10.4319/lo.1969.14.3.0454). Samples for dissolved inorganic carbon (DIC) and alkalinity measurements were preserved by adding 2 µl saturated mercury chloride (HgCl2) solution and stored headspace-free in gas-tight glass vials. DIC and alkalinity were measured using the flow injection method (detector VWR scientific model 1054) (doi:10.4319/lo.1992.37.5.1113). Dissolved sulfide was eliminated prior to the DIC measurement by adding 0.5 M molybdate solution (doi:10.4319/lo.1995.40.5.1011). Nutrient subsamples (10 - 15 ml) were stored at - 20 °C prior to concentration measurements with a Skalar Continuous-Flow Analyzer (doi:10.1002/9783527613984).

Pore water geochemistry of Håkon Mosby mud volcano sediments measured at station MSM16/2_855-1 (Z2-S3, aged flow surface)

Pore water and turnover rates were determined for surface sediment cores obtained in 2009 and 2010. The pore water was extracted with Rhizons (Rhizon CSS: length 5 cm, pore diameter 0.15 µm; Rhizosphere Research Products, Wageningen, Netherlands) in 1 cm-resolution and immediately fixed in 5% zinc acetate (ZnAc) solution for sulfate, and sulfide analyses. The samples were diluted, filtered and the concentrations measured with non-suppressed anion exchange chromatography (Waters IC-Pak anion exchange column, waters 430 conductivity detector). The total sulfide concentrations (H2S + HS- + S**2-) were determined using the diamine complexation method (doi:10.4319/lo.1969.14.3.0454). Samples for dissolved inorganic carbon (DIC) and alkalinity measurements were preserved by adding 2 µl saturated mercury chloride (HgCl2) solution and stored headspace-free in gas-tight glass vials. DIC and alkalinity were measured using the flow injection method (detector VWR scientific model 1054) (doi:10.4319/lo.1992.37.5.1113). Dissolved sulfide was eliminated prior to the DIC measurement by adding 0.5 M molybdate solution (doi:10.4319/lo.1995.40.5.1011). Nutrient subsamples (10 - 15 ml) were stored at - 20 °C prior to concentration measurements with a Skalar Continuous-Flow Analyzer (doi:10.1002/9783527613984).

Pore water geochemistry of Håkon Mosby mud volcano sediments measured at station PS74/168-1 (Z1-S2, new flow surface)

Pore water and turnover rates were determined for surface sediment cores obtained in 2009 and 2010. The pore water was extracted with Rhizons (Rhizon CSS: length 5 cm, pore diameter 0.15 µm; Rhizosphere Research Products, Wageningen, Netherlands) in 1 cm-resolution and immediately fixed in 5% zinc acetate (ZnAc) solution for sulfate, and sulfide analyses. The samples were diluted, filtered and the concentrations measured with non-suppressed anion exchange chromatography (Waters IC-Pak anion exchange column, waters 430 conductivity detector). The total sulfide concentrations (H2S + HS- + S**2-) were determined using the diamine complexation method (doi:10.4319/lo.1969.14.3.0454). Samples for dissolved inorganic carbon (DIC) and alkalinity measurements were preserved by adding 2 µl saturated mercury chloride (HgCl2) solution and stored headspace-free in gas-tight glass vials. DIC and alkalinity were measured using the flow injection method (detector VWR scientific model 1054) (doi:10.4319/lo.1992.37.5.1113). Dissolved sulfide was eliminated prior to the DIC measurement by adding 0.5 M molybdate solution (doi:10.4319/lo.1995.40.5.1011). Nutrient subsamples (10 - 15 ml) were stored at - 20 °C prior to concentration measurements with a Skalar Continuous-Flow Analyzer (doi:10.1002/9783527613984).

Pore water geochemistry of Håkon Mosby mud volcano sediments measured at station PS74/172-1_PUC-136 (Z3-S2, old flow surface)

Pore water and turnover rates were determined for surface sediment cores obtained in 2009 and 2010. The pore water was extracted with Rhizons (Rhizon CSS: length 5 cm, pore diameter 0.15 µm; Rhizosphere Research Products, Wageningen, Netherlands) in 1 cm-resolution and immediately fixed in 5% zinc acetate (ZnAc) solution for sulfate, and sulfide analyses. The samples were diluted, filtered and the concentrations measured with non-suppressed anion exchange chromatography (Waters IC-Pak anion exchange column, waters 430 conductivity detector). The total sulfide concentrations (H2S + HS- + S**2-) were determined using the diamine complexation method (doi:10.4319/lo.1969.14.3.0454). Samples for dissolved inorganic carbon (DIC) and alkalinity measurements were preserved by adding 2 µl saturated mercury chloride (HgCl2) solution and stored headspace-free in gas-tight glass vials. DIC and alkalinity were measured using the flow injection method (detector VWR scientific model 1054) (doi:10.4319/lo.1992.37.5.1113). Dissolved sulfide was eliminated prior to the DIC measurement by adding 0.5 M molybdate solution (doi:10.4319/lo.1995.40.5.1011). Nutrient subsamples (10 - 15 ml) were stored at - 20 °C prior to concentration measurements with a Skalar Continuous-Flow Analyzer (doi:10.1002/9783527613984).

Image processing via level set curvature flow.

We present a controlled image smoothing and enhancement method based on a curvature flow interpretation of the geometric heat equation. Compared to existing techniques, the model has several distinct advantages. (i) It contains just one enhancement parameter. (ii) The scheme naturally inherits a stopping criterion from the image; continued application of the scheme produces no further change. (iii) The method is one of the fastest possible schemes based on a curvature-controlled approach.

Previsão de cheias em Barcelos

Dissertação de mestrado integrado em Engenharia Civil

Analitzador Gràfic de Xarxa (sniffer)

El sistema desenvolupat és un 'paquet detector', que vol facilitar la tasca de detecció del d'un trànsit de xarxa fora del normal i aconseguir que els resultats puguin ser vistos amb facilitat des d'altres segments de la xarxa.

Sociétés de fictions

Le concept des Sociétés de fictions élaboré dans le cadre de ce mémoire vise l’exploration de la médiation à l’ère du numérique. Pour penser les modalités de fictions littéraires avec l’idée qu’elles puissent former des sociétés distinctes, ce travail d’analyse propose d’examiner diverses fictions, plus précisément des expressions gothiques américaines en littérature contemporaine, afin d’en extraire un mode de pensée significatif. Dans le dessein d’analyser la manière dont ces fictions se relient entre elles, cette recherche se focalise sur le rapport qu’entretient la fiction littéraire avec la technologie ainsi qu’avec divers modes de diffusion et de médiation. Afin de comprendre comment les mécanismes du discours positionnent des œuvres de fictions les unes par rapport aux autres, ces fictions individuées seront d’abord examinées au sein d’une société qui leur est propre. Ceci mènera à exposer en quoi et comment les rapports qu’entretient l’humain avec la littérature et la technologie se reconfigurent par le biais de nouvelles formes de médiations. La présente réflexion se penche ainsi sur les modes d’interactions des fictions qui s’organisent en sociétés afin de pouvoir analyser comment le glissement du paradigme de l’imprimé et des supports matériels, à l’âge du numérique, peut se traduire par une manière inédite de penser notre relation au littéraire. En somme, cette réflexion sur la mobilité des formes et des plateformes liées aux fictions et à leur société devrait permettre de mieux analyser les individus qui inventent et consomment ces fictions, leur univers social ainsi que leur rapport intime à la technologie et ses médiations. Ces sociétés de fictions deviennent alors une clé pour comprendre notre rapport à la virtualisation de nos univers sociaux. Entre les sociétés de fictions et les sociétés des Hommes se noue un lien substantiel laissant entrevoir une véritable co-évolution de ces univers distincts. Les principales œuvres de fiction étudiées et citées seront celles du romancier et scénariste américain Bret Easton Ellis, plus précisément les romans Less Than Zero et Imperial Bedrooms. Il sera également question de la série télévisuelle Twin Peaks, diffusée sur la chaîne ABC en 1990 et réalisée par David Lynch, ainsi que d’une nouvelle de John Cheever, The enormous radio, parue en 1947, dans le New Yorker.