894 resultados para Calculus of variations


Relevância:

80.00% 80.00%

Publicador:

Resumo:

Eventos climáticos extremos poderão ter conduzido à instabilidade de habitats e em última instância à sua fragmentação, causando repercussões ainda visíveis nos predadores de topo, tais como o boto (Phocoena phocoena). Consequentemente, os indivíduos que não se adaptaram, tiveram de procurar novos habitats com as respetivas condições ideais, nomeadamente os indivíduos da população de botos do Atlântico Este (norte e sul da Baía de Biscaia). O presente estudo focou-se em indivíduos da costa portuguesa (representando uma amostra da população residente a sul da Baía de Biscaia) e, recorrendo a informação proveniente de estudos previamente realizados, procurou salientar diferenças entre os botos que habitam ao longo do Atlântico Este. Foi aplicado um método de limpeza e branqueamento em crânios de boto, para posterior medição. Foram medidos 65 crânios de botos (programa Image J®), providenciados pela rede de arrojamentos de animais marinhos e obtidos no âmbito do projeto LIFE+ MarPro. As comparações das medidas dos crânios entre géneros foram realizadas a partir de modelos alométricos (programa GraphPad Prism ®) e as comparações entre géneros de cada estágio de desenvolvimento foram efetuadas com recurso a uma análise de PERMANOVA unifatorial (usando distâncias euclidianas), através do programa PAST® v. 2.12. Concluiu-se que na população em estudo, tanto as fêmeas como os machos apresentaram um modelo de alometria negativa. Reportou-se que as fêmeas apresentam comprimentos corporais superiores aos machos, assim como comprimentos e larguras cranianas. Comparativamente aos indivíduos da população a norte da Baía de Biscaia, a amostra de estudo da população do sul da Baía de Biscaia (representada pelos indivíduos da costa portuguesa) apresentou maiores comprimentos corporais e cranianos e maior largura craniana. Estes resultados corroboram observações prévias sobre a população de botos do Atlântico, que detetaram já diferenças genéticas e partilha limitada de genes, diferenças nos hábitos alimentares e habitats distintos nos botos de norte e sul da Baía de Biscaia.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

MOVE is a composition for string quartet, piano, percussion and electronics of approximately 15-16 minutes duration in three movements. The work incorporates electronic samples either synthesized electronically by the composer or recorded from acoustic instruments. The work aims to use electronic sounds as an expansion of the tonal palette of the chamber group (rather like an extended percussion setup) as opposed to a dominating sonic feature of the music. This is done by limiting the use of electronics to specific sections of the work, and by prioritizing blend and sonic coherence in the synthesized samples. The work uses fixed electronics in such a way that allows for tempo variations in the music. Generally, a difficulty arises in that fixed “tape” parts don’t allow tempo variations; while truly “live” software algorithms sacrifice rhythmic accuracy. Sample pads, such as the Roland SPD-SX, provide an elegant solution. The latency of such a device is close enough to zero that individual samples can be triggered in real time at a range of tempi. The percussion setup in this work (vibraphone and sample pad) allows one player to cover both parts, eliminating the need for an external musician to trigger the electronics. Compositionally, momentum is used as a constructing principle. The first movement makes prominent use of ostinato and shifting meter. The second is a set of variations on a repeated harmonic pattern, with a polymetric middle section. The third is a type of passacaglia, wherein the bassline is not introduced right away, but becomes more significant later in the movement. Given the importance of visual presentation in the Internet age, the final goal of the project was to shoot HD video of a studio performance of the work for publication online. The composer recorded audio and video in two separate sessions and edited the production using Logic X and Adobe Premiere Pro. The final video presentation can be seen at geoffsheil.com/move.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Human operators are unique in their decision making capability, judgment and nondeterminism. Their sense of judgment, unpredictable decision procedures, susceptibility to environmental elements can cause them to erroneously execute a given task description to operate a computer system. Usually, a computer system is protected against some erroneous human behaviors by having necessary safeguard mechanisms in place. But some erroneous human operator behaviors can lead to severe or even fatal consequences especially in safety critical systems. A generalized methodology that can allow modeling and analyzing the interactions between computer systems and human operators where the operators are allowed to deviate from their prescribed behaviors will provide a formal understanding of the robustness of a computer system against possible aberrant behaviors by its human operators. We provide several methodology for assisting in modeling and analyzing human behaviors exhibited while operating computer systems. Every human operator is usually given a specific recommended set of guidelines for operating a system. We first present process algebraic methodology for modeling and verifying recommended human task execution behavior. We present how one can perform runtime monitoring of a computer system being operated by a human operator for checking violation of temporal safety properties. We consider the concept of a protection envelope giving a wider class of behaviors than those strictly prescribed by a human task that can be tolerated by a system. We then provide a framework for determining whether a computer system can maintain its guarantees if the human operators operate within their protection envelopes. This framework also helps to determine the robustness of the computer system under weakening of the protection envelopes. In this regard, we present a tool called Tutela that assists in implementing the framework. We then examine the ability of a system to remain safe under broad classes of variations of the prescribed human task. We develop a framework for addressing two issues. The first issue is: given a human task specification and a protection envelope, will the protection envelope properties still hold under standard erroneous executions of that task by the human operators? In other words how robust is the protection envelope? The second issue is: in the absence of a protection envelope, can we approximate a protection envelope encompassing those standard erroneous human behaviors that can be safely endured by the system? We present an extension of Tutela that implements this framework. The two frameworks mentioned above use Concurrent Game Structures (CGS) as models for both computer systems and their human operators. However, there are some shortcomings of this formalism for our uses. We add incomplete information concepts in CGSs to achieve better modularity for the players. We introduce nondeterminism in both the transition system and strategies of players and in the modeling of human operators and computer systems. Nondeterministic action strategies for players in \emph{i}ncomplete information \emph{N}ondeterministic CGS (iNCGS) is a more precise formalism for modeling human behaviors exhibited while operating a computer system. We show how we can reason about a human behavior satisfying a guarantee by providing a semantics of Alternating Time Temporal Logic based on iNCGS player strategies. In a nutshell this dissertation provides formal methodology for modeling and analyzing system robustness against both expected and erroneous human operator behaviors.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Dissertação de Mestrado, Engenharia Informática, Faculdade de Ciências e Tecnologia, Universidade do Algarve, 2014

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Denna samhällskunskapsdidaktiska studies syfte är att undersöka vad samhällskunskapslärare själva upplever som de viktigaste påverkansfaktorerna för transformeringen av samhällskunskap som skolämne till samhällskunskap som undervisning utifrån didaktiska frågor som Vad?, Hur? och Varför?, samt hur detta upplevs förändrats över en tidsperiod om cirka tjugo år eller mer. Studien bygger på hermeneutisk-fenomenologisk livsvärldsansats där fenomenologisk beskrivning och hermeneutisk tolkning är centralt. Empirin utgörs av intervjuer med tio samhällskunskapslärare med lång yrkeserfarenhet från högstadium, gymnasium eller vuxenutbildning. Resultatet tematiseras utifrån inspiration från ramfaktorteoretiska utgångspunkteri fyra dimensioner av påverkansfaktorer, vilka är Den personliga dimensionen, Den didaktiska dimensionen, Den styrande dimensionen och Den samhälleliga dimensionen. Var och en av dessa dimensioner delas upp i ett antal variationer. Dimensionerna är konstruerade utifrån principen om det personligt nära till det samhälleligt distanserade. Utöver dessa dimensioner har en aspekt på dessa lagts till. Det är Den elevnära aspekten vars innehåll utgörs av eleverna som påverkansfaktor för hur undervisningen blir. Lärarna i studien pratar aldrig om eleverna som påverkansfaktor utan att koppla detta till någon av de fyra dimensionerna. Slutsatser som dras i studien är att de tio lärarna alla har mycket olika berättelserom vad de uppfattar som viktigaste påverkansfaktorer. Några lägger mest fokus på sin personliga bakgrund eller personliga intressen. Andra fokuserar mer på didaktiska idéer, på styrdokument eller på organisatoriska ramar. Studien visar också att lärarna alla har en eller ett par dominerande dimensioner som dels syns mest i berättelsen, dels också påverkar hur de pratar om de andra dimensionerna. Lärarnas berättelser visar även att de upplever att undervisningen och vad som påverkar denna påtagligt förändras över tid. Studiens viktigaste bidrag är kanske att den exemplifierar teoretiska perspektiv. Inte minst genom att belysa att vad som påverkar undervisningen i ett ämne är så komplext att den ramfaktorteoretiska byggnadsställningen måste anpassas efter den specifika undersökningen med dess frågeställningar och undersökningsmaterial.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

A gene encoding an elongation factor LeEF-Tsmt that participates in the protein synthesis process in mitochondria shows strong expression in ripening fruit as compared to other organs. It is strongly up-regulated during the first stages of the ripening process in parallel with the climacteric rise in respiration. LeEF-Tsmt expression is stimulated by ethylene, wounding and high temperature but ethylene-insensitive mutants exhibit normal expression. Transgenic fruit have been generated in which LeEF-Tsmt has been constitutively up- and down-regulated. Surprisingly, altering the expression of the gene by genetic transformation with antisense and sense LeEF-Tsmt constructs did not affect the pattern of respiration and ethylene production during ripening and upon wounding. In addition, expression of the alternative oxidase gene which is known to play an important role in respiratory climacteric was not affected. Possible reasons for the absence of effect on respiration of variations of LeEF-Tsmt gene expression are discussed.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The article presents a criticism of the accounts of John Carey in his book entitled "The Intellectuals and the Masses." The author focuses on Carey's argument that the art is not an eternal category but an invention of the late eighteenth century and it no longer has any intellectual legitimacy other than that of provoking feelings which are no more and no less valuable than those provoked by any other form of entertainment or physical activity

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Objective We aimed to predict sub-national spatial variation in numbers of people infected with Schistosoma haematobium, and associated uncertainties, in Burkina Faso, Mali and Niger, prior to implementation of national control programmes. Methods We used national field survey datasets covering a contiguous area 2,750 × 850 km, from 26,790 school-aged children (5–14 years) in 418 schools. Bayesian geostatistical models were used to predict prevalence of high and low intensity infections and associated 95% credible intervals (CrI). Numbers infected were determined by multiplying predicted prevalence by numbers of school-aged children in 1 km2 pixels covering the study area. Findings Numbers of school-aged children with low-intensity infections were: 433,268 in Burkina Faso, 872,328 in Mali and 580,286 in Niger. Numbers with high-intensity infections were: 416,009 in Burkina Faso, 511,845 in Mali and 254,150 in Niger. 95% CrIs (indicative of uncertainty) were wide; e.g. the mean number of boys aged 10–14 years infected in Mali was 140,200 (95% CrI 6200, 512,100). Conclusion National aggregate estimates for numbers infected mask important local variation, e.g. most S. haematobium infections in Niger occur in the Niger River valley. Prevalence of high-intensity infections was strongly clustered in foci in western and central Mali, north-eastern and northwestern Burkina Faso and the Niger River valley in Niger. Populations in these foci are likely to carry the bulk of the urinary schistosomiasis burden and should receive priority for schistosomiasis control. Uncertainties in predicted prevalence and numbers infected should be acknowledged and taken into consideration by control programme planners.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

After bone fracture, various cellular activities lead to the formation of different tissue types, which form the basis for the process of secondary bone healing. Although these tissues have been quantified by histology, their material properties are not well understood. Thus, the aim of this study is to correlate the spatial and temporal variations in the mineral content and the nanoindentation modulus of the callus formed via intramembranous ossification over the course of bone healing. Midshaft tibial samples from a sheep osteotomy model at time points of 2, 3, 6 and 9 weeks were employed. PMMA embedded blocks were used for quantitative back scattered electron imaging and nanoindentation of the newly formed periosteal callus near the cortex. The resulting indentation modulus maps show the heterogeneity in the modulus in the selected regions of the callus. The indentation modulus of the embedded callus is about 6 GPa at the early stage. At later stages of mineralization, the average indentation modulus reaches 14 GPa. There is a slight decrease in average indentation modulus in regions distant to the cortex, probably due to remodelling of the peripheral callus. The spatial and temporal distribution of mineral content in the callus tissue also illustrates the ongoing remodelling process observed from histological analysis. Most interestingly the average indentation modulus, even at 9 weeks, remains as low as 13 GPa, which is roughly 60% of that for cortical sheep bone. The decreased indentation modulus in the callus compared to cortex is due to the lower average mineral content and may be perhaps also due to the properties of the organic matrix which might be different from normal bone.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The design-build (DB) system has been demonstrated as an effective delivery method and has gained popularity worldwide. However it is observed that a number of operational variations of DB system have emerged since the last decade to cater for different client’s requirements. After the client decides to procure his project through the DB system, he still has to choose an appropriate configuration to deliver their projects optimally. However, there is little research on the selection of DB operational variations. One of the main reasons for this is the lack of evaluation criteria for determining the appropriateness of each operational variation. To obtain such criteria, a three-round Delphi survey has been conducted with 20 construction experts in the People’s Republic of China (PRC). Seven top selection criteria were identified. These are: (1) availability of competent design-builders; (2) client’s capabilities; (3) project complexity; (4) client’s control of project; (5) early commencement & short duration; (6) reduced responsibility or involvement; and (7) clearly defined end user’s requirements. These selection criteria were found to have a statistically significant agreement. These findings may furnish various stakeholders, DB clients in particular, with better insight to understand and compare the different operational variations of the DB system.