921 resultados para Set-up reproducibility
Resumo:
The objective of this work was to evaluate the contribution of efficient nitrogen-fixing rhizobial strains to grain yield of new cowpea cultivars, indicated for cultivation in the Brazilian Semiarid region, in the sub-medium of the São Francisco River Valley. Two experiments were set up at the irrigated perimeters of Mandacaru (Juazeiro, state of Bahia) and Bebedouro (Petrolina, state of Pernambuco). The treatments consisted of single inoculation of five rhizobial strains - BR 3267, BR 3262, INPA 03-11B, UFLA 03-84 (Bradyrhizobiumsp.), and BR 3299T(Microvirga vignae) -, besides a treatment with nitrogen and a control without inoculation or N application. The following cowpea cultivars were evaluated: BRS Pujante, BRS Tapaihum, BRS Carijó, and BRS Acauã. A randomized complete block design, with four replicates, was used. Inoculated plants showed similar grain yield to the one observed with plants fertilized with 80 kg ha-1 N. The cultivars BRS Tapaihum and BRS Pujante stood out in grain yield and protein contents when inoculated, showing their potential for cultivation in the sub-medium of the São Francisco River Valley.
Resumo:
Learning is predicted to affect manifold ecological and evolutionary processes, but the extent to which animals rely on learning in nature remains poorly known, especially for short-lived non-social invertebrates. This is in particular the case for Drosophila, a favourite laboratory system to study molecular mechanisms of learning. Here we tested whether Drosophila melanogaster use learned information to choose food while free-flying in a large greenhouse emulating the natural environment. In a series of experiments flies were first given an opportunity to learn which of two food odours was associated with good versus unpalatable taste; subsequently, their preference for the two odours was assessed with olfactory traps set up in the greenhouse. Flies that had experienced palatable apple-flavoured food and unpalatable orange-flavoured food were more likely to be attracted to the odour of apple than flies with the opposite experience. This was true both when the flies first learned in the laboratory and were then released and recaptured in the greenhouse, and when the learning occurred under free-flying conditions in the greenhouse. Furthermore, flies retained the memory of their experience while exploring the greenhouse overnight in the absence of focal odours, pointing to the involvement of consolidated memory. These results support the notion that even small, short lived insects which are not central-place foragers make use of learned cues in their natural environments.
Resumo:
Toiminnanohjausjärjestelmän implementointi ja sen mukanaan tuomat muutokset tuotekustannuslaskentaan asettavat haasteita yritykselle. Metallitoimialalla toimivassa yrityksessä on havaittu samat haasteet implementoitaessa SAP R/3 toiminnanohjausjärjestelmää ja sen tuotekustannuslaskentatoiminnallisuutta. SAP R/3 tuotekustannuslogiikka tarvitsee tietoa järjestelmän ulkopuolelta, minkä huomioimatta jättäminen vaikuttaa suoraan laskentatarkkuuteen. Diplomityössä kehitetään sekä standardoitu prosessi että laskentajärjestelmä, joiden avulla pystytään laskemaan tarvittavat niin toimintokustannukset eri teräspalvelukeskuksen kuormituspisteille kuin kustannustenvyörytysarvot. Lasketut arvot muodostavat tarvittavat tekijät SAP R/3 tuotekustannuslaskennan master dataan. Tavoitteena on edesauttaa läpinäkyvän kustannustiedon muodostumista. Diplomityö pohjautuu ns. vesiputousmalliin (SDLC). Ensin tunnistetaan reunaehdot ympäristöstä, jossa tuotekustannuslaskenta toteutetaan. Tämä asettaa joustamattomia komponentteja kehitettävälle laskentajärjestelmälle. Joustavat komponentit sen sijaan antavat vapautta laskentajärjestelmälle. Yhdistämällä joustamattomat ja joustavat komponentit saavutetaan järjestelmä, jolla voidaan täydentää SAP R/3 tuotekustannuslaskennan puutteellisuutta.
Resumo:
OBJECTIVE: Bench evaluation of the hydrodynamic behavior of venous cannulas is a valuable technique for the analysis of their performance during cardiopulmonary bypass (CPB). The aim of this study was to investigate the effect of the internal diameter of the extracorporeal connecting tube of venous cannulas on flow rate (Q), pressure drop (delta P), and cannula resistance (delta P/Q²) values, using a computer assisted test bench.¦METHODS: An in vitro circuit was set up with silicone tubing between the test cannula encased in a movable reservoir, and a static reservoir. The delta P, defined as the difference between the drainage pressure and the preload pressure, was measured using high-fidelity Millar pressure transducers. Q was measured using an ultrasonic flowmeter. Data display and data recording were controlled using virtual instruments in a stepwise fashion.¦RESULTS: The 27 F smartcanula® with a 9 mm connecting tube diameter showed 17% less resistance compared to that with an 8 mm connecting tube diameter. Q values were 7.22±0.1 and 7.81±0.04 L/min for cannulas with 8 mm and 9 mm connecting tube diameters, respectively. The delta P/Q² ratio values were 72% lower for the Medtronic cannula with a 9 mm connecting tube diameter compared to that with an 8 mm connecting tube diameter. Q values for the Medtronic cannula were 3.94±0.23 and 6.58±0.04 L/min with 8 mm and 9 mm connecting tube diameters, respectively. The 27 F smartcanula® showed 13% more flow rate compared to the 28 F Medtronic cannula using the unpaired Student t-test (p<0.0001).¦CONCLUSIONS: Our results demonstrated that Q was increased but delta P and delta P/Q² values were significantly decreased when the connecting tube diameter was increased for venous cannulas. The connecting tube diameter significantly affected the resistance to liquid flow through the cannula. Smartcanulas® outperform Medtronic cannulas.
Resumo:
Tässä diplomityössä esitellään ohjelmistotestauksen ja verifioinnin yleisiä periaatteita sekä käsitellään tarkemmin älypuhelinohjelmistojen verifiointia. Työssä esitellään myös älypuhelimissa käytettävä Symbian-käyttöjärjestelmä. Työn käytännön osuudessa suunniteltiin ja toteutettiin Symbian-käyttöjärjestelmässä toimiva palvelin, joka tarkkailee ja tallentaa järjestelmäresurssien käyttöä. Verifiointi on tärkeä ja kuluja aiheuttava tehtävä älypuhelinohjelmistojen kehityssyklissä. Kuluja voidaan vähentää automatisoimalla osa verifiointiprosessista. Toteutettu palvelin automatisoijärjestelmäresurssien tarkkailun tallentamalla tietoja niistä tiedostoon testien ajon aikana. Kun testit ajetaan uudestaan, uusia tuloksia vertaillaan lähdetallenteeseen. Jos tulokset eivät ole käyttäjän asettamien virherajojen sisällä, siitä ilmoitetaan käyttäjälle. Virherajojen ja lähdetallenteen määrittäminen saattaa osoittautua vaikeaksi. Kuitenkin, jos ne määritetään sopivasti, palvelin tuottaa hyödyllistä tietoa poikkeamista järjestelmäresurssien kulutuksessa testaajille.
Resumo:
Diplomityön tavoite oli tutkia, mitä toimintoja ja tekniikoita uusi, joustava kartonkipakkauslinja sisältää ja mitkä suuntaukset pakkausteollisuudessa tulevat olemaan tärkeitä tulevaisuudessa. Pakkauslinjan päätoimintoja tarkasteltiin nykyisten jatulevaisuuden tekniikoiden pohjalta. Erityisesti tarkasteltiin laser-sovellusten käytön mahdollisuutta pakkauslinjan eri osatoiminnoissa. Katsaus pakkausteollisuuden tulevaisuuden näkymiin luotiin kirjallisuuden ja aikaisempien tutkimusten pohjalta, minkä perusteella työssä oletetaan, että yksilölliset ja monitoimipakkaukset tulevat lisääntymään tulevaisuudessa. Eri tuotantoerien välillä olevat asetusajat tulee saada minimoitua, mutta millä keinoin joustavuus on saavutettavissa? Yksi ratkaisu pakkausten valmistamisessa on käyttää robottisolua, mikä on mahdollista luultavasti ainakin kuppimuotoisten pakkausten kohdalla. Muutenkin robotiikka on lisääntymässä pakkausteollisuudessa. Digitaalisten painotekniikoiden kehitys on mahdollistanut yksilölliset painatukset. Tulevaisuudessa painatus on mahdollista tehdä pakkauslinjan loppupäässä, jopa vasta täytön ja suljennan jälkeen. Laserleikkaus on jo nyt käytössä, mutta tulevaisuudessa myös saumaus ja perinteinen nuuttaus on mahdollista tehdä lasersovelluksia käyttäen. Kehittynyt, väyläpohjainen ohjausjärjestelmä on tulevaisuudessa välttämätön joustavassa pakkauslinjassa. Internetin välityksellä toimiva etäohjattu virheenkorjausdiagnostiikka tulee myös olemaan itsestäänselvyys tulevaisuudessa. Kustannussäästöjä voidaan saavuttaa käyttämälläpakkauslinjassa modulaarista rakennetta. Standardiosien ja standardiosajärjestelmien käyttäminen pienentää myös käyttö- ja huoltokustannuksia. Tärkeää on kuitenkin muistaa, ettei joustavuutta voida saavuttaa pelkästään yhtä ominaisuutta tai tekniikkaa hyödyntäen vaan monia menetelmiä yhdistäen. Suunniteltavan pakkauslinjan toiminta on myös hyvä varmistaa käyttäen apuna mallinnusta ja simulointia.
Resumo:
Diplomityön tavoitteena on tehostaa ohutlevytuotteita valmistavan yrityksen toimintaa ja parantaa tuotannon ohjattavuutta. Tuotannon tehostamisessa keskitytään minimoimaan asetusajat, pienentämään eräkokoja ja investoimaan valmistusta helpottaviin työkoneisiin tai -laitteisiin. Tuotannon ohjattavuutta kehitetään helpottamalla visuaalista seurantaa, layout-muutoksilla ja FiFo-ohjauksen käyttöönotolla. Kaikilla kehitystoimenpiteillä pyritään lyhentämään tuotannon läpimenoaikaa ja vähentämään keskeneräisen tuotannon määrää. Tavoitteena on luoda pohja Lean-valmistukselle. Kehitystoimenpiteet keskitetään useimmiten pullonkauloiksi muodostuville osastoille. Kapeikkojen avaamisessa hyödynnetään CIM-projektin mukaisesti tehtäviä investointeja. Uudella robottisärmäysyksiköllä mahdollistetaan litistäminen ja särmääminen yhdellä asetuksella. Kokoonpano-osaston sijaintia muutettiin ja osaston layoutista tehtiin linjamainen. Tuotannonohjauksen kehittämiseksi luotiin yksinkertainen kolmen askeleen kehitysmalli.
Resumo:
The human Rad51 recombinase is essential for the repair of double-strand breaks in DNA that occur in somatic cells after exposure to ionising irradiation, or in germ line cells undergoing meiotic recombination. The initiation of double-strand break repair is thought to involve resection of the double-strand break to produce 3'-ended single-stranded (ss) tails that invade homologous duplex DNA. Here, we have used purified proteins to set up a defined in vitro system for the initial strand invasion step of double-strand break repair. We show that (i) hRad51 binds to the ssDNA of tailed duplex DNA molecules, and (ii) hRad51 catalyses the invasion of tailed duplex DNA into homologous covalently closed DNA. Invasion is stimulated by the single-strand DNA binding protein RPA, and by the hRad52 protein. Strikingly, hRad51 forms terminal nucleoprotein filaments on either 3' or 5'-ssDNA tails and promotes strand invasion without regard for the polarity of the tail. Taken together, these results show that hRad51 is recruited to regions of ssDNA occurring at resected double-strand breaks, and that hRad51 shows no intrinsic polarity preference at the strand invasion step that initiates double-strand break repair.
Resumo:
Tämän diplomityön tavoitteena on selvittää kirjallisuuden avulla, mitä on lean-tuotanto ja implementoida lean-tuotantoon liittyviä tuotannon kehitysmenetelmiä. Työn aikana suunniteltiin lean-menetelmien avulla tuotantoa kehittäviä toimenpiteitä ja implementoitiin muutamia näistä. Näitä muutosten aiheuttamia seurauksia arvioitiin ja seurattiin. Lisäksi muutosten implementointia varten koulutettiin operaattoreita. Pääpaino on lean-menetelmiin tutustumisessa, pullonkaulan purkamisessa, pullonkaulakoneen asetuksen lyhentämisessä ja näiden vaikutusten tarkastelussa arvovirtakuvauksen ja asiakaskysynnän tahtiaikaan perustuen.
Resumo:
BACKGROUND: Developing and updating high-quality guidelines requires substantial time and resources. To reduce duplication of effort and enhance efficiency, we developed a process for guideline adaptation and assessed initial perceptions of its feasibility and usefulness. METHODS: Based on preliminary developments and empirical studies, a series of meetings with guideline experts were organised to define a process for guideline adaptation (ADAPTE) and to develop a manual and a toolkit made available on a website (http://www.adapte.org). Potential users, guideline developers and implementers, were invited to register and to complete a questionnaire evaluating their perception about the proposed process. RESULTS: The ADAPTE process consists of three phases (set-up, adaptation, finalisation), 9 modules and 24 steps. The adaptation phase involves identifying specific clinical questions, searching for, retrieving and assessing available guidelines, and preparing the draft adapted guideline. Among 330 registered individuals (46 countries), 144 completed the questionnaire. A majority found the ADAPTE process clear (78%), comprehensive (69%) and feasible (60%), and the manual useful (79%). However, 21% found the ADAPTE process complex. 44% feared that they will not find appropriate and high-quality source guidelines. DISCUSSION: A comprehensive framework for guideline adaptation has been developed to meet the challenges of timely guideline development and implementation. The ADAPTE process generated important interest among guideline developers and implementers. The majority perceived the ADAPTE process to be feasible, useful and leading to improved methodological rigour and guideline quality. However, some de novo development might be needed if no high quality guideline exists for a given topic.
Resumo:
Tutkimuksen tavoitteena oli tunnistaa tutkittavan yrityksen (Starlike Oy) avainasiakassuhteiden tila sekä luoda strategioita näiden asiakassuhteiden kehittämiseksi. Asiakassuhteiden tilaa pyrittiin analysoimaan tarkastelemalla kolmea suhteen osatekijää; ilmapiiriä, transaktiohistoriaa ja toimijoita. Vastaavasti strategioiden luonnintukena käytettiin asiakassuhteen osatekijöiden painoarvo- sekä asiakassuhteen ongelmat/tarpeet -mallia. Tutkimusmenetelmänä käytettiin kyselytutkimusta, jonka aineisto kerättiin sähköpostikyselyllä syksyn 2006 aikana niin asiakkailta kuin yritykseltäkin. Asiakassuhteiden havaittiin jakautuvan viidelle tasolle jakauman noudattaessa normaalijakaumaa. Asiakkaan ja myyjän näkemyksissä asiakassuhteen nykytilasta ei havaittu olevan järjestelmällistä eroa. Toisaalta myyjän havaittiin asettavan asiakassuhteen tavoitteet järjestelmällisesti asiakasta korkeammalle. Asiakassuhteiden tavoitteiden havaittiin lisäksi jakautuvan asiakassuhteen tasoittain kahteen osaan siten, että noin puolet asiakkaista halusi kehittää asiakassuhdettaan ja noin puolet oli tyytyväisiä sen nykytilaan.
Resumo:
A collaborative study on Raman spectroscopy and microspectrophotometry (MSP) was carried out by members of the ENFSI (European Network of Forensic Science Institutes) European Fibres Group (EFG) on different dyed cotton fabrics. The detection limits of the two methods were tested on two cotton sets with a dye concentration ranging from 0.5 to 0.005% (w/w). This survey shows that it is possible to detect the presence of dye in fibres with concentrations below that detectable by the traditional methods of light microscopy and microspectrophotometry (MSP). The MSP detection limit for the dyes used in this study was found to be a concentration of 0.5% (w/w). At this concentration, the fibres appear colourless with light microscopy. Raman spectroscopy clearly shows a higher potential to detect concentrations of dyes as low as 0.05% for the yellow dye RY145 and 0.005% for the blue dye RB221. This detection limit was found to depend both on the chemical composition of the dye itself and on the analytical conditions, particularly the laser wavelength. Furthermore, analysis of binary mixtures of dyes showed that while the minor dye was detected at 1.5% (w/w) (30% of the total dye concentration) using microspectrophotometry, it was detected at a level as low as 0.05% (w/w) (10% of the total dye concentration) using Raman spectroscopy. This work also highlights the importance of a flexible Raman instrument equipped with several lasers at different wavelengths for the analysis of dyed fibres. The operator and the set up of the analytical conditions are also of prime importance in order to obtain high quality spectra. Changing the laser wavelength is important to detect different dyes in a mixture.
Resumo:
RESUME Les maladies cardio-vasculaires représentent la cause la plus importante de mortalité et de morbidité dans les pays occidentaux. La thérapie génique offre une nouvelle approche au traitement de ces maladies. L'expression de gènes protecteurs dans le myocarde par des technologies de transfert génique peut améliorer la fonction ventriculaire lors de l'insuffisance cardiaque ou stimuler la formation de nouveaux vaisseaux dans la maladie coronarienne. Etant donné qu'une majorité des maladies cardiaques sont des maladies chroniques, l'expression durable du gène thérapeutique introduit dans le coeur est souhaitable dans de nombreux cas. Malheureusement, l'utilité des vecteurs de transfert génique les plus utilisés en thérapie génique cardiovasculaire est limitée par une performance faible (ADN plasmidique) et une courte durée d'expression (adénovirus). Récemment, des vecteurs de transfert génique dérivés des lentivirus, une sous-famille des rétrovirus, ont retenu l'attention de la communauté scientifique en raison de leur capacité à exprimer des gènes à long terme. Contrairement aux vecteurs rétroviraux traditionnels, les vecteurs lentiviraux transduisent des gènes même dans des cellules qui ne se divisent pas, ce qui est le cas des cardiomyocytes adultes. Ces vecteurs présentent un profil de biosécurité comparable à celui des vecteurs rétroviraux traditionnels. Nous avons donc décidé de tester l'utilité des vecteurs lentiviraux pour le transfert génique dans des cardiomyocytes de rat adulte in vitro et in vivo. Plusieurs versions de vecteurs lentiviraux contenant différent promoteurs ont été construites. Ces vecteurs contenant le gène marqueur EGFP (enhanced green fluorescent protein) ont été testés dans des cardiomyocytes de rat in vitro, ainsi que dans des coeurs de rat in vivo. Le but de ces expériences était de déterminer la durée de l'expression du transgène après injection intramyocardique chez le rat. Pour ce faire, nous avons développé une technique ELISA pour détecter la protéine EGFP dans des extraits de tissu cardiaque. Les résultats ont montré que la protéine EGFP était encore présente à des niveaux significatifs jusqu'à dix semaines après l'injection de vecteurs lentiviraux, alors que l'expression transgénique obtenue avec un vecteur adénoviral traditionnel a été plus limitée dans le temps. Ces résultats démontrent la capacité des vecteurs lentiviraux à exprimer des gènes d'intérêt de manière performante et stable dans le cur de rat adulte in vivo. SUMMARY Cardiovascular diseases are the first cause of morbidity and mortality in Western countries. Gene therapy offers a new approach to these diseases. Expression of therapeutic genes in the myocardium by gene transfer technologies can improve ventricular function in heart failure and stimulate neovascularization in coronary disease. Chronic heart diseases likely require sustained expression of the therapeutic gene within the heart itself. Unfortunately, the most commonly used vectors in cardiovascular gene therapy, i.e. plasmid DNA and recombinant adenovirus vectors, are limited by poor DNA uptake and transient transgene expression, respectively. Recently, lentivirus-derived vectors have attracted much interest because of their ability to achieve long-term transgene expression. In contrast to traditional retroviral vectors, lentiviral vectors are also able to transduce non- dividing cells, while presenting a comparable biosafety profile. Adult cardiomyocytes are terminally differentiated cells that do not divide under normal conditions. For these reasons, we have decided to evaluate the efficiency of lentiviral vectors for gene-transduction of adult cardiomyocytes both in vitro and in vivo. We constructed various types of lentiviral vectors containing various promoters. Vectors encoding EGFP as a reporter gene were tested in rat cardiomyocytes in vitro and in rat hearts in vivo. The aim of the experiments involved in this thesis work was to determine the duration of the expression of the transgene after rat intramyocardial injection using a quantitative assay. Therefore, an ELISA technique was set up to measure the EGFP protein in rat heart tissue extracts. Our results showed that the EGFP protein was still present at significant levels at ten weeks after lentiviral vector injection, whereas the duration of expression with adenoviral vectors was shorter. These results demonstrate that lentiviral vectors efficiently deliver genes and achieve sustained transgene expression in adult rat cardiomyocytes in vivo.
Resumo:
Abstract: Asymmetric cell division is important to generate tissue diversity. The Caenorhabditis elegans embryo is well suited to study the mechanisms of asymmetric cell division. In wild type one-cell stage embryos, the spindle sets up along the anterior-posterior axis (AP). During anaphase, the spindle elongates. While the anterior spindle pole is relatively immobile, the posterior spindle pole moves towards the posterior cortex during anaphase leading to an asymmetric spindle position. As a result, the first cleavage gives rise to a large anterior blastomere and a smaller posterior one, which differs also in cell fate determinants. This posterior spindle displacement occurs in response to polarity cues set up along the AP axis by the PAR proteins and is due to imbalanced pulling forces acting on the two spindle poles, with net forces acting on the posterior spindle pole being more extensive than those at the anterior one. The project of my thesis was to characterize the involvement of two new components, gpr-1 and gpr-2, in spindle positioning. These genes encode essentially identical proteins containing a GoLoco motif characteristic of proteins interacting with α subunits of heterotrimeric G protein (Gα). In gpr-1/2(RNAi) embryos and in embryos lacking simultaneously two α subunits, goa-1 and gpa-16, (Ga(RNAi) embryos), there is a minimal posterior displacement of the spindle during anaphase, and the first division is equal. I found that the pulling forces acting on the two spindle poles is weak and equal in gpr-1/2(RNAi) and Gα (RNAi) embryos. I found that GPR-1/2 acts downstream of polarity cues for generation of pulling forces. Furthermore, I showed that GPR-1/2 distribution was enriched at the posterior cortex during metaphase whereas GOA-1 and GPA-16 were uniformly distributed at the cell cortex throughout the cell cycle. Gα subunits oscillate between GDP- and GTP-bound forms. Gα signaling is turned on by GDP/GTP exchange catalyzed by guanine nucleotide exchange factors (GEFs) and turned off by hydrolysis of GTP catalyzed by GTPase activating proteins (GAPs). A third class of proteins, the guanine dissociation inhibitors (GDIs), binds the GDP-bound form of Gα subunits and inhibits nucleotide exchange. I found that GPR-1/2 acts as a GDI for GOA-1. Taken together, my findings suggest a model in which differential activation of Gα subunits along the AP axis may translate into generation of differential pulling forces on the anterior and posterior spindle poles, and, thus, asymmetric cell division. Résumé L'embryon du nématode Caenorhabditis elegans est un modèle approprié pour étudier les mécanismes de la division asymétrique. Chez l'embryon précoce, le fuseau mitotique se forme le long de l'axe antéro-postérieur (A/P) et au centre de l'embryon, le pôle antérieur restant relativement immobile alors que le pôle postérieur du fuseau se déplace vers le cortex postérieur au cours de l'anaphase conduisant à une position excentrée du fuseau. 11 en résulte une première division qui génère un blastomère antérieur et postérieur de grande et petite taille respectivement et qui diffèrent en facteurs développementaux. Ce déplacement postérieur se produit en réponse de la polarité établie par la distribution polarisée des protéines PAR et est le résultat de la génération de forces inégales tirant sur les deux pôles du fuseau, les forces agissant sur le pôle postérieur du fuseau étant plus grandes. Le projet de ma thèse était d'identifier la fonction de deux nouveaux constituants, gpr-1 et gpr-2 dans le positionnement asymétrique du fuseau. Ces gènes codent essentiellement pour la même protéine qui contient un motif GoLoco, caractéristique des protéines interagissant avec la sous-unité alpha des protéines G hétérotrimériques. Chez l'embryon gpr-1/2(RNAi) et chez les embryons dépourvus d'activité de deux sous-unités alpha, goa-1 et gpa-16, (Gα(RNAi)), j'ai montré qu'il y avait un déplacement minimal du fuseau vers le pôle postérieur au cours de l'anaphase et la première division est symétrique en raison de forces faibles et égales agissant sur les deux pôles du fuseau. J'ai également montré que gpr-1/2 était requis en aval des signaux établissant la polarité pour générer les forces responsables du positionnement asymétrique du fuseau. De plus, j'ai montré que GPR-1/2 était enrichi au pôle postérieur lors de la métaphase alors que GOA-1 et GPA-16 étaient localisés de façon uniforme au cortex de l'embryon précoce. Gas oscillent entre une forme liée au GDP et une forme liée au GTP. La signalisation des Gas est activée par l'échange GDP/GTP qui est catalysé par des protéines GEFs. La signalisation des Gas est désactivée par l'hydrolyse du GTP qui est catalysée par des protéines GAPs. Une troisième classe de protéines, GDIs lie la forme GDP et inhibe l'échange de nucléotides. J'ai montré que GPR-1/2 agissait comme un GDI pour GOA-1. Mes résultats suggèrent un modèle dans lequel une activation différentielle des Gα le long de l'axe A/P pourrait générer des forces différentielles sur le pôle antérieur et postérieur du fuseau.
Resumo:
Abstract The solvability of the problem of fair exchange in a synchronous system subject to Byzantine failures is investigated in this work. The fair exchange problem arises when a group of processes are required to exchange digital items in a fair manner, which means that either each process obtains the item it was expecting or no process obtains any information on, the inputs of others. After introducing a novel specification of fair exchange that clearly separates safety and liveness, we give an overview of the difficulty of solving such a problem in the context of a fully-connected topology. On one hand, we show that no solution to fair exchange exists in the absence of an identified process that every process can trust a priori; on the other, a well-known solution to fair exchange relying on a trusted third party is recalled. These two results lead us to complete our system model with a flexible representation of the notion of trust. We then show that fair exchange is solvable if and only if a connectivity condition, named the reachable majority condition, is satisfied. The necessity of the condition is proven by an impossibility result and its sufficiency by presenting a general solution to fair exchange relying on a set of trusted processes. The focus is then turned towards a specific network topology in order to provide a fully decentralized, yet realistic, solution to fair exchange. The general solution mentioned above is optimized by reducing the computational load assumed by trusted processes as far as possible. Accordingly, our fair exchange protocol relies on trusted tamperproof modules that have limited communication abilities and are only required in key steps of the algorithm. This modular solution is then implemented in the context of a pedagogical application developed for illustrating and apprehending the complexity of fair exchange. This application, which also includes the implementation of a wide range of Byzantine behaviors, allows executions of the algorithm to be set up and monitored through a graphical display. Surprisingly, some of our results on fair exchange seem contradictory with those found in the literature of secure multiparty computation, a problem from the field of modern cryptography, although the two problems have much in common. Both problems are closely related to the notion of trusted third party, but their approaches and descriptions differ greatly. By introducing a common specification framework, a comparison is proposed in order to clarify their differences and the possible origins of the confusion between them. This leads us to introduce the problem of generalized fair computation, a generalization of fair exchange. Finally, a solution to this new problem is given by generalizing our modular solution to fair exchange