Proposta de aplicação do sistema de custeio baseado em atividades numa empresa de prestação de serviços aduaneiros

Trabalho de Projeto apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Contabilidade e Finanças, sob orientação de Amélia Cristina Ferreira da Silva

Logic-based schedulability analysis for compositional hard real-time embedded systems

Over the past decades several approaches for schedulability analysis have been proposed for both uni-processor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for mis-interpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by-construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uni-processor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal.

Power Law Behavior and Self-similarity in Modern Industrial Accidents

Advances in technology have produced more and more intricate industrial systems, such as nuclear power plants, chemical centers and petroleum platforms. Such complex plants exhibit multiple interactions among smaller units and human operators, rising potentially disastrous failure, which can propagate across subsystem boundaries. This paper analyzes industrial accident data-series in the perspective of statistical physics and dynamical systems. Global data is collected from the Emergency Events Database (EM-DAT) during the time period from year 1903 up to 2012. The statistical distributions of the number of fatalities caused by industrial accidents reveal Power Law (PL) behavior. We analyze the evolution of the PL parameters over time and observe a remarkable increment in the PL exponent during the last years. PL behavior allows prediction by extrapolation over a wide range of scales. In a complementary line of thought, we compare the data using appropriate indices and use different visualization techniques to correlate and to extract relationships among industrial accident events. This study contributes to better understand the complexity of modern industrial accidents and their ruling principles.

Adaptive Penalty and Barrier function based on Fuzzy Logic

Optimization methods have been used in many areas of knowledge, such as Engineering, Statistics, Chemistry, among others, to solve optimization problems. In many cases it is not possible to use derivative methods, due to the characteristics of the problem to be solved and/or its constraints, for example if the involved functions are non-smooth and/or their derivatives are not know. To solve this type of problems a Java based API has been implemented, which includes only derivative-free optimization methods, and that can be used to solve both constrained and unconstrained problems. For solving constrained problems, the classic Penalty and Barrier functions were included in the API. In this paper a new approach to Penalty and Barrier functions, based on Fuzzy Logic, is proposed. Two penalty functions, that impose a progressive penalization to solutions that violate the constraints, are discussed. The implemented functions impose a low penalization when the violation of the constraints is low and a heavy penalty when the violation is high. Numerical results, obtained using twenty-eight test problems, comparing the proposed Fuzzy Logic based functions to six of the classic Penalty and Barrier functions are presented. Considering the achieved results, it can be concluded that the proposed penalty functions besides being very robust also have a very good performance.

Revision based total semantics for extended normal logic programs

Dissertação para obtenção do Grau de Doutor em Matemática - Lógica e Fundamentos da Matemática

Is the Lunatic Detention Act of 1917 appropriate for modern Gambia?

RESUMO: OS distúrbios mentais, neurológicos e devidos ao abuso de substâncias tem uma grande prevalência e peso em todo o Mundo. O objetivo principal deste estudo é contribuir para a melhoria dos direitos humanos das pessoas com deficiências mentais na Gâmbia, através de uma revisão e análise críticas de uma obsoleta legislação de saúde mental do País o "Lunatic Act Detention (LDA) de 1917".----- ABSTRACT: Mental, neurological, and substance use disorders are highly prevalente and burdensome worlwide. The violations of human rights directed towards people with this disorders compound the problam. This study mainly aims to contribute do the improvement of human rights of people with mental disabilities in Gambia by doing a critical review and analysis to the countries outdated mental health legislation - Lunatic Detention ct (LDA) from 1917.

Machine ethics via logic programming

Machine ethics is an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity of moral decision-making. While some approaches provide implementations in Logic Programming (LP) systems, they have not exploited LP-based reasoning features that appear essential for moral reasoning. This PhD thesis aims at investigating further the appropriateness of LP, notably a combination of LP-based reasoning features, including techniques available in LP systems, to machine ethics. Moral facets, as studied in moral philosophy and psychology, that are amenable to computational modeling are identified, and mapped to appropriate LP concepts for representing and reasoning about them. The main contributions of the thesis are twofold. First, novel approaches are proposed for employing tabling in contextual abduction and updating – individually and combined – plus a LP approach of counterfactual reasoning; the latter being implemented on top of the aforementioned combined abduction and updating technique with tabling. They are all important to model various issues of the aforementioned moral facets. Second, a variety of LP-based reasoning features are applied to model the identified moral facets, through moral examples taken off-the-shelf from the morality literature. These applications include: (1) Modeling moral permissibility according to the Doctrines of Double Effect (DDE) and Triple Effect (DTE), demonstrating deontological and utilitarian judgments via integrity constraints (in abduction) and preferences over abductive scenarios; (2) Modeling moral reasoning under uncertainty of actions, via abduction and probabilistic LP; (3) Modeling moral updating (that allows other – possibly overriding – moral rules to be adopted by an agent, on top of those it currently follows) via the integration of tabling in contextual abduction and updating; and (4) Modeling moral permissibility and its justification via counterfactuals, where counterfactuals are used for formulating DDE.

8-Phase Ring oscillator for modern receivers

The evolution of receiver architectures, built in modern CMOS technologies, allows the design of high efficient receivers. A key block in modern receivers is the oscillator. The main objective of this thesis is to design a very low power and low area 8-Phase Ring Oscillator for biomedical applications (ISM and WMTS bands). Oscillators with multiphase outputs and variable duty cycles are required. In this thesis we are focused in 12.5% and 50% duty-cycles approaches. The proposed circuit uses eight inverters in a ring structure, in order to generate the output duty cycle of 50%. The duty cycle of 1/8 is achieved through the combination of the longer duty cycle signals in pairs, using, for this purpose, NAND gates. Since the general application are not only the wireless communications context, as well as industrial, scientific and medical plans, the 8-Phase Oscillator is simulated to be wideband between 100 MHz and 1 GHz, and be able to operate in the ISM bands (447 MHz-930 MHz) and WMTS (600 MHz). The circuit prototype is designed in UMC 130 nm CMOS technology. The maximum value of current drawn from a DC power source of 1.2 V, at a maximum frequency of 930 MHz achieved, is 17.54 mA. After completion of the oscillator layout studied (occupied area is 165 μm x 83 μm). Measurement results confirm the expected operating range from the simulations, and therefore, that the oscillator fulfil effectively the goals initially proposed in order to be used as Local Oscillator in RF Modern Receivers.

Global trends in modern and contemporary islamic art

Disponível para consulta índice e introdução.

Reconfigurable photonic logic architecture

The amorphous silicon photo-sensor studied in this thesis, is a double pin structure (p(a-SiC:H)-i’(a-SiC:H)-n(a-SiC:H)-p(a-SiC:H)-i(a-Si:H)-n(a-Si:H)) sandwiched between two transparent contacts deposited over transparent glass thus with the possibility of illumination on both sides, responding to wave-lengths from the ultra-violet, visible to the near infrared range. The frontal il-lumination surface, glass side, is used for light signal inputs. Both surfaces are used for optical bias, which changes the dynamic characteristics of the photo-sensor resulting in different outputs for the same input. Experimental studies were made with the photo-sensor to evaluate its applicability in multiplexing and demultiplexing several data communication channels. The digital light sig-nal was defined to implement simple logical operations like the NOT, AND, OR, and complex like the XOR, MAJ, full-adder and memory effect. A pro-grammable pattern emission system was built and also those for the validation and recovery of the obtained signals. This photo-sensor has applications in op-tical communications with several wavelengths, as a wavelength detector and to execute directly logical operations over digital light input signals.

The perfect paint in modern art conservation: a comparative study of 21st century vinyl emulsions

Contemporary painting places, and will continue to place, several questions about its meaning, its chemical nature, its durability and the best way to preserve it. This research aims at putting together comprehensive data on vinyl based paints, including their components, their properties, their aging behavior and their response to selected cleaning products. In this project degradation mechanisms of vinyl binders and formulations used in the 20th and 21st century were studied. Stability over time of selected vinyl polymers was assessed through natural indoor and artificially aging. The objective was to enhance knowledge and understanding of vinyl emulsion formulations and their performance over time. Overall conservation state of pictorial layers namely, adhesion, cohesion and discoloration of selected case studies from the Portuguese artist Julião Sarmento (b.1948) was correlated with the observed molecular level changes studied in laboratory experiments. Sarmento’s paintings were chosen due to conservation concerns (discoloration) on some of his works from the 90’s. Besides, research was carried out to start increasing the knowledge of what can be expected of PVAc based paints in terms of response to conservation treatments namely, surface cleaning. Artificial aging showed that the most recent formulations which are based on a poly(vinyl acetate), poly(vinyl chloride) and polyethylene terpolymer are less stable when compared to some homopolymer formulations. From the four pigments studied, titanium dioxide rutile and a carbon based black proved to be stabilizers for both types of polymer. The mixture lithopone plus calcium carbonate has showed to have a photocatalytic effect on the binders. The studied paintings showed to be in an overall good state of conservation except for the paintings created in the 90’s with white glue and a mixture of white lithoponeand calcium carbonate. Discoloration of this white paint seems to be irreversible and ongoing and is still a major concern. The disapearance of the plasticizer was the only change detected. The current works created by Sarmento are expected to be more stable as they were painted using the rutile titanium dioxide. Immersion/cleaning tests showed that vinyl based paints can be susceptible to water and organic solvents like ethanol as some evidences point to the removal/diffusion of additives from the paint. The observations made point to the need to further proceed in this research field.

Modern piracy

A definição de pirataria ou a desmistificação da sua origem, no tempo e espaço, revela maiores dificuldades do que atualmente. Com este trabalho propusemo-nos a estudar como é que a pirataria era perpetrada e entendida no passado, bem como no presente. Também nos propomos a identificar limitações legais e as medidas operativas no combate à pirataria, como por exemplo: limites conceptuais, lacunas, estratégias, entre outros. Por outro lado, atendemos as soluções encontradas no combate à pirataria sem deixar de observar fraqueza da lei e conflitos entre jurisdições. Por fim, o curso da história dá-nos a seguinte percepção: a pirataria era tida como crime se fosse contra os interesses das nações. O desinteresse dos Estados para reprimir a pirataria possibilitou o seu aumento, proliferação, domínio e sofisticação em certas regiões do Mundo. O presente trabalho tem como objetivo trazer para o centro da discussão os direitos humanos numa perspetiva tripla: proibição da pirataria, supressão e raízes, aliando o estudo de possíveis respostas a dar a esta epidemia.