831 resultados para Formal Methods. Component-Based Development. Competition. Model Checking


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Indirect bridge monitoring methods, using the responses measured from vehicles passing over bridges, are under development for about a decade. A major advantage of these methods is that they use sensors mounted on the vehicle, no sensors or data acquisition system needs to be installed on the bridge. Most of the proposed methods are based on the identification of dynamic characteristics of the bridge from responses measured on the vehicle, such as natural frequency, mode shapes, and damping. In addition, some of the methods seek to directly detect bridge damage based on the interaction between the vehicle and bridge. This paper presents a critical review of indirect methods for bridge monitoring and provides discussion and recommendations on the challenges to be overcome for successful implementation in practice.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Despite the lack of a shear-rich tachocline region, low-mass fully convective (FC) stars are capable of generating strong magnetic fields, indicating that a dynamo mechanism fundamentally different from the solar dynamo is at work in these objects. We present a self-consistent three-dimensional model of magnetic field generation in low-mass FC stars. The model utilizes the anelastic magnetohydrodynamic equations to simulate compressible convection in a rotating sphere. A distributed dynamo working in the model spontaneously produces a dipole-dominated surface magnetic field of the observed strength. The interaction of this field with the turbulent convection in outer layers shreds it, producing small-scale fields that carry most of the magnetic flux. The Zeeman–Doppler-Imaging technique applied to synthetic spectropolarimetric data based on our model recovers most of the large-scale field. Our model simultaneously reproduces the morphology and magnitude of the large-scale field as well as the magnitude of the small-scale field observed on low-mass FC stars.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Background: Peer tutoring has been described as “people from similar social groupings who are not professional teachers helping each other to learn and learning themselves by teaching”. Peer tutoring is well accepted as a source of support in many medical curricula, where participation and learning involve a process of socialisation.
Peer tutoring can ease the transition of the junior students from the university class environment to the hospital workplace. In this paper, we apply the Experienced Based Learning (ExBL) model to explore medical students’ perceptions of their experience of taking part in a newly established peer tutoring program at a hospital based
clinical school.
Methods: In 2014, all students at Sydney Medical School – Central, located at Royal Prince Alfred Hospital were invited to voluntarily participate in the peer tutoring program. Year 3 students (n = 46) were invited to act as tutors for Year 1 students (n = 50), and Year 4 students (n = 60) were invited to act as tutors for Year 2 students (n = 51). Similarly, the ‘tutees’ were invited to take part on a voluntary basis. Students were invited to attend focus groups, which were held at the end of the program. Framework analysis was used to code and categorise data into themes.
Results: In total, 108/207 (52 %) students participated in the program. A total of 42/106 (40 %) of Year 3 and 4 students took part as tutors; and of 66/101 (65 %) of Year 1 and 2 students took part as tutees. Five focus groups were held, with 50/108 (46 %) of students voluntarily participating. Senior students (tutors) valued the opportunity to practice and improve their medical knowledge and teaching skills. Junior students (tutees) valued the opportunity for additional practice and patient interaction, within a relaxed, small group learning environment.
Conclusion: Students perceived the peer tutoring program as affording opportunities not otherwise available within the curriculum. The peer teaching program provided a framework within the medical curriculum for senior students to practice and improve their medical knowledge and teaching skills. Concurrently, junior students were provided with a valuable learning experience that they reported as being qualitatively different to traditional teaching by faculty.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

O objectivo desta dissertação é a exploração da aplicabilidade do modelo IMS – Learning Design, e respectivas ferramentas de suporte, através da criação e desenvolvimento de uma unidade de aprendizagem sobre Instrumentos Orff, baseada neste modelo, para professores do 1º Ciclo do Ensino Básico. A metodologia utilizada foi o estudo de caso de índole exploratória. Foi efectuada uma revisão da literatura que incidiu essencialmente sobre o e-learning e o IMS – Learning Design, seguindo-se a criação das estratégias didácticas e da planificação de toda a Unidade de Aprendizagem sobre Instrumentos Orff. O passo seguinte foi a criação e desenvolvimento da Unidade de Aprendizagem, que culminou com a implementação dos pacotes IMS/SCORM finais do aluno e do professor. A avaliação dos materiais desenvolvidos foi efectuada através de questionários a que responderam um grupo de alunos e de professores. Como forma de conclusão deste trabalho de investigação, foi realizada uma reflexão sobre o modelo IMS – Learning Design e as actuais ferramentas de apoio à implementação. ABSTRACT: The purpose of this dissertation is the exploration of the model IMS – Learning Design and supporting tools applicability, through the creation and development of a learning unit on Orff Instruments based on the model for 1st Basic Teaching Cycle. Method used was an exploratory case study. A complete overview of relevant literature has been done, essentially on elearning and IMS – Learning Design, followed by the building of learning and planning strategies for the whole Learning Unit on Orff Instruments. The following step was the creation and the development of the Learning Unit, that leaded to the final version IMS/SCORM of student’s and teacher’s final package. The evaluation of the materials developed has been done through an inquest targeted to teachers and students. As a conclusion of this investigation, a complete reflection and overview of the IMS Model-Learning Design and its Current supporting tools to it implementation is presented.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Os Sistemas Embarcados Distribuídos (SEDs) estão, hoje em dia, muito difundidos em vastas áreas, desde a automação industrial, a automóveis, aviões, até à distribuição de energia e protecção do meio ambiente. Estes sistemas são, essencialmente, caracterizados pela integração distribuída de aplicações embarcadas, autónomas mas cooperantes, explorando potenciais vantagens em termos de modularidade, facilidade de manutenção, custos de instalação, tolerância a falhas, entre outros. Contudo, o ambiente operacional onde se inserem estes tipos de sistemas pode impor restrições temporais rigorosas, exigindo que o sistema de comunicação subjacente consiga transmitir mensagens com garantias temporais. Contudo, os SEDs apresentam uma crescente complexidade, uma vez que integram subsistemas cada vez mais heterogéneos, quer ao nível do tráfego gerado, quer dos seus requisitos temporais. Em particular, estes subsistemas operam de forma esporádica, isto é, suportam mudanças operacionais de acordo com estímulos exteriores. Estes subsistemas também se reconfiguram dinamicamente de acordo com a actualização dos seus requisitos e, ainda, têm lidar com um número variável de solicitações de outros subsistemas. Assim sendo, o nível de utilização de recursos pode variar e, desta forma, as políticas de alocação estática tornam-se muito ineficientes. Consequentemente, é necessário um sistema de comunicação capaz de suportar com eficácia reconfigurações e adaptações dinâmicas. A tecnologia Ethernet comutada tem vindo a emergir como uma solução sólida para fornecer comunicações de tempo-real no âmbito dos SEDs, como comprovado pelo número de protocolos de tempo-real que foram desenvolvidos na última década. No entanto, nenhum dos protocolos existentes reúne as características necessárias para fornecer uma eficiente utilização da largura de banda e, simultaneamente, para respeitar os requisitos impostos pelos SEDs. Nomeadamente, a capacidade para controlar e policiar tráfego de forma robusta, conjugada com suporte à reconfiguração e adaptação dinâmica, não comprometendo as garantias de tempo-real. Esta dissertação defende a tese de que, pelo melhoramento dos comutadores Ethernet para disponibilizarem mecanismos de reconfiguração e isolamento de tráfego, é possível suportar aplicações de tempo-real críticas, que são adaptáveis ao ambiente onde estão inseridas.Em particular, é mostrado que as técnicas de projecto, baseadas em componentes e apoiadas no escalonamento hierárquico de servidores de tráfego, podem ser integradas nos comutadores Ethernet para alcançar as propriedades desejadas. Como suporte, é fornecida, também, uma solução para instanciar uma hierarquia reconfigurável de servidores de tráfego dentro do comutador, bem como a análise adequada ao modelo de escalonamento. Esta última fornece um limite superior para o tempo de resposta que os pacotes podem sofrer dentro dos servidores de tráfego, com base unicamente no conhecimento de um dado servidor e na hierarquia actual, isto é, sem o conhecimento das especifidades do tráfego dentro dos outros servidores. Finalmente, no âmbito do projecto HaRTES foi construído um protótipo do comutador Ethernet, o qual é baseado no paradigma “Flexible Time-Triggered”, que permite uma junção flexível de uma fase síncrona para o tráfego controlado pelo comutador e uma fase assíncrona que implementa a estrutura hierárquica de servidores referidos anteriormente. Além disso, as várias experiências práticas realizadas permitiram validar as propriedades desejadas e, consequentemente, a tese que fundamenta esta dissertação.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

No panorama atual do desenvolvimento de software educativo é importante que os processos de desenvolvimento sejam adequados e compatíveis com o contexto em que serão utilizados este tipo de recursos. Desta forma, é importante melhorar continuamente os processos de desenvolvimento bem como se proceder à avaliação de forma a garantir a sua qualidade e viabilidade económica. Este estudo propõe uma Metodologia Híbrida de Desenvolvimento Centrado no Utilizador (MHDCU) aplicada ao software educativo. Trata-se de um processo de desenvolvimento simples, iterativo e incremental que tem como “alicerces” princípios do Design Centrado no Utilizador, especificados na International Organization for Standardization - ISO 13407. Na sua base encontra-se a estrutura disciplinada de processos de desenvolvimento, bem como práticas e valores dos métodos ágeis de desenvolvimento de software. O processo é constituído por 4 fases principais: planeamento (guião didático), design (storyboard), implementação e manutenção/operação. A prototipagem e a avaliação são realizadas de modo transversal a todo o processo. A metodologia foi implementada numa Pequena e Média Empresa de desenvolvimento de recursos educacionais, com o objetivo de desenvolver recursos educacionais com qualidade reconhecida e simultaneamente viáveis do ponto de vista económico. O primeiro recurso que teve por base a utilização desta metodologia foi o Courseware Sere – “O Ser Humano e os Recursos Naturais”. O trabalho seguiu uma metodologia de investigação & desenvolvimento, de natureza mista, em que se pretendeu descrever e analisar/avaliar uma metodologia de desenvolvimento de software educativo, i.e., o processo, bem como o produto final. O estudo é fundamentalmente descritivo e exploratório. A metodologia de desenvolvimento do software (primeira questão de investigação) foi proposta, essencialmente, com base na revisão integrativa da literatura da especialidade e com base nos resultados que emergiram das Fases 2 e 3. Do ponto de vista exploratório, foi avaliado, por um lado, o potencial técnico e didático da 1ª versão do software inserido no Courseware Sere (segunda questão de investigação), e, por outro lado, analisar os pontos fortes e as fragilidades da metodologia utilizada para o seu desenvolvimento (terceira questão de investigação). Como técnicas de recolha de dados recorreu-se a dois inquéritos por questionário e à observação direta participante (mediada pela plataforma moodle). Quanto às técnicas de análise de dados optou-se pela análise estatística descritiva e pela análise de conteúdo. Os resultados indicam que o recurso desenvolvido possui qualidade técnica e didática. Relativamente a análise da Metodologia Híbrida de desenvolvimento Centrado no Utilizador foram propostas algumas melhorias relacionadas com o envolvimento do utilizador e introdução de novos métodos. Apesar de identificadas algumas limitações, este projeto permitiu que a empresa melhorasse significativamente os processos de desenvolvimento de recursos (mesmo os que não são informatizados), bem como permitiu o aumento do seu portefólio com o desenvolvimento do Courseware Sere.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Esta tese constitui uma reflexão sobre uma realidade, a praia do Francês, Alagoas, Brasil, que após mais de uma década é agora revisitada demonstrando os impactos socioambientais evidenciados ao longo de 30 anos, e por sua vez, fazem com que esta praia se transforme em laboratório cuja análise desenvolvida poderá servir como exemplo para ações futuras, e sustentáveis, em outras localidades. Sobretudo para áreas encontradas no mundo periférico, subdesenvolvido ou no Sul do Mundo, caracterizadas pela presença de populações tradicionais com seu rico e variado conhecimento, oralmente transmitido, adquirido através de suas observações práticas e cotidianas com seu meio circundante. Porém, este conhecimento encontra-se ameaçado pelo atual padrão de modernização, homogeneização do mundo, que em seu processo de desenvolvimento exclui crenças, valores e percepções de comunidades tradicionais inteiras, uma vez que se caracteriza por ocorrer com ausência de um olhar atento as especificidades locais, onde estas populações são as primeiras a sofrer com o atual modelo imposto que as ignora por completo e, ao mesmo tempo, por ocorrer com anuência do poder público local. Ao ignorá-las, tais ações minam suas formas de subsistência e via de consequência, às exclui das áreas onde sempre viveram e preservaram fazendo com que um importante e aprofundado conhecimento se perca, juntamente com a desintegração de seus laços de sociabilidade. A exemplo do Arquipélago dos Bijagós, Guiné-Bissau, costa Atlântica da África, lugar de existência de importante população tradicional que, a exemplo de outras localidades do mundo periférico, começa a experimentar transformações em seu patrimônio natural e cultural, decorrentes de ações desconectadas da realidade local. Este estudo, acena para uma importante reflexão sobre os impactos observados nesta realidade e os evidenciados na Praia do Francês. Portanto, procura-se aqui demonstrar a importância do conhecimento e das práticas existentes nas populações tradicionais (autóctones) para ações futuras, onde a inclusão deste saber seja prioridade para outras formas de pensar o desenvolvimento; e em seu processo de construção/planejamento este ocorra: com base no respeito à diversidade e com a participação dos mais diferentes e importantes atores. Enfim, um processo de desenvolvimento de base local, endógeno, sustentável.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Modelling species distributions with presence data from atlases, museum collections and databases is challenging. In this paper, we compare seven procedures to generate pseudoabsence data, which in turn are used to generate GLM-logistic regressed models when reliable absence data are not available. We use pseudo-absences selected randomly or by means of presence-only methods (ENFA and MDE) to model the distribution of a threatened endemic Iberian moth species (Graellsia isabelae). The results show that the pseudo-absence selection method greatly influences the percentage of explained variability, the scores of the accuracy measures and, most importantly, the degree of constraint in the distribution estimated. As we extract pseudo-absences from environmental regions further from the optimum established by presence data, the models generated obtain better accuracy scores, and over-prediction increases. When variables other than environmental ones influence the distribution of the species (i.e., non-equilibrium state) and precise information on absences is non-existent, the random selection of pseudo-absences or their selection from environmental localities similar to those of species presence data generates the most constrained predictive distribution maps, because pseudo-absences can be located within environmentally suitable areas. This study showsthat ifwe do not have reliable absence data, the method of pseudo-absence selection strongly conditions the obtained model, generating different model predictions in the gradient between potential and realized distributions.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Tese de doutoramento, Sociologia (Sociologia da Educação e da Formação), Universidade de Lisboa, Instituto de Ciências Sociais, 2015

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Thesis (Master's)--University of Washington, 2014

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In the context of monolingual and bilingual retrieval, Simple Knowledge Organisation System (SKOS) datasets can play a dual role as knowledge bases for semantic annotations and as language-independent resources for translation. With no existing track of formal evaluations of these aspects for datasets in SKOS format, we describe a case study on the usage of the Thesaurus for the Social Sciences in SKOS format for a retrieval setup based on the CLEF 2004-2006 Domain-Specific Track topics, documents and relevance assessments. Results showed a mixed picture with significant system-level improvements in terms of mean average precision in the bilingual runs. Our experiments set a new and improved baseline for using SKOS-based datasets with the GIRT collection and are an example of component-based evaluation.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper proposes a particle swarm optimization (PSO) approach to support electricity producers for multiperiod optimal contract allocation. The producer risk preference is stated by a utility function (U) expressing the tradeoff between the expectation and variance of the return. Variance estimation and expected return are based on a forecasted scenario interval determined by a price range forecasting model developed by the authors. A certain confidence level is associated to each forecasted scenario interval. The proposed model makes use of contracts with physical (spot and forward) and financial (options) settlement. PSO performance was evaluated by comparing it with a genetic algorithm-based approach. This model can be used by producers in deregulated electricity markets but can easily be adapted to load serving entities and retailers. Moreover, it can easily be adapted to the use of other type of contracts.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A new procedure for determining eleven organochlorine pesticides in soils using microwave-assisted extraction (MAE) and headspace solid phase microextraction (HS-SPME) is described. The studied pesticides consisted of mirex, α- and γ-chlordane, p,p’-DDT, heptachlor, heptachlor epoxide isomer A, γ-hexachlorocyclohexane, dieldrin, endrin, aldrine and hexachlorobenzene. The HS-SPME was optimized for the most important parameters such as extraction time, sample volume and temperature. The present analytical procedure requires a reduced volume of organic solvents and avoids the need for extract clean-up steps. For optimized conditions the limits of detection for the method ranged from 0.02 to 3.6 ng/g, intermediate precision ranged from 14 to 36% (as CV%), and the recovery from 8 up to 51%. The proposed methodology can be used in the rapid screening of soil for the presence of the selected pesticides, and was applied to landfill soil samples.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

RESUMO - Caracterização do problema: O sistema de saúde português atingiu um patamar de ineficiência tal que urge ser reestruturado de forma a torná-lo sustentável. De forma a atingir este nível de sustentabilidade, uma série de soluções podem ser consideradas das quais destacamos a integração de cuidados. Este conceito exige que os diferentes níveis de saúde sigam um único caminho, trabalhando de forma coordenada e contínua. A integração de cuidados pode ser implementada através de várias tipologias entre as quais se destaca a integração clínica que por sua vez é composta pela continuidade de cuidados. Assim, ao medir a continuidade de cuidados, quantifica-se de certa forma a integração de cuidados. Objetivos: Avaliar o impacto da continuidade de cuidados nos custos. Metodologia: Os dados foram analisados através de estatísticas descritivas para verificar o seu grau de normalidade. Posteriormente foram aplicados testes t-student para analisar a existência de diferenças estatisticamente significativas entre as médias das diferentes variáveis. Foi então estudado o grau de associação entre variáveis através da correlação de spearman. Por fim, foi utilizado o modelo de regressão log-linear para verificar a existência de uma relação entre as várias naturezas de custos e os índices de continuidade. Com base neste modelo foram simulados dois cenários para estimar o impacto da maximização da continuidade de cuidados nas várias naturezas de custos. Conclusões: No geral, verifica-se uma relação muito ligeira entre a continuidade de cuidados e os custos. Mais especificamente, uma relação mais duradoura entre o médico e o doente resulta numa poupança de custos, independentemente da tipologia. Analisando a densidade da relação, observa-se uma relação positiva entre a mesma e os custos totais e o custo com Meios Complementares de Diagnóstico e Terapêutica (MCDT). Contudo verifica-se uma relação médico-doente negativa entre a densidade e os custos com medicamentos e com pessoal. Ao analisar o impacto da continuidade de cuidados nos custos, conclui-se que apenas a duração da relação médico-doente tem um impacto negativo em todas as categorias de custos, exceto o custo com medicamentos. A densidade de cuidados tem um impacto negativo apenas no custo com pessoal, influenciando positivamente as outras categorias de custos. Extrapolando para o nível nacional se o nível de densidade de uma relação fosse maximizado, existiria uma poupança de 0,18 euros, por ano, em custos com pessoal.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This case study deals with the reasons why the Portuguese Footwear Cluster evolved from a small industry focused on the Portuguese internal market into a high-tech industry capable of designing and producing some of the best and most expensive shoes in the world. It went from using the low labor costs of an under-developed economy to produce long series of shoes for pre-designated brands in Northern Europe to having the ability to produce some of the highest quality shoes in the world, in small orders, designed and delivered in record timing, while offering a service of excellence. In 1960, when Portugal became a founding member of EFTA, the footwear industry in Portugal was globally irrelevant, producing low quality shoes directed to the puny internal market and its African colonies. The new free trade zone with economies much more developed that itself, led to the transfer of the labor-intensive, low skilled manufacture from the UK and Scandinavian countries to Portugal. Mostly through joint ventures, the industry was able to mechanize itself so it could produce shoes in long series at low prices. It grew based on that model up until the 1990s, when the emergence of the Asian countries meant either a different strategy or extinction. Taking advantage of a clarified leadership of its trade association, it used the European funds made available to it during the 1990s, to modernize its factory floors, so it could become more nimble and flexible, expand its design capabilities and dramatically change its image abroad. The role of the trade association, APICCAPS, was instrumental throughout the process going well beyond what came to be expected of trade associations. It used its privileged position to provide understanding regarding the current situation and competitive landscape, alerting for changes ahead and at the same time providing a strategic vision on how to deal with the challenges. Moreover, it helped companies get the resources they needed by creating a research center in collaboration with a University, by creating a process that allowed companies to learn from each other via the show casing of projects sponsored by the association or by helping industrials traveling to locations where new customers could be found. The case study provides insight on how the trade association leadership, which has no formal authority over its members, was able to guide and motivate an industry through a consistent positive approach. That approach focused on the solutions, on the opportunities and on the success stories of companies in the cluster rather than on what was wrong or needed to be addressed. Based on this case, one could use the leadership role of the trade association to discuss and change leaders’ roles and styles in other sectors or even companies.