The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs

This paper reports the use of proof planning to diagnose errors in program code. In particular it looks at the errors that arise in the base cases of recursive programs produced by undergraduates. It describes two classes of error that arise in this situation. The use of test cases would catch these errors but would fail to distinguish between them. The system adapts proof critics, commonly used to patch faulty proofs, to diagnose such errors and distinguish between the two classes. It has been implemented in Lambda-clam, a proof planning system, and applied successfully to a small set of examples.

PARTICIPATORY PLANNING PILOT CASE STUDY IN CHINA: REALITY, CHALLENGES & LESSONS LEARNED FROM US

Urban planning in China is in a period of change, where participatory planning may supplement the traditional planning system. Since the beginning of the 21st century, several pilot participatory planning projects have responded to the new challenge. The author collected eight cases from the Chinese planning institution to explore the possible models of and barriers to participatory planning. On the other hand, public participation has been a concrete component of planning and implementation process in the United States. The author will also elaborate on one practical case of the planning process in the United States to compare the two countries on planning methods and barriers.

Study of the spatial distribution of the absorbed dose in blood volumes irradiated using a teletherapy unit

Blood irradiation can be performed using a dedicated blood irradiator or a teletherapy unit. A thermal device providing appropriate storage conditions during blood components irradiation with a teletherapy unit has been recently proposed. However, the most appropriated volume of the thermal device was not indicated. The goal of this study was to indicate the most appropriated blood volume for irradiation using a teletherapy unit in order to minimize both the dose heterogeneity in the volume and the blood irradiation time using these equipments. Theoretical and experimental methods were used to study the dose distribution in the blood volume irradiated using a linear accelerator and a cobalt-60 therapy machine. The calculation of absorbed doses in the middle plane of cylindrical acrylic volumes was accomplished by a treatment planning system. Experimentally, we also used cylindrical acrylic phantoms and thermoluminescent dosimeters to confirm the calculated doses. The data obtained were represented by isodose curves. We observed that an irradiation volume should have a height of 28 cm and a diameter of 28 cm and a height of 35 cm and a diameter of 35 cm, when the irradiation is to be performed by a linear accelerator and a cobalt-60 teletherapy unit, respectively. Calculated values of relative doses varied from 93% to 100% in the smaller volume, and from 66% to 100% in the largest one. A difference of 5.0%, approximately, was observed between calculated and experimental data. The size of these volumes permits the irradiation of blood bags in only one bath without compromising the homogeneity of the absorbed dose over the irradiated volume. Thus, these irradiation volumes can be recommend to minimize the irradiation time when a teletherapy unit is used to irradiate blood. (C) 2010 Elsevier Ltd. All rights reserved.

Desempenho organizacional e arranjo federativo: o slack da Sudene e o colapso na gest??o da pol??tica de planejamento regional

Este artigo procura explicar as raz??es do colapso na gest??o do sistema de planejamento regional no Brasil, debru??ando-se sobre a extin????o da Sudene no final da d??cada de 1990, como estudo de caso. Para tanto, utiliza-se o modelo de sa??da, voz e lealdade de Hirschman, para destacar o funcionamento dos mecanismos promotores do slack organizacional nessa ag??ncia de governo, e sua subsequente extin????o. Assim, sustenta-se o argumento de que a implementa????o de modelo federativo fortemente descentralizado, a partir da Constitui????o de 1988, produziu disfun????es operacionais em uma organiza????o dotada de estrutura decis??ria colegiada, deslegitimando-a, e conduzindo-a ?? extin????o.

Estudo dosimétrico comparativo do Acuros® XB: algoritmo avançado de cálculo de dose com o AAA – Anisotropic Analytical Alghorithm, em tratamentos de radioterapia externa com a técnica de RapidArc™

Mestrado em Radioterapia.

Avaliação da distribuição de dose no CTV-PTV através de imagem guiada em doentes com carcinoma da próstata

Mestrado em Radioterapia.

Comparação de diferentes técnicas de irradiação de mama em radioterapia com recurso a acelerador linear em modo de fotões

RESUMO: Introdução – A Radioterapia (RT) é uma abordagem terapêutica para tratamento de neoplasia de mama. Contudo, diferentes técnicas de irradiação (TI) podem ser usadas. Objetivos – Comparar 4 TI, considerando a irradiação dos volumes alvo (PTV) e dos órgãos de risco (OAR). Metodologia – Selecionaram-se 7 pacientes com indicação para RT de mama esquerda. Sobre tomografia computorizada foram feitos os contornos do PTV e dos OAR. Foram calculadas 4 planimetrias/paciente para as TI: conformacional externa (EBRT), intensidade modulada com 2 (IMRT2) e 5 campos (IMRT5) e arco dinâmico (DART). Resultados – Histogramas de dose volume foram comparados para todas as TI usando o software de análise estatística, IBM SPSS v20. Com IMRT5 e DART, os OAR recebem mais doses baixas. No entanto, IMRT5 apresenta melhores índices de conformidade e homogeneidade para o PTV. Conclusões – IMRT5 apresenta o melhor índice de conformidade; EBRT e IMRT2 apresentam melhores resultados que DART. Há d.e.s entre as TI, sobretudo em doses mais baixas nos OAR.

The use of non-standard CT conversion ramps for Monte Carlo verification of 6 MV prostate IMRT plans

Monte Carlo (MC) dose calculation algorithms have been widely used to verify the accuracy of intensity-modulated radiotherapy (IMRT) dose distributions computed by conventional algorithms due to the ability to precisely account for the effects of tissue inhomogeneities and multileaf collimator characteristics. Both algorithms present, however, a particular difference in terms of dose calculation and report. Whereas dose from conventional methods is traditionally computed and reported as the water-equivalent dose (Dw), MC dose algorithms calculate and report dose to medium (Dm). In order to compare consistently both methods, the conversion of MC Dm into Dw is therefore necessary. This study aims to assess the effect of applying the conversion of MC-based Dm distributions to Dw for prostate IMRT plans generated for 6 MV photon beams. MC phantoms were created from the patient CT images using three different ramps to convert CT numbers into material and mass density: a conventional four material ramp (CTCREATE) and two simplified CT conversion ramps: (1) air and water with variable densities and (2) air and water with unit density. MC simulations were performed using the BEAMnrc code for the treatment head simulation and the DOSXYZnrc code for the patient dose calculation. The conversion of Dm to Dw by scaling with the stopping power ratios of water to medium was also performed in a post-MC calculation process. The comparison of MC dose distributions calculated in conventional and simplified (water with variable densities) phantoms showed that the effect of material composition on dose-volume histograms (DVH) was less than 1% for soft tissue and about 2.5% near and inside bone structures. The effect of material density on DVH was less than 1% for all tissues through the comparison of MC distributions performed in the two simplified phantoms considering water. Additionally, MC dose distributions were compared with the predictions from an Eclipse treatment planning system (TPS), which employed a pencil beam convolution (PBC) algorithm with Modified Batho Power Law heterogeneity correction. Eclipse PBC and MC calculations (conventional and simplified phantoms) agreed well (<1%) for soft tissues. For femoral heads, differences up to 3% were observed between the DVH for Eclipse PBC and MC calculated in conventional phantoms. The use of the CT conversion ramp of water with variable densities for MC simulations showed no dose discrepancies (0.5%) with the PBC algorithm. Moreover, converting Dm to Dw using mass stopping power ratios resulted in a significant shift (up to 6%) in the DVH for the femoral heads compared to the Eclipse PBC one. Our results show that, for prostate IMRT plans delivered with 6 MV photon beams, no conversion of MC dose from medium to water using stopping power ratio is needed. In contrast, MC dose calculations using water with variable density may be a simple way to solve the problem found using the dose conversion method based on the stopping power ratio.

Controlo da qualidade dosimétrico no serviço de radioterapia do Hospital CUF Descobertas (HCD): importância do controlo da qualidade do sector da física e resultados da auditoria ESTRO-EQUAL

A calibração e o controlo da qualidade de um acelerador linear são passos muito importantes num serviço de Radioterapia, para garantir a qualidade dos tratamentos prestados. O sector da Física da Unidade de Radioterapia do Hospital Cuf Descobertas implementou um rigoroso Programa de controlo de qualidade ao equipamento produtor de radiação e aos equipamentos medidores de radiação, de acordo com o Dec-Lei 180/2002 e com os protocolos internacionais. Para tal, foram implementados procedimentos, criadas folhas de cálculo, instruções de trabalho e impressos. Foram ainda implementados testes aos equipamentos com periodicidade definida: controlo de qualidade diário e controlo de qualidade após intervenções (manutenções preventivas e correctivas). No decorrer do ano de 2005, o sector da Física colaborou activamente com toda a equipa da Radioterapia na implementação da Norma ISO 9001:2000 no serviço, contribuindo com o seu know how na implementação desta, numa área tão importante como a da garantia da qualidade dos feixes de radiação e das respectivas calibrações em dose. Numa procura de melhoria contínua da qualidade dos serviços prestados aos pacientes, decorre ainda uma auditoria externa da EQUAL-ESTRO*, intercomparação postal com dosímetros termoluminescentes. A qualidade dos feixes de energias utilizados diariamente é analisada, tanto ao nível das calibrações absolutas de cada um dos feixes de fotões e de electrões, como ao nível dos cálculos de dose obtidos com o sistema de planimetria XiO da CMS. Os resultados das duas primeiras fases da intercomparação, relativa aos dois feixes de fotões de 6 MV e 15 MV e feixes de electrões de 4 MeV, 8 MeV e 12 MeV, foram considerados pela EQUAL-ESTRO num nível óptimo (desvio máximo na dose medida em relação à dose de referência |d| ≤ 3%).

Contribuição para o desenvolvimento e a implementação do sistema de planeamento de emergência na Região Autónoma dos Açores

Dissertação de Mestrado em Vulcanologia e Riscos Geológicos

PSiS mobile

Os sistemas de recomendação têm vindo a ser cada vez mais utilizados nos últimos anos. Por isso, é imprescindível que estes sistemas se adaptem à evolução da sociedade incluindo cada vez mais novas funcionalidades, tais como a adaptação do sistema ao contexto da pessoa. Esta adaptação pode ser feita através de, por exemplo, dispositivos móveis, que têm vindo a apresentar uma taxa de crescimento de vendas muito grande. Dada a crescente integração dos sistemas de recomendação com os sistemas móveis, foi elaborado um estudo sobre o estado da arte dos sistemas de auxílio ao turista que utilizam dispositivos móveis, sendo apresentadas as suas vantagens e desvantagens. Estes sistemas móveis de auxílio a turistas foram divididos em dois grupos: os que apresentam apenas a informação sobre pontos de interesse e os sistemas que são capazes de efectuar recomendações, com base no perfil do turista. Um breve estudo sobre os sistemas operativos para dispositivos móveis é apresentado, sendo especialmente focado o sistema operativo Android que foi o escolhido para esta implementação. Como os dispositivos móveis, actualmente, ainda possuem várias limitações, estas foram descritas e apresentadas as boas práticas no desenvolvimento de aplicações para este tipo de sistemas. É também apresentado um estudo que visa descobrir qual é o método mais leve e mais rápido para trocar dados entre a parte servidora e a parte móvel. Com a parte introdutória apresentada, é exposto o projecto desenvolvido nesta tese, o PSiS Mobile. Este sistema é um módulo que faz parte do projecto PSiS e pretende trazer todas as vantagens dos sistemas móveis para o sistema base já implementado. O projecto PSiS foca-se no estabelecimento de planos de visita personalizados com indicação de percursos para turistas com tempo limitado. Apoiando a definição de planos de visitas de acordo com o perfil do turista (interesses, valores pessoais, desejos, restrições, deficiências, etc.) combinando os produtos de turismo mais adequados (locais de interesse, eventos, restaurantes, etc.) em itinerários eficientes. A utilização de dispositivos móveis para acompanhamento da visita permite uma rápida interacção entre o turista e o sistema. Assim, o PSiS poderá recolher informação contextual do utilizador para que o perfil do mesmo seja enriquecido. O sistema apresentado é composto por duas partes: a parte cliente e a parte servidora. Toda a informação, como por exemplo o perfil do turista, histórico de viagens e valores de similaridade entre utilizadores está presente na parte servidora. O processo de recomendação também é efectuado pela aplicação servidora, sendo esta a responsável pela atribuição de uma classificação aos pontos de interesse tendo em conta o perfil do utilizador em causa. A base de dados do PSiS possui toda a informação relativa aos pontos de interesse numa determinada cidade ou região e o portfólio completo do histórico de visitas de cada utilizador. A componente móvel é uma parte muito importante para o sistema, pois interage com o utilizador no terreno. Um dispositivo móvel como o PDA, não só permite a apresentação de informação relevante ao utilizador, como também permite a recolha automática de informação contextual (por exemplo, a localização). Toda esta informação contribui para a definição de um perfil completo e para uma melhor adaptação do sistema às necessidades do utilizador. De forma a nem sempre estar dependente do servidor, a aplicação móvel possui rotinas para a realização de recomendações básicas. Ou seja, a aplicação móvel não realiza a classificação dos pontos de interesse, mas apenas mostra os principais resultados já formados pela parte servidora. Por exemplo, se um utilizador gostar de comida Chinesa, um restaurante Chinês nas imediações irá ter uma boa classificação e, por isso, ser recomendado. A aplicação móvel mostra ao turista o percurso definido para o dia em que o mesmo se encontra, sendo feito o rastreio do trajecto que o mesmo efectua. Assim, o sistema consegue saber se o horário do planeamento está a ser cumprido ou não. Caso não esteja, é invocado um algoritmo de planeamento que irá tentar corrigir o atraso ou o adiantamento perante o horário inicial. Depois de visitar um ponto de interesse, é pedido ao utilizador para fornecer feedback sobre o mesmo. Se desejado também é possível mostrar os pontos de interesse existentes perto do turista (usando as coordenadas GPS obtidas pelo dispositivo móvel) organizados por categorias, raio de distância, etc. Apesar dos dispositivos móveis possuírem várias restrições, pretendeu-se proporcionar ao utilizador uma boa experiência, através de uma aplicação rápida, de fácil utilização e adaptável, incluindo funcionalidades de planeamento, realidade aumentada e integração com a rede social do sistema. Todos estes factores contribuem para a disponibilização de informação detalhada ao turista.

Melhoria do processo produtivo na indústria do mobiliário

Com o aumento da concorrência, a crise económica que atravessamos e com a conquista de novos mercados no horizonte, surge a necessidade de responder a essas situações com uma melhor prestação do sistema produtivo no sentido de reduzir tempos de produção e de baixar os custos dos mesmos, podendo assim dar uma resposta mais rápida e competitiva às expectativas dos clientes. Esta dissertação tem como objectivo analisar todo o sistema produtivo da empresa, desenvolvendo um estudo adequado ao sistema actual de fabrico de mobiliário, propondo melhorias que proporcionem uma melhor organização e uma redução dos custos de fabrico. Fez-se também um levantamento do sistema de planeamento existente, detectando pontos de melhoria que, para além de um maior controlo e organização, permitem, em alguns aspectos, a melhoria do sistema produtivo. Foi apresentada uma proposta de um processo de reengenharia aplicado ao sistema produtivo, tendo em vista implementar as medidas de melhoria, indo ao encontro das situações identificadas, tornando assim o sistema produtivo mais eficiente.

Radioterapia adaptativa: utilização do cone-beam computed tomography para o cálculo de dose em radioterapia

Mestrado em Radiações Aplicadas às Tecnologias da Saúde - Ramo de especialização: Terapia com Radiações

Dosimetria e análise de incertezas em braquiterapia ginecológica

Mestrado em Radiações Aplicadas às tecnologias da Saúde

Implementação do TFM na Sakthi Portugal com recurso à metodologia Kaizen

No âmbito da unidade curricular Dissertação/Projeto/Estágio do 2ºano do Mestrado em Engenharia mecânica – Ramo Gestão Industrial do Instituto Superior de Engenharia do Porto, o presente trabalho de dissertação foi enquadrado num projeto industrial de melhoria com Instituto Kaizen, empresa de consultoria operacional. O projeto foi desenvolvido numa empresa de produção de componentes em ferro nodular destinados à indústria automóvel do mercado europeu, a Sakthi Portugal,SA. A realização deste projeto teve como objetivo a implementação do sistema de planeamento em Pull (produção puxada) na logística interna da Sakthi Portugal,SA recorrendo à metodologia Kaizen. Esta metodologia consiste na aplicação de ferramentas de TFM - Total Flow Management, integradas no Kaizen Management System. Neste projeto recorreu-se especialmente a um dos pilares que o constituem, o pilar do “Fluxo da Logística Interna”. Neste pilar encontram-se as várias metodologias utilizadas na otimização do fluxo de material e informação na logística interna. Estas metodologias foram aplicadas, com o objetivo do sistema produtivo operar de acordo com a necessidade do cliente, obtendo deste modo a minimização dos custo e o aumento da produtividade e qualidade. Em resultado da aplicação da metodologia seguida, foi possível atingir-se os objetivos definidos inicialmente e em alguns casos foi possível superar esses objetivos. Em função da abordagem integrada que foi seguida, conseguiu-se uma diminuição do “lead time” do processo de fabrico, redução dos produtos em curso de fabrico, libertação de espaço e redução de inventários. Estas melhorias resultaram numa movimentação interna na fábrica mais facilitada e num aumento global da produtividade. Como consequência positiva dos efeitos deste trabalho, pode-se apontar o facto de que a Sakthi Portugal SA aumentou a sua competitividade por tornar-se numa empresa mais dinâmica, mais adaptada ao mercado e com níveis de satisfação do cliente muito superiores.