Análise comparativa das readmissões hospitalares nas Unidades Locais de Saúde (ULS) e nos Hospitais

RESUMO - Introdução: Os modelos organizacionais de saúde baseados na gestão integrada de cuidados têm permitido melhorar os resultados em saúde. A taxa de readmissão hospitalar (um indicador de resultados) tem diminuído nas instituições que adotaram aquele modelo de gestão. Em Portugal, a criação das Unidades Locais de Saúde, representa a adoção de um modelo baseado na gestão integrada entre os cuidados de saúde hospitalares, primários e continuados, pelo que importa comparar a taxa de readmissões hospitalares entre os hospitais com esse modelo e os restantes Hospitais. Metodologia: Determinaram-se as readmissões não planeadas a 30 dias nos hospitais públicos portugueses do Continente durante 2013, segundo a metodologia do Centers for Medicare and Medicaid Service, que usa um algoritmo que identifica as readmissões que são habitualmente planeadas e podem ocorrer no prazo de 30 dias após a alta hospitalar. Foi calculada a taxa anual de readmissão por tipo de hospital e a sua frequência por género, faixa etária e para indivíduos com insuficiência cardíaca, doença pulmonar obstrutiva crónica, diabetes mellitus e hipertensão arterial. Resultados: Dos 692.211 episódios de internamento de 2013, 6,0% corresponderam a readmissões hospitalares não planeadas a 30 dias. Os episódios de internamento nas Unidades Locais de Saúde foram 72.725, sendo 6,6% readmitidos. Nos restantes Hospitais foram 619.486, sendo 6,0% readmitidos. A taxa de readmissão registada nos indivíduos do sexo masculino foi superior à do sexo feminino nas Unidades Locais de Saúde (7,6% vs. 6,0%) e nos restantes Hospitais (6,7% vs. 5,4%), não sendo esta diferença estatisticamente significativa (p> 0,05). Foram identificadas diferenças estatisticamente significativas (p <0,05) nas taxas de readmissão por faixa etária, sendo as pessoas com 65 anos ou mais as que apresentaram a maior taxa de readmissão nas Unidades Locais de Saúde (10,3%) e nos restantes Hospitais (10,0%). Quando analisadas as readmissões por patologia, nas Unidades Locais de Saúde os doentes com doença pulmonar obstrutiva crónica foram os que apresentaram a maior taxa de readmissão (17,5%) e os doentes com insuficiência cardíaca os que apresentaram a maior taxa de readmissão para os restantes Hospitais (16,4%). Conclusão: Em termos gerais, a frequência das readmissões nas Unidades Locais de Saúde é superior à dos restantes Hospitais. Os resultados obtidos podem indicar dificuldades na operacionalização do modelo de gestão adotado pelas Unidades Locais de Saúde, nomeadamente falhas na coordenação dos cuidados entre os diferentes níveis de prestação de cuidados.

Ecocardiografia por Doppler tecidual no diagnóstico de rejeição após transplante cardíaco

FUNDAMENTO: A biópsia endomiocárdica (BEM) é o método padrão-ouro para o diagnóstico de rejeição celular (RC) após transplante cardíaco (TC). OBJETIVO: Testar a hipótese de que o exame de imagem por Doppler tecidual (IDT) pode detectar RC > 3A e agregar informação diagnóstica, comparado ao Doppler convencional. MÉTODOS: Cinquenta e quatro pacientes com TC foram submetidos à BEM e estudo ecocardiográfico através de IDT em até 24 horas. Comparamos os pacientes com TC e RC > 3A com pacientes com TC e RC < 3A, com um grupo controle normal (13 pacientes). Foram medidas através da IDT, as velocidades sistólica (S), diastólica precoce (e'), diastólica tardia (a') relação das velocidades e'/a' no anel ventricular esquerdo, nos segmentos basal e médio das paredes septal (SEP), lateral (LAT), inferior (INF) e no anel ventricular direito. RESULTADOS: Os pacientes com TC mostraram RC > 3A em 39/129 (30,2%) das BEM. O melhor preditor isolado para o diagnóstico de RC foi a a'LAT, com sensibilidade de 76,3%, especificidade de 73,8% (p = 0,001). Na análise multivariada, a a'LAT (p = 0,001), a'SEP (p = 0,002), relação e'/a' LAT (p = 0,006), relação e'Mitral/ e'LAT (p = 0,014), SINF (p = 0,009) foram preditores de RC > 3A. Obtivemos um escore com sensibilidade de 88,2%, acurácia de 79,6%, e valor preditivo negativo de 92,9% para diagnosticar RC > 3A. O Doppler convencional (fluxo mitral e pulmonar venoso) não foi relevante para predizer a RC > 3A. CONCLUSÃO: O estudo de IDT agregou informação diagnóstica para predizer RC > 3A quando comparado ao Doppler convencional. O modelo baseado em IDT pode ser tornar um método em potencial para detectar RC > 3A após TC.

A PERCEÇÃO DE QUALIDADE DE SERVIÇO DOS CLIENTES EMPRESAS: O CASO BCA

O objetivo do presente trabalho foi estudar a perceção que os clientes empresas têm em relação a qualidade de serviço prestado por um Banco em Santiago, Cabo Verde. Procurou-se saber se existe gap entre as expetativas dos clientes e a perceção do serviço recebido. No estudo utilizou-se um dos modelos muito usado nos serviços de marketing, o SERVQUAL, desenvolvido por Parasuraman et al. (1985 e 1988). O modelo é baseado na perceção de gaps entre a qualidade de serviço recebido e esperado amplamente adotado para explicar a perceção da qualidade dos serviços pelos consumidores. No estudo utilizou-se um questionário estruturado com perguntas fechadas. Uma amostra de 90 empresas constitui o número de inquiridos. A pesquisa foi conduzida na ilha de Santiago, República de Cabo Verde. Cinco caraterísticas da qualidade de serviços foram analisadas: Tangibilidade, Confiabilidade, Atendimento, Segurança e Empatia. Ficou evidente que existe gap entre as expetativas e perceções das empresas inquiridas. A limitação do estudo prende-se com o tamanho da amostra e de estar restrito à ilha de Santiago, pertencente ao grupo de Sotavento do arquipélago de Cabo Verde.

Compressibilidade de três Latossolos em função da umidade e uso

Por meio do ensaio de compressibilidade, foram estudados os efeitos do manejo e da umidade na pressão de preconsolidação (σp) de três solos: Latossolo Vermelho-Amarelo, Latossolo Roxo e Latossolo Vermelho-Escuro sob cultura anual, mata natural e pastagem, na região de Lavras (MG), em duas profundidades (0-0,03 e 0,27-0,30 m). Para cada condição, foram coletadas cinco amostras indeformadas e uma deformada, com três repetições. As amostras, indeformadas e com diferentes umidades, foram utilizadas no ensaio de compressão uniaxial, obtendo-se as curvas de compressão, das quais foram extraídas as respectivas pressões de preconsolidação. Com as amostras deformadas, determinaram-se os limites de plasticidade e de contração, textura e matéria orgânica. Os modelos de compactação testados foram baseados na pressão de preconsolidação e na umidade do solo. Para uma mesma condição e profundidade, houve diferença significativa entre os valores dos teores de argila e areia nos três solos. Os valores da densidade do solo inicial (Ds i) foram estatisticamente diferentes para todas as condições na mesma profundidade, exceto na camada de 0-0,03 m para a cultura anual. À medida que a umidade do solo aumentou, a pressão de preconsolidação decresceu exponencialmente, indicando uma redução na capacidade de suporte de carga do solo. O LR apresentou, em geral, maior capacidade de suporte de carga do que o LE e LV. Essa maior capacidade de suporte de carga pode estar associada com o seu maior teor de argila e menor teor de areia. A capacidade de suporte de carga na zona de friabilidade variou de 154 a 167 kPa, para o LV; de 77 a 183 kPa, para o LR, e de 77 a 132 kPa, para o LE. As umidades 0,33 a 0,30 kg kg-1, 0,42 a 0,27 kg kg-1, e 0,35 a 0,33 kg kg-1 correspondem à faixa de friabilidade (LP - LC) do LV, LR e LE, respectivamente. O modelo baseado na história de tensão do solo evidenciou o efeito da compactação causada pelas máquinas de preparo do solo na camada de 0,27-0,30 m, para a cultura anual, enquanto, para a pastagem, ocorreu o efeito do pisoteio do gado na camada de 0-0,03 m.

Simulação do transporte e da sorção de imazaquin em colunas de solo

Dentre os métodos disponíveis para avaliar o comportamento de agrotóxicos no solo, destacam-se o método "batch" (análise em batelada) e o deslocamento miscível. O objetivo deste estudo foi avaliar a sorção e a mobilidade do imazaquin em solos com diferentes características químicas, físicas e mineralógicas, utilizando as técnicas de deslocamento miscível e "batch". Os ensaios foram realizados no laboratório de Ecotoxicologia do Centro de Energia Nuclear na Agricultura da Universidade de São Paulo (CENA/USP), Piracicaba, São Paulo. Os solos utilizados, classificados como Neossolo Quartzarênico (RQ), Latossolo Vermelho-Amarelo (LVA) e Latossolo Vermelho distroférrico (LVdf), foram secos ao ar e peneirados em malha 2 mm, sendo então procedida a caracterização química, física e mineralógica das amostras. Foi selecionada para o estudo a molécula do Imazaquin. No ensaio do deslocamento miscível, foi aplicada uma solução de CaCl2, obtendo-se uma curva de eluição do Cl-, utilizado como traçador. As curvas de eluição do Cl- foram ajustadas a um modelo baseado na equação de convecção-dispersão para transporte ideal. Após a eluição do Cl-, aplicou-se a solução que continha 14C-imazaquin que gerou as curvas de eluição para esta molécula. A curva foi ajustada a um modelo bicontínuo que considera o não-equilíbrio durante o transporte. No ensaio de sorção com o método "batch", foram utilizadas soluções de imazaquin radiomarcado variando de 0,67 a 10,72 mmol L-1 para obtenção das isotermas ajustadas pela equação de Freundlich. A taxa de lixiviação foi alta para todos os solos, sendo maior para o RQ. As curvas de eluição do Cl- foram simétricas para todos os solos e apresentaram um bom ajuste ao modelo que considera o transporte ideal, indicando que não houve não-equilíbrio relacionado com o transporte. Para o imazaquin, as curvas de eluição foram assimétricas, com prolongamento da parte posterior da curva, e apresentaram bom ajuste ao modelo bicontínuo, evidenciando que ocorreu não-equilíbrio no processo de sorção. A comparação dos dois métodos empregados mostrou que o coeficiente de sorção determinado no método "batch" foi maior. Tal resultado evidencia que a sorção, durante o processo de lixiviação, pode ser superestimada por métodos que consideram a sorção sob condições de equilíbrio químico.

Destilação da Micela I: modelagem e simulação da evaporação do hexano

No processo de extração do óleo de soja forma-se a Micela, que é uma mistura de óleo e hexano. O processo de separação destes dois componentes é denominado de Destilação da Micela. Esta é composta basicamente da operação de evaporação e da operação de stripping do hexano. Neste trabalho, desenvolveu-se uma modelagem matemática para a evaporação do hexano. O modelo é baseado em balanços de massa e energia e em relações de equilíbrio; e a sua validação foi feita comparando-se os resultados obtidos com os dados operacionais da indústria da COAMO (Cooperativa Agrícola Mouraoense). Em seguida, com o modelo elaborado, fez-se as simulações para estudar: as influências da temperatura do fluido de aquecimento e da vazão de alimentação na concentração de saída do evaporador; os efeitos da temperatura da alimentação, da concentração e da pressão nos resultados operacionais dos evaporadores; e a comparação entre resultados considerando a micela como solução real e ideal.

Destilação da miscela II: modelagem e simulação do stripping do hexano

No processo de extração do óleo de soja forma-se a Miscela, que é uma mistura de óleo e hexano. O processo de separação destes dois componentes é denominado de Destilação da Miscela. Esta é composta basicamente da operação de evaporação e da operação de stripping do hexano. Neste trabalho, desenvolveu-se uma modelagem matemática para o stripping do hexano. O modelo é baseado em balanços de massa e energia e em relações de equilíbrio; e, a sua validação foi feita comparando-se os resultados obtidos com os dados operacionais da indústria da COAMO (Cooperativa Agrícola Mouraoense). Em seguida, com o modelo elaborado, fez-se as simulações para estudar: as influências da concentração da alimentação e do modo de injeção de vapor direto nos resultados operacionais do stripper.

Regionalização das velocidades extremas e temperaturas dos ventos no centro-sul do Brasil.

Séries de dados de velocidades máximas anuais do vento, classificadas segundo o tipo de tormenta (ventos EPS ou TS) e a direção (octantes), são utilizadas para o ajuste de um modelo baseado em regressão linear múltipla, permitindo a estimativa dos ventos extremos no interior da região definida pelas estações meteorológicas disponíveis. A correlação entre as velocidades do vento e a temperatura do ar durante tormentas também é investigada, bem como o comportamento estatístico das temperaturas durante ventos fortes.

Estudo experimental e teórico das propriedades magnéticas e supercondutoras dos compostos borocarbetos da série Y(Ni 1-x Mn x) 2 B2 C com x = 0,0, 0,01, 0,025, 0,05, 0,10 e 0,15

Apresentamos neste trabalho os resultados de um estudo experimental e teórico dos compostos borocarbetos supercondutores da série Y(Ni1-xMnx)2B2C com x = 0; 0,01; 0,025; 0,05; 0,10; 0,15. A principal motivação para este trabalho foi investigar a estrutura eletrônica e a possível formação do momento magnético sobre os átomos de impureza de Mn nos compostos Y(Ni1- xMnx)2B2C. O aparecimento do momento magnético localizado no sítio da impureza possibilitou estudar a influência do Mn sobre o mecanismo de quebra de pares supercondutores e sobre as propriedades magnéticas do composto. Os borocarbetos são compostos de estrutura cristalina tetragonal de corpo centrado e altamente anisotrópicos (c/a~3). São intermetálicos de alta temperatura crítica supercondutora Tc, com forte acoplamento elétron-fonon. Em alguns casos podem apresentar ordem magnética, supercondutividade e também coexistência ou competição energética entre ambos. As medidas de transporte eletrônico, em função da temperatura, foram feitas utilizando-se um detector síncroton baseado na técnica de quatro pontos operando na faixa de 4,2K até 300K. Essas medidas possibilitaram o estudo das propriedades relacionadas ao transporte eletrônico na fase supercondutora. Na fase normal, extraiu-se a dependência em energia da função espectral de fonons α² F (ω) para alguns compostos da série estudada. As medidas magnéticas em função da temperatura e do campo magnético foram feitas utilizando-se um SQUID (Superconducting Quantun Interference Device – Quantun Design Model MPMS XL). Tais medidas permitiram a caracterização das propriedades magnéticas de nossas amostras. Em particular determinou-se o valor, em regime de saturação, do momento magnético associado ao sítio cristalino do Mn. Foram determinadas também as correntes críticas supercondutoras usando o Modelo de estado crítico de Bean e a variação da temperatura crítica supercondutora (Tc) com a mudança do campo externo aplicado. As medidas magnéticas permitiram a obtenção do diagrama que relaciona o campo crítico inferior (HC1) e a temperatura, variando-se a concentração do átomo dopante de manganês. Foi feito um esforço teórico no sentido de interpretar os resultados experimentais. Para isso foram usados três modelos: O modelo de estado crítico de Bean já citado acima e um modelo baseado na fórmula de Ziman usando uma aproximação para a função espectral de fonons para descrever a resistividade no regime de alta temperatura. Além disto, usou-se o modelo de duas sub-redes para a descrição do momento magnético das impurezas de Mn, em função da concentração, na série Y(Ni ) ( 2 ω α F 1-xMnx)2B2C.

Parâmetros bioecológicos de Gryon gallardoi (Brethes) (Hymenoptera: Scelionidae) e modelagem da dinâmica espaço-temporal da sua interação com Spartocera dentiventris (Berg) (Hemiptera: Coreidae) através da simulação de múltiplos agentes

Estudos referentes à dinâmica espaço-temporal da interação hospedeiro-parasitóide são de fundamental importância para o desenvolvimento de técnicas de manejo de insetos em agroecossistemas. Uma recente abordagem têm sido o estudo de populações através da simulação computacional dos indivíduos que a compõem. Este método tem possibilitado a incorporação de importantes características como individualidade e estrutura espacial nos modelos teóricos. Neste sentido, o presente estudo visou a elaboração de um modelo baseado no comportamento individual para simular a dinâmica espaço-temporal da interação Spartocera dentiventris (Berg) (Hemiptera: Coreidae), inseto associado à cultura do fumo, e de seu inimigo natural, o parasitóide de ovos Gryon gallardoi (Brethes) (Hymenoptera: Scelionidae). Para a elaboração do modelo, estudos sobre a bioecologia de G. gallardoi foram desenvolvidos, de modo a investigar (i) o efeito da temperatura no seu desenvolvimento e viabilidade, (ii) a mortalidade de imaturos em campo, (iii) os parâmetros reprodutivos e a longevidade dos adultos, (iv) os padrões de dispersão em campo e (v) a resposta funcional e a interferência mútua dos parasitóides em diferentes densidades de ovos de S. dentiventris. No intuito de avaliar a capacidade de predição do modelo elaborado, a dinâmica espaço-temporal de ovos sadios e parasitados de S. dentiventris foi acompanhada em um cultivo de fumo, estabelecido em área experimental do Departamento de Fitossanidade da Faculdade de Agronomia da UFRGS, Porto Alegre (30o01’S e 51o13’O), RS, Brasil A viabilidade do desenvolvimento dos parasitóides na faixa de 20 a 30oC não diferiu significativamente, alcançando 98,8%. O tempo de desenvolvimento ovo-adulto de machos e fêmeas foi inversamente proporcional ao aumento da temperatura. Os valores estimados para o limite térmico inferior de desenvolvimento e para a constante térmica foram 15,5oC e 185,19GD para machos e 15,6oC e 192,31GD para fêmeas. Diversos fatores afetam o sucesso de imaturos de G. gallardoi em campo, sendo que o malogro e a predação por sugadores são os principais responsáveis pela emergência de apenas 37,87% dos adultos. Foi observado um período médio de oviposição de 10,1 ± 1,74 dias, com o pico de oviposição no segundo dia, sendo depositados ao longo dos mesmos uma média de 67,5 ± 11,29 ovos por fêmea. Fêmeas de G. gallardoi foram significativamente mais longevas que os machos, vivendo, respectivamente, 13,7 ± 1,94 e 10,6 ± 1,78 dias. A razão sexual total observada foi de 0,79. A dispersão de G. gallardoi em cultivo de fumo não foi sensivelmente influenciada pelo vento, sendo estimada uma capacidade de locomoção diária média para fêmeas de no mínimo 7,62 m. O padrão de parasitismo de G. gallardoi ajustou-se perfeitamente à resposta funcional do tipo II (pseudo-r2= 0,99), sendo obtidos os valores de 0,0557 e 0,9989 h para os componentes a’ e Tm , respectivamente O aumento da densidade de parasitóides acarretou, de maneira geral, uma diminuição no número de ovos parasitados por parasitóide. Foi obtido para o índice de interferência mútua “m” o valor 0,626. A dinâmica temporal de S. dentiventris – G. gallardoi simulada ajustou-se muito bem aos dados obtidos em campo (r2= 0,82 para ovos sadios e r2= 0,72 para ovos parasitados). Da mesma forma, os arranjos espaciais dos ovos e da taxa de parasitismo observados em campo foram satisfatoriamente reproduzidos através das simulações computacionais. Os resultados indicam que G. gallardoi apresenta um bom potencial para controlar populações de S. dentiventris, seja pela sua viabilidade de desenvolvimento em uma larga faixa de temperatura ou pela sua capacidade reprodutiva e padrões de dispersão similares àqueles observados para outras espécies já utilizadas no controle biológico de insetos. Por outro lado, a sensibilidade às baixas temperaturas, a alta mortalidade de imaturos observada em campo e uma resposta funcional do tipo II podem ser fatores que se contrapõe ao sucesso do parasitóide no controle de populações de S. dentiventris. Considerando a independência entre os dados observados e os dados obtidos através de simulações, o modelo elaborado obteve pleno sucesso em simular a dinâmica da interação S. dentiventris – G. gallardoi a partir do comportamento individual dos diferentes agentes Duas importantes características associadas à estabilidade de sistemas hospedeiro-parasitóide foram observadas no estudo de campo e reproduzidas no modelo – um padrão de parasitismo inversamente dependente da densidade dos hospedeiros e uma resposta agregativa dos parasitóides em algumas regiões do sistema. Desta forma, futuros estudos podem avaliar, a partir de um enfoque baseado no indivíduo, quais mecanismos são responsáveis por tais comportamentos e qual é o seu efeito na dinâmica do sistema. Conclui-se, através deste trabalho, que o estudo da dinâmica de populações através de uma abordagem baseada no indivíduo, com base em modelos computacionais, pode ser uma alternativa viável para superar as limitações e a complexidade inerente ao uso de modelos populacionais analíticos. Desta forma, o maior realismo implícito nestes modelos os torna ferramentas muito úteis para diversas áreas da ecologia aplicada, particularmente para a entomologia agrícola.

Duração da venda de imóveis em lançamento no Brasil

No trabalho "Equilibrium Valuation of Illiquid Assets" John Krainer e Stephen F. LeRoy desenvolvem um modelo baseado em pesquisa e apropriação e classificam os imóveis como ativos ilíquidos, ou seja, para a efetivação das suas transações é necessário um lapso de tempo e que o comportamento ótimo dos compradores e vendedores é inconsistente com a imediata realização dessas transações. Com intuito de confirmar se a afirmação de Krainer e LeRoy se aplica ao caso brasileiro e quantificar a duração desse lapso, esta dissertação teve por objetivo determinar o tempo médio de venda para os imóveis em lançamento localizados nas cidades de Belo Horizonte, Goiânia, Porto Alegre e Recife, no período de janeiro de 1997 a dezembro de 2001. Inicialmente foram calculadas as probabilidades de venda dos imóveis (Pis) e a partir dessas Pis foram calculados os tempos médios de venda dos imóveis. Para o estabelecimento dessas probabilidades foram desenvolvidos programas usados no aplicativo computacional Matlab (versão 6.0.0.88 release 12). Pôde-se constatar que as transações imobiliárias nos mercados estudados só ocorrem após um lapso de tempo, que variou de oito meses a três anos.

Renegociação de dívidas com múltiplos credores: um estudos de caso da experiência da Light - Serviços de Eletricidade

Esta dissertação analisa o caso prático do processo de renegociação da dívida da Light, durante o período de abril de 2003 até julho de 2005, estabelecendo um paralelo entre essa experiência e alguns modelos teóricos selecionados que discorrem acerca desse tema. Ao final propõe-se um modelo, baseado naqueles existentes, que visa explicar o processo decisório dos credores frente ao menu de contratos de dívidas renegociadas.

Uma avaliação da taxa de câmbio real de equilíbrio para o Brasil : 1984-2000

Esta dissertação de mestrado procura contribuir no debate sobre o desalinhamento cambial no Brasil, principalmente no período pós 1994. Para tanto, são apresentadas, respectivamente, revisões bibliográficas acerca de diferentes modelos de taxa de câmbio de equilíbrio e de diversas estimativas desta, a partir de modelos analíticos e metodologias econométricas diferentes. São analisadas, também, taxas de câmbio de equilíbrio estimadas para o Brasil por diversos autores. Por fim, é realizada uma estimativa para a taxa de câmbio real de equilíbrio para a economia brasileira para o período 1984-2000. Foi utilizado um modelo baseado em Montiel (1999), próprio para economias em desenvolvimento, estimado com dados trimestrais. As estimativas são feitas a partir dos coeficientes de longo prazo de um modelo de cointegração, onde as variáveis são transformadas pelo filtro de Hodrick-Prescott para que sejam obtidos os seus valores permanentes. Os resultados indicam que a evolução dos fundamentos da economia gerou uma tendência de redução do desalinhamento cambial no período pós 1994. Além disso, o coeficiente de correção de erros estimado foi compatível com o comportamento da taxa de câmbio após a liberalização do mercado de câmbio de janeiro de 1999.

Alternativas ao Crédito Rural Tradicional

The subject of the current work was to analyze the subject of the adequacy of Brazilian's agricultural activity financing model, as an alternative for the traditional agriculture credit. The main basis for this research is the evidence that the official resources for new loans, wherein it is analyzed a period within 30 years, had their highest peak in the final 70's decade and beginning of the80¿s had experimented a consistent trajectory of decline, returning to the initial levels of the final decades of the 60¿s. In parallel with the situation above, it is evidenced the increase of the Brazilian agriculture production by the official data, mainly grain plowing, followed by diverse problems like high levels of default in and continuously debt roll over, indicating depauperation from the traditional model which was institutionalized in 1965, under the Law n. 4829. A survey of official data regarding those loans, their default and field research with banks that deal with agriculture loans, from a broad Bibliographical research, ,was made in order to verify their managing strategy and willingness to use new financing mechanisms. The main proposed alternatives were: a) Cédula de Produto Rural (Rural Product Bill) b) Cédula de Produto Rural, financial modality c) Bolsa de Mercadorias e de Futuro¿s proposal d) Agricultural Receivable on Security e) Model based on Local Credit Agencies The best instrument for leveling resources were the first four alternatives, analyzing the advantages and disadvantages of each proposal. The creation of a system based on local branches for credit had not shown to be viable as for the difficulties for implementation and functioning. The work also points out a need to review the segmentation concerning rural clients. The traditional format for segmentation distinguishes 2 groups of producers: commercial agriculture and familiar agriculture. A third group is in eminence, which is the survival agriculture, with needs and distinct characteristics, indicating that the requirements for their needs must not have to be made by credit forms, but as aid programs, education and social welfare.

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.