A complexa arquitetura de um plano de ação para a justiça do Estado do Rio de Janeiro

Quando os valores são muito resistentes à mudança, os planejadores sociais preferem usar a lei, a fim de proporcionar comportamentos novos, mesmo que não sejam acompanhados da mudança na atitude. A Reforma do Judiciário é analisada como fator para sustentar o crescimento econômico e social dos países em desenvolvimento.

Uma tradução de gramáticas de hipergrafos baseadas em objetos para cálculo-π

O aumento da escala e funcionalidade dos sistemas de computação e sua crescente complexidade envolvem um aumento significante de custos e exigem recursos humanos altamente qualificados para o desenvolvimento de software. Integrando-se o uso de métodos formais ao desenvolvimento de sistemas complexos, permite-se realizar análises e verificações destes sistemas, garantindo assim sua correção. Existem diversos formalismos que permitem descrever sistemas, cada qual com diferentes níveis de abstração. Quando consideramos sistemas complexos, surge a necessidade de um modelo que forneça construções abstratas que facilitem o entendimento e a especificação destes sistemas. Um modelo baseado em objetos fornece um nível de abstração que tem sido muito aplicado na prática, onde os dados e os processos que os manipulam são descritos juntos em um objeto. Gramática de Grafos Baseada em Objetos (GGBO) é um modelo baseado em objetos, que além de ser uma linguagem visual, apresenta a vantagem de as especificações adquirirem um estilo baseado em objetos, que é bastante familiar à maioria dos desenvolvedores. Porém, as GGBOs não possuem ainda ferramentas para verificação automática de propriedades desejadas nos sistemas modelados. Uma alternativa para resolver isso é definir uma tradução (que preserve a semântica) desta linguagem para outra, para a qual existam verificadores automáticos. Um formalismo bastante conhecido e estabelecido para descrição de sistemas concorrentes, para o qual existem verificadores automáticos, é o cálculo-π. Porém, sob o aspecto de especificação de sistemas complexos, GGBOs parecem ser mais adequadas como linguagem de especificação que o cálculo-π, pois são visuais, mais intuitivas e possuem um estilo baseado em objetos. Neste trabalho foi definido um formalismo (baseado nas GGBOs), denominado Gramática de Hipergrafos Baseada em Objetos e uma tradução deste formalismo para o cálculo-π, aliando assim as vantagens desses dois métodos. Além disso, para validar a tradução definida, foram feitas provas de que a semântica das gramáticas de hipergrafos baseadas em objetos é preservada na tradução.

Estudo da susceptibilidade à corrosão sob tensão e à corrosão : fadiga do aço API X65 aspergido termicamente utilizado em componentes offshore

Aços de alta resistência mecânica, aspergidos termicamente, são os materiais mais adequados para garantir o bom desempenho de certos componentes de plataformas offshore, expostos a situações severas de carregamento em água do mar. A literatura apresenta vários estudos relativos ao efeito combinado entre esforços mecânicos e o meio agressivo, em aços de alta resistência, entretanto, poucos avaliam o desempenho desses aços aspergidos metalicamente. A susceptibilidade à corrosão sob tensão e à corrosão-fadiga, de um aço de alta resistência mecânica aspergido termicamente, empregado em componentes de plataformas offshore, foi avaliada mediante as técnicas de ensaio de tração com baixa taxa de deformação, ensaio de fadiga por flexão em três pontos e metalografia da fratura. Os ensaios foram realizados em água do mar sintética ao potencial de corrosão e à um potencial catódico, utilizando-se amostras de aço revestidas termicamente com zinco e alumínio pelo processo de aspersão com plasma spray. O comportamento de amostras ensaiadas ao ar foi usado como parâmetro para avaliação do desempenho do aço em água do mar. Os resultados obtidos indicam que o aço revestido é susceptível à corrosão sob tensão e à corrosão fadiga em água do mar, sendo que o mecanismo de fragilização envolve a ruptura prematura dos revestimentos e a participação do hidrogênio.

Influência da estrutura da taxa de juros no custo de capital das empresas

O grande objetivo do trabalho é estabelecer uma ligação entre teoria econômica e teoria financeira. Dessa forma, partindo-se de conceitos históricos de taxa de juros, chega-se à determinação de sua estrutura. A partir desse ponto são analisados alguns fatores que orientam essas taxas em diferentes direções. Após uma pesquisa bibliográfica a respeito de custo de capital, procura-se demonstrar, através da evolução de alguns índices financeiros, a infuência das taxas de juros no custo de capital das empresas

Sertralina e buspirona na cessação do tabagismo : ensaio clínico randomizado em fumantes sem depressão

Resumo não disponível.

Uso de animações visando a aprendizagem significativa de física térmica no ensino médio

Neste projeto utilizamos tecnologias educacionais – vídeos, animações e simulações interativas de eventos físicos - como atividades complementares às aulas expositivas e demonstrativas, visando a aprendizagem significativa de Física Térmica no ensino médio. As tecnologias foram utilizadas na sala de informática, onde era possível a interação do aluno com a simulação. Para tanto, produzimos um hipertexto sobre os conteúdos de Física Térmica abordados, incluindo muitas figuras, animações e vídeos. Este trabalho teve como referencial teórico a teoria de aprendizagem significativa de David Ausubel, cuja principal característica é levar em conta o conhecimento prévio do aprendiz. Uma experiência didática foi realizada com o material produzido, envolvendo os alunos do segundo ano da Escola Estadual André Leão Puente, sendo que destes, 58 alunos – grupo experimental - foram submetidos às atividades complementares e os demais, 53 alunos – grupo de controle – foram submetidos somente ao método tradicional. Os resultados mostram que houve melhorias estatisticamente significativas no desempenho dos alunos do grupo experimental, quando comparado aos estudantes do grupo de controle. A motivação para aprender, gerada pelas atividades complementares, e constatada por um questionário de avaliação, pode ter sido fundamental para atingir esses resultados. O hipertexto produzido e um teste para avaliação dos conhecimentos de Física Térmica estão incluídos no CD-rom, que integra esta dissertação, e poderá ser utilizado livremente por professores e alunos.

Gestão de custo hospitalar : estudo de casos no município de São Paulo

Aborda características organizacionais que operam cmo condições críticas para a implantação de sistemas de custo hospitalar. Destaca como determinadas condições internas às organizações afetam o processo de implementação, gestão e utilização dos sitemas de custos como instrumento de tomada de decisão na gestão hospitalar. Com base nos resultados de dois estudos de casos do munícípio de São Paulo, identificou-se que, tanto no setro público quanto no privado , a efetiva gestão de custos no segmento hospitalar parece estar condicionada a características relacionadas ao grau de implementação de sistemas de custo, à dinâmica do fluxo de informação e à utilização de sistemas informatizados

Prevalência de depressão pós-parto na cidade de Porto Alegre e seus fatores de risco

Resumo não disponível

Análise da complexidade computacional de problemas de estatística descritiva com entradas intervalares

A Estatística é uma ferramenta indispensável em todos os campos científicos. A Estatística descritiva é usada para sintetizar dados. O principal problema desta área está relacionado aos valores de uma amostra, os quais geralmente possuem erros que ocorrem durante a obtenção dos dados. Um dos objetivos deste trabalho é apresentar uma forma de representação para os valores amostrais que considera os erros contidos nestes valores. Esta representação é realizada através de intervalos. A literatura mostra que foram realizadas pesquisas somente em problemas de calcular os valores intervalares das medidas de dispersão variância, covariância e coeficiente de correlação, que a utilização da computação intervalar na solução de problemas de medidas de dispersão intervalar sempre fornece solução com intervalos superestimados (intervalos com amplitude grande), e que ao procurar uma solução com intervalos de amplitude pequena (através da computação da imagem intervalar), o problema passa a pertencer a classe de problemas NP-Difícil. Com o objetivo principal de analisar a complexidade computacional dos problemas de computar os valores dos indicadores estatísticos descritivos com entradas intervalares, e realizar uma classificação quanto a classe de complexidade, a presente tese apresenta: i) definições intervalares de medidas de tendência central, medidas de dispersão e separatrizes; ii) investigação da complexidade de problemas das medidas de tendência central média, mediana e moda, das medidas de dispersão amplitude, variância, desvio padrão, coeficiente de variação, covariância, coeficiente de correlação e das separatrizes e iii) representação intervalar dos valores reais, de tal modo que garante a qualidade de aproximação nos intervalos solução calculado através da extensão intervalar Primeiramente, apresentamos uma abordagem intervalar para os indicadores estatísticos e propomos algoritmos para a solução dos problemas de computar os intervalos de medidas de tendência central intervalar, dispersão intervalar e separatrizes intervalares. Tais algoritmos utilizam a aritmética intervalar definida por Moore, a extensão intervalar e foram projetados para serem executados em ambientes intervalares como IntLab e Maple Intervalar. Por meio da análise da complexidade computacional verificamos que os problemas de medidas de tendência central, dispersão e separatrizes, com entradas intervalares, pertencem à classe de problemas P. Este trabalho apresenta, portanto, algoritmos de tempo polinomial que calculam os intervalos dos indicadores estatísticos com entradas intervalares, e que retornam como solução intervalos com qualidade de aproximação. Os resultados obtidos no desenvolvimento do trabalho tornaram viável a computação da Estatística Descritiva Intervalar.

Representação e Anáilse de Gramáticas de Grafos

Os sistemas computacionais estão tomando proporções cada vez maiores envolvendo situações bastante complexas, onde muitas vezes erros são inaceitáveis, como em sistemas bancários, sistemas de controle de tráfego aéreo, etc... Para obter software confiável e com desempenho aceitável, pode-se aliar técnicas de desenvolvimento formal de software a técnicas de simulação de sistemas. O ambiente PLATUS reúne essas duas áreas: modelos de simulação são descritos usando gramáticas de grafos uma linguagem de especificação formal. Gramáticas de grafos são uma generalização de gramáticas de Chomsky, substituindo strings por grafos. Neste trabalho, serão tratadas gramáticas de grafos baseados em objetos, um modelo onde vértices e arcos são tipados, e as especificações são modulares (a especificação de um sistema consiste em várias gramáticas de grafos combinadas). Assim, o modelo de um sistema pode ser descrito de forma precisa, e a linguagem de especificação é bastante abstrata e expressiva. Num ambiente de simulação a questão da recuperação de dados merece uma atenção especial, uma vez que a eficiência do simulador está diretamente ligada a agilidade na obtenção das informações. Neste trabalho, o objetivo principal é definir uma representação para gramáticas de grafos que facilite o armazenamento, a recuperação e análise das estruturas identificadas no ambiente PLATUS, ou seja, gramáticas de grafos baseadas em objetos. São definidas também funções que implementam os procedimentos necessários, para a recuperação de dados durante a simulação. A eficiência dessas funções é demonstrada através do cálculo de sua ordem de complexidade. As estruturas são validadas através da implementação de um protótipo de banco de dados.