57 resultados para BTS


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Structure of intertidal and subtidal benthic macrofauna in the northeastern region of Todos os Santos Bay (TSB), northeast Brazil, was investigated during a period of two years. Relationships with environmental parameters were studied through uni-and multivariate statistical analyses, and the main distributional patterns shown to be especially related to sediment type and content of organic fractions (Carbon, Nitrogen, Phosphorus), on both temporal and spatial scales. Polychaete annelids accounted for more than 70% of the total fauna and showed low densities, species richness and diversity, except for the area situated on the reef banks. These banks constitute a peculiar environment in relation to the rest of the region by having coarse sediments poor in organic matter and rich in biodetritic carbonates besides an abundant and diverse fauna. The intertidal region and the shallower area nearer to the oil refinery RLAM, with sediments composed mainly of fine sand, seem to constitute an unstable system with few highly dominant species, such as Armandia polyophthalma and Laeonereis acuta. In the other regions of TSB, where muddy bottoms predominated, densities and diversity were low, especially in the stations near the refinery. Here the lowest values of the biological indicators occurred together with the highest organic compound content. In addition, the nearest sites (stations 4 and 7) were sometimes azoic. The adjacent Caboto, considered as a control area at first, presented low density but intermediate values of species diversity, which indicates a less disturbed environment in relation to the pelitic infralittoral in front of the refinery. The results of the ordination analyses evidenced five homogeneous groups of stations (intertidal; reef banks; pelitic infralittoral; mixed sediments; Caboto) with different specific patterns, a fact which seems to be mainly related to granulometry and chemical sediment characteristics.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Apresenta as iniciativas globais de avaliação da Promoção da saúde que vêm ocorrendo desde 1995, bem como a inserção dos profissionais brasileiros nas mesmas, especialmente na iniciativa de avaliação participativa. Detém-se a explicitar o conceito de efetividade, diferenciando-o do de eficiência e eficácia, apoiando-se em conceitos de autores locais que se dedicam à avaliação de políticas. Há um aprofundamento do conceito de avaliação participativa de acordo com autores que se dedicam à promoção da saúde, e são apresentados os desafios e oportunidades desse tipo de avaliação. Finalmente, é ressaltada a experiência brasileira do Guia de Avaliação Participativa, que foi construído nos últimos dez anos com a participação de profissionais de todo o continente americano. À guisa de conclusão, são apresentados os aspectos positivos da avaliação participativa, especialmente os de cidades e comunidades saudáveis

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Background: The establishment of an in vitro production (IVP) of embryo in swine allows the generation of embryos with the same quality as in vivo produced embryos with less costs and time. In order to achieve successful fertilization under normal circumstances in vivo, mammalian spermatozoa must first undergo capacitation and then acrosome reaction. The purpose of this study was compared the efficacious of IP/CFDA fluorescence and Coomassie Blue G (CB) staining to detect capacitated sperm cells in refrigerated and fresh semen. Morever, it was investigated the efficacious of caffeine and chondroitin sulphate to promote in vitro sperm capacitation and in vitro embryo produced (IVP) of swine embryos. Materials, Methods & Results: A sperm-rich fraction from ejaculate was obtained using the gloved-hand method and the gel-free fraction was separated using sterile gauze. The semen was diluted in BTS at a final concentration of 1.5 x 10(8) cells/mL. The sperm suspension was incubated for 2 h at 25 degrees C, refrigerated and maintained for 1 h at 15-18 degrees C (refrigerated group) or used immediately (fresh group). Sperm capacitation was assessed by IP/CFDA fluorescence and CB staining for both fresh and refrigerated semen. For PI/CFDA evaluation, a final solution containing 1.7 mM formaldehyde, 7.3 mM PI and 20 mM CFDA in 950 mu L saline was prepared. In the dark, 40 mu L PI/CFDA final solution was added to 10 mu L semen and after 8 min, slides were analyzed on epifluorescence microscopy. For CB evaluation, sperm cells were fixed in 4% paraformaldehyde for 10 min and centrifuged twice at 320 x g in ammonium acetate pH 9 for 8 min. A smear was made and stained with 2.75 mg/mL CB in solution containing 12.5% methanol, 25% glacial acetic acid and 62.5% water, for 2 min. The smear was washed in running water, air dried and sealed with Permount (R), diluted 2:1 in xilol to avoid staining oxidation. Our results showed that refrigeration did not affect sperm capacitation and comparing staining methods, the PI/CFDA combination was more efficient to detect capacitated sperm, when compared to CB staining. In experiment 2, we evaluated the effect of different incubation time (1 - 5 h) with chondroitin sulfate and caffeine on sperm capacitation. For in vitro fertilization, oocytes were obtained from slaughterhouse ovaries. Oocytes with a thick and intact cumulus oophurus layer and cytoplasm with homogenous granules were selected for in vitro maturation for 44 h. According to the results of experiment 2, it was used for in vitro fertilization refrigerated semen was capacitated with 50 mu g/mL chondroitin sulfate for 2 h or capacitated with 5 mu g/mL caffeine for 3 h. Six hours after insemination, cumulus oophorus cells were mechanically removed and oocytes were washed and incubated in microdrops of culture medium. Embryo development after fertilization with sperm capacitated with caffeine or chondroitin sulfate was evaluated on days 3, 5 and 7 of culture. No differences were observed in days 3 or 5 of in vitro culture. However, it was observed an increase on blastocyst rate on Day 7 of culture when caffeine was used as the capacitor agent. Discussion: Molecular basis of sperm capacitation is still poor understood. Sperm capacitation can occur in vitro spontaneously in defined media without addition of biological fluids. We observed that sperm capacitation increased as incubation period enlarged and it was observed using Coomassie blue G and PI/CFDA for fresh semen and for refrigerated semen. It can be concluded that the cooling of semen did not change their pattern of sperm capacitation and this is best assessed by IP/CFDA than by CB. In addition to the use of caffeine in sperm capacitation produces more blastocysts than the chondroitin sulfate after in vitro fertilization.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This article modifies the usual form of the Dubinin-Radushkevich pore-filling model for application to liquid-phase adsorption data, where large molecules are often involved. In such cases it is necessary to include the repulsive part of the energy in the micropores, which is accomplished here by relating the pore potential to the fluid-solid interaction potential. The model also considers the nonideality of the bulk liquid phase through the UNIFAC activity coefficient model, as well as structural heterogeneity of the carbon. For the latter the generalized adsorption integral is used while incorporating the pore-size distribution obtained by density functional theory analysis of argon adsorption data. The model is applied here to the interpretation of aqueous phase adsorption isotherms of three different esters on three commercial activated carbons. Excellent agreement between the model and experimental data is observed, and the fitted Lennard-Jones size parameter for the adsorbate-adsorbate interactions compares well with that estimated from known critical properties, supporting the modified approach. On the other hand, the model without consideration of bulk nonideality, or when using classical models of the characteristic energy, gives much poorer bts of the data and unrealistic parameter values.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Strategy execution has been a heated topic in the management world in recent years. However, according to a survey done by the Conference Board (2014), the chief executives are so concerned about the execution in their companies and have rated it as the No.1 or No.2 most challenging issue. Many of them choose to invest in training with a purpose to harvest the most for strategy execution. Therefore, this research is trying to find out a model to design training programs that can at most contribute to the success of strategy execution with three real-life training cases done by BTS Consulting Service. It was found that strategy execution could be greatly supported by training programs that take into consideration the four factors, namely Alignment, Mindset to Change, Capability and Organization Support. Main implications of the findings are presented and discussed. Key

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Com a finalidade de estudar o eleito de alguns defensivos químicos sobre a "lagarta do cartucho do milho" foi instalado o presente ensaio no "Campo de Produção de Mudas Tietê", da Coordenadoria de Assistência Técnica Integral (CATI), em Tietê, SP. Foram utilizados os seguintes tratamentos: A - testemunha; B- bendiocarbe, 250 g C- hidrazona BTS 54439, 250 g; D - triclorfom, 250 g; E - piretróide bifentrina (FMC 54800), 30 g; F- piretróide (FMC - 65318), 30 g; G - tiodicarbe, 200 g; H - triazofós, 200 g. As quantidades são de ingrediente ativo por hectare. Os tratamentos tiveram quatro repetições, em blocos ao acaso, com parcelas de 150 m² (cada tratamento, 600 m² ). Aos dois e nove dias da aplicação, os piretróides (FMC - 54800 (bifentrina) e FMC 65318) e tiodicarbe foram promissores.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Asthma is a major cause of chronic morbidity throughout the world. In Switzerland, 6.9% of the adult population is suffering from asthma. The standards of treatment are unfortunately not met in most western countries, as well as in Switzerland. We put forward a complete guideline on management of adult asthma, inspired from GINA and BTS guidelines, and adapted to the specific needs of general practitioners working in french part of Switzerland. This guideline reflects a consensus between allergy, lung and emergency specialists, working in the 2 university hospitals of the Lake Geneva Region (HUG and CHUV).

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We read with interest the article by Qiu et al (Thorax 2007;62:475–82). In this paper, neutrophils and eosinophils were identified using mouse anti-human neutrophil elastase and anti-eosinophil cationic protein (ECP), both monoclonal antibodies (mAbs). mAbs against ECP have been used to detect total eosinophils, but immunostaining techniques evidenced that the number of ECP+ cells was higher than the number of eosinophils.1 Recent studies show that ECP is not only a distinctive eosinophil protein, but has been found in neutrophils.1–3

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Résumé: Dans le contexte d'un climat de plus en plus chaud, la localisation du pergélisol dans les terrains sédimentaires à forte déclivité et l'évaluation des mouvements de terrain qui y ont cours s'avèrent primordiales. S'insérant dans cette problématique, ce travail de thèse s'articule autour de deux axes de recherche différents. D'un point de vue statique, cette recherche propose une étude de la distribution et des caractéristiques du pergélisol dans les éboulis de la zone périglaciaire alpine. D'un point de vue dynamique, une analyse de l'influence des caractéristiques du pergélisol (teneur en glace, température du pergélisol, etc.) et des variations des températures de l'air et du sol sur les vitesses de fluage des corps sédimentaires gelés est effectuée. Afin de répondre à ce double objectif, l'approche "terrain" a été privilégiée. Pour déterminer la répartition et les caractéristiques du pergélisol, les méthodes traditionnelles de prospection du pergélisol ont été utilisées, à savoir la mesure de la température du sol à la base du manteau neigeux (BTS), la mesure de la température du sol en continu ainsi que la méthode géoélectrique. Les mouvements de terrain ont pour leur part été mesurés à l'aide d'un GPS différentiel. L'étude de la distribution du pergélisol a été effectuée dans une quinzaine d'éboulis situés dans les régions du Mont Gelé (Verbier-Nendaz) et d'Arolla principalement. Dans la plupart des cas, un pergélisol a pu être mis en évidence dans la partie inférieure des accumulations sédimentaires, alors que la partie médiane des éboulis n'est, le plus souvent, pas gelée. Si cette absence de pergélisol se prolonge parfois dans les portions sommitales des pentes, les mesures réalisées montrent que dans d'autres cas des sédiments gelés y sont à nouveau présents. Les résistivités électriques mesurées dans les portions gelées des éboulis étudiés sont dans la plupart des cas nettement inférieures à celles mesurées sur les glaciers rocheux. Des études préalables ont montré que des circulations d'air internes sont responsables de l'anomalie thermique négative et, lorsqu'il existe, du pergélisol que l'on trouve dans la partie inférieure d'éboulis situés plus de 1000 m plus bas que la limite inférieure régionale du pergélisol discontinu. L'étude de quatre sites de basse altitude (1400-1900 m), et notamment l'équipement du site de Dreveneuse (Préalpes Valaisannes) avec deux forages, des capteurs de température de surface et un anémomètre a permis de vérifier et de préciser le mécanisme de ventilation actif au sein des éboulis froids de basse altitude. Ce mécanisme fonctionne de la manière suivante: en hiver, l'air contenu dans l'éboulis, plus chaud et plus léger que l'air extérieur, monte à l'intérieur de l'accumulation sédimentaire et est expulsé dans ses parties sommitales. Cet effet de cheminée provoque une aspiration d'air froid à l'intérieur de la partie inférieure de l'éboulis, causant ainsi un sur-refroidissement marqué du terrain. En été, le mécanisme s'inverse, l'éboulis étant plus froid que l'air environnant. De l'air froid est alors expulsé au bas de la pente. Une ventilation ascendante hivernale a pu être mise en évidence dans certains des éboulis de haute altitude étudiés. Elle est probablement en grande partie responsable de la configuration particulière des zones gelées observées. Même si l'existence d'un effet de cheminée n'a pu être démontrée dans tous les cas, du fait notamment de la glace interstitielle qui entrave le cheminement de l'air, des indices laissant présager son possible fonctionnement existent dans la quasi totalité des éboulis étudiés. L'absence de pergélisol à des altitudes qui lui sont favorables pourrait en tous les cas s'expliquer par un réchauffement du terrain lié à des expulsions d'air relativement chaud. L'étude des mouvements de terrain a été effectuée sur une dizaine de sites, principalement sur des glaciers rocheux, mais également sur une moraine de poussée et - II - Résumé ? abstract quelques éboulis. Plusieurs glaciers rocheux présentent des formes de déstabilisation récente (niches d'arrachement, blocs basculés, apparition de la matrice fine à la surface, etc.), ce qui témoigne d'une récente accélération des vitesses de déplacement. Ce phénomène, qui semble général à l'échelle alpine, est probablement à mettre sur le compte du réchauffement du pergélisol depuis une vingtaine d'années. Les vitesses mesurées sur ces formations sont souvent plus élevées que les valeurs habituellement proposées dans la littérature. On note par ailleurs une forte variabilité inter-annuelle des vitesses, qui semblent dépendre de la variation de la température moyenne annuelle de surface. Abstract: In the context of a warmer climate, the localisation of permafrost in steep sedimentary terrain and the measurement of terrain movements that occur in these areas is of great importance. With respect to these problems, this PhD thesis follows two different research axes. From a static point of view, the research presents a study of the permafrost distribution and characteristics in the talus slopes of the alpine periglacial belt. From a dynamic point of view, an analysis of the influence of the permafrost characteristics (ice content, permafrost temperature, etc.) and air and soil temperature variations on the creep velocities of frozen sedimentary bodies is carried out. In order to attain this double objective, the "field" approach was favoured. To determine the distribution and the characteristics of permafrost, the traditional methods of permafrost prospecting were used, i.e. ground surface temperature measurements at the base of the snow cover (BTS), year-round ground temperature measurements and DC-resistivity prospecting. The terrain movements were measured using a differential GPS. The permafrost distribution study was carried out on 15 talus slopes located mainly in the Mont Gelé (Verbier-Nendaz) and Arolla areas (Swiss Alps). In most cases, permafrost was found in the lower part of the talus slope, whereas the medium part was free of ice. In some cases, the upper part of the talus is also free of permafrost, whereas in other cases permafrost is present. Electrical resistivities measured in the frozen parts of the studied talus are in most cases clearly lower than those measured on rock glaciers. Former studies have shown that internal air circulation is responsible for the negative thermal anomaly and, when it exists, the permafrost present in the lower part of talus slopes located more than 1000 m below the regional lower limit of discontinuous permafrost. The study of four low-altitude talus slopes (1400-1900 m), and notably the equipment of Dreveneuse field site (Valais Prealps) with two boreholes, surface temperature sensors and an anemometer permitted to verify and to detail the ventilation mechanism active in low altitude talus slopes. This mechanism works in the following way: in winter, the air contained in the block accumulation is warmer and lighter than the surrounding air and therefore moves upward in the talus and is expelled in its upper part. This chimney effect induces an aspiration of cold air in the interior of the lower part of talus, that causes a strong overcooling of the ground. In summer, the mechanism is reversed because the talus slope is colder than the surrounding air. Cold air is then expelled in the lower part of the slope. Evidence of ascending ventilation in wintertime could also be found in some of the studied high-altitude talus slopes. It is probably mainly responsible for the particular configuration of the observed frozen areas. Even if the existence of a chimney effect could not be demonstrated in all cases, notably because of interstitial ice that obstructs Résumé ? abstract - III - the air circulation, indices of its presence exist in nearly all the studied talus. The absence of permafrost at altitudes favourable to its presence could be explained, for example, by the terrain warming caused by expulsion of relatively warm air. Terrain movements were measured at about ten sites, mainly on rock glaciers, but also on a push moraine and some talus slopes. Field observations reveal that many rock glaciers display recent destabilization features (landslide scars, tilted blocks, presence of fine grained sediments at the surface, etc.) that indicate a probable recent acceleration of the creep velocities. This phenomenon, which seems to be widespread at the alpine scale, is probably linked to the permafrost warming during the last decades. The measured velocities are often higher than values usually proposed in the literature. In addition, strong inter-annual variations of the velocities were observed, which seems to depend on the mean annual ground temperature variations.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

TTCN-kieltä käytetään testitapausten määrittelemiseen tietoliikennejärjestelmissä. Nykyään TTCN:stä on tullut yhä suositumpi tapa toteuttaa testitapauksia. TTCN tarjoaa hyvän ja yksinkertaisen tavan muuntaa käsin testattavat testitapaukset automatisoiduiksi. Tämän diplomityön yhteydessä toteutettiin TTCN testitapaukset WCDMA -tukiaseman käyttö- ja kunnossapito- (O&M) ohjelmistolle. Ohjelmistoa on käytetty myös toisen sukupolven tukiasemissa, mutta kolmannen sukupolven tukiasemissa sillä on huomattavasti isompi rooli. WCDMA -tukiasemassa O&M käsittelee muun muassa tukiaseman käynnistyksen, virhetilanteet ja valvoo tukiaseman komponentteja. Ensimmäisiä tehtäviä diplomityötä tehdessä oli valita ne testitapaukset, jotka olisivat mahdollisia ja hyödyllisiä toteuttaa TTCN:n avulla. Testitapaukset valittiin valmiina olleista testitapausten kuvauksista. Valitut testitapaukset toteutettiin käyttäen rinnakkaista ja modulaarista TTCN-kieltä ja testattiin WCDMA -tukiasemaa vasten käyttäen TTCN Tester ohjelmistoa. Tämän diplomityön yhteydessä toteutettuja testitapauksia käytetään varmistamaan, että tukiasema voi toipua erilaisista virhetilanteista O&M ohjelmiston avulla. Testitapauksia WCDMA -tukiasemaa vasten ajettaessa varmistetaan myös, että O&M ohjelmisto toimii määrittelyn mukaisesti eri tilanteissa. Toteutetut testi tapaukset korvaavat nykyään käsin testatut O&M testi tapaukset tukiaseman O&M ohjelmistoa testatessa. Automatisoidut testi tapaukset tekevät O&M ohjelmiston testaamisen merkittävästi nopeammaksi ja helpommaksi.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Artificial insemination is routinely used in the swine industry to reduce the costs of production through to increase the efficiency of the refrigerated boar semen process. The objective of this study was to evaluate the effect of different levels of cysteine (CYS) added to the Beltsville Thawing Solution (BTS) extender semen during cooling for up to 72 hours. Ejaculated from three boars were collected with the gloved-hand technique and semen aliquots were diluted in BTS as follow: BTS only (BTS), BTS + 0.1mM cysteine (CYS0.1), BTS + 0.5mM cysteine (CYS0.5), BTS + 1.0mM cysteine (CYS1.0), BTS + 2.5mM cysteine (CYS2.5), BTS + 5.0mM cysteine (CYS5.0), BTS + 10.0mM cysteine (CYS10.0), and BTS + 20.0mM cysteine (CYS20.0). Evaluation of sperm integrity were analyzed using 0.5mg/ml propidium iodide (plasma membrane), 100µg/ml isothiocynate-conjugated Pisum sativun agglutinin (acrosomal membrane) and 153µM 5,5',6,6'-tetrachloro-1,1',3,3'-tetraethylbenzimidazolyl carbocyanine iodide (mitochondria potential) after semen dilution at specific times (0, 24, 48 and 72 hours). Additionally, we also evaluated the effects of 5.0 mM CYS addition in the BTS extender on the maintenance of sperm quality and their influence on fertility in the swine production. After artificial insemination, animals were evaluated based on the estrous return and the number of piglet's born. Cysteine at concentrations of 10.0 and 20.0mM resulted in more pronounced reductions even at the time zero. Semen viability decreased to levels below 10% at these high levels of CYS in the first 24 hour of storage at 17ºC. At the end of the storage time, less than 65% of sperm cells had intact plasma membrane in all groups. The sperm viability decreased significantly when the semen was added at high concentrations of CYS (time "0"; CYS10.0 and CYS20.0; p<0.05), when compared to the other CYS concentrations. The BTS (10.20±0.39) treated group showed a lower rate of estrus return when compared to other (BTSCYS; 86.05±039), and it showed also the highest total number of piglets borne per treatment (12.71±3.38 vs. 9.00±3.38, respectively). In conclusion, the addition of CYS in the BTS semen extender did not maintain spermatic viability of boar cooled spermatozoa and it results in a higher percentage of return to estrus and lower number of piglets borne.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The rapid growth in high data rate communication systems has introduced new high spectral efficient modulation techniques and standards such as LTE-A (long term evolution-advanced) for 4G (4th generation) systems. These techniques have provided a broader bandwidth but introduced high peak-to-average power ratio (PAR) problem at the high power amplifier (HPA) level of the communication system base transceiver station (BTS). To avoid spectral spreading due to high PAR, stringent requirement on linearity is needed which brings the HPA to operate at large back-off power at the expense of power efficiency. Consequently, high power devices are fundamental in HPAs for high linearity and efficiency. Recent development in wide bandgap power devices, in particular AlGaN/GaN HEMT, has offered higher power level with superior linearity-efficiency trade-off in microwaves communication. For cost-effective HPA design to production cycle, rigorous computer aided design (CAD) AlGaN/GaN HEMT models are essential to reflect real response with increasing power level and channel temperature. Therefore, large-size AlGaN/GaN HEMT large-signal electrothermal modeling procedure is proposed. The HEMT structure analysis, characterization, data processing, model extraction and model implementation phases have been covered in this thesis including trapping and self-heating dispersion accounting for nonlinear drain current collapse. The small-signal model is extracted using the 22-element modeling procedure developed in our department. The intrinsic large-signal model is deeply investigated in conjunction with linearity prediction. The accuracy of the nonlinear drain current has been enhanced through several issues such as trapping and self-heating characterization. Also, the HEMT structure thermal profile has been investigated and corresponding thermal resistance has been extracted through thermal simulation and chuck-controlled temperature pulsed I(V) and static DC measurements. Higher-order equivalent thermal model is extracted and implemented in the HEMT large-signal model to accurately estimate instantaneous channel temperature. Moreover, trapping and self-heating transients has been characterized through transient measurements. The obtained time constants are represented by equivalent sub-circuits and integrated in the nonlinear drain current implementation to account for complex communication signals dynamic prediction. The obtained verification of this table-based large-size large-signal electrothermal model implementation has illustrated high accuracy in terms of output power, gain, efficiency and nonlinearity prediction with respect to standard large-signal test signals.