No description available.

No description available.

No description available.

Orientador: Tamotsu Hirata / Banca: Mauro Pedro Peres / Banca: marcos Valério Ribeiro / Resumo: O problema da modelagem da locomoção humana tem atraído a atenção de pesquisadores por muitos anos. A compreensão, análise e avaliação da marcha humana oferecem dados importantes para o uso de próteses dos membros inferiores. O objetivo deste trabalho é apresentar um modelo matemático da marcha humana, através de um modelo simplificado do corpo humano para que sirva de referência no trabalho de adaptação ao uso de próteses. O desenvolvimento da modelagem, parte da geometria dos membros inferiores num sistema de referência bidimensional e utiliza o princípio da diferença entre as energias cinética e potencial do sistema, ou seja, o método de Lagrange, introduzido na forma matricial. O modelo é representado na fase de oscilação, por dois segmentos interconectados com massas concentradas que oscila como um pêndulo duplo. Na fase de apoio é representado por três segmentos interconectados com massas concentradas que se movimenta como um pêndulo triplo invertido. Obtidas as equações que representam o modelo, os torques nas articulações do tornozelo, joelho e quadril são obtidos e a simulação numérica é realizada no programa MATLAB. Os resultados dos torques calculados apresentaram coerências com os da literatura, porém, na fase de apoio diferenças significativas foram registradas. / Abstract: The problem of human locomotion modeling has been attracting the researcher attention for many years. The understanding, analysis and evaluation of the human locomotion provide important data for the use of prostheses in the inferior parts of the body. The aim of this issue is to present a mathematical model of the human locomotion through a simplified model of the human body so that it serves as reference in the adaptation for prostheses usage. The modeling was developed using the geometry of the inferior parts of the body in a system of bidimensional references and applies the principle of difference between kinetic energies and potential of the system, in other words, the method of Lagrange, introduced in the form matrix. The model is represented in the oscillation phase, for two segments interconnected with concentrated masses which oscillates as a double pendulum. In the support phase it is represented in three segments interconnected with concentrated masses which move as an inverted triple pendulum. Since the equations representing the model are provided, the torque in the articulations of the ankle, knee and hip are obtained and the numeric simulation is accomplished in the program MATLAB. The results of the calculated torque showed coherence with the one of the literature, however, in the support phase the significant differences were registered.

This paper examines the impact of model update/renewal among three German car manufactures BMW, Audi, and Mercedes-Benz. The data set controls for the year effect from 1970 to 2017, and the model effect of the nine different models. Using a fixed effect penal data model, it is concluded that the update will lift the sales of the models in the two years following the year of update. Additionally, the sales of competitor models will decrease in the year of the update, and the following year. Finally, by studying the year effect, it is observed that the new market release usually arrives in the expansion phase of the bigger market.

In geographical hydrology the~e has been more interest in scientific rather than in practical application of mathematical models of catchment hydrology. This thesis emphasizes the importance of examining the potential of developments in scientific research programmes for practical hydrological applications, and in particular provides discussion upon the following five issues: 1 The application of hydrological models to ungauged catchments where no historical streamflow record is available for calibration. 2 The potential of hydrological models for routine and operational application. This application limits the data and computer resources which are available for use. 3 The development and application of a thorough model evaluation strategy which examines the suitability of a model in the context of a specific application requirement. 4 The selection of a conceptually sound model structure. S The development and evaluation of a suitable methodology for the incorporation of the spatial variability of catchments into hydrological" models. To provide a basis for the discussion of these five issues, this thesis provides the details of the modification of a currently used hydrological model, RYMO. The modification of this model involves the replacement of the empirical curve number model for runoff derivation with a physically based parameter infiltration model. A number of comparisons of HYMO and the modified version, HYM02, indicates that conceptual, parameter estimation, prediction, and sensitivity improvements have indeed been secured by the development of the modified model.

Estruturas de tratamento de exceção são extremamente comuns em softwares desenvolvidos em linguagens modernas, como Java, e afetam de forma contundente o comportamento de um software quando exercitadas. Apesar destas duas características, as principais técnicas de verificação, teste de software e verificação formal, e as ferramentas a elas vinculadas, tendem a negligenciar o comportamento excepcional. Alguns dos fatores que levam a esta negligência são a não especificação do comportamento excepcional em termos de projeto e a consequente implementação das estruturas de tratamento com base no julgamento individual de cada programador. Isto resulta na não consideração de partes expressivas do código em termos de verificação e, consequentemente, a possibilidade de não serem detectados erros relativos tanto às próprias estruturas de tratamento quanto às estruturas de código vinculadas a estas. A fim de abordar este problema, propomos uma técnica, baseada em model checking, que automatiza o processo de exercício de caminhos excepcionais. Isto permite que seja observado o comportamento de um software quando da ocorrência de uma exceção. Pretendemos, com esta técnica, dar suporte para que seja aplicado aos caminhos que representam o comportamento excepcional de um software as mesmas técnicas de detecção de erros que são aplicadas aos caminhos que representam o comportamento normal e, com isso, agregar um aumento na qualidade do desenvolvimento de software. / Software developed in modern languages, such as Java, commonly present structures of exception handling. These structures, when exercised, may affect the software behavior. Despite these two characteristics, the main verification techniques, software testing and formal verification and the tools related to them, tend to neglect the exceptional behavior. The nonexistent specification of software exceptional behaviors at the design level, and, the subsequent implementation of exception handling based on the judgment of each programmer, are some factors that lead to this neglect. These factors result in the non-consideration of the expressive parts of the code in verification terms and, consequently, the impossibility of errors detection concerning either the exception treatment structures or the code structures linked to them. Taking this fact into consideration, we propose a technique based on the model checking process, which automates the process of exercising exceptional paths to address this problem. This allows the observation of the software behavior when an exception occurs. With this technique, we intend to support the application of the same error detection techniques for program normal behavior paths to the paths that represent the software exceptional behavior. Therefore, using the proposed technique, we aim to increase the software development quality.

Made available in DSpace on 2014-06-12T23:16:41Z (GMT). No. of bitstreams: 2 arquivo9043_1.pdf: 3666019 bytes, checksum: 8de16a0b018c98e5835509efad353569 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2004 / Universidade Federal de Pernambuco / A modelagem hidrológica das vazões de saída em uma bacia hidrográfica pode ser mais precisa quando se usa parâmetros distribuídos ao longo da bacia e se leva em consideração suas características fisiográficas. model TOPMODEL utiliza o modelo digital do terreno, leva em consideração a área de contribuição a montante de cada célula e a declividade da célula, incorporando-os no índice topográfico que representa a potencialidade da célula em saturar. Assim, de acordo com a precipitação pluviométrica, com o estado de saturação do solo e com o déficit hídrico das células, calcula-se a vazão na seção exutória da bacia estudada. Para resolver alguns problemas existentes em aplicações do TOPMODEL a casos reais, foi feito o desenvolvimento teórico para implantar a distribuição espacial do déficit hídrico máximo, e realizada a implementação computacional no modelo. Neste caso foi utilizado o modelo TOPSIMPL, uma variante do modelo TOPMODEL que utiliza apenas 4 parâmetros. Esta nova versão foi aplicada à bacia do riacho Gameleira, afluente do rio Tapacurá, em Pernambuco. Para isto foi elaborado o modelo digital de terreno, instalado um sistema de aquisição automática de dados e, ao longo de 32 meses, foram armazenados os dados de precipitação pluviométrica e vazão a cada minuto. Foi realizada a calibração e validação das duas versões do TOPSIMPL com alguns eventos chuvosos na bacia do Gameleira e os resultados mostraram que as vazões na seção exutória tem seus valores calculados bastante semelhantes, tanto na versão 2 como na versão nova. Entretanto a versão nova mostrou uma melhor representação do estado de saturação das células. O déficit máximo, com sua distribuição espacial, propicia a aplicação do modelo em regiões semi-áridas, como é o caso do nordeste brasileiro, onde a camada de solo é rasa e a mesma pode atingir o limite máximo do déficit

No description available.

No description available.