Leilão de direitos de transmissão financeiros de energia eléctrica em ambiente de mercado

Os direitos de transmissão (Transmission Rigths – TRs) correspondem, na sua essência, a contratos que conferem aos seus proprietários o direito de transmitir energia eléctrica, por um determinado caminho, a um preço fixo. Na actualidade vive-se uma era de liberalização dos mercados de energia eléctrica nos quais, no caso concreto dos mercados de TRs, os diversos agentes podem ceder os TRs que possuem a outros agentes desde que cumpram certos requisitos impostos pelo sistema na figura do seu operador de sistema (Independent System Operator – ISO). Neste sentido, o ISO oferece, aos diversos agentes do mercado, algumas ferramentas que lhes permite transaccionar, sob sua orientação, os seus respectivos TRs fazendo-se cumprir todos os requisitos indispensáveis para o efeito. A mais popular dessas ferramentas, nos principais mercados energético da actualidade, é o leilão. Com o presente trabalho de dissertação é pretendido apresentar-se um modelo para a resolução do problema inerente a um leilão de TRs em ambiente de mercado, neste caso concreto de direitos de transmissão financeiros de energia eléctrica (Financial Transmission Rigths – FTRs). Neste sentido foi desenvolvido um simulador informático (SIM_AuctFTR) que implementa um modelo para este tipo de problemas. Este trabalho foi estruturado essencialmente em três etapas com objectivos inerentes. Assim, numa primeira fase da realização deste trabalho, foi realizado um estudo de diversos conceitos e metodologias inerentes ao problema de leilão de FTRs em ambiente de mercado, suportado por uma sólida base bibliográfica. A segunda fase tratou-se do desenvolvimento do algoritmo da aplicação computacional que solucione um problema de um leilão de FTRs. O SIM_AuctFTR foi desenvolvido sobre o pressuposto da maximização dos rendimentos financeiros provenientes da atribuição dos FTRs propostos a leilão, tendo estes últimos de coabitar no sistema respeitando as restrições técnicas a que este são inerentes, mesmo na eventualidade da ocorrência de contingências de nível ‘n-1’. Por último, numa terceira fase, partindo da aplicação desenvolvida, foram realizados 4 casos de estudos com outras tantas redes eléctricas de forma a testar a robustez da ferramenta desenvolvida.

La condition de la femme dans le cid

La tragi-comédie de Corneille, «Le Cid» (1636-7), est davantage une pièce d‘amour qui illustre bien la condition de la femme au XVIIème siècle. Le triangle amoureux constitué par l‘Infante, Chimène et Rodrigue est l‘un des fondements de la pièce. Cependant, comme les personnages sont insérés dans un système féodal basé sur une idéologie aristocratique, l‘amour ne se présente pas comme une jouissance paisible. De cette façon, il y a une lutte acharnée entre l‘amour, le devoir et l‘honneur, ce qui est frappant au niveau lexical. Les personnages les plus jeunes utilisent beaucoup de mots associés au thème de l‘amour et qui ont le radical amour-, tandis que les plus âgés emploient très souvent des mots qui appartiennent au champ lexical de l‘honneur et de la gloire. Selon D. Diègue, l‘honneur a plus de puissance que l‘amour, et il trouve que l‘homme qui s‘endort dans l‘amour oublie ses devoirs. Pour l‘Infante, Chimène et Rodrigue, l‘amour est lié à la souffrance. L‘Infante souffre, mais elle se conforme, parce qu‘étant donné qu‘elle est fille de roi, elle ne peut pas aimer Rodrigue qui appartient à un rang inférieur. Chimène est le revers de l‘Infante, c‘est une femme rebelle qui veut mouler sa destinée. Cependant, tout au long de la pièce, l‘héroïne est assujettie à une force mâle: si parfois l‘amour entre elle et Rodrigue ressemble à l‘amour courtois du Moyen âge quand il se met à la disposition de sa maîtresse et la place au-dessus de lui, la plupart du temps il met la passion en dessous de l‘honneur, parce que c‘est un homme et descend d‘une famille de guerriers vaillants. Selon le code chevaleresque dans lequel il est inséré la femme est inférieure à l‘homme. À la fin de la pièce, il y a une victoire de l‘amour sur l‘honneur et le devoir : Chimène abdique de son honneur en pardonnant et en prenant pour mari l‘assassin de son père. Le monde de l‘élément masculin triomphe et elle devient le prix de la victoire de Rodrigue. Mais si son statut de femme l‘empêche de sortir victorieuse, elle ne se conforme pas et dans sa dernière tirade elle met en question la justice et défie la société féodale.

Alcipe, Nathercia e Tirse: Considerações sobre as luzes no feminino no Portugal de setecentos

O presente artigo desenvolve-se em torno de três damas esclarecidas da sociedade portuguesa de setecentos: D. Leonor de Almeida (1750-1839), ou Alcipe; D. Catarina de Lencastre (1749-1824), ou Nathercia; e D. Teresa de Mello Breyner (1739-1798?), ou Tirse. Sabendo que o século XVIII foi um período marcado por mudança e controvérsia, pela emergência de novos paradigmas, pelo reequacionamento de estruturas mentais e tradições seculares – ainda que em Portugal se experimentasse uma certa resistência às teorias filosóficas emergentes – a questão que lançamos e procuramos analisar é: qual o reflexo destas transformações no universo feminino? Assim, partindo dos três exemplos referidos e a eles tornando, pretendemos problematizar três questões centrais no discurso iluminista – educação, leituras e viagens – observando como estas matérias, assaz discutidas e teorizadas ao longo do século XVIII, se repercutiram na formação feminina em solo português e, por outro lado, analisar o modesto mas expressivo papel que as referidas damas assumiram na propagação da cultura das luzes em Portugal.

Quantification of endocrine disruptors and pesticides in water by gas chromatography–tandem mass spectrometry. Method validation using weighted linear regression schemes

Amulti-residue methodology based on a solid phase extraction followed by gas chromatography–tandem mass spectrometry was developed for trace analysis of 32 compounds in water matrices, including estrogens and several pesticides from different chemical families, some of them with endocrine disrupting properties. Matrix standard calibration solutions were prepared by adding known amounts of the analytes to a residue-free sample to compensate matrix-induced chromatographic response enhancement observed for certain pesticides. Validation was done mainly according to the International Conference on Harmonisation recommendations, as well as some European and American validation guidelines with specifications for pesticides analysis and/or GC–MS methodology. As the assumption of homoscedasticity was not met for analytical data, weighted least squares linear regression procedure was applied as a simple and effective way to counteract the greater influence of the greater concentrations on the fitted regression line, improving accuracy at the lower end of the calibration curve. The method was considered validated for 31 compounds after consistent evaluation of the key analytical parameters: specificity, linearity, limit of detection and quantification, range, precision, accuracy, extraction efficiency, stability and robustness.

Setting target rotation time in PROFIBUS based real-time distributed applications

In this paper, we analyse the ability of Profibus fieldbus to cope with the real-time requirements of a Distributed Computer Control System (DCCS), where messages associated to discrete events must be made available within a maximum bound time. Our methodology is based on the knowledge of real-time traffic characteristics, setting the network parameters in order to cope with timing requirements. Since non-real-time traffic characteristics are usually unknown at the design stage, we consider an operational profile where, constraining non-real-time traffic at the application level, we assure that realtime requirements are met.

The utilization bound of non-preemptive rate-monotonic scheduling in controller area networks is 25%

Consider a distributed computer system comprising many computer nodes, each interconnected with a controller area network (CAN) bus. We prove that if priorities to message streams are assigned using rate-monotonic (RM) and if the requested capacity of the CAN bus does not exceed 25% then all deadlines are met.

A synchronous transition protocol with periodicity for global scheduling of multimode real-time systems on multiprocessors

We consider the global scheduling problem of multimode real-time systems upon identical multiprocessor platforms. During the execution of a multimode system, the system can change from one mode to another such that the current task set is replaced with a new task set. Thereby, ensuring that deadlines are met requires not only that a schedulability test is performed on tasks in each mode but also that (i) a protocol for transitioning from one mode to another is specified and (ii) a schedulability test for each transition is performed. In this paper, we extend the synchronous transition protocol SM-MSO in order to take into account mode-independent tasks [1], i.e., tasks of which the execution pattern must not be jeopardized by the mode changes.

Two protocols without periodicity for the global and preemptive scheduling problem of multi-mode real-time systems upon multiprocessor Platforms

We consider the problem of scheduling a multi-mode real-time system upon identical multiprocessor platforms. Since it is a multi-mode system, the system can change from one mode to another such that the current task set is replaced with a new task set. Ensuring that deadlines are met requires not only that a schedulability test is performed on tasks in each mode but also that (i) a protocol for transitioning from one mode to another is specified and (ii) a schedulability test for each transition is performed. We propose two protocols which ensure that all the expected requirements are met during every transition between every pair of operating modes of the system. Moreover, we prove the correctness of our proposed algorithms by extending the theory about the makespan determination problem.

A two-competitive approximate schedulability analysis of CAN

Consider the problem of deciding whether a set of n sporadic message streams meet deadlines on a Controller Area Network (CAN) bus for a specified priority assignment. It is assumed that message streams have implicit deadlines and no release jitter. An algorithm to solve this problem is well known but unfortunately it time complexity is non-polynomial. We present an algorithm with polynomial time-complexity for computing an upper bound on the response times. Clearly, if the upper bound on the response time does not exceed the deadline then all deadlines are met. The pessimism of our approach is proven: if the upper bound of the response time exceeds the deadline then the response time exceeds the deadline as well for a CAN network with half the speed.

Linearizability and schedulability

Consider the problem of scheduling a set of tasks on a single processor such that deadlines are met. Assume that tasks may share data and that linearizability, the most common correctness condition for data sharing, must be satisfied. We find that linearizability can severely penalize schedulability. We identify, however, two special cases where linearizability causes no or not too large penalty on schedulability.

Uniprocessor EDF scheduling with mode change

Consider the problem of scheduling sporadically-arriving tasks with implicit deadlines using Earliest-Deadline-First (EDF) on a single processor. The system may undergo changes in its operational modes and therefore the characteristics of the task set may change at run-time. We consider a well-established previously published mode-change protocol and we show that if every mode utilizes at most 50% of the processing capacity then all deadlines are met. We also show that there exists a task set that misses a deadline although the utilization exceeds 50% by just an arbitrarily small amount. Finally, we present, for a relevant special case, an exact schedulability test for EDF with mode change.

Global static-priority preemptive multiprocessor scheduling with utilization bound 38%

Consider the problem of scheduling real-time tasks on a multiprocessor with the goal of meeting deadlines. Tasks arrive sporadically and have implicit deadlines, that is, the deadline of a task is equal to its minimum inter-arrival time. Consider this problem to be solved with global static-priority scheduling. We present a priority-assignment scheme with the property that if at most 38% of the processing capacity is requested then all deadlines are met.

The utilization bound of static-priority preemptive partitioned multiprocessor scheduling is 50%

This paper studies static-priority preemptive scheduling on a multiprocessor using partitioned scheduling. We propose a new scheduling algorithm and prove that if the proposed algorithm is used and if less than 50% of the capacity is requested then all deadlines are met. It is known that for every static-priority multiprocessor scheduling algorithm, there is a task set that misses a deadline although the requested capacity is arbitrary close to 50%.

Comparação do efeito da técnica de facilitação neuromuscular proprioceptiva com a técnica de músculo energia no alongamento muscular dos isquiotibiais a curto prazo

Introdução: A aplicação das técnicas de Contrair-Relaxar com Contracção do Antagonista (CRCA) e de Músculo Energia (TME) promovem um aumento da flexibilidade muscular, contudo poucos estudos comparam a eficácia de ambas. Apresentam aspectos comuns como a contracção prévia do músculo a alongar sendo esta máxima na CRCA e uma percentagem da máxima na TME. Contudo, alguma evidência sugere que não existe correspondência entre a força produzida e a desejada pelo que este aspecto da TME carece de explicação. Objectivos: Confirmar se a técnica CRCA e a TME são efectivas no alongamento muscular dos isquiotibiais a curto prazo, caso sejam determinar qual a mais efectiva. Pretende-se ainda avaliar se a percepção ao esforço durante a aplicação da TME corresponde à força efectivamente realizada. Métodos: Efectuou-se um estudo experimental com 45 voluntários distribuídos aleatoriamente pelos grupos CRCA, TME e Controlo. Avaliou-se a amplitude articular passiva de extensão do joelho antes e depois de aplicar as técnicas, utilizando um goniómetro. Nos participantes submetidos à TME avaliou-se a percepção ao esforço, solicitando uma contracção submáxima isométrica de 40% medida através do dinamómetro de mão. Resultados: Verificou-se um efeito das técnicas entre as avaliações (Teste ANOVA medidas repetidas factor tempo: p<0,001) e entre os grupos (tempo*grupo: p<0,001). Comparando os grupos dois a dois, verificaram-se diferenças entre o grupo CRCA e o grupo Controlo (Teste Post Hoc Games-Howell: p=0,001) e entre o grupo TME e o grupo Controlo (p=0,009), não existindo diferenças entre os grupos CRCA e TME (p=0,376). Os grupos CRCA e TME obtiveram um ganho de 10,7º e de 11,4º respectivamente, não havendo diferenças significativas entre os ganhos (Teste T-Student Independente: p=0,599). Existiram diferenças significativas entre os 40% CMVI produzida e desejada (Teste Wilcoxon: p=0,018). Conclusão: Ambas foram efectivas no aumento da flexibilidade muscular dos isquiotibiais a curto prazo. Os efeitos foram comparáveis, mas dada a menor complexidade e menor solicitação a TME foi considerada mais eficiente. A percepção ao esforço durante a aplicação da TME não correspondeu ao esforço desejado, existindo uma tendência para a produção de intensidades de contracções maiores.

From design-for-test to design-for-debug-and-test: analysis of requirements and limitations for 1149.1

The increasing complexity of VLSI circuits and the reduced accessibility of modern packaging and mounting technologies restrict the usefulness of conventional in-circuit debugging tools, such as in-circuit emulators for microprocessors and microcontrollers. However, this same trend enables the development of more complex products, which in turn require more powerful debugging tools. These conflicting demands could be met if the standard scan test infrastructures now common in most complex components were able to match the debugging requirements of design verification and prototype validation. This paper analyses the main debug requirements in the design of microprocessor-based applications and the feasibility of their implementation using the mandatory, optional and additional operating modes of the standard IEEE 1149.1 test infrastructure.