A formal representation of assumptions in process modelling

In this work, we present a systematic approach to the representation of modelling assumptions. Modelling assumptions form the fundamental basis for the mathematical description of a process system. These assumptions can be translated into either additional mathematical relationships or constraints between model variables, equations, balance volumes or parameters. In order to analyse the effect of modelling assumptions in a formal, rigorous way, a syntax of modelling assumptions has been defined. The smallest indivisible syntactical element, the so called assumption atom has been identified as a triplet. With this syntax a modelling assumption can be described as an elementary assumption, i.e. an assumption consisting of only an assumption atom or a composite assumption consisting of a conjunction of elementary assumptions. The above syntax of modelling assumptions enables us to represent modelling assumptions as transformations acting on the set of model equations. The notion of syntactical correctness and semantical consistency of sets of modelling assumptions is defined and necessary conditions for checking them are given. These transformations can be used in several ways and their implications can be analysed by formal methods. The modelling assumptions define model hierarchies. That is, a series of model families each belonging to a particular equivalence class. These model equivalence classes can be related to primal assumptions regarding the definition of mass, energy and momentum balance volumes and to secondary and tiertinary assumptions regarding the presence or absence and the form of mechanisms within the system. Within equivalence classes, there are many model members, these being related to algebraic model transformations for the particular model. We show how these model hierarchies are driven by the underlying assumption structure and indicate some implications on system dynamics and complexity issues. (C) 2001 Elsevier Science Ltd. All rights reserved.

A formal model of real-time program compilation

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.

Document retrieval for e-mail search and discovery using Formal Concept Analysis

This paper discusses a document discovery tool based on Conceptual Clustering by Formal Concept Analysis. The program allows users to navigate e-mail using a visual lattice metaphor rather than a tree. It implements a virtual. le structure over e-mail where files and entire directories can appear in multiple positions. The content and shape of the lattice formed by the conceptual ontology can assist in e-mail discovery. The system described provides more flexibility in retrieving stored e-mails than what is normally available in e-mail clients. The paper discusses how conceptual ontologies can leverage traditional document retrieval systems and aid knowledge discovery in document collections.

Procurando outros paradigmas para a educação

Este artigo, inspirado nas propostas de Deleuze e Guattari, faz uma an��lise das pr��ticas educacionais pautadas no paradigma cientificista. Prop��e outras dire����es de sentido e um redimensionamento da educação com baser no paradigma ��tico/est��tico/pol��tico trazendo a proposta das "��rvores do Conhecimento"de M. Authier e P. Levy como uma possibilidade de se constru��rem comunidades de conhecimento, recusando os especialismos.

Pesquisa e educação especial : mapeando produ����es

Denise Meyrelles de Jesus, Claudio Roberto Baptista, Sonia Lopes Victor, organizadores.

Educação f��sica e os desafios da inclus��o

Organizadores Jos�� Francisco Chicon, Graciele Massoli Rodrigues.

A educação inclusiva de crian��as, adolescentes, jovens e adultos : avan��os e desafios

Textos apresentados no XI Semin��rio Capixaba de Educação Inclusiva, realizado no munic��pio de Vit��ria, em setembro de 2008.

Os sentidos da escola no contexto de crise de sentido : uma an��lise a partir do programa educação em valores humanos/projeto escola sustent��vel em Serra-ES

�� luz dos autores Berger e Luckmann (2005); De Bastiani (2008); Ferreira (2009); Peruzzo (2010) e Maia (2011), esta pesquisa aborda o que os autores chamam de crise de sentido, contexto em que se percebe uma radical mudan��a das condi����es b��sicas da vida humana e uma crescente transforma����o dos valores sociais. Esse cen��rio revela a condi����o de estar em um mundo onde o que �� valorizado �� o fugaz, o aparente, o superficial, o sem sentido. Desse modo, prop��e uma an��lise sobre a educação como processo de forma����o humana, afirmando a institui����o escolar como espa��o privilegiado de possibilidades emancipat��rias de exist��ncia. Tendo como contexto de investiga����o o Programa Educação em Valores Humanos (PEVH) / Projeto Escola Sustent��vel (PES) desenvolvido em uma das escolas do munic��pio de Serra-ES, as quest��es orientadoras tiveram como objetivo investigar como essa experi��ncia se articula aos enunciados da crise de sentido e como tem favorecido o desenvolvimento da ideia de forma����o humana no ��mbito escolar. A metodologia privilegiada foi o estudo de caso tendo como instrumentos de pesquisa a observa����o participante, a an��lise documental e as entrevistas. A partir da perspectiva qualitativa, a pesquisa em campo evidenciou que, embora os sentidos pretendidos pelo desenvolvimento do PEVH / PES nas escolas tenham despertado aten����o a quest��es atuais e relevantes, circunscreveram-se alheios a um debate mais amplo e profundo acerca da escola na atualidade distanciando-se de uma perspectiva cr��tica. Logo, pela via da responsabiliza����o individual, desconsiderou as contradi����es hist��ricas.

Lugares e tempos em narrativas de uma educação ambiental p��s-colonial no S��tio dos Crioulos - Jer��nimo Monteiro - E.S.

Discuss��o e an��lise sobre as in��meras temporalidades e espa��os identit��rios do S��tio dos Crioulos, comunidade quilombola do munic��pio de Jer��nimo Monteiro, ao sul do Estado do Esp��rito Santo. O objetivo �� compreender as formas de saberes produzidas pela comunidade, assim como suas articula����es na rela����o tempoespa��o, no encadeamento do que podemos chamar de uma educação ambiental local, considerando os diferentes modos de vida que ali existem, como tamb��m os usos e apropria����es da natureza e dos processos identit��rios. Os usos das narrativas atrav��s de entrevistas abertas e a observa����o-participante comp��em a metodologia com as experi��ncias do lugar praticado. Pesquisa que engendra o ambiental em tradu����o com os saberes-fazeres da comunidade: o l��dico, a ro��a e o sagrado. S��o espa��os-tempos que possibilitam pensar na radicaliza����o e anuncia����o das pr��ticas sociais e culturais como sin��nimos da realiza����o do ambiental, e como narrativas que denotam est��rias que emergem dos silenciamentos da modernidade disciplinante e instrumental, a qual reduziu as comunidades ditas tradicionais �� conforma����o de conhecimentos n��o-cient��ficos dotados de irracionalidades. Esta pesquisa busca compreender de que forma �� poss��vel pensar uma educação ambiental de dentro para fora, onde a rela����o pesquisador-pesquisado se estabelece como ponto de aproxima����o e conflito das din��micas socioculturais estabelecidas por esse encontro. O que nos aproxima de uma educação ambiental p��s-colonial que surge das narrativas e experi��ncias locais na converg��ncia das diferen��as e do que se produz e traduz junto a elas. Este trabalho discorre desses processos de aproxima����o e distanciamento que provocam outras tradu����es sobre a cultura-natureza de n��s mesmos, indiv��duos e sociedade.