QSAR modeling: um novo pacote computacional open source para gerar e validar modelos QSAR

QSAR modeling is a novel computer program developed to generate and validate QSAR or QSPR (quantitative structure- activity or property relationships) models. With QSAR modeling, users can build partial least squares (PLS) regression models, perform variable selection with the ordered predictors selection (OPS) algorithm, and validate models by using y-randomization and leave-N-out cross validation. An additional new feature is outlier detection carried out by simultaneous comparison of sample leverage with the respective Studentized residuals. The program was developed using Java version 6, and runs on any operating system that supports Java Runtime Environment version 6. The use of the program is illustrated. This program is available for download at lqta.iqm.unicamp.br.

Eletroquímica computacional - princípios e diretrizes para utilização

In this paper, a detailed guide for the application of computational electrochemistry is presented. The basic framework of the electrochemical models and their computational solutions are described. We highlighted that the availability of commercial software allows application of the technique by experimentalists with minimal mathematical and computational expertise. The most used packages are indicated. Simulations of typical examples are presented and some references cited to illustrate the wide applicability of computational electrochemistry.

Propriedades relacionadas à acidez e basicidade a partir da abordagem em química computacional

Analytical Chemistry books lack a clear link between thermodynamic and equilibrium approaches involving acids and bases. In this work, theoretical calculations were performed to search for these relations. An excellent relationship was found between difference in Gibbs free energy, ∆G of acid dissociation reaction and ∆G of hydrolysis reaction of the corresponding conjugate base. A relationship between ∆G of hydrolysis reaction of conjugate acids and their corresponding atomic radius was also identified, showing that stability plays an important role in hydrolysis reactions. Finally, the importance of solvation in acid/base behavior was demonstrated when comparing the corresponding theoretical and experimental ∆G´s.

Um panorama da lógica deôntica

O presente artigo é uma apresentação dos principais sistemas de lógica deôntica, na qual algumas conexões éticas e jurídicas relevantes são enfatizadas.

Hegel leitor de deleuze: uma perspectiva crítica da ontologia afirmativa a partir das objeções a spinoza na ciência da lógica

Este artículo se propone realizar un abordaje crítico de la ontología afirmativa de Gilles Deleuze a partir de las objeciones realizadas por Georg Hegel a Spinoza en su Ciencia de la lógica. La hipótesis de trabajo es que, dada la herencia spinozista del pensamiento de Deleuze, estas críticas pueden resultar pertinentes para reflexionar sobre algunos puntos fundamentales. De esta manera, se intenta contrariar la habitual tendencia de los estudios deleuzianos de trabajar en una clave anti-hegeliana, es decir, a partir de una separación teórica total con la problemática de Hegel. Se descarta la posibilidad de centrar las críticas de Hegel en torno a la sentencia "omni determinatio est negatio" o la imposibilidad de progresar desde la afirmación absoluta (por lo que el verdadero comienzo en Spinoza -y por tanto en Deleuze- sería la mera realidad empírica donde los elementos se vinculan de manera extrínseca, es decir, sin concepto). El punto de inconmensurabilidad es que Hegel afirma que es necesario que exista un movimiento de retorno (zurürckkehren) para que la afirmación no se degrade al punto de la disolución, mientras que Deleuze prefiere el movimiento de eterno retorno (ewige wiederkunft) como apertura insistente en el porvenir.

A caracterização da lógica pela força assertórica em frege. Resposta a Marco Ruffino

Segundo a caracterização padrão da lógica nos escritos fregeanos, a palavra "verdadeiro" indica a essência da lógica, assim como a palavra "bom" indica a essência da ética e a palavra "belo" a essência da estética. Num escrito póstumo de 1915, porém, Frege afirma que é a força assertórica, e não a palavra "verdadeiro", que indica a essência da lógica. Prima facie, esta correção está em conflito com a crítica fregeana à concepção psicologista da lógica. Pois, segundo esta crítica, a lógica não é a ciência das leis "do ser tomado como verdadeiro", mas a ciência das leis "do ser verdadeiro", ao passo que a força assertórica expressa o ser tomado como verdadeiro. Em escritos anteriores, tentei resolver este conflito por uma reconstrução da concepção fregeana da verdade baseada na tese fregeana de que verdade é expressa na linguagem natural pela "forma da sentença assertórica". A meta do presente trabalho é defender esta interpretação contra as objeções recentemente feitas por Marco Ruffino.

Uma nota sobre a lógica formal de Kant

O artigo apresenta um problema que surge da combinação da teoria kantiana dos juízos analíticos com a sua adesão oficial à silogística. Argumenta-se em seguida que o problema só pode ser inteiramente solucionado pelo reconhecimento de que a lógica com a qual Kant de fato operava não é consistente nem com a silogística, nem com a lógica clássica, consistindo, de fato, em uma espécie de lógica inclusiva.

Termos singulares, transcategoriais e Summa Genera na lógica de Aristóteles

Quais termos são suscetíveis de operações silogísticas? Para importantes intérpretes da lógica aristotélica - especialmente Ross, Patzig e Lukasiewicz - a resposta tende a introduzir um único e homogêneo grupo de termos, aqueles de generalidade intermediária (τὰ µεταξὺ). Fundamentada basicamente na classificação tripartite de entes que aparece no capítulo 27 de Primeiros Analíticos I, essa opinião atribui à silogística a exclusão de (i) termos singulares (como "Sócrates" e "este homem"), (ii) transcategoriais (como "ente" e "um"), bem como dos chamados (iii) summa genera ("substância", "qualidade", "quantidade", etc.). Em nossa opinião, esses resultados não derivam dos textos de Aristóteles, mas de leituras, traduções e interpretações impróprias das passagens centrais da discussão. Neste artigo, faremos um novo exame desses textos, a fim de mostrar que Aristóteles jamais afastou de sua lógica os tipos de termos que os intérpretes não hesitam em excluir da silogística. Assim, esperamos reintroduzir termos singulares, transcategoriais e summa genera, no domínio da silogística aristotélica.

ANÁLISE E MAPEAMENTO DO USO E OCUPAÇÃO DO SOLO DA BACIA DO ALTO DO DESCOBERTO, DF/GO, POR MEIO DE CLASSIFICAÇÃO AUTOMÁTICA BASEADA EM REGRAS E LÓGICA NEBULOSA

A Bacia do Alto do Descoberto é importante fonte de água para o Distrito Federal. Essa bacia tem apresentado ao longo dos anos expansão agrícola e urbana em detrimento das áreas de vegetação natural. A ocupação inadequada, assim como a falta de planejamento do uso e ocupação do solo, pode levar a alterações do escoamento superficial e, consequentemente, do ciclo hidrológico, a feições erosivas, à contaminação dos mananciais superficiais e subterrâneos e ao desequilíbrio do ecossistema da região. Portanto, o monitoramento e a análise do uso e ocupação do solo são imprescindíveis na prevenção desses impactos e na manutenção dos mananciais. Dessa forma, este estudo tem como objetivo o mapeamento e a análise comparativa do uso e ocupação do solo da Bacia do Alto do Descoberto entre os anos 1994 e 2011. As classificações de uso e ocupação do solo foram elaboradas utilizando um classificador orientado ao objeto baseado em regras e lógica nebulosa, permitindo uma análise dos avanços do uso do solo e a perda da cobertura vegetal da bacia. O sistema de classificação utilizado foi considerado bem-sucedido, com índice de exatidão temática (Kappa) de 0,64. Apesar de ainda haver algumas confusões temáticas no processo de classificação, as análises comparativas entre as classes temáticas dos mapas dos referidos anos evidenciaram a forte expansão agrícola da região em aproximadamente 11% da área da bacia, bem como uma perda de vegetação natural.

Sistematização do dimensionamento técnico e econômico de sistemas fotovoltaicos isolados por meio de programa computacional

Uma das principais questões referentes à energia solar é como compará-la, técnica e economicamente, com outras fontes de energia, tanto alternativas quanto com as convencionais (como a rede elétrica). O propósito deste trabalho foi desenvolver um programa computacional que reúne os principais dados técnicos e econômicos, para identificar, por meio de métodos de análise microeconômica, a viabilidade comercial no dimensionamento de sistemas fotovoltaicos, além de considerar os benefícios provenientes da própria geração energética. Na análise microeconômica da energia solar, foram identificados os custos da energia proveniente da rede convencional durante o período de vida útil dos componentes do sistema gerador de eletricidade fotovoltaica, pelo estudo dos custos de investimentos iniciais e manutenção do sistema. Para comparação com as fontes convencionais - rede elétrica e grupo diesel - foram usados três cenários de custos de painéis fotovoltaicos e dois para o fator de disponibilidade do grupo diesel. Pelos resultados, verifica-se que, quanto mais baixo o custo dos painéis e mais distante o local situar-se da rede elétrica, o sistema fotovoltaico torna-se a opção mais vantajosa.

Programa computacional para geração de séries sintéticas de precipitação

Desenvolveu-se um programa computacional que permite a aplicação da metodologia para geração de séries sintéticas de precipitação desenvolvida por OLIVEIRA (2003). O desenvolvimento do aplicativo foi viabilizado pela elaboração de um algoritmo computacional em ambiente de programação "Borland Delphi 6.0". Os dados de entrada necessários são provenientes de banco de dados no formato padronizado pela Agência Nacional de Águas (ANA) com registros pluviométricos diários provenientes de estações meteorológicas. A partir dessas informações, o programa computacional é capaz de gerar séries sintéticas de precipitação diária contendo o total precipitado em milímetros, a duração do evento em horas, o tempo padronizado de ocorrência da intensidade máxima instantânea e a intensidade máxima instantânea padronizada. A série sintética gerada é armazenada em arquivos no formato "Texto" que podem ser acessados posteriormente por outros aplicativos e/ou planilhas eletrônicas. Além dos arquivos, são apresentadas várias informações na forma de gráficos e quadros, facilitando a avaliação do desempenho da metodologia desenvolvida.

Rotina computacional para a determinação da velocidade de sedimentação das partículas do solo em suspensão no escoamento superficial

O presente trabalho teve como objetivo desenvolver uma rotina computacional para a determinação da velocidade de deposição de partículas em suspensão no escoamento superficial, verificar sua aplicação por intermédio de modelo de transporte de sedimentos e comparar os resultados obtidos com dados experimentais. Empregou-se na rotina o processo iterativo de Newton-Rapshon para a solução das equações empregadas na determinação da velocidade de deposição de partículas em suspensão no escoamento superficial, e na solução da equação do transporte de sedimentos empregou-se a técnica das diferenças finitas. Essas rotinas foram empregadas na implementação do modelo MTSES (Modelo para Transporte de Solutos no Solo e no Escoamento Superficial). As velocidades de queda das partículas obtidas pela rotina desenvolvida, em média, foram superestimadas, com erro relativo médio de 0,63%, o que possibilitou a utilização da rotina desenvolvida no MTSES. O modelo MTSES superestimou o total de sedimentos transportados pelo escoamento superficial para todas as intensidades de precipitação empregadas neste estudo, com variações porcentuais de 15,6 a 58,3%.

Programa computacional para o dimensionamento de colhedoras considerando a pontualidade na colheita de soja

A colheita de soja (Glycine max (L.) Merril) é uma operação crítica que pode sofrer atrasos resultando em perdas na quantidade e na qualidade do material colhido. Embora o valor das perdas seja desconhecido no País, os produtores empregam colhedoras com reserva de capacidade para concluir a operação no menor prazo possível. O excesso de capacidade aumenta os custos fixos e a falta dela aumenta os custos das perdas por atraso e, em ambos os casos, reduzem a renda líquida da operação, ao que se denomina custo de pontualidade. O problema do dimensionamento consiste em ajustar o custo do capital extra investido na capacidade da máquina para garantir a pontualidade e o custo das perdas por atraso, buscando maximizar a renda líquida. Devido à importância da cultura e da pontualidade, o objetivo deste trabalho foi avaliar a influência do atraso no dimensionamento da frota e no custo da operação de colheita. Para tanto, desenvolveu-se um modelo computacional em linguagem Borland® Delphi 5.0, em que a entrada de dados inclui os atributos da região agroclimática, da colhedora e das cultivares de soja. O resultado é a renda líquida como indicador da pontualidade na operação para a colhedora selecionada. O programa foi utilizado para simular cenários numa propriedade na região de Ponta Grossa - PR, e os valores obtidos revelaram que a frota de colhedoras da propriedade opera com capacidade ociosa, produzindo renda líquida abaixo do potencial.

Rotina computacional e equação simplificada para modelar o transporte de sedimentos num Latossolo Vermelho Distrófico

Os objetivos do presente trabalho foram desenvolver rotina computacional para a solução da equação de Yalin e do diagrama de Shields e avaliar uma equação simplificada para modelar a capacidade de transporte de sedimento num Latossolo Vermelho Distrófico que possa ser utilizada no Water Erosion Prediction Project - WEPP, assim como em outros modelos de predição da erosão do solo. A capacidade de transporte de sedimento para o fluxo superficial foi representada como função-potência da tensão cisalhante, a qual revelou ser aproximação da equação de Yalin. Essa equação simplificada pôde ser aplicada em resultados experimentais oriundos de topografia complexa. A equação simplificada demonstrou acuracidade em relação à equação de Yalin, quando calibrada utilizando-se da tensão média cisalhante. Testes de validação com dados independentes demonstraram que a equação simplificada foi eficiente para estimar a capacidade de transporte de sedimento.