915 resultados para State-based Specifications


Relevância:

80.00% 80.00%

Publicador:

Resumo:

Klebsiella pneumoniae is a common environmental agent of clinical and subclinical mastitis affecting dairy herds, and may be present in the final product decreasing its quality. Mastitis caused by K. pneumoniae is even more severe due to its poor response to antibiotic therapy, rapid evolution to toxic shock and death of the animal. This paper aimed to study the prevalence of this pathogen among dairy herds in ten farms located in different municipalities of São Paulo State based on size and use of milking technology. All mammary glands of all lactating cows were screened using the California Mastitis Test (CMT) and a strip cup. A single aseptic milk sample (20mL) was collected from all CMT-positive quarters and bulk tanks, whereas swab samples were collected from feces, hind limbs of the animals, bedding and milking parlor. Identification of K. pneumoniae was performed using conventional microbiology culture, biochemical assay and Polimerase Chain Reaction. The primers were designed and tested at the Laboratory of Molecular Biology applied to Zoonoses (FMVZ, Unesp-Botucatu) targeting the 16S rRNA gene. This study included 1067 animals. Six cases of intramammary infection by K. pneumoniae were detected in six different cows in two farms. Moreover, K. pneumoniae was isolated in 77 swabs (34 from bedding in 9 farms, 7 from waiting rooms in 5 farms, 6 from milking parlors in 4 farms, 11 from rectums in six farms, and 19 from hindlimbs in 7 farms. Molecular analysis confirmed the agent was K. pneumoniae. At least one strain of the agent was identified in a certain site in all farms, showing the need of maintaining the hygiene in dairy farms.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

This thesis is the Logistics Development Forum's assignment and the work dealing with the development of the Port of Helsinki as part of Helsinki hub. The Forum aims to develop logistics efficiency through public-private co-operation and development of the port is clearly dependent on both factors. Freight volumes in the Port of Helsinki are the biggest single factor in hub and, therefore, the role of the port of the entire hub development is strong. The aim is to look at how the port will develop as a result of changes in the foreign trade of Finland and the Northern European logistics trends in 25 years time period. Work includes the current state analysis and scenario work. The analyses are intended to find out, which trends are the most important in the port volume development. The change and effect of trends is examined through scenarios based on current state. Based on the work, the structure of Finnish export industry and international demand are in the key role in the port volume development. There is significant difference between demands of Finnish exporting products in different export markets and the development between the markets has different impacts on the port volumes by mass and cargo type. On the other hand, the Finnish economy is stuck in a prolonged recession and competition between ports has become a significant factor in the individual port's volume development. Ecological valuesand regulations have changed the competitive landscape and maritime transport emissions reductions has become an important competitive factor for short routes in the Baltic Sea, such as in the link between Helsinki and Tallinn.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

The nonforgetting restarting automaton is a generalization of the restarting automaton that, when executing a restart operation, changes its internal state based on the current state and the actual contents of its read/write window instead of resetting it to the initial state. Another generalization of the restarting automaton is the cooperating distributed system (CD-system) of restarting automata. Here a finite system of restarting automata works together in analyzing a given sentence, where they interact based on a given mode of operation. As it turned out, CD-systems of restarting automata of some type X working in mode =1 are just as expressive as nonforgetting restarting automata of the same type X. Further, various types of determinism have been introduced for CD-systems of restarting automata called strict determinism, global determinism, and local determinism, and it has been shown that globally deterministic CD-systems working in mode =1 correspond to deterministic nonforgetting restarting automata. Here we derive some lower bound results for some types of nonforgetting restarting automata and for some types of CD-systems of restarting automata. In this way we establish separations between the corresponding language classes, thus providing detailed technical proofs for some of the separation results announced in the literature.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

A limitation of small-scale dairy systems in central Mexico is that traditional feeding strategies are less effective when nutrient availability varies through the year. In the present work, a linear programming (LP) model that maximizes income over feed cost was developed, and used to evaluate two strategies: the traditional one used by the small-scale dairy producers in Michoacan State, based on fresh lucerne, maize grain and maize straw; and an alternative strategy proposed by the LIP model, based on ryegrass hay, maize silage and maize grain. Biological and economic efficiency for both strategies were evaluated. Results obtained with the traditional strategy agree with previously published work. The alternative strategy did not improve upon the performance of the traditional strategy because of low metabolizable protein content of the maize silage considered by the model. However, the Study recommends improvement of forage quality to increase the efficiency of small-scale dairy systems, rather than looking for concentrate supplementation.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

This article considers whether, in the context of armed conflicts, certain non-refoulement obligations of non-belligerent States can be derived from the 1949 Geneva Conventions. According to Common Article 1 (CA1) thereof, all High Contracting Parties (HCPs) undertake to ‘respect and to ensure respect’ for the four conventions ‘in all circumstances’. It is contended that CA1 applies both in international armed conflicts (IACs) and in non-international armed conflicts (NIACs). In turn, it is suggested that Common Article 3 (CA3) which regulates conduct in NIACs serves as a ‘minimum yardstick’ also applicable in IACs. It is widely (though not uniformly) acknowledged that the undertaking to ‘ensure respect’ in a given armed conflict extends to HCPs that are not parties to it; nevertheless, the precise scope of this undertaking is subject to scholarly debate. This article concerns situations where, in the course of an (international or non-international) armed conflict, persons ’taking no active part in hostilities’ flee from States where violations of CA3 are (likely to be) occurring to a non-belligerent State. Based on the undertaking in CA1, the central claim of this article is that, as long as risk of exposure to these violations persists, persons should not be refouled notwithstanding possible assessment of whether they qualify as refugees based on the 1951 Refugee Convention definition, or could be eligible for complementary or subsidiary forms of protection that are regulated in regional arrangements. The analysis does not affect the explicit protection from refoulement that the Fourth Geneva Convention accords to ‘protected persons’ (as defined in Article 4 thereof). It is submitted that CA1 should be read in tandem with other obligations of non-belligerent States under the 1949 Geneva Conventions. Most pertinently, all HCPs are required to take specific measures to repress ‘grave breaches’ and to take measures necessary for the suppression of all acts contrary to the 1949 Geneva Conventions other than the grave breaches. A HCP that is capable of protecting displaced persons from exposure to risks of violations of CA3 and nonetheless refoules them to face such risks is arguably failing to take lawful measures at its disposal in order to suppress acts contrary to the conventions and, consequently, fails to ‘ensure respect’ for the conventions. KEYWORDS Non-refoulement; International Armed Conflict; Non-International Armed Conflict; Common Article 1; Common Article 3

Relevância:

80.00% 80.00%

Publicador:

Resumo:

The aim of this preliminary work was to present a novel method, suitable to investigate the glass cooling, from melt to solid state, based on a fast, non-usual and easy microwave method. The following glass system xBaO . (100-x)B(2)O(3) (x = 0% and 40%) was selected as an example for this study. The melt was poured inside a piece of waveguide and then, its cooling was monitored by the microwave signal as a function of time. The variations in the signal can provide valuable informations about some structural changes that take place during the cooling stages, such as relaxation processes. This method can be useful to investigate the cooling and heating of other materials, opening new possibilities for investigation of dielectric behavior of materials under high temperatures. (C) 2008 Elsevier Inc. All rights reserved.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

During the latest decade Somali-born women with experiences of long-lasting war followed by migration have increasingly encountered Swedish maternity care, where antenatal care midwives are assigned to ask questions about exposure to violence. The overall aim in this thesis was to gain deeper understanding of Somali-born women’s wellbeing and needs during the parallel transitions of migration to Sweden and childbearing, focusing on maternity healthcare encounters and violence. Data were obtained from medical records (paper I), qualitative interviews with Somali-born women (II, III) and Swedish antenatal care midwives (IV). Descriptive statistics and thematic analysis were used. Compared to pregnancies of Swedish-born women, Somali-born women’s pregnancies demonstrated later booking and less visits to antenatal care, more maternal morbidity but less psychiatric treatment, less medical pain relief during delivery and more emergency caesarean sections and small-for-gestational-age infants (I). Political violence with broken societal structures before migration contributed to up-rootedness, limited healthcare and absent state-based support to women subjected to violence, which reinforced reliance on social networks, own endurance and faith in Somalia (II). After migration, sources of wellbeing were a pragmatic “moving-on” approach including faith and motherhood, combined with social coherence. Lawful rights for women were appreciated but could concurrently risk creating power tensions in partner relationships. Generally, the Somali-born women associated the midwife more with providing medical care than with overall wellbeing or concerns about violence, but new societal resources were parallel incorporated with known resources (III). Midwives strived for woman-centered approaches beyond ethnicity and culture in care encounters, with language, social gaps and divergent views on violence as potential barriers in violence inquiry. Somali-born women’s strength and contentment were highlighted, and ongoing violence seldom encountered according to the midwives experiences (IV). Pragmatism including “moving on” combined with support from family and social networks, indicate capability to cope with violence and migration-related stress. However, this must be balanced against potential unspoken needs at individual level in care encounters.With trustful relationships, optimized interaction and networking with local Somali communities and across professions, the antenatal midwife can have a “bridging-function” in balancing between dual societies and contribute to healthy transitions in the new society.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

The Delaware River provides half of New York City's drinking water, is a habitat for wild trout, American shad and the federally endangered dwarf wedge mussel. It has suffered four 100‐year floods in the last seven years. A drought during the 1960s stands as a warning of the potential vulnerability of the New York City area to severe water shortages if a similar drought were to recur. The water releases from three New York City dams on the Delaware River's headwaters impact not only the reliability of the city’s water supply, but also the potential impact of floods, and the quality of the aquatic habitat in the upper river. The goal of this work is to influence the Delaware River water release policies (FFMP/OST) to further benefit river habitat and fisheries without increasing New York City's drought risk, or the flood risk to down basin residents. The Delaware water release policies are constrained by the dictates of two US Supreme Court Decrees (1931 and 1954) and the need for unanimity among four states: New York, New Jersey, Pennsylvania, and Delaware ‐‐ and New York City. Coordination of their activities and the operation under the existing decrees is provided by the Delaware River Basin Commission (DRBC). Questions such as the probability of the system approaching drought state based on the current FFMP plan and the severity of the 1960s drought are addressed using long record paleo‐reconstructions of flows. For this study, we developed reconstructed total annual flows (water year) for 3 reservoir inflows using regional tree rings going back upto 1754 (a total of 246 years). The reconstructed flows are used with a simple reservoir model to quantify droughts. We observe that the 1960s drought is by far the worst drought based on 246 years of simulations (since 1754).

Relevância:

80.00% 80.00%

Publicador:

Resumo:

This work aimed to study the structure and dynamic of Phytoplankton and Bacterioplankton in a complete cycle of shrimp cultivation (Litopenaeus vannamei) and determine the environmental factors responsible for the structural changes of these communities. The study was realized in a saltwater shrimp farm (Macaíba, RN), between September/2005 and February/2006, and in a freshwater shrimp farm (Ceará Mirim, RN), between May/2007 and September 2007. The samplings were collected weekly in saltwater farm and every fifteen days in freshwater farm. Total phosphorus, chlorophyll a and environmental parameters (pH, dissolved oxygen, salinity, temperature, depth and water transparency) were measured. Qualitative and quantitative analysis of the phytoplankton and bacterioplankton were carried out. The Shannon-Wiener ecologic indexes of diversity and the Pielou equitability indexes were calculated to the phytoplankton. Bacterial density was determined by epifluorescence microscopy. The data were statistically analyzed by Pearson correlation and t-Test. Chlorophycea were predominat in salt water and in the captation/drainage point (24 to 99%). Diatoms had higher wealth. The species Choricystis minor had the highest occurrence (100%) and dominance (90-100%), thus showing its adaptation to the high temperatures, salinity and low water transparency conditions. Filamentous Cyanobacteria like Oscillatoria sp., Pseudoanabaena sp. and Phormidium sp. had constant levels. The negative correlation between chlorophycea and water transparency, and the positive correlation between chlorophyll a and salinity, showed that the phytoplankton was well adapted to the low transparency and to the high salinity. The bacterioplankton was negatively correlated with the total phosphorus and salinity. In freshwater, Cyanobacteria were predominant (>80%), presenting some producers of toxins species like Microcystis sp., Aphanizomenon sp., Cylindrospermopsis raciborskii e Anabaena circinalis. Cyanobacterial density and total phosphorus and chlorophyll a concentrations exceeded the maximum value allowed by legislation. The means of total phosphorus varied from 264 to 627 Wg.L-1 and the means of chlorophyll a oscillated between 22 and 182 Wg.L-1. The phytoplankton species were selected by low availability of the light, high pH, temperature and high availability of total phosphorus. The bacterioplankton showed high densities (5,13 x 107 to 8,50 x107 Bac.mL-1). The studied environments (ponds and rivers) presented a high level of trophic state based on the high concentrations of chlorophyll a and total phosphorus and cyanobacteria dominance. The composition of species in the ponds and rivers was similar, as well as high concentrations of total phosphorus and chlorophyll a, highlighting the pollution caused by the discharges of the farms in natural environment

Relevância:

80.00% 80.00%

Publicador:

Resumo:

The administrative model of the Brazilian State, based on regulation, strives, with the application of the efficiency principle and assessment of economical costs, to give a greater effectiveness to fundamental rights by implementing public policies.The objective of this work is to analyze the role of Oil royalties in the context of the Brazilian State, considering that, being an income gap, they might work as a device that promotes intra/intergenerational justice. By means of a correct and efficient distribution and application in the national region, the royalties constitute financial resources available for implementing public policies that intend to guarantee the fundamental rights; above all, with the discovery of the Pre-salt basin and the indisputable rise in the tax revenues arising from Oil exploration. In the making of this work, the theoretical-descriptive methodology is observed, grounded in a critical-reflexive analysis about Constitutional Law and Oil Law. This work analyzes the administrative model of the Brazilian State, the theory of costs of fundamental rights and the theoretical aspects about royalties, such as: the ethical and economical fundamentals, the distribution and destination of revenues, considering the oil exploration scenario before and after the discovery of the pre-salt basin. it is verified, with the present work, the importance of the creation of a new regulatory framework, and consequently the creation of a sovereign wealth fund, which arises to re-evaluate the application of the current norms of Oil revenue distribution. Still, it is imperative that the mechanisms for controlling the application of royalties are defined in detail, so that those can fully admit the objectives of intra/intergenerational justice. Furthermore, it is emphasized that this process should develop from the efficiency principle viewpoint, as well as the principle of reducing social and regional differences, given that the Oil revenues might be used to ensure fundamental social rights, by implementing public policies that are aligned with the development recommended by the Federal Constitution

Relevância:

80.00% 80.00%

Publicador:

Resumo:

This paper aims to review traditional concepts inherent to the general theory of the state and human rights, relating to the legal situation of foreign, understood as the subject of rights, especially when the is case of compulsory legal imposition of exit from national territory. After the serious violations during the Second World War and the importance acquired by the International Law of Human Rights, values as dignity, justice and equality are enshrined in the legal system and its respect required beyond the boundaries of any country. The creation of an international community, which is governed by rules that its members are subordinated, without distinction, as well as state - based on volunteerism, become inspired by one principled nature of these new concepts required of Global Society, as well as the adoption, influenced by neoconstitutionalism, to the model of State Constitutional rule of law, are opposed to the idea of state sovereignty connected to a superiority, absolute and unlimited power which recognizes no other above it, not even the basic principles or axioms that must govern the relationships internally. So looks for a concept of state that includes all the requirements of a democratic society, that have the people as the power holder, understanding that state element has undergone a relativization, because had to adapt to the contemporary values applicable to the individual, inserting in its concept, the indispensable obligation to protect the inalienable rights of citizens, regardless of with whom he have legal and political bond of nationality. It happens that, to consecrate these privileges to individuals, which, because they contain reference to values with supranational characteristics, are very abstract and are in constant collision course with internal rules, making it difficult to reconcile, it will use hermeneutics of human rights, due mainly to international courts, correlated with constitutional exegesis, in particular, legal principiologia, using, among others, the principles of reasonableness and proportionality, the systematic interpretation of the Constitution and international legal standards. Thus, it seek to enshrine the common foundation of all law , the link between the systems, namely, the dignity of human beings. Finally, it will see if Brazilian jurisdiction, through case studies, is tuned in line with these new paradigms, and in line with the International Bill of Human Rights, the Federal Constitution, the values and principles she hired

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Lithium (Li) is a chemical element with atomic number 3 and it is among the lightest known elements in the universe. In general, the Lithium is found in the nature under the form of two stable isotopes, the 6Li and 7Li. This last one is the most dominant and responds for about 93% of the Li found in the Universe. Due to its fragileness this element is largely used in the astrophysics, especially in what refers to the understanding of the physical process that has occurred since the Big Bang going through the evolution of the galaxies and stars. In the primordial nucleosynthesis in the Big Bang moment (BBN), the theoretical calculation forecasts a Li production along with all the light elements such as Deuterium and Beryllium. To the Li the BNB theory reviews a primordial abundance of Log log ǫ(Li) =2.72 dex in a logarithmic scale related to the H. The abundance of Li found on the poor metal stars, or pop II stars type, is called as being the abundance of Li primordial and is the measure as being log ǫ(Li) =2.27 dex. In the ISM (Interstellar medium), that reflects the current value, the abundance of Lithium is log ǫ(Li) = 3.2 dex. This value has great importance for our comprehension on the chemical evolution of the galaxy. The process responsible for the increasing of the primordial value present in the Li is not clearly understood until nowadays. In fact there is a real contribution of Li from the giant stars of little mass and this contribution needs to be well streamed if we want to understand our galaxy. The main objection in this logical sequence is the appearing of some giant stars with little mass of G and K spectral types which atmosphere is highly enriched with Li. Such elevated values are exactly the opposite of what could happen with the typical abundance of giant low mass stars, where convective envelops pass through a mass deepening in which all the Li should be diluted and present abundances around log ǫ(Li) ∼1.4 dex following the model of stellar evolution. In the Literature three suggestions are found that try to reconcile the values of the abundance of Li theoretical and observed in these rich in Li giants, but any of them bring conclusive answers. In the present work, we propose a qualitative study of the evolutionary state of the rich in Li stars in the literature along with the recent discovery of the first star rich in Li observed by the Kepler Satellite. The main objective of this work is to promote a solid discussion about the evolutionary state based on the characteristic obtained from the seismic analysis of the object observed by Kepler. We used evolutionary traces and simulation done with the population synthesis code TRILEGAL intending to evaluate as precisely as possible the evolutionary state of the internal structure of these groups of stars. The results indicate a very short characteristic time when compared to the evolutionary scale related to the enrichment of these stars

Relevância:

80.00% 80.00%

Publicador:

Resumo:

In this paper, a multi-objective approach for observing the performance of distribution systems with embedded generators in the steady state, based on heuristic and power system analysis, is proposed. The proposed hybrid performance index describes the quality of the operating state in each considered distribution network configuration. In order to represent the system state, the loss allocation in the distribution systems, based on the Z-bus loss allocation method and compensation-based power flow algorithm, is determined. Also, an investigation of the impact of the integration of embedded generators on the overall performance of the distribution systems in the steady state, is performed. Results obtained from several case studies are presented and discussed. Copyright (C) 2004 John Wiley Sons, Ltd.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

The existence of several negative indicators such as deforestation, pollution of rivers and urban growth disorderly suggest a scenario of serious environmental degradation in Brazil, allowing that the model of public management of the environment here is not practiced efficiently, despite to be a recognition-of environmental legislation as one of the best and most comprehensive in the world. One of the main causes of this problem is the low social participation in environmental management that often exists only in the formal plan. Thus, although defined as Democratic State, in practice, it is only a Figurative State. Based on the study of the origin of the state and social participation in the Brazilian State, in general scope, and some environment committees and public hearings in Rio Grande do Norte, as instruments of social control, in particular scope, it is possible to build a real Democratic State in environmental management, a Participative State, in which all players are aware of the responsibility and committed to the duty assigned to them by the constitutional text with the present and future generations