Poluição sonora urbana: a influência de modificações em escapamentos de motocicletas na emissão de ruído

A poluição sonora urbana, em especial a gerada por motocicletas com escapamentos modificados, afeta indistintamente a saúde de toda população de diversas maneiras e tende a aumentar, ao contrário da emissão de gases, que vem se reduzindo ao longo dos anos. Com o objetivo de conter o ruído gerado pelo tráfego urbano, vários países desenvolvem procedimentos, leis e ações mitigatórias como barreiras acústicas e asfaltos fonoabsorventes, porém há grande quantidade de motocicletas, veículo tipicamente de alto potencial de incômodo e ruidoso, que circulam com sistemas de escapamento adulterados e emitem ainda mais excesso de ruído. A inspeção veicular é ferramenta importante no controle de emissões de gases poluentes de veículos em uso, mas falha em restringir aqueles que ultrapassam os limites legais de ruído e, somado a isto, há o agravante de o condutor submeter-se a poluição sonora que ele mesmo produz. A fiscalização de rua surge como alternativa de controle ambiental, mas algumas vezes é contestada por ser subjetiva ou por faltar uma metodologia simples, confiável e eficaz. Buscou-se então compreender a relação entre o aumento do nível sonoro da motocicleta com escapamento modificado ao circular no trânsito e a emissão sonora medida na condição de inspeção, o chamado ruído parado, para trazer subsídios à formação de métodos mais eficazes de fiscalização e controle. Para isto foram avaliadas motocicletas quanto à emissão de ruído em circulação e ruído parado e os resultados obtidos apontam que os escapamentos modificados possuem nível sonoro muito mais elevado que os originais, com forte correspondência entre os dois métodos de medição. Esta poluição sonora atinge de modo particularmente intenso os profissionais, motoboys, que modificam suas motocicletas, pois eles se submetem a todos os fatores que favorecem a perda auditiva por excesso de ruído. Outras questões surgiram em paralelo ao tema principal e foram brevemente avaliadas para se compor o quadro geral, como o nível sonoro de escapamentos não originais avaliados segundo os procedimentos de homologação, a contribuição que a motocicleta traz ao ruído urbano e que resultados estes trazem quanto ao torque e potência da motocicleta. Estes estudos indicaram que a motocicleta modificada contribui fortemente para a poluição sonora urbana, afetando principalmente o condutor e sem trazer ganhos efetivos em termos de potência e dirigibilidade.

Os sistemas de identificação veicular, em especial o reconhecimento automático de placas

Assunto bastante abordado quando se trata de Sistemas Inteligentes de Transportes (ITS), a identificação veicular - utilizada em grande parte das aplicações de ITS deve ser entendida como um conjunto de recursos de hardware, software e telecomunicações, que interagem para atingir, do ponto de vista funcional, o objetivo de, conseguir extrair e transmitir, digitalmente, a identidade de um veículo. É feita tanto por sistemas que transmitem e recebem uma identidade digital quanto por sistemas que, instalados na infraestrutura da via, são capazes de reconhecer a placa dos veículos circulantes. Quando se trata da identificação automática por meio do reconhecimento da placa veicular, os estudos têm se concentrado sobremaneira nas tecnologias de processamento de imagens, não abordando - em sua maioria - uma visão sistêmica, necessária para compreender de maneira mais abrangente todas as variáveis que podem interferir na eficácia da identificação. Com o objetivo de contribuir para melhor entender e utilizar os sistemas de reconhecimento automático de placas veiculares, este trabalho propõe um modelo sistêmico, em camadas, para representar seus componentes. Associada a esse modelo, propõe uma classificação para os diversos tipos de falhas que podem prejudicar seu desempenho. Uma análise desenvolvida com resultados obtidos em testes realizados em campo com sistemas de identificação de placas voltados à fiscalização de veículos aponta resultados relevantes e limitações para obter correlações entre variáveis, em função dos diversos fatores que podem influenciar os resultados. Algumas entrevistas realizadas apontam os tipos de falhas que ocorrem com mais frequência durante a operação desses sistemas. Finalmente, este trabalho propõe futuros estudos e apresenta um glossário de termos, que poderá ser útil a novos pesquisadores.

Participação social e desenvolvimento abrangente: potencial distributivo de um sistema centralizado de participação

A presente tese busca estabelecer relações entre as práticas participativas institucionalizadas no Brasil, no recente período democrático, e o desenvolvimento em suas dimensões econômica, social, jurídica e política, com ênfase em seu caráter inclusivo ou distributivo, além de sustentável. Este é o modelo de desenvolvimento referido aqui como abrangente, ressaltando, ainda, que neste conceito as diferentes dimensões e atributos do desenvolvimento são considerados não como etapas sucessivas ou causais, mas como elementos constitutivos que se complementam em favor de uma integridade conceitual. Por sua vez, as práticas participativas aqui consideradas são as que se desenrolam em instâncias híbridas que pertencem tanto ao Estado como à sociedade civil e por isso são tratadas preferencialmente como interfaces socioestatais. A partir da observação de uma amostra desses arranjos, propõe inicialmente as seguintes questões: (a) a participação social tem contribuído com o Estado na elaboração, implementação e controle de programas e políticas públicas inclusivos e de relevância para o modelo de desenvolvimento proposto? (b) a crescente formalização institucional da participação, tendente a um certo grau de centralização ou coordenação, contribui para a sua racionalidade e efetividade ou pode antes contribuir para a sua burocratização e a descaracterização de sua genuinidade? As hipóteses propostas são a de que a participação potencializa o desenvolvimento abrangente e que este só é realizável como fruto de uma gestão cooperativa entre a estrutura estatal e o conjunto de cidadãos, própria da democracia participativa e que a institucionalização pode contribuir para a racionalidade e organicidade no tratamento dos pactos elaborados nessas instâncias, além de contribuir para a consolidação de um capital social e institucional.

KDENS: Stata module for univariate kernel density estimation

kdens produces univariate kernel density estimates and graphs the result. kdens supplements official Stata's kdensity. Important additions are: adaptive (i.e. variable bandwidth) kernel density estimation, several automatic bandwidth selectors including the Sheather-Jones plug-in estimator, pointwise variability bands and confidence intervals, boundary correction for variables with bounded domain, fast binned approximation estimation. Note that the moremata package, also available from SSC, is required.

Flexible Gaussian process wind field models

This technical report builds on previous reports to derive the likelihood and its derivatives for a Gaussian Process with a modified Bessel function based covariance function. The full derivation is shown. The likelihood (with gradient information) can be used in maximum likelihood procedures (i.e. gradient based optimisation) and in Hybrid Monte Carlo sampling (i.e. within a Bayesian framework).

Modelling and improving maintenance decisions:Having foresight with simulation and artificial intelligence

Machine breakdowns are one of the main sources of disruption and throughput fluctuation in highly automated production facilities. One element in reducing this disruption is ensuring that the maintenance team responds correctly to machine failures. It is, however, difficult to determine the current practice employed by the maintenance team, let alone suggest improvements to it. 'Knowledge based improvement' is a methodology that aims to address this issue, by (a) eliciting knowledge on current practice, (b) evaluating that practice and (c) looking for improvements. The methodology, based on visual interactive simulation and artificial intelligence methods, and its application to a Ford engine assembly facility are described. Copyright © 2002 Society of Automotive Engineers, Inc.

Lipophilic antifolates as potential antipsoriatic agents

The lipophilic dihydrofolate reductase (DHFR) inhibitor m-azidopyrimethamine (MZP) was investigated for suitability for development as a topical antipsoriatic agent. The clinical features and treatments for psoriasis were reviewed. High performance liquid chromatography (HPLC) was employed as the main analytical method, with UV spectroscopy being used in some cases. Reduction of the azido-group was proposed as a potential detoxification mechanism for MZP. The rates of reduction of a series of substituted phenyl azide compounds by dithiothreitol were investigated and found to depend on the substitution pattern of the aryl azide molecular, with electron deficient azides exhibiting faster rates of reduction in the system studied. The rates of reduction of MZP and analogous compounds were also studied using this model. The skin penetration of MZP was assessed using an in vitro hairless mouse skin model. The rate of permeation (flux) of MZP across hairless mouse skin was found to be dependent on the quantity of propylene glycol used as cosolvent in the vehicle and the pH. The use of a pretreatment regime of oleic acid in propylene glycol was shown to greatly increase the penetration of MZP through the hairless mouse skin as compared to application without pretreatment, or pretreatment with other penetration enhancers. The metabolism of MZP was studied in in vitro models comprising skin homogenates, SV-K14 human keratinocyte cell cultures and skin commensal bacterial cultures. No conversion of MZP to the corresponding amine was detected in any of the models. The growth inhibitory properties of MZP were investigated in an in vitro SV-K14 human keratinocyte cell culture model and compared with those of other DHFR inhibitors. [14C]-pyrimethamine was shown to be taken up by the SV-K14 keratinocytes.

Vibration analysis of a printed circuit board

The reliability of the printed circuit board assembly under dynamic environments, such as those found onboard airplanes, ships and land vehicles is receiving more attention. This research analyses the dynamic characteristics of the printed circuit board (PCB) supported by edge retainers and plug-in connectors. By modelling the wedge retainer and connector as providing simply supported boundary condition with appropriate rotational spring stiffnesses along their respective edges with the aid of finite element codes, accurate natural frequencies for the board against experimental natural frequencies are obtained. For a PCB supported by two opposite wedge retainers and a plug-in connector and with its remaining edge free of any restraint, it is found that these real supports behave somewhere between the simply supported and clamped boundary conditions and provide a percentage fixity of 39.5% more than the classical simply supported case. By using an eigensensitivity method, the rotational stiffnesses representing the boundary supports of the PCB can be updated effectively and is capable of representing the dynamics of the PCB accurately. The result shows that the percentage error in the fundamental frequency of the PCB finite element model is substantially reduced from 22.3% to 1.3%. The procedure demonstrated the effectiveness of using only the vibration test frequencies as reference data when the mode shapes of the original untuned model are almost identical to the referenced modes/experimental data. When using only modal frequencies in model improvement, the analysis is very much simplified. Furthermore, the time taken to obtain the experimental data will be substantially reduced as the experimental mode shapes are not required.In addition, this thesis advocates a relatively simple method in determining the support locations for maximising the fundamental frequency of vibrating structures. The technique is simple and does not require any optimisation or sequential search algorithm in the analysis. The key to the procedure is to position the necessary supports at positions so as to eliminate the lower modes from the original configuration. This is accomplished by introducing point supports along the nodal lines of the highest possible mode from the original configuration, so that all the other lower modes are eliminated by the introduction of the new or extra supports to the structure. It also proposes inspecting the average driving point residues along the nodal lines of vibrating plates to find the optimal locations of the supports. Numerical examples are provided to demonstrate its validity. By applying to the PCB supported on its three sides by two wedge retainers and a connector, it is found that a single point constraint that would yield maximum fundamental frequency is located at the mid-point of the nodal line, namely, node 39. This point support has the effect of increasing the structure's fundamental frequency from 68.4 Hz to 146.9 Hz, or 115% higher.

ESpotter : adaptive named entity recognition for web browsing

Browsing constitutes an important part of the user information searching process on the Web. In this paper, we present a browser plug-in called ESpotter, which recognizes entities of various types on Web pages and highlights them according to their types to assist user browsing. ESpotter uses a range of standard named entity recognition techniques. In addition, a key new feature of ESpotter is that it addresses the problem of multiple domains on the Web by adapting lexicon and patterns to these domains.

Bayesian and Frequentist Two-Sample Predictions of the Inverse Weibull Model Based on Generalized Order Statistics

2000 Mathematics Subject Classification: 62E16,62F15, 62H12, 62M20.

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.

An evaluation of home range models for marine fish tracking and fine scale habitat use and movement patterns of age 1 Greenland cod (Gadus macrocephalus ogac)

My thesis examines fine-scale habitat use and movement patterns of age 1 Greenland cod (Gadus macrocephalus ogac) tracked using acoustic telemetry. Recent advances in tracking technologies such as GPS and acoustic telemetry have led to increasingly large and detailed datasets that present new opportunities for researchers to address fine-scale ecological questions regarding animal movement and spatial distribution. There is a growing demand for home range models that will not only work with massive quantities of autocorrelated data, but that can also exploit the added detail inherent in these high-resolution datasets. Most published home range studies use radio-telemetry or satellite data from terrestrial mammals or avian species, and most studies that evaluate the relative performance of home range models use simulated data. In Chapter 2, I used actual field-collected data from age-1 Greenland cod tracked with acoustic telemetry to evaluate the accuracy and precision of six home range models: minimum convex polygons, kernel densities with plug-in bandwidth selection and the reference bandwidth, adaptive local convex hulls, Brownian bridges, and dynamic Brownian bridges. I then applied the most appropriate model to two years (2010-2012) of tracking data collected from 82 tagged Greenland cod tracked in Newman Sound, Newfoundland, Canada, to determine diel and seasonal differences in habitat use and movement patterns (Chapter 3). Little is known of juvenile cod ecology, so resolving these relationships will provide valuable insight into activity patterns, habitat use, and predator-prey dynamics, while filling a knowledge gap regarding the use of space by age 1 Greenland cod in a coastal nursery habitat. By doing so, my thesis demonstrates an appropriate technique for modelling the spatial use of fish from acoustic telemetry data that can be applied to high-resolution, high-frequency tracking datasets collected from mobile organisms in any environment.

On point estimation of the abnormality of a Mahalanobis index

Open Access funded by Medical Research Council Acknowledgment The work reported here was funded by a grant from the Medical Research Council, UK, grant number: MR/J013838/1.

X-Secure: protecting users from big bad wolves

In 2014 over 70% of people in Great Britain accessed the Internet every day. This resource is an optimal vector for malicious attackers to penetrate home computers and as such compromised pages have been increasing in both number and complexity. This paper presents X-Secure, a novel browser plug-in designed to present and raise the awareness of inexperienced users by analysing web-pages before malicious scripts are executed by the host computer. X-Secure was able to detect over 90% of the tested attacks and provides a danger level based on cumulative analysis of the source code, the URL, and the remote server, by using a set of heuristics, hence increasing the situational awareness of users browsing the internet.

Sistema de monitorização de veículos de mercadorias

A presente dissertação expõe um sistema de monitorização de veículos de mercadorias, que permite obter a localização através do GPS instalado no veículo, registar a abertura/fecho de portas e a temperatura da mercadoria transportada no reboque do veículo. A comunicação entre o trator do veículo e o reboque é realizado por radiofrequência. A informação recolhida, localização, estado das portas e temperatura, é enviada via GPRS, através do módulo central presente no trator do veículo, para uma base de dados externa instalada na central. A nível de interação com o sistema, tanto a empresa da frota dos veículos (transportadora) como o cliente requerente dos serviços da transportadora, podem consultar a informação registada na base de dados através de uma página Web criada para o efeito. A página Web incorpora um sistema de login restrito à administração ou aos clientes registados e a selecção de opções variáveis com esse mesmo login. A localização e o percurso do veículo podem ser visualizados sobre o mapa do Google Maps presente na página Web. A temperatura pode ser consultada num gráfico de comparação entre a temperatura desejada e a temperatura registada ao longo do percurso. É também possível adicionar os dados dos novos clientes através da administração da página Web.