Estimativa de capacitâncias e consumo de potência em circuitos combinacionais CMOS no nível lógico

Esta tese propõe o desenvolvimento de um método de estimativa de capacitâncias e de potência consumida nos circuitos combinacionais CMOS, no nível de portas lógicas. O objetivo do método é fazer uma previsão do consumo de potência do circuito na fase de projeto lógico, o que permitirá a aplicação de técnicas de redução de potência ou até alteração do projeto antes da geração do seu leiaute. A potência dinâmica consumida por circuitos CMOS depende dos seguintes parâmetros: tensão de alimentação, freqüência de operação, capacitâncias parasitas e atividades de comutação em cada nodo do circuito. A análise desenvolvida na Tese, propõe que a potência seja dividida em duas componentes. A primeira componente está relacionada ao consumo de potência devido às capacitâncias intrínsecas dos transistores, que por sua vez estão relacionadas às dimensões dos transistores. Estas capacitâncias intrínsecas são concentradas nos nodos externos das portas e manifestam-se em função das combinações dos vetores de entrada. A segunda componente está relacionada às interconexões entre as células do circuito. Para esta etapa utiliza-se a estimativa do comprimento médio das interconexões e as dimensões tecnológicas para estimar o consumo de potência. Este comprimento médio é estimado em função do número de transistores e fanout das várias redes do circuito. Na análise que trata das capacitâncias intrínsecas dos transistores os erros encontrados na estimativa da potência dissipada estão no máximo em torno de 11% quando comparados ao SPICE. Já na estimativa das interconexões a comparação feita entre capacitâncias de interconexões estimadas no nível lógico e capacitâncias de interconexões extraídas do leiaute apresentou erros menores que 10%.

Um Modelo formal e executável de agentes BDI

Modelos BDI (ou seja, modelos Beliefs-Desires-Intentions models) de agentes têm sido utilizados já há algum tempo. O objetivo destes modelos é permitir a caracterização de agentes utilizando noções antropomórficas, tais como estados mentais e ações. Usualmente, estas noções e suas propriedades são formalmente definidas utilizandos formalismos lógicos que permitem aos teóricos analisar, especificar e verificar agentes racionais. No entanto, apesar de diversos sistemas já terem sido desenvolvidos baseados nestes modelos, é geralmente aceito que existe uma distância significativa entre esta lógicas BDI poderosas e sistemas reais. Este trabalho defende que a principal razão para a existência desta distância é que os formalismos lógicos utilizados para definir os modelos de agentes não possuem uma semântica operacional que os suporte. Por “semântica operacional” entende-se tanto procedimentos de prova que sejam corretos e completos em relação à semântica da lógica, bem como mecanismos que realizem os diferentes tipos de raciocínio necessários para se modelar agentes. Há, pelo menos, duas abordagens que podem ser utilizadas para superar esta limitação dos modelos BDI. Uma é estender as lógicas BDI existentes com a semântica operacional apropriada de maneira que as teorias de agentes se tornem computacionais. Isto pode ser alcançado através da definição daqueles procedimentos de prova para as lógicas usadas na definição dos estados mentais. A outra abordagem é definir os modelos BDI utilizando formalismos lógicos apropriados que sejam, ao mesmo tempo, suficientemente poderosos para representar estados mentais e que possuam procedimentos operacionais que permitam a utilizaçao da lógica como um formalismo para representação do conhecimento, ao se construir os agentes. Esta é a abordagem seguida neste trabalho. Assim, o propósito deste trabalho é apresentar um modelo BDI que, além de ser um modelo formal de agente, seja também adequado para ser utilizado para implementar agentes. Ao invés de definir um novo formalismo lógico, ou de estender um formalismo existente com uma semântica operacional, define-se as noções de crenças, desejos e intenções utilizando um formalismo lógico que seja, ao mesmo tempo, formalmente bem-definido e computacional. O formalismo escolhido é a Programação em Lógica Estendida com Negação Explícita (ELP) com a semântica dada pelaWFSX (Well-Founded Semantics with Explicit Negation - Semântica Bem-Fundada com Negação Explícita). ELP com a WFSX (referida apenas por ELP daqui para frente) estende programas em lógica ditos normais com uma segunda negação, a negação explícita1. Esta extensão permite que informação negativa seja explicitamente representada (como uma crença que uma propriedade P não se verifica, que uma intenção I não deva se verificar) e aumenta a expressividade da linguagem. No entanto, quando se introduz informação negativa, pode ser necessário ter que se lidar com programas contraditórios. A ELP, além de fornecer os procedimentos de prova necessários para as teorias expressas na sua linguagem, também fornece um mecanismo para determinar como alterar minimamente o programa em lógica de forma a remover as possíveis contradições. O modelo aqui proposto se beneficia destas características fornecidas pelo formalismo lógico. Como é usual neste tipo de contexto, este trabalho foca na definição formal dos estados mentais em como o agente se comporta, dados tais estados mentais. Mas, constrastando com as abordagens até hoje utilizadas, o modelo apresentanto não é apenas uma especificação de agente, mas pode tanto ser executado de forma a verificar o comportamento de um agente real, como ser utilizado como mecanismo de raciocínio pelo agente durante sua execução. Para construir este modelo, parte-se da análise tradicional realizada na psicologia de senso comum, onde além de crenças e desejos, intenções também é considerada como um estado mental fundamental. Assim, inicialmente define-se estes três estados mentais e as relações estáticas entre eles, notadamente restrições sobre a consistência entre estes estados mentais. Em seguida, parte-se para a definição de aspectos dinâmicos dos estados mentais, especificamente como um agente escolhe estas intenções, e quando e como ele revisa estas intenções. Em resumo, o modelo resultante possui duas características fundamentais:(1) ele pode ser usado como um ambiente para a especificação de agentes, onde é possível definir formalmente agentes utilizando estados mentais, definir formalmente propriedades para os agentes e verificar se estas propriedades são satifeitas pelos agentes; e (2) também como ambientes para implementar agentes.

Estratégia competitiva : uma reflexão sobre a linha de raciocínio da sua formulação

Tendo por base os pensamentos e conceitos de alguns autores da vasta literatura sobre estratégia competitiva, o autor apresenta uma proposta de linha de pensamento estratégico cuja eficácia é testada a partir da análise da gestão com foco em estratégia, de um caso real

Aplicações do raciocínio estratégico na análise da carreira na visão do profissional e sugestão de uma estrutura de análise de carreiras : um estudo de caso

Aproxima conceitos de estraégia à carreira, propondo, pela ótica do executivo, uma estrutura de análise de carreiras. Aborda conceitos de carreira, como empregabilidade e ciclo de vida, aém de posicionar o executivo no novo contexto competitivo. Apresenta diferentes abordagens estratégicas, como o modelo de ánalise da indústria (Rivalidade Amplia),Porter, Cadeia de valor porter e competências Essenciais, Hamel & Prahalad. Operacionaliza, através de estudo de caso, o esquema de análise

Raciocínio baseado em casos aplicado a diversos domínios de problema

A procura por uma forma de, fácil e rapidamente, retirar conhecimento de um especialista e transmiti-lo a outros profissionais tem levado ao desenvolvimento de diversas pesquisas que unem metodologias de raciocínio com o atendimento a problemas. Os ambientes corporativos demonstram sua eficiência baseados na maneira como desenvolvem suas tarefas. Cada vez mais, buscam alternativas que os ajudem a responder por atividades e problemas ocorridos, as quais podem significar um processo de manutenção que pode decidir o nível de eficiência e competência da organização. Estas alternativas compreendem ferramentas ou profissionais, os quais transformaram-se em especialistas por adquirirem conhecimento e capacidade em prover soluções a problemas. As características de um problema podem ser alteradas sob alguns aspectos mas, mesmo em domínios mais complexos como a gerência de redes de computadores ou a medicina, algo que foi aprendido sempre tem utilidade em novas situações. Este é o tipo de conhecimento e raciocínio próprios de um especialista, ou seja, o uso de suas experiências. Raciocínio Baseado em Casos (case-based reasoning) é uma metodologia de inteligência artificial que apresenta a forma de raciocínio semelhante à de um especialista, onde o raciocínio é obtido por um processo de recordar um exemplo concreto. Porém, as pesquisas que a utilizam, geralmente, desenvolvem trabalhos para um específico tipo de domínio de problema, o que resulta em alterações de programação, caso estes desejem ser adaptados para outros domínios. Este procedimento, muitas vezes, é tido como difícil e trabalhoso Baseando-se neste contexto, o presente trabalho apresenta um mecanismo que fornece inclusões de conhecimento de especialistas, independente do tipo de domínio de problema, e raciocínio sobre este conhecimento, de forma a auxiliar usuários com problemas referentes ao domínio cadastrado. Para tanto, a implementação baseou-se na união de sistemas de registros de problemas (trouble ticket systems) com raciocínio baseado em casos, propondo uma forma auxiliar no conhecimento e busca de soluções em domínios de problema. O estudo, além de fazer uso das metodologias citadas acima, usa o domínio de gerenciamento de segurança em redes de computadores para exercitar suas funções, provar sua utilidade e dificuldades. Assim, um estudo mais detalhado sobre os problemas que cercam o domínio de segurança em redes TCP/IP foi desenvolvido.

A Utilização de um modelo lógico para a reorientação dos serviços farmacêuticos no âmbito municipal

A implantação da Política Nacional de Medicamentos (PNM), parte essencial da Política de Saúde, promoveu melhorias na atenção à saúde que, no entanto, não têm sido suficientes para garantir o acesso e o uso racional dos medicamentos. O objetivo desta dissertação é analisar os serviços farmacêuticos na esfera municipal e propor um modelo lógico de trabalho, visando a construção de uma estratégia voltada à reorganização da Assistência Farmacêutica (AF), no município de Porto Alegre. A metodologia empregada foi a análise documental das atividades desempenhadas na Secretaria Municipal da Saúde (SMS) e de elementos do Planejamento Estratégico Situacional (PES) destinados à avaliação dos níveis distrital e local. Na avaliação da AF identificou-se a necessidade de definir suas atribuições e atividades, visto que permanece a centralização das ações na aquisição e distribuição de medicamentos, desenvolvimento inadequado das atividades do Ciclo da AF, indefinições de atribuições, inadequação de área física das farmácias, ausência de uma política de recursos humanos e dificuldades em garantir o acesso aos medicamentos. O modelo lógico proposto para o Sistema de AF foi baseado na concepção da AF, expressa na PNM, e na Teoria de Sistemas, tendo o usuário do serviço como foco das ações. Esse Sistema é composto por quatro componentes: Técnico-científico, Operacional, Informação e Qualidade. Ficou definido que as atividades dos componentes seriam efetuadas em três níveis hierárquicos, e, em conseqüência, foram propostas atribuições a essas hierarquias. Conclui-se que o funcionamento adequado do modelo exige recursos humanos em quantidades suficientes, motivados e capacitados, uma área física e equipamentos apropriados, bem como informações técnico-científicas e operacionais atualizadas. Da mesma forma, o apoio do gestor reconhecendo a importância dos serviços farmacêuticos é fundamental para sua organização e estruturação.

Educação ambiental em escolas públicas: fundamentos para o raciocínio ecológico

A organizaçao logica do pensamento ocidental caracteriza-se pela predominancia de valores estáticos, fragmentados e abstratos. A abstração do pensamento favoreceu o desenvolvimento de uma ciencia e tecnologia alheias a relação de interdependncia entre o homem e seu ecossistema. A soberania da ciencia fragmentada, apoiada por conceitos ideológicos, políticos e economicos capitalistas, tem permitido interferencias humanas desestabilizadoras em seu ambiente. Gerou ainda uma concepç~o de desenvolvimento que combina progresso, viol~ncia e destruiç~o. Estas concepcses refletem-se nos valores e formas de organizac.o , , da sociedade ocidental, perpetuando-se através de seus sistemas educativos, entre estes, a educaç~o em escolas publicas. A urgente necesidade da ativaç~o do equilibrio ecológico, através da integraç~o do homem aos ecossistemas naturais, principalmente em paises do terceiro mundo, requer uma revis~o de valores sociais, politicos e econ8micos e uma reo~ganizaç~o do pensamento ocidental voltando-o para bases holisticas e dinamicas. A escola pública no Brasil, pode vir a ser uma peça fundamental neste processo, aproveitando-se deste movimento para reestrutur.r as bases de seu sistema educativo.

Uma teoria do raciocínio para a teoria do direito

Maccormick, Neil. Argumentação jurídica e teoria do direito. trad. Waldéa Bastos. São Paulo: Martins Fontes, 2006.

“...como se fosse lógico”: considerações críticas da medicalização do corpo infantil pelo TDAH na perspectiva da sociedade normalizada.

Esta pesquisa insere-se no debate que considera estarmos vivendo na era da medicalização, dos transtornos ou das patologizações (CONRAD, 1992; ROSE, 2001; VICENTIN, 2010). Com efeito, nas últimas décadas, tem crescido o número de doenças mentais diagnosticadas em crianças, especificamente, que consideraríamos normais pela perspectiva de Canguilhem (2010), mas que o olhar médico-científico as considera portadoras de doenças mentais. Assim, discursos ou dispositivos de poder psiquiátricos são constituídos para transformar comportamentos diferentes em patologias de modo que possam agir sobre os corpos, autorizadamente. Dentre eles, está o Transtorno do Déficit de Atenção e Hiperatividade (TDAH), analisado como objeto empírico nesta pesquisa, que se constitui num campo discursivo mais amplo denominado medicalização (CONRAD, 1992; ROSE, 2001; FOUCAULT, 1988; ILLICH, 1975), composta por diversas instituições como: psiquiatria, indústrias farmacêuticas, escolas, família, leis, associações de portadores do transtorno e mídias não especializadas. Esta constituição ocorre pelo deslocamento analítico de um comportamento do âmbito sociocultural para o campo médico que passa a ser diagnosticado e tratado como se fosse patológico. Para levantar as informações a respeito do TDAH, analisamos as falas de 5 psiquiatras, obtida por meio de entrevistas semiestruturadas, 114 reportagens do jornal Folha de São Paulo, publicadas no período compreendido entre 1997 e 2011, o site da Associação Brasileira de Déficit de Atenção (ABDA) e algumas de suas produções (congressos, materiais informativos e textos de seus membros) e, finalmente, os Projetos de Lei (PL’s) em tramitação nas casas legislativas da cidade e do estado de São Paulo e da Federação. Valendo-nos de importantes conceituações pertinentes à Genealogia do Poder e à Arqueologia do Saber (FOUCAULT, 2007; VEYNE, 2011), bem como à Teoria do Discurso (HOWARTH, 2000), procuramos compreender de que modo o discurso medicalizante produz efeitos de poder sobre os corpos, transformando a falta de atenção e o excesso de atividade da criança em transtorno mental. Percebemos que isto é feito, dentre outras finalidades, para ampliar a performance ou o desempenho dos indivíduos, exigido tanto pelas escolas quanto pela economia de nossa sociedade. Tal exigência constitui-se na sociedade denominada normalizada (FOUCAULT, 2006), de risco (BAUMAN, 2008; BECK, 2010) ou de controle (DELEUZE, 1992), em que os possíveis prejuízos para o indivíduo e para a sociedade devem ser contidos por meio do controle dos corpos. Para tanto, a ciência, baseada nos conhecimentos da genética e da neurologia, disseca o corpo em suas partes doentes, constituindo uma nova forma de sujeição (DELEUZE; GUATTARI, 1996), o anormal. A anormalidade se apresenta na fronteira entre os comportamentos esperados e os desviantes, na medida em que estes últimos surgem como embaraço à sociabilidade e, principalmente, à produtividade. Normalizar seria então a função tanto do poder disciplinar quanto do biopoder, poderes sobre a vida (FOUCAULT, 1988) que agem sobre os corpos e a população, respectivamente, sintetizados nesta pesquisa com o nome crítico de medicalização. Além disso, ao constituirmos este campo discursivo, percebemos que, embora haja resistências, a medicalização da criança por meio do TDAH no Brasil tem triunfado em suas pretensões, tendo, na promulgação das leis e na identificação do transtorno apropriada pelo senso comum, as derradeiras fronteiras do poder sobre os corpos.

A utilização de raciocínio baseado em casos para a análise de crédito e cobrança

Data Warehouse (DW) é um processo que aglutina dados de fontes heterogêneas, incluindo dados históricos e dados externos para atender à necessidade de consultas estruturadas e ad-hoc, relatórios analíticos e de suporte de decisão. Já um Case-Based Reasoning (CBR) é uma técnica de Inteligência Artificial (AI – Artificial Intelligence) para a representação de conhecimento e inferência, que propõe a solução de novos problemas adaptando soluções que foram usadas para resolver problemas anteriores. A descrição de um problema existente, ou um caso é utilizado para sugerir um meio de resolver um novo problema, avisar o usuário de possíveis falhas que ocorreram anteriormente e interpretar a situação atual. Esta dissertação tem por objetivo apresentar um estudo do uso de um DW combinado com um CBR para a verificação de “risco” de inadimplência no setor de telecomunicações. Setor este que devido as grandes mudanças que ocorreram no mercado, que passam desde a privatização do setor e a entrada de novas operadoras fixas e celulares, criando um ambiente de concorrência, anteriormente inexistente, possibilitando assim ao cliente trocar de operadora ou até mesmo deixar a telefonia fixa e ficar somente com a celular, e vai até ao fato da estabilização econômica e as novas práticas de mercado, que determinou a baixa das multas, tornando assim compensador aos clientes deixar as faturas vencidas a perder juros de aplicações ou pagar juros bancários para quitar a sua dívida, visto que a empresa telefônica só pode aplicar as sanções com o prazo de 30 dias. Este trabalho mostra o desenvolvimento de um CBR para aplicação na área de Crédito e Cobrança, onde são detalhados os vários passos, a utilização do mesmo junto ao um DW, o que proporciona a comparação com desenvolvimento de outros sistemas similares e as diferenças (vantagens e desvantagens) que isso traz ao mesmo.

Tramas da (ir)racionalidade contemporânea para a composição do mito-tecno-lógico

The plot myth-techno-logic, contemporary, was developed starting from the dualism myth-reason. In this study, we deepened the alluded dualism taking as reference the historical contexts of the Renaissance and of the Enlightenment, emphasizing the discussion of the economical rationalization as conductive thread of the western development, in which we identified the game of the rational and of the irrational, for assure the superiority of the reason. In the context of that game, we analyzed the implications of the modernization, for the education, in function of the instrumental rationality, responsible for the environment of adaptation of the technological instruments to the scenery of the contemporary modernization. The new context is constituted by points of union and of ruptures among the technique, the science and the myth. Through our analysis, we noticed that the basic needs for the contemporary society were linked to the changes in the production means, for which the machine determine the rhythm of the work and the quality of the product. However, the changes in the productive processes promoted the appearance of the commercial marks that, as we see it, they represented the synthesis of the perfect harmony of the myth, of the technique, of the science and of the technology, in the conduction of the economical rationalization to the contemporary modernization. Thus, the contemporary modernization it arrives us for the economical rationalization, developed with the support of the technician-scientific knowledge and communicated by the articulations of the myth-techno-logical

Modelos organizadores do pensamento: uma perspectiva de pesquisa sobre o raciocínio moral com adolescentes autores de infração

Este artigo tem como propósito ampliar as perspectivas de investigação no campo da moralidade. Mais especificamente, apresentamos uma proposta para o estudo da moralidade de adolescentes autores de infração, utilizando o referencial teórico=metodológico da Teoria dos Modelos Organizadores do Pensamento. Buscamos, através da idéia de complexidade, compreender o funcionamento cognitivo na elaboração de raciocínios morais diante de situações de conflito. Com essa perspectiva, fizemos uma investigação que teve por objetivo identificar os modelos organizadores aplicados na resolução de conflitos morais hipotéticos por 20 adolescentes masculinos autores de infração que cumprem medida socioeducativa. Através de entrevistas, narramos uma situação de conflito moral envolvendo uma relação de amizade, agressão física e roubo. Foram identificados 10 modelos organizadores, os quais foram agrupados em 3 categorias. Tais modelos refletiram a diversidade e as regularidades presentes nos raciocínios elaborados para resolver os conflitos apresentados. Concluiu-se que a variedade dos modelos organizadores identificados evidencia a importância dos conteúdos na construção dos raciocínios morais.