1000 resultados para reti, petri, algebra, Multi-CCS, semantica


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Because of the increase in workplace automation and the diversification of industrial processes, workplaces have become more and more complex. The classical approaches used to address workplace hazard concerns, such as checklists or sequence models, are, therefore, of limited use in such complex systems. Moreover, because of the multifaceted nature of workplaces, the use of single-oriented methods, such as AEA (man oriented), FMEA (system oriented), or HAZOP (process oriented), is not satisfactory. The use of a dynamic modeling approach in order to allow multiple-oriented analyses may constitute an alternative to overcome this limitation. The qualitative modeling aspects of the MORM (man-machine occupational risk modeling) model are discussed in this article. The model, realized on an object-oriented Petri net tool (CO-OPN), has been developed to simulate and analyze industrial processes in an OH&S perspective. The industrial process is modeled as a set of interconnected subnets (state spaces), which describe its constitutive machines. Process-related factors are introduced, in an explicit way, through machine interconnections and flow properties. While man-machine interactions are modeled as triggering events for the state spaces of the machines, the CREAM cognitive behavior model is used in order to establish the relevant triggering events. In the CO-OPN formalism, the model is expressed as a set of interconnected CO-OPN objects defined over data types expressing the measure attached to the flow of entities transiting through the machines. Constraints on the measures assigned to these entities are used to determine the state changes in each machine. Interconnecting machines implies the composition of such flow and consequently the interconnection of the measure constraints. This is reflected by the construction of constraint enrichment hierarchies, which can be used for simulation and analysis optimization in a clear mathematical framework. The use of Petri nets to perform multiple-oriented analysis opens perspectives in the field of industrial risk management. It may significantly reduce the duration of the assessment process. But, most of all, it opens perspectives in the field of risk comparisons and integrated risk management. Moreover, because of the generic nature of the model and tool used, the same concepts and patterns may be used to model a wide range of systems and application fields.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

PURPOSE: To objectively characterize different heart tissues from functional and viability images provided by composite-strain-encoding (C-SENC) MRI. MATERIALS AND METHODS: C-SENC is a new MRI technique for simultaneously acquiring cardiac functional and viability images. In this work, an unsupervised multi-stage fuzzy clustering method is proposed to identify different heart tissues in the C-SENC images. The method is based on sequential application of the fuzzy c-means (FCM) and iterative self-organizing data (ISODATA) clustering algorithms. The proposed method is tested on simulated heart images and on images from nine patients with and without myocardial infarction (MI). The resulting clustered images are compared with MRI delayed-enhancement (DE) viability images for determining MI. Also, Bland-Altman analysis is conducted between the two methods. RESULTS: Normal myocardium, infarcted myocardium, and blood are correctly identified using the proposed method. The clustered images correctly identified 90 +/- 4% of the pixels defined as infarct in the DE images. In addition, 89 +/- 5% of the pixels defined as infarct in the clustered images were also defined as infarct in DE images. The Bland-Altman results show no bias between the two methods in identifying MI. CONCLUSION: The proposed technique allows for objectively identifying divergent heart tissues, which would be potentially important for clinical decision-making in patients with MI.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

BACKGROUND: Combination highly active antiretroviral therapy (HAART) has significantly decreased HIV-1 related morbidity and mortality globally transforming HIV into a controllable condition. HAART has a number of limitations though, including limited access in resource constrained countries, which have driven the search for simpler, affordable HIV-1 treatment modalities. Therapeutic HIV-1 vaccines aim to provide immunological support to slow disease progression and decrease transmission. We evaluated the safety, immunogenicity and clinical effect of a novel recombinant plasmid DNA therapeutic HIV-1 vaccine, GTU(®)-multi-HIVB, containing 6 different genes derived from an HIV-1 subtype B isolate. METHODS: 63 untreated, healthy, HIV-1 infected, adults between 18 and 40 years were enrolled in a single-blinded, placebo-controlled Phase II trial in South Africa. Subjects were HIV-1 subtype C infected, had never received antiretrovirals, with CD4 ≥ 350 cells/mm(3) and pHIV-RNA ≥ 50 copies/mL at screening. Subjects were allocated to vaccine or placebo groups in a 2:1 ratio either administered intradermally (ID) (0.5mg/dose) or intramuscularly (IM) (1mg/dose) at 0, 4 and 12 weeks boosted at 76 and 80 weeks with 1mg/dose (ID) and 2mg/dose (IM), respectively. Safety was assessed by adverse event monitoring and immunogenicity by HIV-1-specific CD4+ and CD8+ T-cells using intracellular cytokine staining (ICS), pHIV-RNA and CD4 counts. RESULTS: Vaccine was safe and well tolerated with no vaccine related serious adverse events. Significant declines in log pHIV-RNA (p=0.012) and increases in CD4+ T cell counts (p=0.066) were observed in the vaccine group compared to placebo, more pronounced after IM administration and in some HLA haplotypes (B*5703) maintained for 17 months after the final immunisation. CONCLUSIONS: The GTU(®)-multi-HIVB plasmid recombinant DNA therapeutic HIV-1 vaccine is safe, well tolerated and favourably affects pHIV-RNA and CD4 counts in untreated HIV-1 infected individuals after IM administration in subjects with HLA B*57, B*8101 and B*5801 haplotypes.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Organisations in Multi-Agent Systems (MAS) have proven to be successful in regulating agent societies. Nevertheless, changes in agents' behaviour or in the dynamics of the environment may lead to a poor fulfilment of the system's purposes, and so the entire organisation needs to be adapted. In this paper we focus on endowing the organisation with adaptation capabilities, instead of expecting agents to be capable of adapting the organisation by themselves. We regard this organisational adaptation as an assisting service provided by what we call the Assistance Layer. Our generic Two Level Assisted MAS Architecture (2-LAMA) incorporates such a layer. We empirically evaluate this approach by means of an agent-based simulator we have developed for the P2P sharing network domain. This simulator implements 2-LAMA architecture and supports the comparison between different adaptation methods, as well as, with the standard BitTorrent protocol. In particular, we present two alternatives to perform norm adaptation and one method to adapt agents'relationships. The results show improved performance and demonstrate that the cost of introducing an additional layer in charge of the system's adaptation is lower than its benefits.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The aim of this study was to compare postmortem angiography-based, autopsy-based and histology-based diagnoses of acute coronary thrombosis in a series of medicolegal cases that underwent postmortem angiographies according to multiphase CT-angiography protocol. Our study included 150 medicolegal cases. All cases underwent native CT-scan, postmortem angiography, complete conventional autopsy and histological examination of the main organs and coronary arteries. In 10 out of the 150 investigated cases, postmortem angiographies revealed coronary arterial luminal filling defects and the absence of collateral vessels, suggesting acute coronary thromboses. Radiological findings were confirmed by autopsy and histological examinations in all cases. In 40 out of 150 cases, angiograms revealed complete or incomplete coronary arterial luminal filling defects and the presence of collateral vessels. Histological examinations did not reveal free-floating or non-adherent thrombi in the coronary arteries in any of these cases. Though postmortem angiography examination has not been well-established for the diagnosis of acute coronary thrombosis, luminal filling defects in coronary arteries suggesting acute thromboses can be observed through angiography and subsequently confirmed by autopsy and histological examinations.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

En aquest treball mostrem que, a diferència del cas bilateral, per als mercats multilaterals d'assignació coneguts amb el nom de Böhm-Bawerk assignment games, el nucleolus i el core-center, i. e. el centre de masses del core, no coincideixen en general. Per demostrar-ho provem que donant un m-sided Böhm-Bawerk assignment game les dues solucions anteriors poden obtenir-se respectivament del nucleolus i el core-center d'un joc convex definit en el conjunt format pels m sectors. Encara més, provem que per calcular el nucleolus d'aquest últim joc només les coalicions formades per un jugador o m-1 jugadors són importants. Aquests resultats simplifiquen el càlcul del nucleolus d'un multi-sided ¿¿ohm-Bawerk assignment market amb un número molt elevat d'agents.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

[cat] Aquest treball tracta d’extendre la noció d’equilibri simètric de negociació bilateral introduït per Rochford (1983) a jocs d’assignació multilateral. Un pagament corresponent a un equilibri simètric de negociación multilateral (SMB) és una imputación del core que garanteix que qualsevol agent es troba en equilibri respecte a un procés de negociación entre tots els agents basat en allò que cadascun d’ells podria rebre -i fer servir com a amenaça- en un ’matching’ òptim diferent al que s’ha format. Es prova que, en el cas de jocs d’assignació multilaterals, el conjunt de SMB és sempre no buit i que, a diferència del cas bilateral, no sempre coincideix amb el kernel (Davis and Maschler, 1965). Finalment, responem una pregunta oberta per Rochford (1982) tot introduïnt un conjunt basat en la idea de kernel, que, conjuntament amb el core, ens permet caracteritzar el conjunt de SMB.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

For people with disabilities, however, housing options have been limited. Today, state and federal laws are changing this. Who will benefit? All of us. For “accessibility” is an issue that, at one time or another, affects us all. This is true whether _ temporarily or permanently _ we use wheelchairs, need grab bars, cannot climb stairs, require easy-to-reach shelves, or rely on easy-to-navigate living spaces. The primary purpose of accessible housing law is to prevent discrimination against people with disabilities, but the end result is a living environment that is more usable for everyone. For example, both the very young and the very old will find an accessible dwelling more comfortable. People with temporary limitations due to injury or illness will find it easier to live in. Such a home will be more welcoming to guests with disabilities.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Este trabalho se situa no contexto da pesquisa Ressignificando a Didática na Perspectiva Multi/Intercultural, realizada com o apoio do Conselho Nacional de Pesquisas Tecnológicas, no período de 2003 a 2006. Teve por principal objetivo construir e desenvolver, em caráter exploratório, um curso de Didática dirigido à licenciatura em Pedagogia, na perspectiva multi/intercultural, com abordagem metodológica inspirada na pesquisa-ação. A experiência desenvolveu-se durante um semestre letivo e foi realizada pela equipe do Grupo de Pesquisas sobre Cotidiano Escolar, Educação e Cultura(s), composta por dez integrantes. Apoiou-se em ampla literatura sobre a temática, que vem sendo explorada pelo grupo desde 1996. Após descrição e análise do desenvolvimento do curso, são levantados questionamentos, tensões e desafios para a incorporação da interculturalidade nas práticas educativas, em torno dos seguintes eixos: múltiplas narrativas, alteridade e estranhamento, e desconstrução e resistência. Conclui reafirmando a relevância da temática abordada e a complexidade da proposta em discussão.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

When dealing with multi-angular image sequences, problems of reflectance changes due either to illumination and acquisition geometry, or to interactions with the atmosphere, naturally arise. These phenomena interplay with the scene and lead to a modification of the measured radiance: for example, according to the angle of acquisition, tall objects may be seen from top or from the side and different light scatterings may affect the surfaces. This results in shifts in the acquired radiance, that make the problem of multi-angular classification harder and might lead to catastrophic results, since surfaces with the same reflectance return significantly different signals. In this paper, rather than performing atmospheric or bi-directional reflection distribution function (BRDF) correction, a non-linear manifold learning approach is used to align data structures. This method maximizes the similarity between the different acquisitions by deforming their manifold, thus enhancing the transferability of classification models among the images of the sequence.