La gestión de las actividades musicales del G-9 en contextos de educación fornal y no formal

479 p.

La LLanada Oriental hace mil años. ¿Qué hay del crecimiento agrario altomedieval? Hábitat y paisajes agrarios (entre la imaginación y la lógica)

Congreso 750 aniversario de la fundación de la villa de Salvatierra. Ana de Begoña Azcárraga y Henrike Knörr Borras in memorian.

Formal methods for control synthesis in partially observed environments : application to autonomous robotic manipulation

Modern robots are increasingly expected to function in uncertain and dynamically challenging environments, often in proximity with humans. In addition, wide scale adoption of robots requires on-the-fly adaptability of software for diverse application. These requirements strongly suggest the need to adopt formal representations of high level goals and safety specifications, especially as temporal logic formulas. This approach allows for the use of formal verification techniques for controller synthesis that can give guarantees for safety and performance. Robots operating in unstructured environments also face limited sensing capability. Correctly inferring a robot's progress toward high level goal can be challenging.

This thesis develops new algorithms for synthesizing discrete controllers in partially known environments under specifications represented as linear temporal logic (LTL) formulas. It is inspired by recent developments in finite abstraction techniques for hybrid systems and motion planning problems. The robot and its environment is assumed to have a finite abstraction as a Partially Observable Markov Decision Process (POMDP), which is a powerful model class capable of representing a wide variety of problems. However, synthesizing controllers that satisfy LTL goals over POMDPs is a challenging problem which has received only limited attention.

This thesis proposes tractable, approximate algorithms for the control synthesis problem using Finite State Controllers (FSCs). The use of FSCs to control finite POMDPs allows for the closed system to be analyzed as finite global Markov chain. The thesis explicitly shows how transient and steady state behavior of the global Markov chains can be related to two different criteria with respect to satisfaction of LTL formulas. First, the maximization of the probability of LTL satisfaction is related to an optimization problem over a parametrization of the FSC. Analytic computation of gradients are derived which allows the use of first order optimization techniques.

The second criterion encourages rapid and frequent visits to a restricted set of states over infinite executions. It is formulated as a constrained optimization problem with a discounted long term reward objective by the novel utilization of a fundamental equation for Markov chains - the Poisson equation. A new constrained policy iteration technique is proposed to solve the resulting dynamic program, which also provides a way to escape local maxima.

The algorithms proposed in the thesis are applied to the task planning and execution challenges faced during the DARPA Autonomous Robotic Manipulation - Software challenge.

Educação ambiental na educação formal: do paradigma moderno ao paradigma da complexidade

A educação ambiental vem sendo disseminada por grande parte das escolas do país, conforme atestam pesquisas oficiais, mas uma lenta transformação a acompanha no que diz respeito à mudança dos princípios do modelo de desenvolvimento industrial, que enfatiza o consumismo como estratégia de reprodução. Ao mesmo tempo em que as pesquisas sugerem uma ampliação da consciência ambiental da sociedade como um todo, percebe-se um acirramento dos problemas socioambientais e soluções sendo alcançadas em escala inferior ao patamar considerado desejado. Onde estaria, então, o problema? Qual a razão desta possível defasagem educação ambiental x resultados? Foi com o intuito de responder a estas perguntas que essa tese foi realizada. Parte-se de uma percepção de que a Educação Ambiental praticada na escola reflete e acentua o paradigma moderno hegemônico, que se baseia em uma concepção dualista homem / natureza, em que uma está a serviço do outro, sem promover o questionamento sobre os desdobramentos da adoção dos valores da sociedade de consumo no desequilíbrio da vida no planeta. Essa dicotomia entre cultura e natureza, sociedade e ciência, sujeito e objeto se reflete na busca de soluções parciais, incompletas, visando-se apenas a uma parte do problema socioambiental, que não é visto como um sistema complexo. A educação ambiental realizada nessas bases dificulta a reunião das condições necessárias à mudança das estruturas da atual sociedade brasileira e à busca das soluções dos seus problemas socioambientais. Nessa perspectiva, esse trabalho objetiva criar subsídios para um caminho para a educação ambiental que possa contribuir para uma visão complexa da realidade e dos problemas socioambientais, na busca de soluções mais abrangentes. Para isto procura entender: a) como a teoria da complexidade poderia colaborar para esta mudança; b) em quais modelos práticos e teóricos a Educação Ambiental se dá no Brasil, ou seja, quais as diversas tendências da educação ambiental brasileira; e c) como esses modelos se expressam nas práticas dos professores analisando-se artigos publicados em anais de seminários, congressos e/ou encontros sobre o tema.

Agentes Comunitários de Saúde: trabalho e formação profissional numa perspectiva emancipatória

Este estudo tem por objeto a trajetória profissional e de escolarização do Agente Comunitário de Saúde (ACS), entendendo a escolarização como um processo de avançar no aprendizado dentro da escola formal e não apenas na formação profissional. Entende-se o trabalho como um princípio emancipatório, mas ao mesmo tempo repleto de contradições e, ainda, campo de exploração, na lógica do modelo de acumulação em curso. O objetivo geral do estudo é descrever e discutir a trajetória de trabalho, formação e escolarização dos Agentes Comunitários de Saúde inseridos na Área Programática 5.2 (AP 5.2). O estudo apresenta uma abordagem qualitativa, com base nas narrativas sobre o trabalho e vida dos ACS e o método de análise dos dados foi de base interpretativa com apoio do referencial da Hermenêutica-Dialética. Além disso, foi obtido um perfil quantitativo de escolaridade de todos os ACS. O campo da pesquisa foi a AP 5.2, no município do Rio de Janeiro. Os resultados evidenciam ampliação significativa em todas as faixas de escolaridade desses ACS após o início do trabalho. As razões apontadas para o ingresso no trabalho de ACS estão relacionadas à oportunidade de ingresso ou reingresso no mercado formal de trabalho e a proximidade da residência. A desvalorização e a falta de reconhecimento são apontadas como os principais motivos para os ACS deixarem a profissão. Alguns sujeitos apontaram como provisório o trabalho de ACS e sua permanência está vinculada a falta de outras perspectivas e também a sua identificação com o trabalho comunitário, remetendo a um caráter de dádiva. O princípio emancipatório do trabalho também foi apontado por alguns sujeitos, já que o trabalho propiciou a retomada de antigos objetivos, no caso, voltar a estudar. Também foram encontrados achados da influência do enfermeiro no trabalho do ACS e na sua opção profissional. Parece haver um desejo deste trabalhador em mudar de função, porém continuando na área da saúde, mas a garantia dessa mudança só será possível com uma ordem social mais justa. Com base nos resultados e no referencial teórico, conclui-se que o ACS deve ser olhado não apenas como um trabalhador que reproduz um modelo de relação de trabalho, mas que, como membro das classes populares, permite pensar mudanças a partir do conceito de inédito viável. Sua permanência como ACS e a garantia de que se cumpra a proposta de mudança indicada pela Estratégia de Saúde da Família (ESF) depende do reconhecimento técnico e político desse trabalhador.

Formal methods in the foundations of science

The intent of this study is to provide formal apparatus which facilitates the investigation of problems in the methodology of science. The introduction contains several examples of such problems and motivates the subsequent formalism.

A general definition of a formal language is presented, and this definition is used to characterize an individual’s view of the world around him. A notion of empirical observation is developed which is independent of language. The interplay of formal language and observation is taken as the central theme. The process of science is conceived as the finding of that formal language that best expresses the available experimental evidence.

To characterize the manner in which a formal language imposes structure on its universe of discourse, the fundamental concepts of elements and states of a formal language are introduced. Using these, the notion of a basis for a formal language is developed as a collection of minimal states distinguishable within the language. The relation of these concepts to those of model theory is discussed.

An a priori probability defined on sets of observations is postulated as a reflection of an individual’s ontology. This probability, in conjunction with a formal language and a basis for that language, induces a subjective probability describing an individual’s conceptual view of admissible configurations of the universe. As a function of this subjective probability, and consequently of language, a measure of the informativeness of empirical observations is introduced and is shown to be intuitively plausible – particularly in the case of scientific experimentation.

The developed formalism is then systematically applied to the general problems presented in the introduction. The relationship of scientific theories to empirical observations is discussed and the need for certain tacit, unstatable knowledge is shown to be necessary to fully comprehend the meaning of realistic theories. The idea that many common concepts can be specified only by drawing on knowledge obtained from an infinite number of observations is presented, and the problems of reductionism are examined in this context.

A definition of when one formal language can be considered to be more expressive than another is presented, and the change in the informativeness of an observation as language changes is investigated. In this regard it is shown that the information inherent in an observation may decrease for a more expressive language.

The general problem of induction and its relation to the scientific method are discussed. Two hypotheses concerning an individual’s selection of an optimal language for a particular domain of discourse are presented and specific examples from the introduction are examined.

Sistema de classificação da gestão ambiental pública municipal baseado em lógica nebulosa

A partir da Lei n. 6.938 de 31 de agosto de 1981, que constituiu o Sistema Nacional do Meio Ambiente, criou-se o Conselho Nacional do Meio Ambiente e instituiu-se o Cadastro Técnico Federal de Atividades e Instrumentos de Defesa Ambiental, a gestão ambiental pública ganhou um espaço cada vez maior nas administrações municipais, com a implementação de instrumentos de gestão ambiental propiciando aos municípios a possibilidade de ações efetivas que contribuam para uma melhor qualidade de vida a população. Esse trabalho propõe a criação de um método de classificação municipal que indicará qual o nível da gestão ambiental do município. Verificando o número de instrumentos de gestão ambiental constituído e o número de problemas ambientais ocorridos em cada município na visão do gestor local nos anos de 2006/2008. E ainda qual a influência do IDH tanto na implementação de tais instrumentos de gestão ambiental, como nas ocorrências dos problemas ambientais. Tal classificação tem a intenção de verificar se o município encontra-se bem aparelhado no que se refere à gestão ambiental, auxiliando para futuras decisões nas ações da política ambiental local. O foco desse trabalho serão os municípios dos estados de Minas Gerais, Piauí e Rio de Janeiro. Os resultados serão processados via o software MATLAB utilizando lógica nebulosa (fuzzy) e apresentados em um website utilizando as linguagens de programação JSP, HTML, JavaScript e esse website armazenado em um servidor TomCat e tais resultados serão apresentados nas formas de valores alfanuméricos em tabelas e espaciais através de mapas temáticos em uma solução sig-web. Os dados estão armazenados em um Sistema Gerenciador de Banco de Dados PostgreSQL com sua extensão espacial PostGIS, e o acesso aos mapas será feito através do servidor de mapas MapServer.

A facultatividade da concordância: português formal real versus gramática escolar

No ensino de língua nacional, concordância é um dos tópicos em cujo aprendizado observa dificuldade por parte dos discentes, principalmente pelo grande número de regras facultativas das gramáticas, que muitas vezes não levam em conta o uso formal real da língua. Este trabalho visa a descrever esse uso, a partir da observação de um corpus do caderno opinião de jornais de grande circulação, confrontando os resultados com as prescrições da norma gramatical escolar, a fim de separar, em tais prescrições, a parte aproveitável da não coincidente com a realidade do corpus, se for o caso. Pretende-se, dessa forma, contribuir para a boa qualidade do ensino da língua portuguesa nos níveis fundamental e médio, especificamente no que se refere à concordância

Formal languages, part theory, and change

A general definition of interpreted formal language is presented. The notion “is a part of" is formally developed and models of the resulting part theory are used as universes of discourse of the formal languages. It is shown that certain Boolean algebras are models of part theory.

With this development, the structure imposed upon the universe of discourse by a formal language is characterized by a group of automorphisms of the model of part theory. If the model of part theory is thought of as a static world, the automorphisms become the changes which take place in the world. Using this formalism, we discuss a notion of abstraction and the concept of definability. A Galois connection between the groups characterizing formal languages and a language-like closure over the groups is determined.

It is shown that a set theory can be developed within models of part theory such that certain strong formal languages can be said to determine their own set theory. This development is such that for a given formal language whose universe of discourse is a model of part theory, a set theory can be imbedded as a submodel of part theory so that the formal language has parts which are sets as its discursive entities.

Legitimaciones sociales de las políticas patrimoniales y museísticas

Cap. 1. Proyectos patrimoniales y museísticos en las sociedades democráticas y capitalistas: entre la legitimación formal y la vinculación social. Iñaki Arrieta Urtizberea. Cap. 2. Musées et patrimoine immatériel au Québec : enjeux politiques et sociaux. Laurier Turgeon. Cap. 3. “El patrimonio pertenece a todos”. De la universalidad a la identidad, ¿cuál es el lugar de la participación social? Victoria Quintero Morón. Cap. 4. La legitimación social y política de los museos: dos casos del estado de Oaxaca, México. Teresa Morales Lersch y Cuauhtémoc Camarena Ocampo. Cap. 5. Reinterpretaciones de la misión social de los museos: políticas de la cultura en la red de museos de Loures, Portugal. Marta Anico. Cap. 6. La comunicación de los museos y sus relaciones con las políticas culturales de las ciudades. Entre la repetición de estrategias y la innovación. Daniel Paül i Agustí. Cap. 7. El Patrimonio de la Guerra Civil como útil de concienciación social al amparo de la Ley de la Memoria Histórica. Óscar Navajas Corral y Julián González Fraile. Cap. 8. Política y planificación museística, y participación social en Cataluña: un breve recorrido histórico y algunas reflexiones. Daniel Solé i Lladós. Cap. 9. Diagnóstico de las acciones de los museos catalanes como parte de las políticas de integración. Fabien Van Geert. Cap. 10. Los inexistentes alcornocaleños y las experiencias museísticas etnográficas en el Parque Natural Los Alcornocales. Agustín Coca Pérez.

Utilización de la lógica borrosa en la selección de personas e ideas para la participación en programas públicos de ayuda a la creación de empresas

[ES] Se propone en este trabajo un modelo de control borroso que ayude a filtrar y seleccionar las solicitudes de subvención que pueda recibir una institución pública en un programa de fomento para la creación y desarrollo de nuevas iniciativas empresariales. Creemos que la utilización de la lógica borrosa presenta ventajas sobre los procedimientos ordinarios ya que nos movemos en un escenario de actuación complejo y vago. El control borroso introduce el conocimiento de los expertos de un modo muy natural mediante variables lingüísticas y procesos de inferencia propios del lenguaje ordinario, lo que facilita la toma de decisiones en situaciones complejas. Nuestro modelo considera por un lado la idea empresarial y por otro la persona . Los indicadores y criterios que los expertos consideran relevantes para la evaluación de la subvención son modelados mediante variables lingüísticas y tratados como antecedentes y consecuentes de un motor de inferencia borroso, cuya salida nos proporciona la valoración final de la solicitud. Al final de nuestro trabajo resolvemos un caso práctico sencillo para aclarar el procedimiento.

Índice de saúde social do adolescente baseado em lógica nebulosa.

Este trabalho consiste de uma análise exploratória sobre municípios do Sudeste com população acima de 100mil habitantes abordando dois problemas: a violência e a educação. Na violência abordaremos índices de homicídios na adolescência trabalhando com a faixa de adolescentes de 12 a 18 anos. Na educação trabalharemos com o Índice de Desenvolvimento Educacionail Brasileiro referenciado ao último ano do ensino fundamental. Trabalhando com os indicadores citados, abordaremos esses problemas gerando um Índice de Saúde social do Adolescente utilizando a lógica Fuzzy, conjunto nebuloso. Classificando os municípios do Sudeste visando identificar municípios com qualidade de vida melhor para esses adolescentes, expectativa de vida e melhoria na educação. Baixos índices de homicídios e altos índices educacionais desenvolvendo uma ferramenta útil para auxiliar na tomada de decisões no tocante a políticas públicas nos Municípios e Estados gerando um indicador de municípios com qualidade de vida para os adolescentes! Trabalhamos com dados do ano de 2007 tanto para o homicídio quanto para a educação, os valores apresentados nos índices foram divididos em quintis, processados via o software MATLAB utilizando lógica nebulosa (fuzzy), classificados e apresentados nas formas de valores alfanuméricos em tabelas espaciais com o software Quantum Gis através de mapas temáticos das regiões estudadas.