Towards execution time estimation in abstract machine-based languages

Abstract machines provide a certain separation between platformdependent and platform-independent concerns in compilation. Many of the differences between architectures are encapsulated in the speciflc abstract machine implementation and the bytecode is left largely architecture independent. Taking advantage of this fact, we present a framework for estimating upper and lower bounds on the execution times of logic programs running on a bytecode-based abstract machine. Our approach includes a one-time, programindependent proflling stage which calculates constants or functions bounding the execution time of each abstract machine instruction. Then, a compile-time cost estimation phase, using the instruction timing information, infers expressions giving platform-dependent upper and lower bounds on actual execution time as functions of input data sizes for each program. Working at the abstract machine level makes it possible to take into account low-level issues in new architectures and platforms by just reexecuting the calibration stage instead of having to tailor the analysis for each architecture and platform. Applications of such predicted execution times include debugging/veriflcation of time properties, certiflcation of time properties in mobile code, granularity control in parallel/distributed computing, and resource-oriented specialization.

Construction Cost Estimates for Residences in Spain: practical application of the Pcr.5n model

The construction cost estimation systems in Spain are undeveloped and, hence, infrequently used by technicians and professionals in the building sector. However, estimation of an approximate real cost prior to the execution of the work is compulsory under current legal regulations (Technical Building Code). Therefore, the development of research projects on construction cost estimation models such as the one described and demonstrated in this talk is extremely interesting.

Some advances in extensive bridge monitoring using low cost dynamic characterization

Dynamic measurements will become a standard for bridge monitoring in the near future. This fact will produce an important cost reduction for maintenance. US Administration has a long term intensive research program in order to diminish the estimated current maintenance cost of US$7 billion per year over 20 years. An optimal intervention maintenance program demands a historical dynamical record, as well as an updated mathematical model of the structure to be monitored. In case that a model of the structure is not actually available it is possible to produce it, however this possibility does not exist for missing measurement records from the past. Current acquisition systems to monitor structures can be made more efficient by introducing the following improvements, under development in the Spanish research Project “Low cost bridge health monitoring by ambient vibration tests using wireless sensors”: (a) a complete wireless system to acquire sensor data, (b) a wireless system that permits the localization and the hardware identification of the whole sensor system. The applied localization system has been object of a recent patent, and (c) automatization of the modal identification process, aimed to diminish human intervention. This system is assembled with cheap components and allows the simultaneous use of a large number of sensors at a low placement cost. The engineer’s intervention is limited to the selection of sensor positions, probably based on a preliminary FE analysis. In case of multiple setups, also the position of a number of fixed reference sensors has to be decided. The wireless localization system will obtain the exact coordinates of all these sensors positions. When the selection of optimal positions is difficult, for example because of the lack of a proper FE model, this can be compensated by using a higher number of measuring (also reference) points. The described low cost acquisition system allows the responsible bridge administration to obtain historical dynamic identification records at reasonable costs that will be used in future maintenance programs. Therefore, due to the importance of the baseline monitoring record of a new bridge, a monitoring test just after its construction should be highly recommended, if not compulsory.

Development and programming of Geophonino: A low cost Arduino-based seismic recorder for vertical geophones

The commercial data acquisition systems used for seismic exploration are usually expensive equipment. In this work, a low cost data acquisition system (Geophonino) has been developed for recording seismic signals from a vertical geophone. The signal goes first through an instrumentation amplifier, INA155, which is suitable for low amplitude signals like the seismic noise, and an anti-aliasing filter based on the MAX7404 switched-capacitor filter. After that, the amplified and filtered signal is digitized and processed by Arduino Due and registered in an SD memory card. Geophonino is configured for continuous registering, where the sampling frequency, the amplitude gain and the registering time are user-defined. The complete prototype is an open source and open hardware system. It has been tested by comparing the registered signals with the ones obtained through different commercial data recording systems and different kind of geophones. The obtained results show good correlation between the tested measurements, presenting Geophonino as a low-cost alternative system for seismic data recording.

Monetary cost -efficient query distribution in ISDN -connected heterogeneous databases

Current technology permits connecting local networks via high-bandwidth telephone lines. Central coordinator nodes may use Intelligent Networks to manage data flow over dialed data lines, e.g. ISDN, and to establish connections between LANs. This dissertation focuses on cost minimization and on establishing operational policies for query distribution over heterogeneous, geographically distributed databases. Based on our study of query distribution strategies, public network tariff policies, and database interface standards we propose methods for communication cost estimation, strategies for the reduction of bandwidth allocation, and guidelines for central to node communication protocols. Our conclusion is that dialed data lines offer a cost effective alternative for the implementation of distributed database query systems, and that existing commercial software may be adapted to support query processing in heterogeneous distributed database systems. ^

A Computer-Aided Decision Support System for Making Locational Decisions, 1990

This report is the product of a first-year research project in the University Transportation Centers Program. This project was carried out by an interdisciplinary research team at The University of Iowa's Public Policy Center. The project developed a computerized system to support decisions on locating facilities that serve rural areas while minimizing transportation costs. The system integrates transportation databases with algorithms that specify efficient locations and allocate demand efficiently to service regions; the results of these algorithms are used interactively by decision makers. The authors developed documentation for the system so that others could apply it to estimate the transportation and route requirements of alternative locations and identify locations that meet certain criteria with the least cost. The system was developed and tested on two transportation-related problems in Iowa, and this report uses these applications to illustrate how the system can be used.

Electrochemical Immunosensing of Cortisol in an Automated Microfluidic System Towards Point-of-Care Applications

This dissertation describes the development of a label-free, electrochemical immunosensing platform integrated into a low-cost microfluidic system for the sensitive, selective and accurate detection of cortisol, a steroid hormone co-related with many physiological disorders. Abnormal levels of cortisol is indicative of conditions such as Cushing’s syndrome, Addison’s disease, adrenal insufficiencies and more recently post-traumatic stress disorder (PTSD). Electrochemical detection of immuno-complex formation is utilized for the sensitive detection of Cortisol using Anti-Cortisol antibodies immobilized on sensing electrodes. Electrochemical detection techniques such as cyclic voltammetry (CV) and electrochemical impedance spectroscopy (EIS) have been utilized for the characterization and sensing of the label-free detection of Cortisol. The utilization of nanomaterial’s as the immobilizing matrix for Anti-cortisol antibodies that leads to improved sensor response has been explored. A hybrid nano-composite of Polyanaline-Ag/AgO film has been fabricated onto Au substrate using electrophoretic deposition for the preparation of electrochemical immunosening of cortisol. Using a conventional 3-electrode electrochemical cell, a linear sensing range of 1pM to 1µM at a sensitivity of 66µA/M and detection limit of 0.64pg/mL has been demonstrated for detection of cortisol. Alternately, a self-assembled monolayer (SAM) of dithiobis(succinimidylpropionte) (DTSP) has been fabricated for the modification of sensing electrode to immobilize with Anti-Cortisol antibodies. To increase the sensitivity at lower detection limit and to develop a point-of-care sensing platform, the DTSP-SAM has been fabricated on micromachined interdigitated microelectrodes (µIDE). Detection of cortisol is demonstrated at a sensitivity of 20.7µA/M and detection limit of 10pg/mL for a linear sensing range of 10pM to 200nM using the µIDE’s. A simple, low-cost microfluidic system is designed using low-temperature co-fired ceramics (LTCC) technology for the integration of the electrochemical cortisol immunosensor and automation of the immunoassay. For the first time, the non-specific adsorption of analyte on LTCC has been characterized for microfluidic applications. The design, fabrication technique and fluidic characterization of the immunoassay are presented. The DTSP-SAM based electrochemical immunosensor on µIDE is integrated into the LTCC microfluidic system and cortisol detection is achieved in the microfluidic system in a fully automated assay. The fully automated microfluidic immunosensor hold great promise for accurate, sensitive detection of cortisol in point-of-care applications.

Sensory Stability of Ultra-High Temperature Milk in Polyethylene Bottle

The objective of this study was to evaluate the sensory stability of ultra-high temperature (UHT) milk subjected to different heat treatments and stored at room temperature in white high density polyethylene bottles (HDPE) pigmented with titanium dioxide. Two lots of 300 units each were processed, respectively, at 135 and 141 degrees C/10 s using indirect heating and subsequently aseptically filled in an ISO class 7 clean room. These experimental lots were evaluated for appearance, aroma, flavor, and overall appreciation and compared to samples of commercial UHT milk purchased from local commercial stores. The time-temperature combinations investigated did not affect either the acceptability or the shelf life of the milk. Despite the limited light barrier properties of HDPE bottles, the product contained in the package tested exhibited good stability, with a shelf life ranging from 4 to 11 wk. Within this time period, the acceptability of the experimental lots was similar to that of the commercial products. The results achieved in this study contribute to turn the low-cost UHT system investigated into a technically viable option for small-size dairy processing plants.

O processo or??ament??rio e a apura????o de custos de produtos e servi??os no setor p??blico do Brasil

O presente artigo aborda a quest??o da apura????o de custos de servi??os p??blicos a partir da perspectiva do processo or??ament??rio no setor p??blico. Nesse sentido, o objetivo principal do trabalho consiste em explicitar uma sistem??tica de an??lise e apura????o de custos de servi??os p??blicos que seja adaptada ao processo or??ament??rio do setor p??blico brasileiro e, assim, contribuir para a obten????o da efici??ncia alocativa e efici??ncia operacional. A sistem??tica de apura????o de custos aqui proposta ?? totalmente compat??vel com os sistemas gerenciais de informa????o utilizados pelo Governo e tem baixo custo de operacionaliza????o porque n??o implica mudan??as apreci??veis nos sistemas de informa????o em uso e na forma de registro das informa????es na contabilidade p??blica. Por fim, a sistem??tica de apura????o de custos de servi??os p??blicos proposta atende ?? Lei de Responsabilidade Fiscal e a complementa quanto ?? apura????o de custos de servi??os e produtos do setor p??blico.

Determinantes da adopção e desenvolvimento do Sistema de Contabilidade de Custos nos municípios Portugueses

The present study envisages to analyse and perceive change within the Portuguese local governments’ accounting information system. This change has occurred in recent years due to the development of the Cost Accounting System (CAS). Are there divergences between those that adopted and those that did not the CAS? As of today, to what extent is the CAS implemented? What factors do determine the level of development of the CAS amongst Portuguese local governments? This study has analysed several factors like the current legal framework, the local governments’ size, the financial independence and the level of political competitiveness. The empirical analysis focus upon the results as obtained by means of questionnaire which was applied to all the Portuguese Local Government (308). Although one may consider that its development is rather shallow, evidence unfolds that about 48% of the respondents have already adopted the CAS. It highlights that the pressure exerted by the current legal framework, namely the POCAL (Plano Oficial de Contabilidade das Autarquias Locais – Local Government Accounting Official Plan), the NLFL (Nova Lei das Finanças Locais – Local Finances New Law) and the RGTAL (Regime Geral de Taxas das Autarquias Locais – Local Government General Regime of Taxes), justifies that most of the local governments has adopted the new system of control and accounting information in recent years.The importance of information stemming from the CAS, thus bettering and refining the decision making process, is consistent with the positive evolution of this system, in the short-run. The institutions’ size as well as the level of financial independence and political competitiveness may also be pondered as most significant variables within this empirical analysis.

Análise custo-benefício de infra-estruturas rodoviárias: metodologias de implementação

Na sequência das preocupações de ausência dos custos externos na análise de projectos rodoviários, foram realizados diversos estudos (EUNET/SASI, FISCUS, HEATCO, PETS, UNITE, GRACE, IMPACT) com vista a identificar e quantificar os impactes reais das actividades de transporte rodoviário. Nesses projectos foram apresentadas diversas metodologias para quantificação dos custos e também benefícios associados aos sistemas de transporte, nomeadamente das infra-estruturas rodoviárias. Para o efeito foram analisadas várias categorias de custo (custos da infra-estrutura, custos do congestionamento, custos da operação dos veículos, custos dos acidentes, custos do ruído, custos da poluição atmosférica, custos do aquecimento global). Nesta dissertação utilizou-se cinco modelos de determinação de custos de infra-estruturas rodoviárias que posteriormente foram calibrados ao caso português para aplicação em estudo de casos em Portugal de duas formas, avaliação de projectos de infra-estruturas rodoviárias e identificação e fixação de preços, nomeadamente associados às portagens. A avaliação de projectos de infra-estruturas rodoviárias foi realizada através da utilização de indicadores de custos totais e médios, utilizando para o efeito dois modelos: o HDM-4 – Highway Development and Management (PIARC, 2001) e o COBA – Cost Benefit Analysis (TRL, 2004) que utilizam custos totais e um modelo proposto pelo autor com base numa síntese e adaptação de submodelos desenvolvidos nos projectos europeus já referidos que utiliza custos médios. A análise associada à identificação dos custos marginais relevantes para a fixação de preços foi realizada através do modelo desenvolvido no projecto europeu, GRACE – Generalisation of Research on Accounts and Cost Estimation (ITS et al., 2008), e de um modelo proposto pelo autor. Após a adaptação e/ou construção dos modelos, estes foram aplicados ao estudo de três situações específicas em infra-estruturas rodoviárias nacionais. Referem-se intervenções na estrada nacional EN125 que liga Vila do Bispo a Vila Real de Santo António (no Algarve), na auto-estrada A7 que liga Póvoa de Varzim a Vila Pouca de Aguiar (Norte de Portugal) e na auto-estrada A9 que liga o Estádio Nacional em Oeiras a Alverca (região de Lisboa).

Videovigilância, compressão e criptografia

Mestrado em Engenharia Electrotécnica e de Computadores

A contabilidade de gestão nas autarquias locais: o caso do Município de Espinho

Trabalho de Projeto apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Auditoria Orientação: Doutora Alcina Augusta de Sena Portugal Dias Coorientação: Doutora Amélia Cristina Ferreira Silva

Utilização de sensores de baixo custo na medição de monóxido de carbono no ar ambiente

Nos últimos anos tem-se assistido à introdução de novos dispositivos de medição da poluição do ar baseados na utilização de sensores de baixo custo. A utilização menos complexa destes sistemas, possibilita a obtenção de dados com elevada resolução temporal e espacial, abrindo novas oportunidades para diferentes metodologias de estudos de monitorização da poluição do ar. Apesar de apresentarem capacidades analíticas distantes dos métodos de referência, a utilização destes sensores tem sido sugerida e incentivada pela União Europeia no âmbito das medições indicativas previstas na Diretiva 2008/50/CE, com uma incerteza expandida máxima de 25%. O trabalho desenvolvido no âmbito da disciplina de Projeto consistiu na escolha, caracterização e utilização em medições reais de um sensor de qualidade do ar, integrado num equipamento protótipo desenvolvido com esse fim, visando obtenção uma estimativa da incerteza de medição associada à utilização deste dispositivo através da aplicação da metodologia de demonstração de equivalência de métodos de medição de qualidade do ar definida pela União Europeia. A pesquisa bibliográfica realizada permitiu constatar que o monóxido de carbono é neste momento o parâmetro de qualidade do ar que permite ser medido de forma mais exata através da utilização de sensores, nomeadamente o sensor eletroquímico da marca Alphasense, modelo COB4, amplamente utilizado em projetos de desenvolvimento neste cotexto de monitorização ambiental. O sensor foi integrado num sistema de medição com o objetivo de poder ser utlizado em condições de autonomia de fornecimento de energia elétrica, aquisição interna dos dados, tendo em consideração ser o mais pequeno possível e de baixo custo. Foi utlizado um sistema baseado na placa Arduino Uno com gravação de dados em cartão de memória SD, baterias e painel solar, permitindo para além do registo das tensões elétricas do sensor, a obtenção dos valores de temperatura, humidade relativa e pressão atmosférica, com um custo global a rondar os 300 euros. Numa primeira fase foram executados um conjunto de testes laboratoriais que permitiram a determinação de várias características de desempenho em dois sensores iguais: tempo de resposta, a equação modelo do sensor, avaliação da repetibilidade, desvio de curto e longo termo, interferência da temperatura e histerese. Os resultados demonstraram um comportamento dos sensores muito linear, com um tempo de resposta inferior a um minuto e com uma equação modelo do sensor dependente da variação da temperatura. A estimativa da incerteza expandida laboratorial ficou, para ambos os sensores, abaixo dos 10%. Após a realização de duas campanhas reais de medição de CO em que os valores foram muito baixos, foi realizada uma campanha de quinze dias num parque de estacionamento subterrâneo que permitiu a obtenção de concentrações suficientemente elevadas e a comparação dos resultados dos sensores com o método de referência em toda a gama de medição (0 a 12 mol.mol-1). Os valores de concentração obtidos pelos dois sensores demonstraram uma excelente correlação com o método de referência (r2≥0,998), obtendo-se resultados para a estimativa da incerteza expandida de campo inferiores aos obtidos para a incerteza laboratorial, cumprindo o objetivo de qualidade de dados definido para as medições indicativas de incerteza expandida máxima de 25%. Os resultados observados durante o trabalho realizado permitiram confirmar o bom desempenho que este tipo de sensor pode ter no âmbito de medições de poluição do ar com um caracter mais indicativo.

Apuramento de custos por utente nos cuidados de saúde primários

RESUMO - Introdução: A ausência de um plano de contabilidade analítica para os Cuidados de Saúde Primários é um problema para a realização da contabilidade interna, fundamental para a gestão de qualquer instituição de saúde. Sem linhas orientadoras para a uniformização dos critérios de imputação e distribuição dos custos/proveitos, torna-se complicado obter dados analíticos para que haja um controlo de gestão mais eficaz, que permita a utilização dos recursos de uma forma eficiente e racional, melhorando a qualidade da prestação de cuidados aos utentes. Objectivo: O presente projecto de investigação tem como principal objectivo apurar o custo por utente nos Cuidados de Saúde Primários. Metodologia: Foi construída uma metodologia de apuramento de custos com base no método Time-Driven Activity-Based Costing. O custo foi imputado a cada utente utilizando os seguintes costs drivers: tempo de realização da consulta e a produção realizada para a imputação dos custos com o pessoal médico; produção realizada para a imputação dos outros custos com o pessoal e dos custos indirectos variáveis; número total de utentes inscritos para a imputação dos custos indirectos fixos. Resultados: O custo total apurado foi 2.980.745,10€. O número médio de consultas é de 3,17 consultas por utente inscrito e de 4,72 consultas por utente utilizador. O custo médio por utente é de 195,76€. O custo médio por utente do género feminino é de 232,41€. O custo médio por utente do género masculino é de 154,80€. As rubricas com mais peso no custo total por utente são os medicamentos (40,32%), custo com pessoal médico (22,87%) e MCDT (17,18%). Conclusão: Na implementação de um sistema de apuramentos de custos por utente, é fulcral que existam sistemas de informação eficientes que permitam o registo dos cuidados prestados ao utente pelos vários níveis de prestação de cuidados. É importante também que a gestão não utilize apenas os resultados apurados como uma ferramenta de controlo de custos, devendo ser potenciada a sua utilização para a criação de valor ao utente.