Program Refinement
Mostrando 1-12 de 29 artigos, teses e dissertações.
-
1. Fatigue analysis and life prediction of composite highway bridge decks under traffic loading
Steel and composite (steel-concrete) highway bridges are currently subjected to dynamic actions of variable magnitude due to convoy of vehicles crossing on the deck pavement. These dynamic actions can generate the nucleation of fractures or even their propagation on the bridge deck structure. Proper consideration of all of the aspects mentioned pointed our t
Lat. Am. j. solids struct.. Publicado em: 2013-05
-
2. Simulação computacional de escoamentos reativos com baixo número Mach aplicando técnicas de refinamento adaptativo de malhas / Computational simulation of low Mach number reacting flows applying adaptive mesh refinement techniques.
It is the main goal of the present work to extend a numerical methodology based on both the use of an adaptive mesh refinement technique (AMR) and the use of a multistep, implicit-explicit time-step strategy (IMEX) to applications involving low Mach number reactive flows. Originally developed for incompressible flows, the Eulerian formulation of that methodo
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/06/2012
-
3. Modelagem do comportamento estrutural estático e dinâmico de lajes nervuradas de concreto armado. / Modeling the static and dinamic structural behavior of reinforced concret slabs.
Several researchers have studied the use of reinforced concrete ribbed slabs in civil engineering structural systems that can be viable when the technical and economical point of view is considered. For this reason, a lot of papers were published in the last years based on the experimental and numerical analysis of this slab type. In this context, several sl
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/01/2012
-
4. O planejamento econômico no Brasil: considerações críticas
In the past thirty years, a series of plans have been developed by successive Brazilian governments in a continuing effort to maximize the nation's resources for economic and social growth. This planning history has been quantitatively rich but qualitatively poor. The disjunction has stimulated Professor Mello e Souza to address himself to the problem of nat
Rev. Adm. Pública. Publicado em: 2012-12
-
5. Especificação de sistemas utilizando lógica linear com subexponencias
Logic programming is defined as the use of logic formulas representing programs and proof search of these formulas as the execution of the program (computation). This is an interesting paradigm because of the specifications formality, which is inherited from the logic itself and facilitates the proof of some properties that would not be so obvious if the pro
Publicado em: 2010
-
6. Work and working in a rehabilitation team from the Family Health Program in São Paulo City / O trabalho e o trabalhador de uma equipe de reabilitação no Programa Saúde da Família do município de São Paulo
The performance of a rehabilitation team together with the Family Health Program (FHP), begun in the city of São Paulo in 2001, launches a unique service to attend people with deficiencies in primary care. Such service aims to establish a consciousness of protection of the rights of disabled people in order to dismantle the process of social exclusion by cr
Publicado em: 2009
-
7. A Model-driven Approach to Formal Refactoring
Refactoring object-oriented software, as any other evolutionary tasks usually affects source code and object models, burdening developers to keep those artifacts correct and up to date Due to the gap between modeling and programming artifacts, refactoring efforts soon become duplicate and considerably expensive. In this context, currently used tool support,
Publicado em: 2008
-
8. Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais. / A refinement method for embedded software development: a based UML-RT and formal specification approach.
Neste trabalho é apresentado um método de refinamento para especificações de sistemas embarcados, baseado na linguagem de especificação gráfica UML-RT e na linguagem de especificação formal CSP-OZ. A linguagem UML-RT é utilizada para descrever a arquitetura de sistemas de tempo real distribuídos e esses mapeados para uma especificação formal atr
Publicado em: 2007
-
9. Monitoração de procedimentos em um tesauro multilíngüe
Abstract: To build a thesaurus with synonyms-based classes and include acceptions in medical domain is not a trivial task, due to the inherent terminology complexity. In this dissertation we show some highlighted problems present in the manual mode thesaurus construction and describe an approach to help the lexicographers in its construction and maintenance
Publicado em: 2006
-
10. ArcAngel: a Tactic Language For Refinement and its Tool Support / ArcAngel: a Tactic Language For Refinement and its Tool Support
O cÃlculo de refinamentos à uma tÃcnica moderna para o desenvolvimento e implementaÃÃo de programas de uma maneira precisa, completa e consistente. A partir de uma especificaÃÃo formal, nÃs produzimos um programa que implementa corretamente a especificaÃÃo atravÃs de repetidas aplicaÃÃes de regras de transformaÃÃo, tambÃm chamadas de leis de
Publicado em: 2002
-
11. Analise wavelet na simulação numerica de equações diferenciais parciais com adaptabilidade espacial
Motivated by the phenomena models in Meteorology and similar areas, the work of this thesis was developed with the objective to fonnulate a numerical method, with space adaptabitity, suitable for the computational time evolution partial differencial equation simulation. The results presented in this research enhance the properties of detection of singular st
Publicado em: 2001
-
12. Determination of the crystallographic structure of the human glucose-6-phosphate isomarase by x-ray diffraction / Determinação da estrutura cristalográfica por difração de raios-x da enzima glicose 6-fosfato isomerase humana
This work is presented as part of the Master degree requirements of the Applied Physics program, Biomolecular Physics area. The purpose of this work is the structural study by of the human glucose-6-phosphate isomerase (PGI-hum). This work has involved mainly three areas: Molecular Biology, Biochemistry and Crystallography. The Molecular Biology work was int
Publicado em: 2001