ON INTEGRABLE CODIMENSION ONE ANOSOV ACTIONS OF R(k)

In this paper, we consider codimension one Anosov actions of R(k), k >= 1, on closed connected orientable manifolds of dimension n vertical bar k with n >= 3. We show that the fundamental group of the ambient manifold is solvable if and only if the weak foliation of codimension one is transversely affine. We also study the situation where one 1-parameter subgroup of R(k) admits a cross-section, and compare this to the case where the whole action is transverse to a fibration over a manifold of dimension n. As a byproduct, generalizing a Theorem by Ghys in the case k = 1, we show that, under some assumptions about the smoothness of the sub-bundle E(ss) circle plus E(uu), and in the case where the action preserves the volume, it is topologically equivalent to a suspension of a linear Anosov action of Z(k) on T(n).

Transitivity of codimension-one Anosov actions of R(k) on closed manifolds

We consider Anosov actions of R(k), k >= 2, on a closed connected orientable manifold M, of codimension one, i.e. such that the unstable foliation associated to some element of R(k) has dimension one. We prove that if the ambient manifold has dimension greater than k + 2, then the action is topologically transitive. This generalizes a result of Verjovsky for codimension-one Anosov flows.

The long wavelength limit of hard thermal loop effective actions

We derive a closed form expression for the long wavelength limit of the effective action for hard thermal loops in an external gravitational field. It is a function of the metric, independent of time derivatives. It is compared and contrasted with the static limit, and with the corresponding limits in an external Yang-Mills field. (C) 2009 Elsevier B.V. All rights reserved.

Finite temperature effective actions

We present, from first principles, a direct method for evaluating the exact fermion propagator in the presence of a general background held at finite temperature, which can be used to determine the finite temperature effective action for the system. As applications, we determine the complete one loop finite temperature effective actions for (0 + 1)-dimensional QED as well as the Schwinger model. These effective actions, which are derived in the real time (closed time path) formalism, generate systematically all the Feynman amplitudes calculated in thermal perturbation theory and also show that the retarded (advanced) amplitudes vanish in these theories. (C) 2009 Elsevier B.V. All rights reserved.

Crossed products by twisted partial actions and graded algebras

For a twisted partial action e of a group G on an (associative non-necessarily unital) algebra A over a commutative unital ring k, the crossed product A x(Theta) G is proved to be associative. Given a G-graded k-algebra B = circle plus(g is an element of G) B-g with the mild restriction of homogeneous non-degeneracy, a criteria is established for B to be isomorphic to the crossed product B-1 x(Theta) G for some twisted partial action of G on B-1. The equality BgBg-1 B-g = B-g (for all g is an element of G) is one of the ingredients of the criteria, and if it holds and, moreover, B has enough local units, then it is shown that B is stably isomorphic to a crossed product by a twisted partial action of G. (c) 2008 Elsevier Inc. All rights reserved.

Partial projective representations and partial actions

The concept of a partial projective representation of a group is introduced and studied. The interaction with partial actions is explored. It is shown that the factor sets of partial projective representations over a field K are exactly the K-valued twistings of crossed products by partial actions. (C) 2009 Elsevier B.V. All rights reserved.

Actions of octocoral and tobacco cembranoids on nicotinic receptors

Nicotinic acetylcholine receptors (AChRs) are pentameric proteins that form agonist-gated cation channels through the plasma membrane. AChR agonists and antagonists are potential candidates for the treatment of neurodegenerative diseases. Cembranoids are naturally occurring diterpenoids that contain a 14-carbon ring. These diterpenoids interact with AChRs in complex ways: as irreversible inhibitors at the agonist sites, as noncompetitive inhibitors, or as positive modulators, but no cembranoid was ever shown to have agonistic activity on AChRs. The cembranoid eupalmerin acetate displays positive modulation of agonist-induced currents in the muscle-type AChR and in the related gamma-aminobutyric acid (GABA) type A receptor. Moreover, cembranoids display important biological effects, many of them mediated by nicotinic receptors. Cembranoids from tobacco are neuroprotective through a nicotinic anti-apoptotic mechanism preventing excitotoxic neuronal death which in part could result from anti-inflammatory properties of cembranoids. Moreover, tobacco cembranoids also have anti-inflammatory properties which could enhance their neuroprotective properties. Cembranoids from tobacco affect nicotine-related behavior: they increase the transient initial ataxia caused by first nicotine injection into naive rats and inhibit the expression of locomotor sensitization to repeated injections of nicotine. In addition, cembranoids are known to act as anti-tumor compounds. In conclusion, cembranoids provide a promising source of lead drugs for many clinical areas, including neuroprotection, smoking-cessation, and anti-cancer therapies. (C) 2009 Elsevier Ltd. All rights reserved.

MACHINE VISION FOR AUTOMATICVISUAL INSPECTION OF WOODENRAILWAY SLEEPERS USING UNSUPERVISED NEURAL NETWORKS

The motivation for this thesis work is the need for improving reliability of equipment and quality of service to railway passengers as well as a requirement for cost-effective and efficient condition maintenance management for rail transportation. This thesis work develops a fusion of various machine vision analysis methods to achieve high performance in automation of wooden rail track inspection.The condition monitoring in rail transport is done manually by a human operator where people rely on inference systems and assumptions to develop conclusions. The use of conditional monitoring allows maintenance to be scheduled, or other actions to be taken to avoid the consequences of failure, before the failure occurs. Manual or automated condition monitoring of materials in fields of public transportation like railway, aerial navigation, traffic safety, etc, where safety is of prior importance needs non-destructive testing (NDT).In general, wooden railway sleeper inspection is done manually by a human operator, by moving along the rail sleeper and gathering information by visual and sound analysis for examining the presence of cracks. Human inspectors working on lines visually inspect wooden rails to judge the quality of rail sleeper. In this project work the machine vision system is developed based on the manual visual analysis system, which uses digital cameras and image processing software to perform similar manual inspections. As the manual inspection requires much effort and is expected to be error prone sometimes and also appears difficult to discriminate even for a human operator by the frequent changes in inspected material. The machine vision system developed classifies the condition of material by examining individual pixels of images, processing them and attempting to develop conclusions with the assistance of knowledge bases and features.A pattern recognition approach is developed based on the methodological knowledge from manual procedure. The pattern recognition approach for this thesis work was developed and achieved by a non destructive testing method to identify the flaws in manually done condition monitoring of sleepers.In this method, a test vehicle is designed to capture sleeper images similar to visual inspection by human operator and the raw data for pattern recognition approach is provided from the captured images of the wooden sleepers. The data from the NDT method were further processed and appropriate features were extracted.The collection of data by the NDT method is to achieve high accuracy in reliable classification results. A key idea is to use the non supervised classifier based on the features extracted from the method to discriminate the condition of wooden sleepers in to either good or bad. Self organising map is used as classifier for the wooden sleeper classification.In order to achieve greater integration, the data collected by the machine vision system was made to interface with one another by a strategy called fusion. Data fusion was looked in at two different levels namely sensor-level fusion, feature- level fusion. As the goal was to reduce the accuracy of the human error on the rail sleeper classification as good or bad the results obtained by the feature-level fusion compared to that of the results of actual classification were satisfactory.

Introduktion till Certifierad Grafisk Produktion på Jernström Offset

The aim for this thesis was to develop a proposal of documentation, containing rules and procedures, which JernströmOffset needs to acquire the Certified Graphic Production certification. A fundamental part was to study the materialissued by Sveriges Grafiska Mediaförening, to clarify the requirements that must be met to obtain the certification. Therecommendations found in the CGP material must also be considered.Based on the requirements and recommendations of Certified Graphic Production, a mapping of the workflows atJernström Offset was performed. It was done by interviewing employees from different departments at the company,this to get a clear understanding of the operations carried out throughout the production flow and the final qualityfollow-up.During our reviewing process we found that a number of changes, in terms of working environment and practices,must be made at the company. As a result of this we propose some appropriate actions to be implemented.The documentation was finally written, through the requirements and recommendations of Certified GraphicProduction and then applied to Jernström Offset’s work procedures.

Elevers möjlighet till reflektion i matematikundervisningen : En studie i grunskolans årskurs 9

Studiens huvudsakliga syfte är att få kunskap kring om och hur elever i skolår 9 stimuleras till reflektion i matematikundervisningen. Den tidigare forskning som presenteras i litteraturgenomgången visar på reflektionens betydelse i lärprocessen och ger riktlinjer för vilka aktiviteter som uppmanar till respektive hämmar elevers reflektion. Genom en kvalitativ fallstudie, med i huvudsak lektionsobservationer som utgångspunkt och med efterföljande lärarintervjuer som stöd, har syftet uppnåtts genom att kartlägga den aktivitet som förekommer i praktiken. Undervisningsaktiviteter som kan uppvisa en positiv respektive negativ effekt på elevers möjlighet till reflektion har vid bearbetning och analys av materialet kunnat urskiljas. Resultatet visar att trots att lärare är positivt inställda till metakognition och ett reflekterande arbetssätt förekommer endast i vissa fall tillfällen då eleven stimuleras till reflektion och denna får ske. Vanligt förekommande i lärares undervisning är situationer som skulle kunna fungera som reflektionsstimulerande om de ges utrymme och reflektionen följs upp. Studiens resultat kan bidra till att påminna och göra lärare medvetna om vilka aktiviteter som stödjer reflektion samt förmedla vikten av att eleverna redan i grundskolans tidigare år undervisas om och utsättas för en undervisningspraktik som kontinuerligt kräver förekomsten av reflektion.

Kommunal marknadsföring- Competitive identity och institutionell problematik : En komparativ fallstudie om två svenska kommuner och deras marknadsföring

Historiskt sett finns det etablerade normer i samhället som säger att en kommun endast ska bedriva traditionell kommunal verksamhet som innefattar att tillgodose välfärden (vård, skola & omsorg). Dock så har globaliseringen och urbaniseringen skapat en konkurrens om invånare vilket har lett till att kommuner idag bedriver en allt mer utvecklad marknadsföring för att attrahera fler invånare. Den här fallstudien innehåller två objekt (kommuner). Vi vill undersöka den kommunala marknadsföringen genom att fokusera på begreppen competitive identity (CI) och institutionell problematik (IP). Begreppet CI innehåller en teoretisk genomgång av komponenter i kommunal marknadsföring och IP beskriver kommunernas komplexa situation med olika institutionella krav. Genom att analysera dessa begrepp mot praktiska fall kan vi bidra till ökad förståelse om kommunal marknadsföring som är vårt syfte. Vi presenterar även en egen modell i samband med begreppet CI som ger en nyanserad bild av ämnet. Studiens resultat identifierar att kommunerna har speciella målgrupper som likt ett företag varierar beroende på deras ställning på marknaden. Genom skapandet av en CI deklarerar kommunen en önskvärd image där företeelser som inte bidrar till den blir exkluderade. Det gestaltar sig på olika sätt vilket analyseras grundligt i studien. Samtidigt illustreras motsägelsen när respondenterna i fallen säger att det är medborgarna som håller uppe imagen. Studien visar att det inte finns en enhetlig bild hur man som kommun ska hantera den institutionella komplexitet som uppstår. Fallen presenterar två olika synsätt som de finner mer lämpligt.

Optimal Rehabilitation Strategy In Water Distribution Systems Considering Reduction In Greenhouse Gas Emissions

Most of water distribution systems (WDS) need rehabilitation due to aging infrastructure leading to decreasing capacity, increasing leakage and consequently low performance of the WDS. However an appropriate strategy including location and time of pipeline rehabilitation in a WDS with respect to a limited budget is the main challenge which has been addressed frequently by researchers and practitioners. On the other hand, selection of appropriate rehabilitation technique and material types is another main issue which has yet to address properly. The latter can affect the environmental impacts of a rehabilitation strategy meeting the challenges of global warming mitigation and consequent climate change. This paper presents a multi-objective optimization model for rehabilitation strategy in WDS addressing the abovementioned criteria mainly focused on greenhouse gas (GHG) emissions either directly from fossil fuel and electricity or indirectly from embodied energy of materials. Thus, the objective functions are to minimise: (1) the total cost of rehabilitation including capital and operational costs; (2) the leakage amount; (3) GHG emissions. The Pareto optimal front containing optimal solutions is determined using Non-dominated Sorting Genetic Algorithm NSGA-II. Decision variables in this optimisation problem are classified into a number of groups as: (1) percentage proportion of each rehabilitation technique each year; (2) material types of new pipeline for rehabilitation each year. Rehabilitation techniques used here includes replacement, rehabilitation and lining, cleaning, pipe duplication. The developed model is demonstrated through its application to a Mahalat WDS located in central part of Iran. The rehabilitation strategy is analysed for a 40 year planning horizon. A number of conventional techniques for selecting pipes for rehabilitation are analysed in this study. The results show that the optimal rehabilitation strategy considering GHG emissions is able to successfully save the total expenses, efficiently decrease the leakage amount from the WDS whilst meeting environmental criteria.

Designing single event upset mitigation techniques for large SRAM-Based FPGA components

This thesis presents the study and development of fault-tolerant techniques for programmable architectures, the well-known Field Programmable Gate Arrays (FPGAs), customizable by SRAM. FPGAs are becoming more valuable for space applications because of the high density, high performance, reduced development cost and re-programmability. In particular, SRAM-based FPGAs are very valuable for remote missions because of the possibility of being reprogrammed by the user as many times as necessary in a very short period. SRAM-based FPGA and micro-controllers represent a wide range of components in space applications, and as a result will be the focus of this work, more specifically the Virtex® family from Xilinx and the architecture of the 8051 micro-controller from Intel. The Triple Modular Redundancy (TMR) with voters is a common high-level technique to protect ASICs against single event upset (SEU) and it can also be applied to FPGAs. The TMR technique was first tested in the Virtex® FPGA architecture by using a small design based on counters. Faults were injected in all sensitive parts of the FPGA and a detailed analysis of the effect of a fault in a TMR design synthesized in the Virtex® platform was performed. Results from fault injection and from a radiation ground test facility showed the efficiency of the TMR for the related case study circuit. Although TMR has showed a high reliability, this technique presents some limitations, such as area overhead, three times more input and output pins and, consequently, a significant increase in power dissipation. Aiming to reduce TMR costs and improve reliability, an innovative high-level technique for designing fault-tolerant systems in SRAM-based FPGAs was developed, without modification in the FPGA architecture. This technique combines time and hardware redundancy to reduce overhead and to ensure reliability. It is based on duplication with comparison and concurrent error detection. The new technique proposed in this work was specifically developed for FPGAs to cope with transient faults in the user combinational and sequential logic, while also reducing pin count, area and power dissipation. The methodology was validated by fault injection experiments in an emulation board. The thesis presents comparison results in fault coverage, area and performance between the discussed techniques.

Influência do desenvolvimento tecnológico sobre o desenvolvimento social a partir das atividades da incubadora tecnológica de Campina Grande, Campina Grande Paraíba

Este estudo avalia a influência do desenvolvimento tecnológico sobre o social, a partir das atividades produtivas desenvolvidas na unidade agroindustrial Recanto lI, no município de Catolé do Rocha, com o apoio da Incubadora Tecnológica de Campina Grande - ITCG, e o Programa de Estudos e Ações no Semi-Árido Paraibano da Universidade Federal de Campina Grande - PEASAlUFCG. Os problemas sociais no semi-árido surgiram por condições ambientais adversas e se intensificaram pela falta de políticas públicas adequadas à educação e ao desenvolvimento da região. O problema é expresso pela seguinte indagação: Qual a influência entre o desenvolvimento tecnológico e o desenvolvimento social gerados a partir da atividade produtiva da Incubadora de Campina Grande, em Campina Grande, Paraíba? A relevância deste trabalho vem da pretensão em colaborar para o estudo da relação entre desenvolvimento tecnológico e social, numa tentativa de tornar inteligível a necessidade de educação e inovação tecnológica para o desenvolvimento social, principalmente em países não desenvolvidos. Vem também da utilidade para a formulação de políticas públicas e estratégias de desenvolvimento tecnológico, identificando ações e medidas de desempenho, voltadas ao diagnóstico da contribuição das incubadoras tecnológicas para o bem-estar da sociedade. O referencial teórico foi composto pela análise da função das racionalidades dos diversos agentes sociais e de sua contribuição para as interações sociais, além da análise das realidades culturais da sociedade empresariada, do Estado e das incubadoras tecnológicas. A metodologia se utilizou da pesquisa descritiva e explicativa, de campo, documental, bibliográfica e estudo de caso. O universo foram as pessoas que compõem a ITCG e a amostra foram o diretor da Incubadora, o cientista da UFCG e o líder comunitário de Recanto lI. Os sujeitos da pesquisa confundem-se com a amostra. A coleta de dados se deu por meio da literatura sobre a temática e de inserções no campo de estudo. O tratamento de dados se utilizou da análise qualitativa do fenômeno. As principais limitações do método consistiram na coleta, no tratamento dos dados, e na utilização do estudo de caso, com possibilidade de compreensão tendenciosa do fenômeno estudado. O referencial prático apresenta o resultados da pesquisa, avaliando-os por meio da comparação com o referencial teórico estudado. Tem-se como resultados que a ITCG agiu articulando os grupos e traduzindo as realidades culturais de cada agente em prol do desenvolvimento de comunidades agroindustriais em situação de risco social, devido à problemática da seca. A ITCG atuou como alfabetizadora social ensinando aos agentes sociais os códigos culturais dos demais grupos. As desigualdades que existiam entre o cientista e o sertanejo, aprofundadas pelo vexatório histórico de escravidão do homem do campo no nordeste brasileiro, foram minimizadas pela educação dada pelo próprio cientista. A Universidade contribuiu para a redução do analfabetismo ambiental, onde o meio ambiente era tido como o principal rival do homem do sertão. O Estado, quando atua em parceria com os demais agentes sociais consegue, manter-se como o principal instrumento dos cidadãos para controlar a globalização em função de seus valores e interesses. Na ITCG o ambiente de incubação é educacional, onde os novos empreendedores são postos em contato com a realidade cultural do empresariado, do Estado e de outras comunidades da sociedade, seguindo modelos meramente educacionais. Como conclusão tem-se que a trajetória dos cidadãos de Recanto II - de escravos a exportadores - foi baseada em dois grandes tesouros, a família e areligião. O mérito da ITCG foi compreender, respeitar e preservar a realidade cultural de Recanto 11 e incentivar a interação social com outras realidades culturais capazes de gerar desenvolvimento naquela região. A saúde, o desenvolvimento infantil, a segurança, a habitação foram conquistas de Recanto 11. Como sugestão tem-se que as políticas públicas deveriam reproduzir este ambiente de desenvolvimento para todos os cidadãos brasileiros em situação de risco social, utilizando-se da família como base para interações sociais fluidas e harmônicas entre os diversos agentes sociais.