Thin mercury film electrodes in dynamic speciation studies of metals

No presente trabalho, foi avaliado o desempenho e a aplicabilidade do eléctrodo de filme fino de mercúrio, em estudos de especiação dinâmica de metais vestigiais. Para tal, foram utilizadas duas técnicas electroanalíticas de redissolução: a clássica Voltametria de Redissolução Anódica (ASV) e a recentemente desenvolvida, Cronopotenciometria de Redissolução com varrimento do potencial de deposição (SSCP). As propriedades de troca-iónica e de transporte de massa de películas mistas preparadas a partir de dois polímeros com características distintas, o Nafion (NA) e o 4-Poliestireno sulfonato de sódio (PSS), foram avaliadas, antes da sua aplicação no âmbito da especiação de metais. Estas películas de NA-PSS demonstraram uma elevada sensibilidade, reprodutibilidade, estabilidade mecânica, bem como, propriedades de anti-bloqueio adequadas na modificação química do eléctrodo de filme fino de mercúrio (TMFE) e, na sua aplicação na determinação de catiões metálicos vestigiais em amostras complexas, por ASV. Para além disso, o desempenho de membranas do polielectrólito PSS em estudos de voltametria de troca-iónica (IEV) foi estudado. O objectivo desta investigação foi reunir as condições ideais na preparação de películas de PSS estáveis e com uma densidade de carga negativa elevada, de modo a aumentar a acumulação electrostática de catiões metálicos no filme polimérico e por conseguinte, conseguir incrementos no sinal voltamétrico. O desempenho e aplicabilidade do TMFE em estudos de especiação de metais vestigiais foram extendidos à SSCP como técnica analítica. Dada a elevada sensibilidade e resolução evidenciada pelo TMFE, este revelou ser uma alternativa adequada aos eléctrodos de mercúrio convencionais, podendo ser utilizado durante um dia de trabalho, sem degradação aparente do sinal analítico de SCP. As curvas de SSCP obtidas experimentalmente utilizando o TMFE estavam em concordância com aquelas previstas pela teoria. Para além disso, a constante de estabilidade (K) calculada a partir do desvio do potencial de meia-onda, para dois sistemas metal-complexo lábeis, aproxima-se não só do valor teórico, como também daquele obtido utilizando o eléctrodo de mercúrio de gota suspensa (HMDE). Adicionalmente, o critério experimental de labilidade inerente a esta técnica foi validado e o grau de labilidade para um dado sistema metal-complexo foi determinado, utilizando o filme fino de mercúrio depositado sob um eléctrodo rotativo (TMF-RDE). Este eléctrodo é muito útil na determinação de parâmetros cinéticos, como é o caso da constante de velocidade de associação (ka), uma vez que as condições hidrodinâmicas, durante a etapa de deposição, se encontram bem definidas.

Synchronisation in high-performance integrated circuits

A distribui ção de um sinal relógio, com elevada precisão espacial (baixo skew) e temporal (baixo jitter ), em sistemas sí ncronos de alta velocidade tem-se revelado uma tarefa cada vez mais demorada e complexa devido ao escalonamento da tecnologia. Com a diminuição das dimensões dos dispositivos e a integração crescente de mais funcionalidades nos Circuitos Integrados (CIs), a precisão associada as transições do sinal de relógio tem sido cada vez mais afectada por varia ções de processo, tensão e temperatura. Esta tese aborda o problema da incerteza de rel ogio em CIs de alta velocidade, com o objetivo de determinar os limites do paradigma de desenho sí ncrono. Na prossecu ção deste objectivo principal, esta tese propõe quatro novos modelos de incerteza com âmbitos de aplicação diferentes. O primeiro modelo permite estimar a incerteza introduzida por um inversor est atico CMOS, com base em parâmetros simples e su cientemente gen éricos para que possa ser usado na previsão das limitações temporais de circuitos mais complexos, mesmo na fase inicial do projeto. O segundo modelo, permite estimar a incerteza em repetidores com liga ções RC e assim otimizar o dimensionamento da rede de distribui ção de relógio, com baixo esfor ço computacional. O terceiro modelo permite estimar a acumula ção de incerteza em cascatas de repetidores. Uma vez que este modelo tem em considera ção a correla ção entre fontes de ruí do, e especialmente util para promover t ecnicas de distribui ção de rel ogio e de alimentação que possam minimizar a acumulação de incerteza. O quarto modelo permite estimar a incerteza temporal em sistemas com m ultiplos dom ínios de sincronismo. Este modelo pode ser facilmente incorporado numa ferramenta autom atica para determinar a melhor topologia para uma determinada aplicação ou para avaliar a tolerância do sistema ao ru ído de alimentação. Finalmente, usando os modelos propostos, são discutidas as tendências da precisão de rel ogio. Conclui-se que os limites da precisão do rel ogio são, em ultima an alise, impostos por fontes de varia ção dinâmica que se preveem crescentes na actual l ogica de escalonamento dos dispositivos. Assim sendo, esta tese defende a procura de solu ções em outros ní veis de abstração, que não apenas o ní vel f sico, que possam contribuir para o aumento de desempenho dos CIs e que tenham um menor impacto nos pressupostos do paradigma de desenho sí ncrono.

DACA: architecture to implement dynamic access control mechanisms on business tier components

Access control is a software engineering challenge in database applications. Currently, there is no satisfactory solution to dynamically implement evolving fine-grained access control mechanisms (FGACM) on business tiers of relational database applications. To tackle this access control gap, we propose an architecture, herein referred to as Dynamic Access Control Architecture (DACA). DACA allows FGACM to be dynamically built and updated at runtime in accordance with the established fine-grained access control policies (FGACP). DACA explores and makes use of Call Level Interfaces (CLI) features to implement FGACM on business tiers. Among the features, we emphasize their performance and their multiple access modes to data residing on relational databases. The different access modes of CLI are wrapped by typed objects driven by FGACM, which are built and updated at runtime. Programmers prescind of traditional access modes of CLI and start using the ones dynamically implemented and updated. DACA comprises three main components: Policy Server (repository of metadata for FGACM), Dynamic Access Control Component (DACC) (business tier component responsible for implementing FGACM) and Policy Manager (broker between DACC and Policy Server). Unlike current approaches, DACA is not dependent on any particular access control model or on any access control policy, this way promoting its applicability to a wide range of different situations. In order to validate DACA, a solution based on Java, Java Database Connectivity (JDBC) and SQL Server was devised and implemented. Two evaluations were carried out. The first one evaluates DACA capability to implement and update FGACM dynamically, at runtime, and, the second one assesses DACA performance against a standard use of JDBC without any FGACM. The collected results show that DACA is an effective approach for implementing evolving FGACM on business tiers based on Call Level Interfaces, in this case JDBC.

Secure, dynamic and distributed access control stack for database applications

In database applications, access control security layers are mostly developed from tools provided by vendors of database management systems and deployed in the same servers containing the data to be protected. This solution conveys several drawbacks. Among them we emphasize: 1) if policies are complex, their enforcement can lead to performance decay of database servers; 2) when modifications in the established policies implies modifications in the business logic (usually deployed at the client-side), there is no other possibility than modify the business logic in advance and, finally, 3) malicious users can issue CRUD expressions systematically against the DBMS expecting to identify any security gap. In order to overcome these drawbacks, in this paper we propose an access control stack characterized by: most of the mechanisms are deployed at the client-side; whenever security policies evolve, the security mechanisms are automatically updated at runtime and, finally, client-side applications do not handle CRUD expressions directly. We also present an implementation of the proposed stack to prove its feasibility. This paper presents a new approach to enforce access control in database applications, this way expecting to contribute positively to the state of the art in the field.

Secure, dynamic and distributed access control stack for database applications

In database applications, access control security layers are mostly developed from tools provided by vendors of database management systems and deployed in the same servers containing the data to be protected. This solution conveys several drawbacks. Among them we emphasize: (1) if policies are complex, their enforcement can lead to performance decay of database servers; (2) when modifications in the established policies implies modifications in the business logic (usually deployed at the client-side), there is no other possibility than modify the business logic in advance and, finally, 3) malicious users can issue CRUD expressions systematically against the DBMS expecting to identify any security gap. In order to overcome these drawbacks, in this paper we propose an access control stack characterized by: most of the mechanisms are deployed at the client-side; whenever security policies evolve, the security mechanisms are automatically updated at runtime and, finally, client-side applications do not handle CRUD expressions directly. We also present an implementation of the proposed stack to prove its feasibility. This paper presents a new approach to enforce access control in database applications, this way expecting to contribute positively to the state of the art in the field.