922 resultados para High-level Design Specification


Relevância:

100.00% 100.00%

Publicador:

Resumo:

This article takes an ecological approach to the genetic diversity of Rosewood (Aniba rosaeodora Ducke) in a central Amazonian terra firme forest north of Manaus. Planted Rosewood setting, under partial shaded canopy, were assessed in terms of fruiting production, frugivory, and seed dispersal. Using RAPD molecular analysis procedures, the influence of the spatial distribution of adult trees on the genetic diversity (polymorphism) of saplings was assessed with genetic samples from 34 reproductive trees and 60 saplings. The density and distribution patterns the reproductive trees did not modify the sapling"s diversity (1.86%, AMOVA). Two types of adult tree dispersion were identified; i) clumped and ii) more widely dispersed. Polymorphism (77.5%) and gene flow were high between these. Although more sapling genetic variability in areas with a higher density of mature plants was not as high as expected, density did not affect the genetic diversity of samplings, indicating a high incidence of gene flow amongst trees. In planted Rosewood population (surrounded by low disturbed forest), fruiting trees experienced a high level of removal of seeds by toucans (Rhamphastidae), about of 50%. The high gene flow found among native trees suggested that toucans, promoting seed rain at short and long distances from maternal trees, actively contribute to the maintenance of genetic diversity within wild rosewood populations.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Objective: The aim of this study is to improve the understanding of self-changes after an intervention for depression focused on implicative dilemmas, a type of cognitive conflict related to identity. As recent research has highlighted the relevance of identity-related dilemmas in clients with depression, we sought to assess the way in which clients resolve such inner conflicts after a tailored dilemma-focused intervention and how this is reflected in the clients’ self-narratives. Method: We used three instruments to observe differences between good (n = 5) and poor (n = 5) outcome cases: (i) the Repertory Grid Technique to track the resolution of dilemmas, (ii) the Change Interview to compile clients’ accounts of changes at posttreatment, and (iii) the Innovative Moments Coding System to examine the emergence of clients’ novelties at the Change Interview. Results: Groups did not differ in terms of the number and relevance of client-identified significantly helpful events. However, between-group differences were found for the resolution of dilemmas and for the proportion of high-level innovative moment (IM) types. Furthermore, a greater self-narrative reconstruction was associated with higher levels of symptom improvement. Conclusions: Good outcome cases seem to be associated with the resolution of conflicts and high-level IMs.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Eletrónica Médica)

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)

Relevância:

100.00% 100.00%

Publicador:

Resumo:

OBJECTIVE: To evaluate the use of thrombolytic and acetylsalicylic acid therapies in acute myocardial infarct patients as well as the availability of technical and human resources for the care of these patients in the emergency units of the city of Rio de Janeiro. Additional objectives were the evaluation of the use of primary angioplasty and the level of acceptance of SBC /RJ as an entity responsible for programs of continued medical education. METHODS: Interviews with physicians at 46 emergency units in the city of Rio de Janeiro. RESULTS: Of the 46 emergency units inspected, a policy of encouragement to use thrombolytic therapy was only prescribed in 6.5%. In 1/3 of the public wards no thrombolytic agents were available, and in none of them was access to primary angioplasty regularly available; 45.9% did not offer the minimal conditions required for the handling of cases of acute myocardial infarction; 60% of the physicians on-call (at both public and private emergency units), appeared not to know the importance of the use of acetylsalicylic acid in acute myocardial infarct patients; all physicians interviewed would participate in programs of continued medical education organized by the SBC/RJ. CONCLUSION: The study suggests there was: 1) the low probability of the use of thrombolytic therapy in the majority of the emergency units in of the city of Rio de Janeiro due to the inadequate policy of waiting for the transfer of the patient to coronary or intensive care unit; 2) a low awareness to the importance of early use of acetylsalic acid in acute myocardial infarct; 3) half of the emergency units of the public net do not have the minimal conditions required for the handling of cases of acute myocardial infarction; 4) a high level of credibility exists that would enable the SBC/RJ to set up programs for continued medical education to change the mentality regarding the use of thrombolytic therapy and of acetylsalicylic acid.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação de mestrado em Técnicas de Caraterização e Análise Química

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In our work we have chosen to integrate formalism for knowledge representation with formalism for process representation as a way to specify and regulate the overall activity of a multi-cellular agent. The result of this approach is XP,N, another formalism, wherein a distributed system can be modeled as a collection of interrelated sub-nets sharing a common explicit control structure. Each sub-net represents a system of asynchronous concurrent threads modeled by a set of transitions. XP,N combines local state and control with interaction and hierarchy to achieve a high-level abstraction and to model the complex relationships between all the components of a distributed system. Viewed as a tool XP,N provides a carefully devised conflict resolution strategy that intentionally mimics the genetic regulatory mechanism used in an organic cell to select the next genes to process.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

OBJECTIVE: To analyze clinical and histologic findings of 50 patients with primary neoplams of the heart in a tertiary referral center. METHODS: From 1980 to 1998, we retrospectively analyzed 50 patients, 32 of whom were females, whose ages ranged from 9 to 73 years (mean age = 44.16±18 years). RESULTS: Most tumors were located in the left side of the heart (72%), myxoma being the most common (84%) histologic type. The other histologic types found were as follows: fibroma (4%), lipoma (2%), rhabdomyosarcoma (2%), hemangioma (2%), sarcoma (2%), angiosarcoma (2%), and lymphoma (2%). Diagnosis was established by echocardiography in 94% of the cases. Clinical findings were as follows: dyspnea (36%), weight loss (20%), palpitations (18%), chest pain (16%), fever (8%), and arthralgia (6%). All patients with thromboembolic phenomena (10%) had left atrial myxoma. Approximately 20% of the patients were asymptomatic at the initial clinical assessment. CONCLUSION: Primary cardiac tumors are a rare entity with diverse clinical and histologic findings, requiring, therefore, a high level of clinical suspicion.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação de mestrado em Engenharia Urbana

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Identificación y caracterización del problema. Uno de los problemas más importantes asociados con la construcción de software es la corrección del mismo. En busca de proveer garantías del correcto funcionamiento del software, han surgido una variedad de técnicas de desarrollo con sólidas bases matemáticas y lógicas conocidas como métodos formales. Debido a su naturaleza, la aplicación de métodos formales requiere gran experiencia y conocimientos, sobre todo en lo concerniente a matemáticas y lógica, por lo cual su aplicación resulta costosa en la práctica. Esto ha provocado que su principal aplicación se limite a sistemas críticos, es decir, sistemas cuyo mal funcionamiento puede causar daños de magnitud, aunque los beneficios que sus técnicas proveen son relevantes a todo tipo de software. Poder trasladar los beneficios de los métodos formales a contextos de desarrollo de software más amplios que los sistemas críticos tendría un alto impacto en la productividad en tales contextos. Hipótesis. Contar con herramientas de análisis automático es un elemento de gran importancia. Ejemplos de esto son varias herramientas potentes de análisis basadas en métodos formales, cuya aplicación apunta directamente a código fuente. En la amplia mayoría de estas herramientas, la brecha entre las nociones a las cuales están acostumbrados los desarrolladores y aquellas necesarias para la aplicación de estas herramientas de análisis formal sigue siendo demasiado amplia. Muchas herramientas utilizan lenguajes de aserciones que escapan a los conocimientos y las costumbres usuales de los desarrolladores. Además, en muchos casos la salida brindada por la herramienta de análisis requiere cierto manejo del método formal subyacente. Este problema puede aliviarse mediante la producción de herramientas adecuadas. Otro problema intrínseco a las técnicas automáticas de análisis es cómo se comportan las mismas a medida que el tamaño y complejidad de los elementos a analizar crece (escalabilidad). Esta limitación es ampliamente conocida y es considerada crítica en la aplicabilidad de métodos formales de análisis en la práctica. Una forma de atacar este problema es el aprovechamiento de información y características de dominios específicos de aplicación. Planteo de objetivos. Este proyecto apunta a la construcción de herramientas de análisis formal para contribuir a la calidad, en cuanto a su corrección funcional, de especificaciones, modelos o código, en el contexto del desarrollo de software. Más precisamente, se busca, por un lado, identificar ambientes específicos en los cuales ciertas técnicas de análisis automático, como el análisis basado en SMT o SAT solving, o el model checking, puedan llevarse a niveles de escalabilidad superiores a los conocidos para estas técnicas en ámbitos generales. Se intentará implementar las adaptaciones a las técnicas elegidas en herramientas que permitan su uso a desarrolladores familiarizados con el contexto de aplicación, pero no necesariamente conocedores de los métodos o técnicas subyacentes. Materiales y métodos a utilizar. Los materiales a emplear serán bibliografía relevante al área y equipamiento informático. Métodos. Se emplearán los métodos propios de la matemática discreta, la lógica y la ingeniería de software. Resultados esperados. Uno de los resultados esperados del proyecto es la individualización de ámbitos específicos de aplicación de métodos formales de análisis. Se espera que como resultado del desarrollo del proyecto surjan herramientas de análisis cuyo nivel de usabilidad sea adecuado para su aplicación por parte de desarrolladores sin formación específica en los métodos formales utilizados. Importancia del proyecto. El principal impacto de este proyecto será la contribución a la aplicación práctica de técnicas formales de análisis en diferentes etapas del desarrollo de software, con la finalidad de incrementar su calidad y confiabilidad. A crucial factor for software quality is correcteness. Traditionally, formal approaches to software development concentrate on functional correctness, and tackle this problem basically by being based on well defined notations founded on solid mathematical grounds. This makes formal methods better suited for analysis, due to their precise semantics, but they are usually more complex, and require familiarity and experience with the manipulation of mathematical definitions. So, their acceptance by software engineers is rather restricted, and formal methods applications have been confined to critical systems. Nevertheless, it is obvious that the advantages that formal methods provide apply to any kind of software system. It is accepted that appropriate software tool support for formal analysis is essential, if one seeks providing support for software development based on formal methods. Indeed, some of the relatively recent sucesses of formal methods are accompanied by good quality tools that automate powerful analysis mechanisms, and are even integrated in widely used development environments. Still, most of these tools either concentrate on code analysis, and in many cases are still far from being simple enough to be employed by software engineers without experience in formal methods. Another important problem for the adoption of tool support for formal methods is scalability. Automated software analysis is intrinsically complex, and thus techniques do not scale well in the general case. In this project, we will attempt to identify particular modelling, design, specification or coding activities in software development processes where to apply automated formal analysis techniques. By focusing in very specific application domains, we expect to find characteristics that might be exploited to increase the scalability of the corresponding analyses, compared to the general case.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The nutritional composition o f orange roughy (collected from the Northeast Atlantic near the Rockall Trough) was studied on a seasonal basis. In addition samples were aged and stability assessed. Protein levels (16.68-16.21% w/w) were found to be slightly higher than those recorded for the N ew Zealand species o f orange roughy and compared favourably with protein values for fish muscle in general. Statistically results show a significant seasonal variation with no variation from fish to fish or in the location within the fish. Lipid content (3.6-4.5% w/w) was found to be much lower than that recorded for New Zealand. As with protein statistically results show a significant seasonal variation and no variation from fish to fish or in the location within the fish. Moisture levels (77.3_79.6%w/w) compared favourably with values obtained from other studies. Again statistically results show a significant seasonal variation with no variation from fish to fish or within the fish. Iodine values (74.63-79.54) indicate the likely presence o f a high level o f mono unsaturated fatty acids. Statistically results show no significant seasonal variation and no sample variation or variation within fish. Thin layer chromatography o f the extracted fat showed the major type to be wax esters with a much lower amount o f triglycerides and smaller amounts of polar lipids, free sterols and free fatty acids. Total fatty acid composition was found to be very similar to that recorded from other studies and showed that most o f the oils extracted from the fish muscle contained a high percentage o f mono unsaturates namely 16:1,18:1, 20:1 and 22:1 (85.63 - 91.14% ) with 16:1 present in the smallest amounts and 18:1 the major one. The only saturated fatty M.Sc. in Biochemistry III Nutritional Composition, Quality and Spoilage Capacity of Specific Deep Sea Fish acids present in significant quantities were 14:0, 16:0 and 18:0, the total varied from a seasonal average high o f 4.05 % to an average low o f 2.27%. The polyunsaturated fatty acids linoleic and arachidonic acid were present in small quantities varying in total from 0.89% to 1.50%. Docosapentaenoic acid (D P A ) was found only in trace quantities in spring, autumn and winter samples and undetected in summer. Levels o f Eicosapentaenoic acid (EPA ) and Docosahexaenoic acid (D H A ) were also found in very low percentages and varied on a seasonal basis with average values ranging from 0.41% in summer to 1.03 % in autumn for EPA and from 1.44 % in summer to3.20 % in autumn for D H A . Again statistically results show a significant seasonal variation with no variation from fish to fish or location within the fish. Levels o f freshness were measured using the Thiobarbituric acid (T B A ), Total volatile base nitrogen (T V B -N ) and Trimethylamine (T M A ) techniques. The quality o f the fish upon arrival was excellent and well below legal/acceptable lim its.T V B -N values ranged from 6.88-8.91 mg/lOOg and T M A values from 4.82-6.46 mg/lOOg Values for T B A ranged from 0.18-0.35 mg Malonaldehyde/kg fish. The summer values were higher than the other seasons. Seasonal variation was significant for all methods with no variation from fish to fish or within the fish. Fish aged at +4°C in air did not exceed the T V B N lim it o f 35mg/100g until day 6 whereas the T V B N lim it was extended to 8 days for fish aged at +4°C in vacuum. However the T M A lim it o f 12mg/100g was reached on day 4 for fish stored at +4°C in air and on day 5 for vacuum packed samples stored at +4°C . Fish stored at -5°C in air and vacuum packed did not reach the T V B N lim it until day 61 but the T M A limit was reached on day 24 for fish stored at -5°C in air and was extended to 31 days for vacuum packed fish stored at-5°C. Prolonged storage at -18°C caused some deterioration o f the frozen fish muscle. Upon thawing the shelf life o f fish stored for 12 months was much shorter than that stored for 6 M.Sc. in Biochemistry IV Nutritional Composition, Quality and Spoilage Capacity of Specific Deep Sea Fish months. This in turn deteriorated faster than fresh fish held at refridgeration temperature in air. Orange roughy were found to be a good source of protein with moisture levels similar to that o f other fish. They were o f medium fat content but have a very poor content o f the essential omega 3 and omega 6 fatty acids. Orange roughy can be stored at -18°C but its subsequent refridgerated shelf life will be shorter than that o f unfrozen orange roughy stored at refridgeration temperature. Orange roughy are a very important part o f the ecosystem. Their composition is less nutritionally beneficial than more readily available fish for human consumption and therefore should not be fished at all

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Although the ASP model has been around for over a decade, it has not achieved the expected high level of market uptake. This research project examines the past and present state of ASP adoption and identifies security as a primary factor influencing the uptake of the model. The early chapters of this document examine the ASP model and ASP security in particular. Specifically, the literature and technology review chapter analyses ASP literature, security technologies and best practices with respect to system security in general. Based on this investigation, a prototype to illustrate the range and types of technologies that encompass a security framework was developed and is described in detail. The latter chapters of this document evaluate the practical implementation of system security in an ASP environment. Finally, this document outlines the research outputs, including the conclusions drawn and recommendations with respect to system security in an ASP environment. The primary research output is the recommendation that by following best practices with respect to security, an ASP application can provide the same level of security one would expect from any other n-tier client-server application. In addition, a security evaluation matrix, which could be used to evaluate not only the security of ASP applications but the security of any n-tier application, was developed by the author. This thesis shows that perceptions with regard to fears of inadequate security of ASP solutions and solution data are misguided. Finally, based on the research conducted, the author recommends that ASP solutions should be developed and deployed on tried, tested and trusted infrastructure. Existing Application Programming Interfaces (APIs) should be used where possible and security best practices should be adhered to where feasible.