963 resultados para réseaux de Petri
Resumo:
Jarraian, hainbat hilabetetan zehar garatutako proiektuaren deskribapena biltzen duen memoria dugu eskuragarri. Proiektu hau, sistema konkurrenteen simulazioan zentratzen da eta horretarako, mota honetako sistemen arloan hain erabiliak diren Petri Sareak lantzeaz gain, simulatzaile bat programatzeko informazio nahikoa ere barneratzen ditu. Gertaera diskretuko simulatzaile estatistiko batean oinarrituko da proiektuaren garapena, helburua izanik Petri Sareen bidez formalizatzen diren sistemak simulatzeko softwarea osatzea. Proiektuaren helburua da objektuetara zuzendutako hizkuntzaren bidez, Java hizkuntzaren bidez alegia, simulatzailearen programazioa erraztea eta ingurune honen baliabideak erabiltzea, bereziki XML teknologiari lotutakoak. Proiektu hau, bi zati nagusitan banatzen dela esan daiteke. Lehenengo zatiari dagokionez, konputazio munduan simulazioa aurkeztu eta honi buruzko behar adina informazio emango da. Hau, oso erabilgarria izango da programatuko den simulatzailearen nondik norakoak ulertu eta klase desberdinen inplementazioa egin ahal izateko. Horrez gain, zorizko aldagaiak eta hauen simulazioa ere islatzen dira, simulazio prozesu hori ahalik eta era errealean gauzatzeko helburuarekin. Ondoren, Petri Sareak aurkeztuko dira, hauen ezaugarri eta sailkapen desberdinak goraipatuz. Gainera, Petri Sareak definitzeko XML lengoaia erabiliko denez, mota honetako dokumentu eta eskemak aztertuko dira, hauek, garatuko den aplikazioaren oinarri izango direlarik. Bestalde, aplikazioaren muin izango diren klaseen diseinu eta inplementazioak bildu dira azken aurreko kapituluan. Alde batetik, erabili den DOM egituraren inguruko informazioa islatzen da eta bestetik, XML-tik habiatuz lortuko diren PetriNet instantziak maneiatzeko ezinbestekoak diren Java klaseen kodeak erakusten dira. Amaitzeko, egileak ateratako ondorioez gain, proiektuaren garapen prozesuan erabili den bibliografiaren berri ere ematen da.
Resumo:
[ES] En el año 1998 el País Vasco pone en marcha un modelo de desarrollo rural fundamentado en la colaboración entre administraciones locales y regionales frente a la dependencia de las subvenciones comunitarias. Con objeto de la necesaria renovación de los Planes Comarcales se produce una reflexión sobre los errores cometidos y se plantean diferentes alternativas que quedan recogidas en unas propuestas metodológicas que van a primar planteamientos inductivos, prácticos y ejecutables y un modo de funcionar que permite llegar con facilidad de la propuesta local a la puesta en común regional. Como resultado obtenemos una interesante propuesta de desarrollo, a tener en cuenta, en un momento en el que muchas Comunidades Autónomas han de reorganizar sus redes de desarrollo rural ante la anunciada reducción de aportaciones comunitarias.
Resumo:
Optical microscopy is an essential tool in biological science and one of the gold standards for medical examinations. Miniaturization of microscopes can be a crucial stepping stone towards realizing compact, cost-effective and portable platforms for biomedical research and healthcare. This thesis reports on implementations of bright-field and fluorescence chip-scale microscopes for a variety of biological imaging applications. The term “chip-scale microscopy” refers to lensless imaging techniques realized in the form of mass-producible semiconductor devices, which transforms the fundamental design of optical microscopes.
Our strategy for chip-scale microscopy involves utilization of low-cost Complementary metal Oxide Semiconductor (CMOS) image sensors, computational image processing and micro-fabricated structural components. First, the sub-pixel resolving optofluidic microscope (SROFM), will be presented, which combines microfluidics and pixel super-resolution image reconstruction to perform high-throughput imaging of fluidic samples, such as blood cells. We discuss design parameters and construction of the device, as well as the resulting images and the resolution of the device, which was 0.66 µm at the highest acuity. The potential applications of SROFM for clinical diagnosis of malaria in the resource-limited settings is discussed.
Next, the implementations of ePetri, a self-imaging Petri dish platform with microscopy resolution, are presented. Here, we simply place the sample of interest on the surface of the image sensor and capture the direct shadow images under the illumination. By taking advantage of the inherent motion of the microorganisms, we achieve high resolution (~1 µm) imaging and long term culture of motile microorganisms over ultra large field-of-view (5.7 mm × 4.4 mm) in a specialized ePetri platform. We apply the pixel super-resolution reconstruction to a set of low-resolution shadow images of the microorganisms as they move across the sensing area of an image sensor chip and render an improved resolution image. We perform longitudinal study of Euglena gracilis cultured in an ePetri platform and image based analysis on the motion and morphology of the cells. The ePetri device for imaging non-motile cells are also demonstrated, by using the sweeping illumination of a light emitting diode (LED) matrix for pixel super-resolution reconstruction of sub-pixel shifted shadow images. Using this prototype device, we demonstrate the detection of waterborne parasites for the effective diagnosis of enteric parasite infection in resource-limited settings.
Then, we demonstrate the adaptation of a smartphone’s camera to function as a compact lensless microscope, which uses ambient illumination as its light source and does not require the incorporation of a dedicated light source. The method is also based on the image reconstruction with sweeping illumination technique, where the sequence of images are captured while the user is manually tilting the device around any ambient light source, such as the sun or a lamp. Image acquisition and reconstruction is performed on the device using a custom-built android application, constructing a stand-alone imaging device for field applications. We discuss the construction of the device using a commercial smartphone and demonstrate the imaging capabilities of our system.
Finally, we report on the implementation of fluorescence chip-scale microscope, based on a silo-filter structure fabricated on the pixel array of a CMOS image sensor. The extruded pixel design with metal walls between neighboring pixels successfully guides fluorescence emission through the thick absorptive filter to the photodiode layer of a pixel. Our silo-filter CMOS image sensor prototype achieves 13-µm resolution for fluorescence imaging over a wide field-of-view (4.8 mm × 4.4 mm). Here, we demonstrate bright-field and fluorescence longitudinal imaging of living cells in a compact, low-cost configuration.
Resumo:
A utilização de testes de biocompatibilidade de materiais odontológicos é necessária para avaliar a segurança dos mesmos. Listerine é um enxaguatório comercial usado para a prevenção e tratamento da gengivite. O objetivo do estudo foi avaliar os efeitos citotóxico e genotóxico do Listerine em culturas de Escherichia coli e plasmídios. Na avaliação da citotoxicidade, culturas de E. coli AB1157 e BW9091 foram incubadas com Listerine (10, 50 e 100%) e o crescimento acompanhado pela densidade óptica (DO) em 600nm por 7 horas(h). Para avaliar a sobrevivência, culturas de E. coli AB1157, em fase exponencial, foram centrifugadas, ressuspensas em solução salina (NaCl 0,9%) e incubadas (1h, 37C) com Listerine (10, 50, 100%, 1h, 37 C). Alíquotas foram semeadas em placas de Petri contendo meio nutritivo nos tempos 0, 30 e 60 minutos e armazenadas em estufa bacteriológica (18h, 37 C). As unidades formadoras de colônias contadas e as frações de sobrevivência (FS) calculadas. Como controles, culturas tratadas salina ou etanol (21,6%). Para genotoxicidade, plasmídios pBSK foram incubados com Listerine (10, 50 e 100%) e com etanol (2,16%, 10,8% e 21,6%), associados ou não ao SnCl2(200g/mL, 30 minutos, temperatura ambiente), realizada eletroforese em gel de agarose (0,8%, 8V/cm), observados por transiluminação UV e obtido o percentual da forma superespiralada (%SE). Os resultados indicam que o enxaguatório Listerine foi capaz de inibir o crescimento bacteriano de culturas de E. coli na maior concentração utilizada. O enxaguatório, na maior concentração, diminuiu a sobrevivência das culturas bacterianas testadas. Listerine não modificou o perfil eletroforético do plasmídios, indicando ausência de efeito genotóxico e também foi capaz de proteger os plamídios da ação do SnCl2. Além disso, o etanol, na mesma concentração presente no Listerine, não alterou o perfil eletroforético dos plasmídios, sendo capaz de protegê-lo da ação do SnCl2. Os resultados indicaram que o Listerine apresentou efeito citotóxico em culturas de E. coli e ausência de potencial genotóxico em plamídios, sendo capaz de protegê-los, bem como o etanol, dos efeitos genotóxicos do SnCl2.
Resumo:
Cap. 1. Patrimonialización cultural y natural: un proceso, múltiples aproximaciones. Cap. 2. Comment un musée de ville peut-il être au service des citoyens? Un parcours et quelques pistes d’action. Jean-François Leclerc. Cap. 3. Los museos comunitarios de Kuna Yala y la memoria histórica. Anelio Merry López Cap. 4. Turismo y museos en la ciudad de Valencia. Javier Martí. Cap. 5. La Red de Museos Etnográficos de Asturias: proyecto y realidad. Juaco López Álvarez. Cap. 6. Culturas campesinas y conservación del patrimonio natur-rural. Jaime Izquierdo. Cap. 7. Faire et savoir faire un « territoire patrimonial » : Parc naturel régional du Haut-Jura (France). Olivier Givre. Cap. 8. Espacios naturales y especies salvajes. La construcción de la naturaleza como patrimonio en el Pallars Sobirà, Pirineo catalán. Oriol Beltran e Ismael Vaccaro. Cap. 9. L’histoire au cœur de la cité : l’exemple du laboratoire d’histoire et de patrimoine de Montréal. Joanne Burgess.
Resumo:
El objetivo del siguiente proyecto es proporcionar una herramienta para estudiar el rendimiento de sistemas multiprocesador. Para ello estos sistemas serán previamente modelados como redes de Petri y simulados mediante el entorno de simulación de sistemas de eventos discretos OMNeT++.
Resumo:
Nesta dissertação pesquiso sobre a presença de professoras negras na Universidade do Estado do Rio de Janeiro (UERJ) tendo como metodologia fotografias do acervo oficial desta universidade de 1950 a 1976. Busco através de fotografias (re)contar o caminho percorrido por uma professora negra em uma instituição de ensino superior em uma sociedade marcada pelo racismo e na qual poucas mulheres negras ocupavam/ocupam cargos considerados de poder. Estabeleço os modos como esta apropriou-se do currículo como meio para trazer aqueles(as) que passaram por processos históricos de invisibilização, silenciamentos e discriminações para dentro da Universidade. Além das fotografias, através de narrativas daqueles(as) que conviveram com esta professora, discuto a formação identitária dessa mulher, suas lutas e vivências traçando como estas podem influenciar suas práticas profissionais, tendo como apoios teóricos Michel de Certeau, Nilma Gomes, Boris Kossoy, Marcelo Paixão, Stuart Hall, Moema Teixeira, Iolanda de Oliveira, Boaventura de Sousa Santos, Nilda Alves, Nei Lopes, Jerry Dávila, Antônio Guimarães, entre outros. Com essa dissertação, espero contribuir para visibilizar as mudanças ocorridas quanto ao lugar das mulheres negras no Brasil, em especial na Universidade em questão. Nessas idas e vindas, vou tecendo a história da Prof Maria José Alves de Oliveira, do Instituto de Educação Física, da UERJ, fornecendo pistas que permitam entrelaçar esta história com tantas outras de diferentes mulheres negras, em suas lutas, práticas, processos identitários e superações, buscando desnaturalizar práticas sexistas, racistas e discriminatórias
Resumo:
[EUS] Laurogeita hamarreko hamarkadan, Eusko Jaurlaritzako Berriztapen Pedagogikoaren Zuzendaritzak eta Bartzelonako Unibertsitateko CREA (Gizarte eta Heziketarako Ikerkuntza Zentroa) ikerkuntza-taldeak Ikas Komunitateen proiektua jarri zuten martxan, elkarlanean, Euskal Autonomia Erkidegoko lau zentrotan. Zentro horiek hezkuntza-proiektu berri bat abiatzeko bidea ematen dute; izan ere, porrot akademiko handia izatearren hautatu dira, ikasle-taldeen aniztasunaren egoerari heltzeko arazo ugari dituztelako edota dauden lekuetan gizarte-bazterkeriarekin loturiko arazo anitz daudelako. Aldi berean, proiektuak eraldaketa proposatzen du, bai eskolarena, baita inguruarena ere, eta, horretarako, eskolako partaide guztiak hartzen ditu kontuan. Emaitza onak ikusi ostean, eta, hezkuntza-berriztapenaren alorrean lehentasuna izanik, ekimena zabaltzen hasi zen hastapeneko zentroez bestelako ezaugarri sozioedukatiboak dituzten eskoletara ere. Esperientzia berritzaile horiek aurrera eramateko gogo handiz agertu ziren, baita ere, «praktika on»en paradigma ez zirenak, eta, emaitzei begiratzen badiegu, dirudienez, etekin onak lortzen ari dira zentroetan. Ikas Komunitateen proiektuak berekin daraman gaitasun eraldatzaileak egokitzeko berezko ahala erakusten du. Egokitzapen horretan, eskolaren —inguruarekin batera— eta proiektuaren arteko sinbiosia lortzen da, hezkuntzako arrakasta- ekintzak sustatuz.
Resumo:
Este estudo trata da evasão escolar, com especificidade, a evasão escolar em meio rural. Trata-se de uma pesquisa que se fundamenta, teorica e metodologicamente, nos estudos do cotidiano. Portanto, utilizamos, para coleta dos dados empíricos, uma metodologia oriunda do campo de estudo. A pesquisa tem como objetivos identificar os fatores demográficos e socioculturais que influenciam o acesso e a permanência dos alunos, e mais particularmente das meninas, na escola. E, em seguida, tentar entender o fenômeno através das suas complexas articulações e enredamentos diversos. Para atingir esses objetivos, optamos por realizar um mergulho no cotidiano do campo de pesquisa, isto é, o município de Klouékanmè. No que tange à evasão escolar em Klouékanmè, é impossível estabelecer uma separação entre os fatores demográficos e socioculturais. Complexas redes são tecidas nas articulações desses fatores e existe uma ausência das meninas no segundo ciclo do ensino secundário. Essa ausência é acompanhada por um silenciamento, pelas lógicas culturais, das vozes destas últimas. Como principais redes, destacaram-se as redes familiares e escolares, as redes de sujeitos, e as redes de dentro e de fora. Ao fazer aparecer as vozes dos sujeitos do cotidiano investigado, buscou-se trazer essas redes, do jeito que elas se apresentam no espaçotempo de Klouékanmè. Para melhorar o acesso e a permanência dos alunos na escola, propomos um reencontro da educação tradicional com a moderna, isto é, a escola/colégio. Tal reencontro potencializará mais o espaço acadêmico, de maneira a favorecer a permanência nele dos alunos e mais particularmente, das meninas.
Resumo:
Esta pesquisa procura ampliar e aprofundar o entendimento sobre a participação do Estado na construção ferroviária no século XIX. Com este objetivo, partimos da análise do processo histórico de formação do Estado brasileiro, de 1822 aos anos 1850, a fim de identificar configurações e traços culturais do sistema político no qual se inserem, como prioridade de governo, as políticas públicas e, em especial, o projeto ferroviário. Consideramos que as linhas básicas da política ferroviária, no Império, foram traçadas no período 1852-1867, durante a construção de seis ferrovias pioneiras. Detectamos, ainda, razoável correlação entre o traçado dos caminhos de ferro e os já conhecidos caminhos das minas, que conduziam a zonas onde se localizavam jazigos de pedras e metais preciosos, ferro, carvão, petróleo e outros recursos minerais. Observamos que a participação do Estado na construção ferroviária, no período, desenvolveu-se em duas frentes: como empresário responsável pela construção e gestão de malhas ferroviárias e como agente de regulação de empresas privadas, nacionais e estrangeiras, privilegiadas com longa lista de subvenções e incentivos, entre os quais se destaca a garantia de juro mínimo para os capitais investidos na construção de estradas de ferro.
Resumo:
A Área de Proteção Ambiental de Massambaba concentra diversas formações vegetais com uma grande riqueza florística e endemismos. Infelizmente esta área está sujeita à ação antrópica tanto que alguns fragmentos se encontram degradados. Para recuperar ecologicamente esta vegetação é importante compreender os mecanismos de sucessão ecológica. Como se sabe pouco sobre interações entre plantas de restinga, e menos ainda sob o prisma da alelopatia (efeito negativo que uma planta exerce em outras, ao liberar metabólitos secundários para o seu entorno),objetivou-se a realização de ensaios biológicos com espécies nativas. Inicialmente determinamos as melhores condições de extração de metabólitos, e por fim realizamos bioensaios com 18 espécies (Allagoptera aenaria, Andira legalis, Byrsonima sericea, Clusia fluminensis, Couepia ovalifolia, Erythroxylum ovalifolium, Eugenia copacabanensis, Eugenia selloi, Garcinia brasiliensis, Guapira opposita, Maytenus obtusifolia, Myrsine parvifolia, Neomitranthes obscura, Ocotea notata, Pouteria caimito, Renvoizea trinii, Tocoyena bullata e Vitex megapotamica). A aplicação dos extratos foi sobrea germinação e ocrescimento inicial de sementes de alface. Para isso, folhas destas espécies foram coletadas sazonalmente na formação arbustiva aberta não inundável (fácies alta) na restinga de Massambaba para o preparo de extratos aquosos. Os extratos foram obtidos a através da secagem das folhas à60C para posterior maceração, aquecimento, diluição e filtração, obtendo-se as concentrações de 5 e 10% de concentração (peso/volume). Os parâmetros para avaliar a fitotoxidez foram:a porcentagem ea velocidade de germinação e o comprimento da raiz após sete dias de crescimento em placas de Petri umedecidas com os extratos. Além desses três parâmetros, foi utilizado o índice de efeito global, que transforma as três variáveis em um índice único e uma analise de agrupamento (distância euclidiana, método de Ward) para classificá-las em espécies de fraca, média ou alta fitotoxidez de acordo com o valor do índice. A inibição do crescimento foi observada em todas as espécies, e verificou-se diferenças sazonais significativas, com destaque no inverno. Isso sugere que as diferenças os entre níveis de fitotoxidez estejam correlacionada são ambiente e à genética. Se a ação inibitória das espécies com maior efeito alelopático for comprovada, novas estratégias podem ser elaboradas para a reintrodução em projetos de conservação ambiental
Resumo:
O fósforo (P) é um nutriente essencial para o crescimento das plantas. Milhões de toneladas de P são aplicados aos solos anualmente. No entanto, apenas uma pequena fração do P aplicado com fertilizantes é aproveitada nas lavouras no ano de aplicação, bem como a eficácia do fertilizante fosfatado diminui com o tempo. Para melhorar a nossa compreensão dos mecanismos, a esta resposta do P no campo, este trabalho visa estudar a migração desse elemento em solos tropicais brasileiros (Latossolo vermelho e Latossolo amarelo) tratados com três tipos de fertilizantes: fosfato monoamônico (MAP), o polímero revestido de fosfato monoamônio (MAPP) e fosfato organomineral (OMP) em um experimento de placa de Petri. Fluorescência de Raios X por Reflexão Total (TXRF) foi usada para determinar o fluxo difusivo P a distâncias radiais diferentes (entre 0 e 7,5 mm, entre 7,5 e 13,5 mm, 13,5 e 25,5 mm e entre 25,5 e 43 mm) a partir do grânulo de fertilizante. As análises usando TXRF foram realizadas no Laboratório Nacional de Luz Síncrotron (LNLS), em Campinas, São Paulo, na linha de Fluorescência de Raios X (Beamline D09B). Depois de um período de cinco semanas, a concentração total de P, Ca e Al foram obtidas e comparadas analisando o tipo de solo/textura, o pH e o respectivo extrator de P, que nesse estudo foram usados o Mehlich 1 e água régia. De forma geral, concluiu-se que 80,0 % de fósforo proveniente dos fertilizantes usados nessa proposta ficaram concentrados em distâncias menores que 10 mm do ponto de aplicação dos fertilizantes, independentemente do tipo de solo, do pH e da respectiva textura. Em relação à utilização da técnica TXRF, o sistema foi eficiente, dentre outras características, na discriminação dos picos de fósforo dos picos de enxofre, principalmente nas amostras de solo usadas a partir da extração com Mehlich 1. Destaca-se isso, pois os raios X característicos desses elementos são muitos próximos.
Resumo:
In this paper, a novel approach to Petri net modeling of programmable logic controller (PLC) programs is presented. The modeling approach is a simple extension of elementary net systems, and a graphical design tool that supports the use of this modeling approach is provided. A key characteristic of the model is that the binary sensory inputs and binary actuation outputs of the PLC are explicitly represented. This leads to the following two improvements: outputs are unambiguous, and interaction patterns are more clearly represented in the graphical form. The use of this modeling approach produces programs that are simple, lightweight, and portable. The approach is demonstrated by applying it to the development of a control module for a MonTech Positioning Station. © 2008 IEEE.
Resumo:
Navigated transcranial magnetic stimulation (TMS) combined with diffusion-weighted magnetic resonance imaging (DW-MRI) and tractography allows investigating functional anatomy of the human brain with high precision. Here we demonstrate that working memory (WM) processing of tactile temporal information is facilitated by delivering a single TMS pulse to the middle frontal gyrus (MFG) during memory maintenance. Facilitation was obtained only with a TMS pulse applied to a location of the MFG with anatomical connectivity to the primary somatosensory cortex (S1). TMS improved tactile WM also when distractive tactile stimuli interfered with memory maintenance. Moreover, TMS to the same MFG site attenuated somatosensory evoked responses (SEPs). The results suggest that the TMS-induced memory improvement is explained by increased top-down suppression of interfering sensory processing in S1 via the MFG-S1 link. These results demonstrate an anatomical and functional network that is involved in maintenance of tactile temporal WM. (C) 2009 Elsevier Inc. All rights reserved.
Resumo:
The concept of traces has been introduced for describing non-sequential behaviour of concurrent systems via its sequential observations. Traces represent concurrent processes in the same way as strings represent sequential ones. The theory of traces can be used as a tool for reasoning about nets and it is hoped that applying this theory one can get a calculus of the concurrent processes anologous to that available for sequential systems. The following topics will be discussed: algebraic properties of traces, trace models of some concurrency phenomena, fixed-point calculus for finding the behaviour of nets, modularity, and some applications of the presented theory.