Programming with global analysis

Global data-flow analysis of (constraint) logic programs, which is generally based on abstract interpretation [7], is reaching a comparatively high level of maturity. A natural question is whether it is time for its routine incorporation in standard compilers, something which, beyond a few experimental systems, has not happened to date. Such incorporation arguably makes good sense only if: • the range of applications of global analysis is large enough to justify the additional complication in the compiler, and • global analysis technology can deal with all the features of "practical" languages (e.g., the ISO-Prolog built-ins) and "scales up" for large programs. We present a tutorial overview of a number of concepts and techniques directly related to the issues above, with special emphasis on the first one. In particular, we concéntrate on novel uses of global analysis during program development and debugging, rather than on the more traditional application área of program optimization. The idea of using abstract interpretation for validation and diagnosis has been studied in the context of imperative programming [2] and also of logic programming. The latter work includes issues such as using approximations to reduce the burden posed on programmers by declarative debuggers [6, 3] and automatically generating and checking assertions [4, 5] (which includes the more traditional type checking of strongly typed languages, such as Gódel or Mercury [1, 8, 9]) We also review some solutions for scalability including modular analysis, incremental analysis, and widening. Finally, we discuss solutions for dealing with meta-predicates, side-effects, delay declarations, constraints, dynamic predicates, and other such features which may appear in practical languages. In the discussion we will draw both from the literature and from our experience and that of others in the development and use of the CIAO system analyzer. In order to emphasize the practical aspects of the solutions discussed, the presentation of several concepts will be illustrated by examples run on the CIAO system, which makes extensive use of global analysis and assertions.

Practical secure information flow in programming languages

If we classify variables in a program into various security levels, then a secure information flow analysis aims to verify statically that information in a program can flow only in ways consistent with the specified security levels. One well-studied approach is to formulate the rules of the secure information flow analysis as a type system. A major trend of recent research focuses on how to accommodate various sophisticated modern language features. However, this approach often leads to overly complicated and restrictive type systems, making them unfit for practical use. Also, problems essential to practical use, such as type inference and error reporting, have received little attention. This dissertation identified and solved major theoretical and practical hurdles to the application of secure information flow. ^ We adopted a minimalist approach to designing our language to ensure a simple lenient type system. We started out with a small simple imperative language and only added features that we deemed most important for practical use. One language feature we addressed is arrays. Due to the various leaking channels associated with array operations, arrays have received complicated and restrictive typing rules in other secure languages. We presented a novel approach for lenient array operations, which lead to simple and lenient typing of arrays. ^ Type inference is necessary because usually a user is only concerned with the security types for input/output variables of a program and would like to have all types for auxiliary variables inferred automatically. We presented a type inference algorithm B and proved its soundness and completeness. Moreover, algorithm B stays close to the program and the type system and therefore facilitates informative error reporting that is generated in a cascading fashion. Algorithm B and error reporting have been implemented and tested. ^ Lastly, we presented a novel framework for developing applications that ensure user information privacy. In this framework, core computations are defined as code modules that involve input/output data from multiple parties. Incrementally, secure flow policies are refined based on feedback from the type checking/inference. Core computations only interact with code modules from involved parties through well-defined interfaces. All code modules are digitally signed to ensure their authenticity and integrity. ^

Uso de membranas de Nafion para a construção de sensores ópticos para medidas de pH

The behaviour of Nafion® polymeric membranes containing acid-base dyes, bromothymol blue (BB) and methyl violet (MV), were studied aiming at constructing an optical sensor for pH measurement. BB revealed to be inadequate for developing sensing phases due to the electrostatic repulsion between negative groups of their molecules and the negative charge of the sulfonate group of the Nafion®, which causes leaching of the dye from the membrane. On the other hand, MV showed to be suitable due to the presence of positive groups in its structure. The membrane prepared from a methanolic solution whose Nafion®/dye molar ratio was 20 presented the best analytical properties, changing its color from green to violet in the pH range from 0.6 to 3.0. The membrane can be prepared with good reproducibility, presenting durability of ca. 6 months and response time of 22 s, making possible its use for pH determination in flow analysis systems.

Exploiting Pulsed Flows for Heating Improvement: Application to Determination of Total Reducing Sugars in Molasses and Sugar-Cane Juices

Laminar and pulsed flows typical of multi-commuted and multi-pumping flow systems, were evaluated in relation to analytical procedures carried out at high temperatures. As application, the spectrophotometric determination of total reducing sugars (TRS, hydrolyzed sucrose plus reducing sugars) in sugar-cane juice and molasses was selected. The method involves in-line hydrolysis of sucrose and alkaline degradation of the reducing sugars at about 98 degrees C. Better results were obtained with pulsed flows, due to the efficient radial mass transport inherent to the multi-pumping flow system. The proposed system presents favorable characteristics of ruggedness, analytical precision (r.s.d. < 0.013 for typical samples), stability (no measurable baseline drift during 4-h working periods), linearity of the analytical curve (r > 0.992, n = 5, 0.05-0.50% w/v TRS) and sampling rate (65 h(-1)). Results are in agreement with ion chromatography.

Computation of bifurcation boundaries for power systems: A new Delta-plane method

This paper is devoted to the problems of finding the load flow feasibility, saddle node, and Hopf bifurcation boundaries in the space of power system parameters. The first part contains a review of the existing relevant approaches including not-so-well-known contributions from Russia. The second part presents a new robust method for finding the power system load flow feasibility boundary on the plane defined by any three vectors of dependent variables (nodal voltages), called the Delta plane. The method exploits some quadratic and linear properties of the load now equations and state matrices written in rectangular coordinates. An advantage of the method is that it does not require an iterative solution of nonlinear equations (except the eigenvalue problem). In addition to benefits for visualization, the method is a useful tool for topological studies of power system multiple solution structures and stability domains. Although the power system application is developed, the method can be equally efficient for any quadratic algebraic problem.

Diagnóstico de avarias em motores elétricos

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

Rede de Distribuição da ilha Graciosa: Análise e Exploração de Funcionamento

Nos tempos atuais as empresas que atuam no ramo dos sistemas elétricos de energias enfrentam desafios cada vez mais exigentes, dado o enquadramento normativo a que estão sujeitas por parte da entidade reguladora dos serviços energéticos. No caso do Arquipélago dos Açores, o normativo relativo ao regulamento da qualidade de serviço entrou em vigor em 2006, trazendo à EDA,S.A. (Eletricidade dos Açores), entidade responsável pelo transporte e distribuição de energia na região, novas exigências para adequados níveis de eficiência e de garantias aos clientes, no que respeita à qualidade de serviço que lhes é prestado. No âmbito deste trabalho, é efetuado o estudo do trânsito de potência sobre a rede distribuição 15 kV da ilha Graciosa. Para tal, é realizada a modelização da rede no software de rede elétricas porwerworld 8.0. e são idealizados um conjunto de cenários de exploração da rede, que visam simular situações reais que ocorrem na exploração diária da rede de distribuição da ilha. Nas simulações a efetuar consideram-se dois cenários com perfil de carga distintos, um referente à ponta máxima, e outro referente ao vazio mínimo, verificados no ano de 2014. Quanto ao modo de exploração da rede nos cenários a simular, é contemplado o modo de exploração normalmente operado pela empresa gestora, bem como diversas reconfigurações sobre o modo de exploração normalmente operado, realizadas através da abertura e fecho dos aparelhos de corte constituintes da rede. Em todos os cenários simulados, é realizado um estudo relativamente à potência de perdas do sistema, ao perfil da tensão nos diversos postos de transformação, e ao congestionamento de energia verificado nas linhas de distribuição da rede.

Should Quinta dos Açores expand its retailer network in lisbon?

The primary purpose of this research is to examine the feasibility of expanding Quinta dos Açores retailer network in Lisbon starting from 2015 onwards. A time series model was developed to estimate the company’s future production and sales. A Discounted Cash Flow analysis was also conducted to determine the profitability of this expansion opportunity. Our findings reveal that Quinta dos Açores will face negative results in the first two years of the expansion strategy, but the overall opportunity presents a net positive result of almost three million euros.

A modular traffic sampling architecture for flexible network measurements

Dissertação de Mestrado (Programa Doutoral em Informática)

Colombian international trade from a physical perspective: towards an ecologial "Prebisch Thesis"

Prebisch's approach to economic development was based on the notion that there is an international historical division of labour. Peripheral countries are specialized in exporting primary goods while centre countries export industrial goods. The Terms of trade for peripheral countries tend to deteriorate. This approach can be extendend to ecological issues. The international Centre-Periphery division does not only involve the monetary exchange of goods and capital, but also the physical exchange in which Southern countries provide materials and energy so that Northern countries can develop their socioconomic metabolism. This metabolism process is guaranteed through cheap prices for primary goods. This paper aims to apply and extend Prebisch's thought on unequal exchange, both monetary and ecological, in relation to colombian trade in the period 1970-2002, using material flow analysis.

Dynamic Modelling of Material Flows and Sustainable Resource Use: Case Studies in Regional Metabolism and Space Life Support Systems

Sustainable resource use is one of the most important environmental issues of our times. It is closely related to discussions on the 'peaking' of various natural resources serving as energy sources, agricultural nutrients, or metals indispensable in high-technology applications. Although the peaking theory remains controversial, it is commonly recognized that a more sustainable use of resources would alleviate negative environmental impacts related to resource use. In this thesis, sustainable resource use is analysed from a practical standpoint, through several different case studies. Four of these case studies relate to resource metabolism in the Canton of Geneva in Switzerland: the aim was to model the evolution of chosen resource stocks and flows in the coming decades. The studied resources were copper (a bulk metal), phosphorus (a vital agricultural nutrient), and wood (a renewable resource). In addition, the case of lithium (a critical metal) was analysed briefly in a qualitative manner and in an electric mobility perspective. In addition to the Geneva case studies, this thesis includes a case study on the sustainability of space life support systems. Space life support systems are systems whose aim is to provide the crew of a spacecraft with the necessary metabolic consumables over the course of a mission. Sustainability was again analysed from a resource use perspective. In this case study, the functioning of two different types of life support systems, ARES and BIORAT, were evaluated and compared; these systems represent, respectively, physico-chemical and biological life support systems. Space life support systems could in fact be used as a kind of 'laboratory of sustainability' given that they represent closed and relatively simple systems compared to complex and open terrestrial systems such as the Canton of Geneva. The chosen analysis method used in the Geneva case studies was dynamic material flow analysis: dynamic material flow models were constructed for the resources copper, phosphorus, and wood. Besides a baseline scenario, various alternative scenarios (notably involving increased recycling) were also examined. In the case of space life support systems, the methodology of material flow analysis was also employed, but as the data available on the dynamic behaviour of the systems was insufficient, only static simulations could be performed. The results of the case studies in the Canton of Geneva show the following: were resource use to follow population growth, resource consumption would be multiplied by nearly 1.2 by 2030 and by 1.5 by 2080. A complete transition to electric mobility would be expected to only slightly (+5%) increase the copper consumption per capita while the lithium demand in cars would increase 350 fold. For example, phosphorus imports could be decreased by recycling sewage sludge or human urine; however, the health and environmental impacts of these options have yet to be studied. Increasing the wood production in the Canton would not significantly decrease the dependence on wood imports as the Canton's production represents only 5% of total consumption. In the comparison of space life support systems ARES and BIORAT, BIORAT outperforms ARES in resource use but not in energy use. However, as the systems are dimensioned very differently, it remains questionable whether they can be compared outright. In conclusion, the use of dynamic material flow analysis can provide useful information for policy makers and strategic decision-making; however, uncertainty in reference data greatly influences the precision of the results. Space life support systems constitute an extreme case of resource-using systems; nevertheless, it is not clear how their example could be of immediate use to terrestrial systems.

Vaatetus- ja tekstiilimateriaalien ekologinen elinjakson hallinta Talousvarikon toiminnoissa

Tämän case -tutkimuksen tarkoituksena on kartoittaa tekstiili- ja vaatetusmateriaalien ekologista elinjakson hallintaa Talousvarikon toiminnoissa ja tutkimalla mahdollisuuksia soveltaa saatuja tuloksia. Talousvarikko on Puolustusvoimien Materiaalilaitoksen alainen järjestelmävastuuvarikko, jonka tehtävänä on varusmiesten ja kadettien vaatetuksen hankinta- ja ylläpitotoiminnot. Talousvarikko jakautuu neljälle paikkakunnalle. Hämeenlinnassa on hankinta-, hallinto- ja materiaaliosasto. Säkylässä, Mikkelissä ja Sodankylässä ovat vaatetuskorjaamot. Tekstiilimateriaalien elinkaariajattelussa tarkastellaan raaka-aineiden jaottelua ja maailman kuitutuotantoa. Tekstiilikuidut jaotellaan luonnon- ja tekokuituihin. Luonnonkuidut ovat pääosin luonnon raaka-aineita ja tekokuidut ovat synteettisesti valmistettuja. Tekstiilikuitujen- ja materiaalien vaikutus ekologiseen elinjakson hallinnan vaiheisiin on riippuvainen raaka-aineidenalkuperästä. Vaatetus- ja tekstiilimateriaalin elinkaari muodostuu tuotekehityksestä, hankinnasta, valmistuksesta, käytöstä, huollosta ja hylkäyksestä. Ekologista elinjakson hallintaa tarkastellaan materiaalivirta- ja elinkaarianalyysien kautta. Elinkaarianalyysin tarkastelu painottuu vaikutusluokkien arvottamiseen ja materiaalivirta-analyysissä tarkastellaan ainevirtoja ja sitä kautta jätteiden määrän vähentämistä. Joutsenmerkin valintakriteerien pohjana on aina tuotteiden elinkaarianalyysi. Joutsenmerkin valintakriteerien soveltaminen Talousvarikon toimintoihin vaatetus- ja tekstiilimateriaalin elinkaaren jokaisessa vaiheessa antaa mahdollisuuden lisätä ekologista elinkaaren hallintaa Talousvarikon toiminnoissa. Ympäristönäkökohtien huomioiminen tuotekehityksessä ja hankinnoissa antaa mahdollisuuden tehdä tilauksia / sopimuksia yhteiskuntavastuullisilta yrityksiltä huomioiden valmistuksen yhdeksi osaksi hankinta ja logistiikka pääprosessia.

Una interpretación de los cambios de uso del suelo desde el punto de vista del metabolismo social agrario. La comarca catalana del Vallès, 1853-2004

El paisaje puede ser visto como la expresión territorial del metabolismo que cualquier sociedad mantiene con los sistemas naturales que la sustentan. Uno de los caminos para comprender cómo y por qué la intervención humana cambia la configuración del territorio consiste en analizar los flujos energéticos del intercambio metabólico de la economía con su entorno ambiental, y en identificar los impactos ecológicos que se imprimen en él. Este trabajo busca verificar, mediante la contabilidad del metabolismo social, y el empleo diacrónico de diversos índices desarrollados por la ecología del paisaje, que el enorme incremento de energía externa empleada por los sistemas agrarios tras la “revolución verde”, y la drástica reducción de su eficiencia, están estrechamente relacionados con los cambios de uso del suelo que han degradado considerablemente los tradicionales paisajes agrarios en mosaico del Mediterráneo. El recurso a flujos biofísicos externos, y el abandono del manejo integrado del territorio, han comportado una pérdida de la estructura funcional de la matriz territorial y de su conectividad ecológica. Los resultados obtenidos en cinco municipios de la comarca catalana del Vallès corroboran la estrecha relación existente durante los últimos 150 años entre la eficiencia energética y territorial, y el estado ecológico del paisaje.

Tulistimien valmistuslinjan automatisointi ja kehittäminen

Diplomityössä kehitettiin Warkaus Works Oy:n tulistimien valmistuslinjan tuotantoa. Työn tavoitteena oli lyhentää läpimenoaika puoleen nykyisestä, kasvattaa tuotantokapasiteettiä, parantaa tuottavuutta ja toimitusvarmuutta. Työn teoriaosassa käsiteltiin erilaisia tuotannon kehittämiskeinoja, tuotannon analysointisystematiikkaa sekä automatisointiprojektin teoriaa. Työn kokeellisessa osassa selvitettiin tuotannon nykytila, jotta osattaisiin puuttua oikeisiin asioihin ja saataisiin vertailulähtökohta. Työssä selvitettiin tuotannon uudelleenvirtauttamisella saavutettavat hyödyt. Tuotannon kehittäminen painottui käsivaiheiden automatisointiin. Työssä selvitettiin eri automatisointi vaihtoehtoja. Työn tuloksena löydettiin tulistinputkien jatkohitsaukseen automatisointiratkaisu, jonka avulla käsinhitsattavien saumojen määrä rakenteessa parhaimmillaan puolittuu. Ratkaisun avulla läpimenoaikaa saadaan lyhennettyä ja tuotantokapasiteettiä nostettua ja tuottavuutta parannettua.

Um fotômetro de fluxo para análises clínicas a base de um diodo emissor de luz bicolor

The construction and evaluation of an inexpensive flow photometer for clinical analysis, using a bicolour LED and a phototransistor adapted for tubular flow cell, are described. The instrument presents some new features such as: automatic zero, electronic calibration and peak-hold signal. When compared with a classical photometer, it is simpler and has the advantages of a flow analysis system: lower volumes of reagents and samples, lower levels of contamination, shorter time for analysis and lower analysis costs. The instrument was used in the determination of the constituents in blood samples. The results obtained agree with those obtained by a classical photometer and the precision was better.