999 resultados para Linguagens de programação em lógica - Semântica
Resumo:
A exposição directa de programas com ambientes user friendly, de fácil utilização e adaptação (não sendo necessário conhecimentos complementares de informática por parte da maioria dos seus utilizadores) resultou na inclusão das linguagens destes sistemas digitais na prática de arquitectura, gerando novas tendências e novos princípios no método de concepção individual. Esta implementação de novas técnicas de desenvolvimento revelam uma mudança de paradigma na arquitectura cuja introdução de desenhos assistidos por computador (CAD) no decorrer das fases de concepção de projecto, adoptam grande destaque, não só devido à facilidade de visualização de imagens, mas também à simplificação da modelação através de algoritmos e operações matemáticas complexas. Na actualidade, a crescente necessidade de independência destas aplicações restritiva, obriga o utilizador a procurar instrumentos mais flexíveis e personalizáveis . A presente dissertação desenvolve-se segundo a descrição do desenvolvimento de uma proposta de intervenção, cujo método procura explorar as potencialidades da parametrização através de manipuladores. Com a programação das variáveis e de constantes , o decorrer de processos como tentativa e erro, transmitem resultados não expectáveis, que através da selecção, podem justificar as decisões conceptuais.
Resumo:
Bolivia, país subdesarrollado perteneciente a la Comunidad Andina (CAN), ha adquirido a través del tiempo conductas rentistas, lo que ha provocado una serie de efectos económicos, políticos y sociales en el presente siglo. La presente investigación describe la lógica y dinámica del Rentismo en Bolivia durante el siglo XXI. La comparación entre los regímenes energéticos de Gonzalo Sánchez de Lozada y Evo Morales Ayma ayuda a la descripción de la dinámica del Rentismo en Bolivia, permitiendo encontrar la lógica del Rentismo en Bolivia adoptada durante el siglo XXI. Finalmente, se considera que la investigación expande las líneas de la academia, dedicada al apoyo permanente de las decisiones importantes adoptadas en nuestros pueblos.
Resumo:
Analiza las reformas de primera generación impulsadas por el Banco Mundial en la década de los 90. que no alcanzaron sus objetivos generando en la región etapas de recesión y crisis y aumento de la pobreza. Estudia las reformas de segunda generación, el rol del Estado y la necesidad de fortalecer las instituciones
Resumo:
El autor sitúa el proceso de creación del Banco del Sur y sus peripecias dentro de la tendencia global a una cooperación monetaria y financiera regional incrementada luego de la crisis asiática de 1997, así como también dentro de las tendencias históricas en América Latina.
Resumo:
América Latina avanza en un sentido histórico progresista, pero la construcción de las nuevas sociedades enfrenta contradicciones socio-económicas, políticas y culturales que marcan un camino de ascensos y retrocesos, los cuales forman parte del gran movimiento de la determinación social de la salud y de la vida sobre el planeta. En ese marco, la expansión a gran escala de formas más agresivas de acumulación de capital en todas las esferas de la vida, incluidas las de la actividad física y el deporte, es el centro y la lógica mayor de una visión empresarial que penetra todos los poros del vivir, negando las potencialidades saludables del esparcimiento deportivo y de la educación física. Una visión crítica de la determinación social se vuelve indispensable para estudiar y confrontar la negación del deporte como lógica de la vida y los mega-espectáculos: cara visible del carácter predatorio y malsano del “big-bussines” deportivo.
Resumo:
La historia reciente de la investigación en salud pública está repleta de casos demostrativos de una colusión entre quienes trabajan para fabricar dudas científicas acerca de estudios epidemiológicos y ambientales que demuestran los impactos de sistemas productivos malsanos, y los que manipulan estudios para diluir evidencias de tales problemas, con el fin de prolongar la impunidad jurídica, desgastar la credibilidad de denuncias ante tales daños y confundir la opinión pública. Esta breve recopilación sobre casos emblemáticos de tales disensos, tendenciosamente construidos, pretende ser un elemento de reflexión en homenaje al trabajo científico de tres entidades científicas de indudable respetabilidad científica del Brasil, la Fundación Oswaldo Cruz –FIOCRUZ-, la Asociación Brasileña de Salud Colectiva –ABRASCO y el Instituto Nacional de Cáncer –INCA, cuyos estudios sobre el impacto masivo del uso irresponsable de agrotóxicos, ha desencadenado la vieja argucia de una ciencia vinculada, que se coloca consciente o inconscientemente al servicio de meganegocios malsanos y la impunidad.
Resumo:
O objetivo deste trabalho é a proposta de uma arquitetura especial para simulação lógica (AESL). As técnicas e modelos utilizados no processo de simulação lógica são brevemente revistos. É definida uma taxonomia para AESL sob a qual são analisadas diversas propostas de AESL relatadas na literatura. Uma taxonomia já existente é comparada com a proposta. A AESL definida é programável para diferentes algoritmos de simulação lógica. O detalhamento da AESL é, então, incrementado pela implementação de um algoritmo particular. Uma linguagem de simulação discreta é utilizada na construção de um modelo da arquitetura. Os resultados da simulação deste modelo permitem avaliar o desempenho da AESL e otimizar sua estrutura. Uma comparação com outras arquiteturas conclui a análise.
Resumo:
Este trabalho apresenta uma técnica de programação e controle da construção repetitiva denominada Linha de Balanço. E uma técnica, surgida na indústria fabril, onde a produção em série e em grande escala exige a organização dos métodos de produção e a racionalização do trabalho. O estudo, inicialmente, modela o trabalho de construção de unidades repetitivas, salientando os problemas de organização e administração destes empreendimentos. Num segundo momento, são apresentados os princípios teóricos da técnica com aplicações práticas da programação. Por fim, é analisada a metodologia usual de construção de conjuntos habitacionais através de um estudo de caso e, observadas as condições de aplicação da técnica da Linha de Balanço, não exigindo mudificações muito profundas na atual ação gerencial neste tipo de obra. As conclusões esboçadas confirmam as vantagens da técnica da Linha de Balanço para estes empreendimentos e propõem a sua utilização na organização do trabalho nos canteiros repetitivos.
Resumo:
As técnicas que formam o campo da Descoberta de Conhecimento em Bases de Dados (DCBD) surgiram devido à necessidade de se tratar grandes volumes de dados. O processo completo de DCBD envolve um elevado grau de subjetividade e de trabalho não totalmente automatizado. Podemos dizer que a fase mais automatizada é a de Mineração de Dados (MD). Uma importante técnica para extração de conhecimentosa partir de dados é a Programação Lógica Indutiva (PLI), que se aplica a tarefas de classificação, induzindo conhecimento na forma da lógica de primeira ordem. A PLI tem demonstrado as vantagens de seu aparato de aprendizado em relação a outras abordagens, como por exemplo, aquelas baseadas em aprendizado proposicional Os seus algorítmos de aprendizado apresentam alta expressividade, porém sofrem com a grande complexidade de seus processos, principalmente o teste de corbertura das variáveis. Por outro lado, as Redes Neurais Artificiais (RNs) introduzem um ótimo desempenho devido à sua natureza paralela. às RNs é que geralmente são "caixas pretas", o que torna difícil a obtenção de um interpretação razoável da estrutura geral da rede na forma de construções lógicas de fácil compreensão Várias abordagens híbridas simbólico-conexionistas (por exemplo, o MNC MAC 890 , KBANN SHA 94 , TOW 94 e o sistema INSS OSO 98 têm sido apresentadas para lidar com este problema, permitindo o aprendizado de conhecimento simbólico através d euma RN. Entretanto, estas abordagens ainda lidam com representações atributo-valor. Neste trabalho é apresentado um modelo que combina a expressividade obtida pela PLI com o desempenho de uma rede neural: A FOLONET (First Order Neural Network).
Resumo:
Ao propor uma nova metodologia analítico-descritiva para o enfoque da definição terminológica científica, este trabalho pretende contribuir para o reconhecimento dos perfis desse tipo de definição no escopo do desenvolvimento das teorias terminológicas de perspectiva lingüística. À luz de algumas idéias da semântica enunciativa, especialmente as cunhadas por Émile Benveniste, o estudo demonstra a viabilidade e produtividade de um reconhecimento de relações mantidas quer entre o enunciado-texto da definição e seu ambiente de significação, quer entre o enunciado definitório e seus sujeitos enunciadores. Para tanto, são examinadas as diferentes formulações de definições dicionarizadas para termos de Química, contrastadas com uma pequena amostra de definições de termos de Ciência Política, também coletadas em dicionários especializados. O trabalho conclui que é importante o reconhecimento do enunciado definitório em relação a todo um entorno de significação das linguagens científicas envolvidas, evidenciando que a definição é um objeto textual multidimensional, dotado de características que o fazem exceder aqueles limites mais usuais ou tradicionais de um objeto lógico-categorial. Além disso, o trabalho demonstra que não é funcional, no seu enfoque, uma separação a priori e estrita entre conceitos e significados.