Categoria de grafos parciais com homomorfismos totais teoria e aplicações

O conceito de parcialidade e importante em diversas áreas como a Matemática e a Ciência da Computação; ele pode ser utilizado, por exemplo, para expressar computações que não terminam e para definir funções recursivas parciais. Com rela cão a grafos, categorias de homomorfismos parciais são comuns (por exemplo, em gramáticas de grafos com a técnica de single-pushout). Este trabalho propõe uma abordagem diferente: a parcialidade é usada na estrutura interna dos objetos (não nos morfismos).Istoéfeito utilizando uma extensão do conceito de Categoria das Setas, chamada de Categoria das Setas Parciais. E definida entãoa categoria Grp de grafos parciais(tais que arcos podem possuir ou não vértices de origem e/ou destino) e homomorfismos totais.A generalização deste modelo resulta em categorias de grafos parciais internos.Émostrado que Grp é bicompleta e, se C é um topos, a categoria dos grafos parciais internos a C é cocompleta. Grafos parciais podem ser utilizados para definir modelos computacionais tais como autômatos. Uma categoria de Autômatos Parciais, denominada Autp, é construída a partir da categoria de Grafos Parciais. Usando uma extensão de composição de spans de grafos para autômatos, chamada de Composição de Transições, e possível definir as computações de autômatos. Brevemente, uma composição de transi cões de dois autômatos parciais resulta em um autômato parcial onde cada transição representa um caminho de tamanho dois (entre vértices), tal que a primeira metade é uma transição do primeiro autômato e a segunda metade é uma transição do segundo. É possível compor um autômato consigo mesmo diversas vezes; no caso de n sucessivas composições de transições, pode-se obter as palavras da linguagem aceita pelo autômato que necessitam de n+1 passos de computação nos arcos que não possuem origem e nem destino definidos do autômato parcial resultante.

Podem os baixos salários ser apontados como uma das fontes de corrupção no setor público?: um estudo sobre os diferenciais de salário público/privado nos governos estaduais brasileiros

Na literatura econômica, encontramos o argumento de que as políticas salariais que resultem em uma remuneração inferior no setor público podem funcionar como um estímulo ao corrupt behavior por parte do funcionalismo público. No Brasil, a existência de fracos controles administrativos e a baixa punição corroboram para validade desta relação sem, porém existirem indícios de que o salário pago no setor público seja inferior ao praticado no setor privado. Diante disso, este trabalho tem como objetivo testar a dinâmica dos salários pagos pelos governos estaduais brasileiros de forma a verificar se o nível de remuneração praticado, comparativamente ao setor privado, pode ser apontado como um dos fatores que causem a corrupção no país. Para o desenvolvimento da pesquisa empírica, trabalhamos com os micro dados da PNAD para os vinte e seis estados brasileiros e o Distrito Federal entre os anos de 1995 a 2004. Os resultados foram calculados utilizando a técnica de Oaxaca (1973) onde foi estimada a existência de um diferencial de salários público privado. A estimativa dos diferenciais foi realizada para a media dos salários e também para diferentes coortes de renda através do emprego de Quantile Regression sendo que, de forma geral foi detectada a presença prêmios nos salários do funcionalismo público estadual em praticamente todas as regiões brasileiras. Com base nos resultados encontrados, este trabalho conclui que, dada sua inexistência não há indícios de que os baixos salários no setor público possam ser apontados como causa da corrupção nos governos estaduais brasileiros.

Equações de advecção-difusão: propriedades e comportamento assintótico

Neste trabalho, examinamos em detalhe resultados recentes apresentados em [Zingano, 1999], [Zingano, 2004], [Zingano, 1996a] [T. Hagstrom, 2004] sobre o comportamento de soluções para equações (escalares) de ad vecção-difusão nãolineares, da forma Ut + div(f(u)) = div(A(u)V'u), x E ]Rn, t > O correspondentes a estados iniciais u(., O) E LI(]Rn) n DXJ(JRn).Aqui, A(u) E ]Rn é uniformemente positiva definida para todos os valores de u em questão, e f( u) = (f1(u),..., fn(u)) corresponde ao fluxo advectivo, com A, f suaves. Entre os vários resultados, tem-se em particular os limites assintóticos . !!. (I_l) Iml (47rÀ)~ 11mt2 p Ilu(" t)IILP(JRn) = (4 À)!!. - , t-++oo 7r 2 P para cada 1 :::;P :::;00, uniformemente em p, bem como lim t~(l-i) Ilu(" t) - u(',t)IILP(JRn) = O, t-++oo 1:::; p:::; 00 para duas soluçõesu(', t), u(', t) quaisquer correspondentesa estados iniciais u(', O),u(', O)E LI (]Rn) n Loo(]Rn) com a mesma massa, isto é, r u(x, O)dx = r u(x,O)dx JJRn JJRn Outra propriedade fundamental, válida em dimensão n ;:::2, é lim t%(l-~) Ilu(" t) - v(', t) IILP(JRn) = O t-++oo para cada 1 :::;p :::; 00, se v(', t) é solução da equação de advecção-difusão linear Vt + f (O) . V'v= div(A(O)V'v), x E ]Rn, t > O, com u(', O),v(', O) E U(]Rn) n Loo(JRn) tendo a mesma massa. Outros resultados de interesse são também discutidos.

Comprovações parciais da contabilidade como procedimento de auditoria: uma análise exploratória em firmas de auditoria do Chile e do Brasil

The work describes the procedures used by auditing companies when they have to give their opinion, based only in partial checking of the accounting books. A comparative analysis of the procedures used by companies operating in Santiago (Chile) and Rio de Janeiro (Brasil) is deve loped. The study is structured in a manner that permit to address the following questions : Which are the sampling techniques used by auditing firms in Chile and Brasil? - Which are the problems faced by using these techniques? 11 there is any; What are the main differences between the techniques used by both type 01 firms? lhe bibliographic review summarizes the sources that 6upport the use 01 partial checking as an auditing procedure. The methodology described after in to be used and the reason for its use are this parto The results of the survey applied to companies are also shown . A1ter , the data analysis is presented, making possible a comparison of the sampling techniques used by the auditing 1irms from both countries. Finally, based on the results, the conclusions and comments are presented. Some curricula or professional career considerations for auditor s are a lso presented in this part.

Resultantes, equações polinomiais e o teorema de Bezout

A presente dissertação aborda uma técnica para determinar as soluções de sistemas de equações polinomiais. Esta técnica que é puramente algébrica, interliga tópicos da Matemática, como a Geometria Algébrica e a Álgebra Computacional. Mais especificamente, estudamos a teoria de Resultantes e suas aplicações. Começamos com a motivação de encontrar as raízes comuns de dois polinômios a uma variável, em seguida é estendida para o caso mais geral de várias variáveis. Estudamos detalhadamente como obter fórmulas para o cálculo do Resultante, como por exemplo a fórmula de Macaulay e de Poisson. A técnica para resolver sistemas de equações polinomiais é então apresentada. Terminamos apresentando uma prova de um caso particular do Teorema de Bezout, como aplicação da teoria de Resultantes. Este teorema é muito importante, pois fornece um número de soluções de um sistema de equações polinomiais.

Alguns aspectos numéricos e teóricos das equações de Navier-Stokes na modelagem do escoamento em torno de um vórtice

Neste trabalho desenvolvemos uma metodologia numérica para a solução do escoamento em torno de um vórtice. Como a análise completa deste tipo de fluxo não é uma tarefa fácil, simplificações quanto ao escoamento e ao método numérico são necessárias. Também investigamos o comportamento das soluções das equações governantes (Navier-Stokes) quando o tempo tende ao infinito. Nesse sentido, dividimos este trabalho em duas partes: uma numérica e outra analítica. Com o intuito de resolver numericamente o problema, adotamos o método de diferenças finitas baseado na formulação incompressível das equações governantes. O método numérico para integrar essas equações é baseado no esquema de Runge- Kutta com três estágios. Os resultados numéricos são obtidos para cinco planos bidimensionais de um vórtice com números de Reynolds variando entre 1000 e 10000. Na parte analítica estudamos taxas de decaimento das soluções das equações de Navier-Stokes quando os dados iniciais são conhecidos. Também estimamos as taxas de decaimento para algumas derivadas das soluções na norma L2 e comparamos com as taxas correspondentes da solução da equação do calor.

Alguns resultados para equação do calor e equações de advecção-difusão

Neste trabalho, são obtidas diversas propriedades (em especial, referentes ao comportamento ao t -+ +00) das soluções u(', t) da equação linear do calor, Ut = div(AV'u), x E JRn, t > O onde A E JRnxné uma matriz constante simétrica e positiva definida, correspondentes a estados iniciais p-somáveis, i.e., u(x, O) = uo(x), Uo E LP(JRn), onde 1 :::;p < 00. Em particular, é examinado o comportamento de Ilu(., t)IILP(lRn) ao t -+ +00, mostrando-se que Ilu(., t)IILl(lRn)-+ Ikn u(x, O)dXI quando p = 1, e Ilu(-' t)IILP(lRn)-+ O quando p > 1. São analisadas, também, as taxas de decaimento e o comportamento assintótico das soluções u(', t) de equações de advecção-difusão da forma Ut + divf(u) = div(A(u)V'u), x E JRn, t > O correspondentes a estados iniciais p-somáveis e limitados, i.e., u(x, O)= uo(x), u(', O) E LP(JRn) n LOO(JRn), onde 1 :::;p :::; 2. Novamente, é examinado o comportamento de Ilu(" t)IILP(lRn)ao t -+ +00, mostrando-se que Ilu(., t)IILl(lRn)-+ Ikn u(x, O)dxl quando p = 1, e Ilu(" t)IILP(lRn)-+ O quando p > 1. Várias outras propriedades importantes são também discutidas, seguindo principalmente [Silva, 2003], [Crandall e Tartar, 1980], [Hagstrom et al., 2003], [Zingano, 1999], [Zingano, 2004a], [Zingano, 2004b].

Sobre convexidade de conjuntos de nível de soluções de certas equações elípticas

Neste trabalho é estudada a convexidade dos conjuntos de nível das soluções de dois problemas envolvendo equações elípticas. O primeiro desses problemas se refere a uma equação da forma 4u = °(u) em um anel convexo, com condições de fronteira u = 0 na fronteira externa e u = 1 na fronteira interna. Para provar a existência de solução do problema utiliza-se o método variacional. O problema de mostrar a convexidade dos conjuntos de nível é transformado em um problema de maximizar uma certa função. O segundo problema considerado é o de mostrar que é log-côncava a primeira autofunção do laplaciano, que tenha como peso uma função côncava.

Avaliação da medida da cistatina C e das equações do estudo MDRD para estimar a taxa de filtração glomerular em indivíduos normais

A avaliação acurada da função renal através da medida da taxa de filtração glomerular (TFG) é fundamental na rotina clínica, pois é parte decisiva do diagnóstico e terapêutica. A recomendação atual da National Kidney Foundation (NKF) é o uso de equações que incluam a creatinina, idade, gênero e raça. No entanto a acurácia dessas equações tem sido questionada. Desta forma, investigadores ainda buscam um marcador ideal para analisar a função renal. Neste contexto, se encaixam os estudos com a cistatina C, uma substância endógena, que tem sido relatada como um indicador confiável e de fácil execução para esse propósito. A presente dissertação considerou a dosagem de cistatina C e a utilização da equação do MDRD para a avaliação da função renal em indivíduos saudáveis.

Um estudo sobre os diferenciais de remuneração entre os professores das redes pública e privada de ensino

O artigo investiga os diferenciais de remuneração entre os professores dos diversos níveis de ensino, das redes pública e privada. Analisando somente os salários, os diferenciais são na maior parte dos casos favoráveis ao setor privado. Esta conclusão se altera quando se calcula o Valor Presente do Contrato de Trabalho. O VPCT leva em consideração toda a renda auferida pelo docente, incluindo os salários recebidos durante a vida ativa e também a aposentadoria. O VPCT do ensino público é sempre mais elevado que o VPCT privado. Também são calculadas as Taxas Internas de Retorno (TIRs) da previdência social, cujos resultados mostram que os retornos do setor público são maiores que os do setor privado. Conclui-se que as diferentes regras de aposentadoria têm importância significativa nos rendimentos ao longo da vida dos docentes. Também se conclui que docentes da rede pública não recebem remuneração inferior a seus pares do setor privado.

Franchisor-franchisee relationship and performance: influence of personality traits, entrepreneurial drive, and time of relationship

A literatura em franchising tem virtualmente ignorado o papel de aspectos psicologicos nos resultados interorganizacionais das empresas, a despeito de sua influencia nos resultados das organizações e da qualidade de relacionamento. Este estudo, portanto, tem por objetivo analisar a influência da personalidade e do potencial empreendedor na qualidade de relacionamento e desempenho financeiro na relação franqueador-franqueado, ao longo do tempo, sob a perspectiva dos franqueados. Este estudo analisa também o papel do tempo de relacionamento sobre a qualidade de relacionamento e o desempenho financeiro. Foi utilizado neste estudo um questionário de auto-preenchimento, enviado por e-mail, com o objetivo de recolher dados de uma amostra de 342 franqueados de 3 redes de franquias. A personalidade foi mensurada por meio dos “Cinco Grandes” traços de personalidade (escalas IPIP-B5): extroversão, agradabilidade, consciencia, estabilidade emocional e imaginação. O potencial empreendedor foi mensurado por meio do índice CEI (Carland Entrepreneurship Index). A qualidade do relacionamento foi estruturada como um constructo de segunda ordem, composto por 23 itens (incorporando confiança, comprometimento e satisfação com o relacionamento), e o desempenho financeiro foi representado por meio de uma escala de mensuração de crescimento de vendas e de rentabilidade. O tempo de relacionamento foi medido por meio dos meses de relacionamento entre franqueado e franqueador. As hipoteses foram testadas por meio de modelagem por equações estruturais, com a utilização do método de mínimos quadrados parciais (PLS), análise de regressão e análise de médias. Três das cinco dimensões da personalidade apresentaram o efeito previsto sobre as variáveis qualidade do relacionamento – agradabilidade (positivamente), estabilidade emocional (positivamente), e imaginação (positivamente). O desempenho financeiro foi influenciado, como previsto por consciência (positivamente), estabilidade emocional (positivamente), e imaginação (positivamente). Como esperado, a qualidade do relacionamento apresentou efeito positivo e significativo em relação ao desempenho financeiro. O potencial empreendedor apresentou o efeito positivo previsto apenas sobre desempenho. O tempo de relacionamento teve o efeito positivo esperado sobre o relacionamento franqueador-franqueado, em relação à qualidade do relacionamento e o desempenho financeiro, mas as diferenças entre as fases de relacionamento propostas foram apenas parcialmente confirmadas, uma vez que em somente duas fases (rotina e estabilização) a análise de médias mostrou diferenças significativas. Os resultados indicam que a personalidade influencia a qualidade de relacionamento e o desempenho, mas a meneira pela qual isso ocorre é diferente no contexto brasileiro, onde esta pesquisa foi realizada, dos achados da pesquisa conduzida na Austrália, sugerindo que fatores como cultura e estabilidade de mercado podem ter influencia sobre a relação entre traços de personalidade e qualidade de relacionamento, e traços de personalidade e desempenho financeiro. O potencial empreendedor parece influenciar positivamente o desempenho do franqueado, mas a sua influência não foi significativa em relação à qualidade do relacionamento. Os resultados também indicam a importância do tempo no desenvolvimento da qualidade de relacionamento e desempenho. Além disso, os relacionamentos de longo prazo estão relacionados a melhores avaliações de qualidade de relacionamento e desempenho financeiros por parte dos franqueados. As limitações do trabalho e sugestões para estudos futuros também são discutidos.