983 resultados para Vehicle Departure Model
Resumo:
In recent years, progress has been made in modelling long chain branched polymers by the introduction of the so-called pompom model. Initially developed by McLeish and Larson (1998), the model has undergone several improvements or alterations, leading to the development of new formulations. Some of these formulations however suffer from certain mathematical defects. The purpose of the present paper is to review some of the formulations of the pom-pom constitutive model, and to investigate their possible mathematical defects. Next, an alternative formulation is proposed, which does not appear to exhibit mathematical defects, and we explore its modelling performance by comparing the predictions with experiments in non-trivial rheometric flows of an LDPE melt. The selected rheometric flows are the double step strain, as well as the large amplitude oscillatory shear experiments. For LAOS experiments, the comparison involves the use of Fourier-transform analysis.
Resumo:
This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.
Resumo:
Objective: To test a conceptual model linking parental physical activity orientations, parental support for physical activity, and children's self-efficacy perceptions with physical activity participation. Participants and Setting: The sample consisted of 380 students in grades 7 through 12 (mean age, 14.0 +/- 1.6 years) and their parents. Data collection took place during the fall of 1996. Main Outcome Measures: Parents completed a questionnaire assessing their physical activity habits, enjoyment of physical activity, beliefs regarding the importance of physical activity, and supportive behaviors for their child's physical activity. Students completed a 46-item inventory assessing physical activity during the previous 7 days and a 5-item physical activity self-efficacy scale. The model was tested via observed variable path analysis using structural equation modeling techniques (AMOS 4.0). Results: An initial model, in which parent physical activity orientations predicted child physical activity via parental support and child self-efficacy, did not provide an acceptable fit to the data. Inclusion of a direct path from parental support to child physical activity and deletion of a nonsignificant path from parental physical activity to child physical activity significantly improved model fit. Standardized path coefficients for the revised model ranged from 0.17 to 0.24, and all were significant at the p < 0.0001 level. Conclusions: Parental support was an important correlate of youth physical activity, acting directly or indirectly through its influence on self-efficacy. Physical activity interventions targeted at youth should include and evaluate the efficacy of individual-level and community-level strategies to increase parents' capacity to provide instrumental and motivational support for their children's physical activity.
Resumo:
This paper presents a new model based on thermodynamic and molecular interaction between molecules to describe the vapour-liquid phase equilibria and surface tension of pure component. The model assumes that the bulk fluid can be characterised as set of parallel layers. Because of this molecular structure, we coin the model as the molecular layer structure theory (MLST). Each layer has two energetic components. One is the interaction energy of one molecule of that layer with all surrounding layers. The other component is the intra-layer Helmholtz free energy, which accounts for the internal energy and the entropy of that layer. The equilibrium between two separating phases is derived from the minimum of the grand potential, and the surface tension is calculated as the excess of the Helmholtz energy of the system. We test this model with a number of components, argon, krypton, ethane, n-butane, iso-butane, ethylene and sulphur hexafluoride, and the results are very satisfactory. (C) 2002 Elsevier Science B.V. All rights reserved.
Resumo:
The kinetics of chain reactions of octanedithiol with styrene, thermally initiated with TX29B50 (a 50:50 wt% solution of TX29 diperoxy initiator in a phthalate plasticizer), have been studied over a range of initiator concentrations, a range of mixture formulations and a range of temperatures. This system has been investigated as a model system for the reactions of polyfunctional thiols with divinyl benzene. The reactions have been shown to follow first-order kinetics for both the thiol and the ene species and to be characterized by a dependence on the initiator concentration to the power of one half. The kinetic rate parameters have been shown to adhere to Arrhenius behaviour. A kinetic model for the chain reactions for this system has been proposed. (C) 2003 Society of Chemical Industry.
Resumo:
The use of a fitted parameter watershed model to address water quantity and quality management issues requires that it be calibrated under a wide range of hydrologic conditions. However, rarely does model calibration result in a unique parameter set. Parameter nonuniqueness can lead to predictive nonuniqueness. The extent of model predictive uncertainty should be investigated if management decisions are to be based on model projections. Using models built for four neighboring watersheds in the Neuse River Basin of North Carolina, the application of the automated parameter optimization software PEST in conjunction with the Hydrologic Simulation Program Fortran (HSPF) is demonstrated. Parameter nonuniqueness is illustrated, and a method is presented for calculating many different sets of parameters, all of which acceptably calibrate a watershed model. A regularization methodology is discussed in which models for similar watersheds can be calibrated simultaneously. Using this method, parameter differences between watershed models can be minimized while maintaining fit between model outputs and field observations. In recognition of the fact that parameter nonuniqueness and predictive uncertainty are inherent to the modeling process, PEST's nonlinear predictive analysis functionality is then used to explore the extent of model predictive uncertainty.
Resumo:
This paper describes the modification of a two-dimensional finite element long wave hydrodynamic model in order to predict the net current and water levels attributable to the influences of waves. Tests examine the effects of the application of wave induced forces, including comparisons to a physical experiment. An example of a real river system is presented with comparisons to measured data, which demonstrate the importance of simulating the combined effects of tides and waves upon hydrodynamic behavior. (C) 2002 Elsevier Science Ltd. All rights reserved.
Resumo:
The presence of toxic cyanobacteria in drinking water reservoirs renders the need to develop treatment methods for the 'safe' removal of their associated toxins. Chlorine has been shown to successfully remove a range of cyanotoxins including microcystins, cylindrospermopsin and saxitoxins. Each cyanotoxin requires specific treatment parameters, particularly solution pH and free chlorine residual. However, currently there has not been any investigation into the toxicological effect of solutions treated for the removal of these cyanotoxins by chlorine. Using the P53(def) transgenic mouse model mate and female C57BL/6J hybrid mice were used to investigate potential cancer inducing effects from such oral dosing solutions. Both purified cyanotoxins and toxic cell-free extract cyanobacterial solutions were chlorinated and administered over 90 and 170 days (respectively) in drinking water. No increase in cancer was found in any treatment. The parent cyanotoxins, microcystins, cylindrospermopsin and saxitoxins were readily removed by chlorine. There was no significant increase in the disinfection byproducts trihalomethanes or haloacetic acids, levels found were well below guideline values. Histological examination identified no effect of treatment solutions except male mice treated with chlorinated cylindrospermopsin (as a cell free extract). In this instance 40% of males were found to have fatty vacuolation in their livers, cause unknown. It is recommended that further toxicology be undertaken on chlorinated cyanobacterial solutions, particularly for non-genotoxic carcinogenic compounds, for example the Tg. AC transgenic mouse model. (C) 2003 Elsevier Science Ltd. All rights reserved.
Resumo:
O objetivo desta pesquisa foi levantar os motivos que influenciam a evasão discente em quatro cursos de graduação da Universidade Federal do Espírito Santo. A reestruturação universitária proposta pelo REUNI - Programa de Apoio a Planos de Expansão das Universidades Federais serviu como contexto ao estudo, pois instituiu diretrizes para o combate à evasão no ensino superior. O modelo de evasão de cunho sociológico proposto por Tinto (1997) baseou as análises realizadas nesta pesquisa porque toma a instituição como responsável por ações capazes de criar um ambiente de aprendizado necessário à permanência do estudante. A pesquisa de campo quali-quantitativa foi realizada com os alunos evadidos e com os coordenadores dos cursos de Administração Diurno e Ciências Contábeis Noturno e dos novos cursos Administração Noturno e Ciências Contábeis Vespertino. Foram alcançados 95 alunos evadidos e os quatro coordenadores, sendo aplicado questionário semiaberto aos alunos evadidos e feitas entrevistas semiestruturadas com os coordenadores. Dados do sistema acadêmico (SIE/UFES) foram utilizados para o levantamento das variáveis. Os números fornecem evidências de que o resultado da aprendizagem traduzido pelo desempenho acadêmico torna-se um forte causador da evasão por abandono. O baixo coeficiente de rendimento relacionou-se ao desligamento por abandono na maioria dos casos. Em relação às formas de evasão, a desistência e o desligamento por abandono totalizaram 87,4% dos casos, com maior incidência de evasão no segundo e terceiro ano do curso. O ponto crítico da evasão parece confirmar-se do 2º ao 5º semestre e 62% dos casos de evasão que se situaram nesse lapso temporal apresentaram coeficiente de rendimento de 0,00 a 3,00. Os resultados evidenciaram os motivos que mais influenciaram os alunos a deixar o curso: i) a necessidade de trabalhar enquanto frequentava o curso, ii) a descoberta de novos interesses; iii) a incompatibilidade entre os horários do trabalho e do curso; iv) a escolha da carreira profissional ainda muito jovem e v) a falta de orientação aos alunos sobre normas, penalidades, planejamento do curso, periodização, etc. e deficiências na comunicação institucional.
Resumo:
Utilizar robôs autônomos capazes de planejar o seu caminho é um desafio que atrai vários pesquisadores na área de navegação de robôs. Neste contexto, este trabalho tem como objetivo implementar um algoritmo PSO híbrido para o planejamento de caminhos em ambientes estáticos para veículos holonômicos e não holonômicos. O algoritmo proposto possui duas fases: a primeira utiliza o algoritmo A* para encontrar uma trajetória inicial viável que o algoritmo PSO otimiza na segunda fase. Por fim, uma fase de pós planejamento pode ser aplicada no caminho a fim de adaptá-lo às restrições cinemáticas do veículo não holonômico. O modelo Ackerman foi considerado para os experimentos. O ambiente de simulação de robótica CARMEN (Carnegie Mellon Robot Navigation Toolkit) foi utilizado para realização de todos os experimentos computacionais considerando cinco instâncias de mapas geradas artificialmente com obstáculos. O desempenho do algoritmo desenvolvido, A*PSO, foi comparado com os algoritmos A*, PSO convencional e A* Estado Híbrido. A análise dos resultados indicou que o algoritmo A*PSO híbrido desenvolvido superou em qualidade de solução o PSO convencional. Apesar de ter encontrado melhores soluções em 40% das instâncias quando comparado com o A*, o A*PSO apresentou trajetórias com menos pontos de guinada. Investigando os resultados obtidos para o modelo não holonômico, o A*PSO obteve caminhos maiores entretanto mais suaves e seguros.
Resumo:
Diversos fatores têm contribuído para o aumento da demanda por transporte ferroviário no Brasil. Dentre eles, citam-se: o aumento das exportações brasileiras nos últimos anos e a aprovação do novo marco regulatório para o setor ferroviário brasileiro que permitiu o uso da capacidade ociosa das ferrovias e o compartilhamento da malha por diversos operadores. Investimentos para construção de novas ferrovias e melhorias nas já existentes são muito elevados, o que dificulta a implantação de novos projetos. Assim, faz-se necessário melhorar o planejamento da circulação de trens visando o aumento de capacidade sem a necessidade de novos investimentos, otimizando o uso da estrutura já existente. Esta dissertação tem como objetivo propor um modelo matemático para realizar o planejamento da circulação de trens em uma ferrovia de linha singela, que minimize o transit time, isto é, o tempo total de viagem de todos os trens e consequentemente reduza o tempo parado em pátios de cruzamento. O modelo proposto permite que os trens sejam atrasados ou adiantados na partida visando reduzir o tempo parado em pátios de cruzamento. O modelo é resolvido de forma ótima usando o solver CPLEX 12.6. Foram realizados testes com dados reais da Ferrovia Centro Atlântica (FCA) e os resultados alcançados pelo CPLEX foram comparados com os resultados do planejamento manual da FCA. O modelo obteve redução do tempo de viagem dos trens em todos os cenários testados.
Resumo:
This article recommends a new way to improve Refugee Status Determination (RSD) procedures by proposing a network society communicative model based on active involvement and dialogue among all implementing partners. This model, named after proposals from Castells, Habermas, Apel, Chimni, and Betts, would be mediated by the United Nations High Commissioner for Refugees (UNHCR), whose role would be modeled after that of the International Committee of the Red Cross (ICRC) practice.