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.

Incremental parsing in language-based editors: user needs and how to meet them

Incremental parsing has long been recognized as a technique of great utility in the construction of language-based editors, and correspondingly, the area currently enjoys a mature theory. Unfortunately, many practical considerations have been largely overlooked in previously published algorithms. Many user requirements for an editing system necessarily impact on the design of its incremental parser, but most approaches focus only on one: response time. This paper details an incremental parser based on LR parsing techniques and designed for use in a modeless syntax recognition editor. The nature of this editor places significant demands on the structure and quality of the document representation it uses, and hence, on the parser. The strategy presented here is novel in that both the parser and the representation it constructs are tolerant of the inevitable and frequent syntax errors that arise during editing. This is achieved by a method that differs from conventional error repair techniques, and that is more appropriate for use in an interactive context. Furthermore, the parser aims to minimize disturbance to this representation, not only to ensure other system components can operate incrementally, but also to avoid unfortunate consequences for certain user-oriented services. The algorithm is augmented with a limited form of predictive tree-building, and a technique is presented for the determination of valid symbols for menu-based insertion. Copyright (C) 2001 John Wiley & Sons, Ltd.

Xmds: eXtensible multi-dimensional simulator

A software package that efficiently solves a comprehensive range of problems based on coupled complex nonlinear stochastic ODEs and PDEs is outlined. Its input and output syntax is formulated as a subset of XML, thus making a step towards a standard for specifying numerical simulations.

Mark-recapture may reveal more about ecology than about population trends: Demography of a threatened ghost bat (Macroderma gigas) population

Since European settlement in Australia, the geographical range of ghost bats (Macroderma gigas) has contracted northwards. Ghost bats are thought to occur in disjunct populations with little interpopulation migration, raising concerns over the current status and future viability of the southernmost colony, which has also been threatened by mining activity. To address these concerns, demographic parameters of the southernmost colony were estimated from a mark-recapture study conducted during 1975-1981. Female bats gave birth to a single young in late spring, but only 40% (22-70%, 95% CI) of females bred in their second year, increasing to 93% (87-97%, 95% CI) for females greater than or equal to 2 years old. Sixty-five percent of juveniles caught were female. Annual adult survival ranged between 0.57-0.77 for females and 0.43-0.66 for males, and was lowest over winter-spring and greatest in autumn-winter. Juvenile survival for the first year ranged between 0.35-0.46 for females and 0.29-0.42 for males. Adult survival varied among seasons, was negatively associated with rainfall, but was not associated with temperature beyond being lower in late winter. Poor survival may result from the inferior daytime roosts that bats must use if water seepage forces them to leave their normal roosts. Although these age-specific rates of fecundity and survival suggested a declining population, mark-recapture estimates of the population trend indicated stability over the study period. Counts at daytime roosts also suggested a population decline, but were considered unreliable because of an increasing tendency of bats to avoid detection. It is therefore likely that some assumptions in estimating survival were violated. These results provide a caution against the uncritical use of population projections derived from mark-recapture estimates of demographic parameters, and the use of untested indices as the basis for conservation decisions.

Habitat choice and vigilance behaviour of brush-tailed rock-wallabies (Petrogale penicillata) within their nocturnal foraging ranges

Habitat choice by brush-tailed rock-wallabies (Petrogale penicillata) in south-east Queensland was investigated by comparing the attributes of the nocturnal foraging locations that they selected with those of random locations within a radius of 50 m. Brush-tailed rock-wallabies were shown to select foraging locations on the basis of forage quality and/or their ability to see predators, rather than protection from predators amongst vegetation that could conceal them. Habitat choice may have been affected by limited food availability, as this study was conducted in the winter dry season. The attributes of foraging locations that brush- tailed rock-wallabies perceived as increasing their predation risk were assessed by recording the proportion of time that brush- tailed rock-wallabies spent vigilant while foraging. To measure vigilance, focal animals were observed with a night- vision scope for two minutes and the proportions of time spent vigilant and feeding were recorded. No measured feature of foraging locations was related to higher vigilance levels, suggesting that brush- tailed rock-wallabies did not alter their vigilance whether sheltered amongst grass tussocks or in open habitat, or whether feeding on good quality or poorer quality vegetation. Vigilance levels significantly declined as overnight temperatures decreased, which may have resulted from higher energy requirements of brush- tailed rock-wallabies during winter. The only factors that were found to significantly increase vigilance levels were high winds and moonlit nights. On bright nights, brush- tailed rock-wallabies were very unsettled and during high winds they often did not emerge to feed. More information is needed about how macropods detect predators at night before the effects of wind and light intensity upon vigilance can be fully understood.

O bebê surdo na educação infantil : um olhar sobre inclusão e práticas pedagógicas

Este estudo teve como objetivo analisar como ocorre a inclusão de dois bebês surdos (de 1 ano) na educação infantil de um Centro Municipal de Educação Infantil (CMEI) do município de Vitória/ES. Como aporte teórico foi utilizada a perspectiva Histórico-Cultural do desenvolvimento humano, sob a perspectiva que o sujeito se constitui nas relações sociais, como um ser ativo que transforma e é transformado nessas relações. Nesse contexto, o desenvolvimento implica a relação com o outro e a mediação da linguagem, meio de comunicação e de constituição do pensamento. Assim, no caso dos bebês surdos, destaca-se a LIBRAS como língua privilegiada que deve ser apropriada por eles e ensinada no cotidiano da educação infantil. Como opção metodológica, desenvolvemos um estudo de caso de inspiração etnográfica, por entendermos que essa metodologia permite atender apropriadamente ao objetivo do estudo. Para a coleta de dados, adotamos recursos como observação participante, registro em diário de campo, entrevistas semiestruturadas com os sujeitos participantes da pesquisa e análise documental. Na análise dos dados, tomamos como eixos de análise: as concepções dos profissionais a respeito da inclusão, surdez e do trabalho com os bebês surdos; o cuidado e a educação dos bebês surdos e as atividades lúdicas na sala dos bebês. As análises indicam que muitos profissionais têm dúvidas a respeito da inclusão e que a falta do conhecimento da LIBRAS por parte de muitos profissionais, leva à utilização de outros recursos de comunicação, como os gestos. A vivência e interação em LIBRAS entre as crianças e a maior parte dos profissionais da escola com os bebês surdos torna-se um desafio, sobressaindo a necessidade de mais profissionais com o conhecimento da LIBRAS para atender às crianças surdas em diferentes espaços no cotidiano da educação infantil, na perspectiva de potencializar o seu desenvolvimento e a constituição de sua identidade. Todavia, os profissionais da escola são movidos pela preocupação com a inclusão e o aprendizado da LIBRAS, esforçando-se no sentido de buscar novas formas de trabalho para/com as crianças surdas. Além disso, o empenho da equipe bilíngue na estruturação do cotidiano da educação infantil merece destaque, não só pelo trabalho que faz enquanto equipe bilíngue, mas pelo incentivo e auxílio aos outros profissionais.

Diagnóstico da deficiência auditiva em Pernambuco: oferta de serviços de média complexidade - 2003

O acesso universal e igualitário às ações e serviços públicos garantido através da Constituição de 1988 tornou mais acessível o diagnóstico precoce da deficiência auditiva. Desta forma, por meio do Sistema Único de Saúde (SUS), prestadores públicos e privados de serviços proporcionam essa cobertura a toda população, nos diferentes níveis de complexidade. OBJETIVO: O trabalho tem como objetivo estudar a oferta de serviços de diagnóstico da Deficiência Auditiva na média complexidade em Pernambuco no 1º semestre de 2003. MATERIAL E MÉTODO: Através de um estudo de séries foram analisados 17669 procedimentos e 372 profissionais da área de diagnóstico da deficiência auditiva nos 185 municípios do estado de Pernambuco, dados retirados do Sistema de Informação Ambulatorial do Ministério da Saúde. RESULTADOS: Os resultados mostraram que os procedimentos estão sendo realizados em apenas cinco municípios, a maioria em unidades geridas pela esfera municipal. Também, identificou-se uma distribuição não-eqüitativa da oferta dos procedimentos de diagnóstico. CONCLUSÃO: Concluiu-se que muito ainda precisa ser feito para que o acesso e oferta do diagnóstico da deficiência auditiva ocorram de forma horizontal, respeitando as diferenças da comunidade através de um modelo universal, integrativo e eficiente como propõe o Sistema Único de Saúde.

Minha filha aprende a falar: percurso de aquisição da linguagem de uma criança brasileira nos tempos actuais

RESUMO: A linguagem é o traço distintivo do ser humano. É por meio dela que nos comunicamos, formamos todos os nossos conceitos, temos uma estória e cultura. A capacidade humana para adquirir um sistema de regras tão complexo como é a linguagem verbal, em um espaço de tempo relativamente curto, tem despertado o interesse de estudiosos ao longo do tempo. Conforme a literatura consultada, a linguagem, de caráter inato, é adquirida em um meio de falantes, seguindo etapas universais de desenvolvimento. Interrogamo-nos então se, nos tempos atuais, marcados pela globalização, esse processo mantem-se igual ou pode sofrer modificações. Esta dissertação resulta de um estudo feito durante os anos 2007/2009, com uma criança brasileira, e teve como objetivo principal descrever o percurso de aquisição da linguagem nos tempos atuais, utilizando a metodologia do estudo de caso. Os dados coletados foram analisados sob os cinco componentes da linguagem: Fonologia, Morfologia, Sintaxe, Semântica e Pragmática, e comparados ao referencial teórico, no intuito de identificar semelhanças e/ou diferenças entre ambos. ABSTRACT: The language is the human‟s differential trace. It is whereby that we communicate, we form all our concepts, we have a story and culture. The human capacity to acquire a rules system such complex as the verbal language, in a relatively short time space, has been awaking the interest of studious along time. According to the consulted literature, the languae, of innate character, is acquired in a way of speakers, following universal stages of development. So, we asked us if, in the current times, marked by globalization, this process keep equal or can suffer modifications. This dissertation results from a study reayized during years 2007/2008, with a Brazilian child, and it had as main goal to describe the language acquisition route in the current times, using the case study as methodology. The collected data were analyzed under the five language components: Phonology, Morphology, Syntax, Semantic and Pragmatic, and compared to theory, intending identifying similarities and/or differences between both.

Configuração e interrogação com sistemas federados

Apesar da existência de produtos comerciais e da investigação na área, a construção de sistemas de informação com diversos componentes distribuídos, heterogéneos e autónomos - conhecidos como sistemas de informação federados - é ainda um desafio. Estes sistemas de informação oferecem uma visão global unificada sobre os vários modelos de dados (parciais). No entanto, a modelação destes sistemas é um desafio, já que modelos de dados como o relacional não incluem informação sobre a distribuição e tratamento de heterogeneidade. É também necessário interagir com estes sistemas de informação, através de interrogações sobre os diversos componentes dos sistemas, sem ser necessário conhecer os detalhes dos mesmos. Este trabalho propõe uma abordagem a estes desafios, através da utilização de modelos para descrição semântica, e.g. linguagem OWL (Ontology Web Language), para construir uma descrição unificada dos seus diversos modelos parciais. O modelo criado para dar suporte a esta descrição é, em parte, baseado em ontologias existentes, que foram alteradas e extendidas para resolver diversos desafios de modelação. Sobre este modelo, é criado um componente de software que permite a execução de interrogações SQL (Structured Query Language) sobre o sistema federado, resolvendo os problemas de distribuição e heterogeneidade existentes.

XAdES4J: a java library for XAdES signature services

As comunicações electrónicas são cada vez mais o meio de eleição para negócios entre entidades e para as relações entre os cidadãos e o Estado (e-government). Esta diversidade de transacções envolve, muitas vezes, informação sensível e com possível valor legal. Neste contexto, as assinaturas electrónicas são uma importante base de confiança, fornecendo garantias de integridade e autenticação entre os intervenientes. A produção de uma assinatura digital resulta não só no valor da assinatura propriamente dita, mas também num conjunto de informação adicional acerca da mesma, como o algoritmo de assinatura, o certificado de validação ou a hora e local de produção. Num cenário heterogéneo como o descrito anteriormente, torna-se necessária uma forma flexível e interoperável de descrever esse tipo de informação. A linguagem XML é uma forma adequada de representar uma assinatura neste contexto, não só pela sua natureza estruturada, mas principalmente por ser baseada em texto e ter suporte generalizado. A recomendação XML Signature Syntax and Processing (ou apenas XML Signature) foi o primeiro passo na representação de assinaturas em XML. Nela são definidas sintaxe e regras de processamento para criar, representar e validar assinaturas digitais. As assinaturas XML podem ser aplicadas a qualquer tipo de conteúdos digitais identificáveis por um URI, tanto no mesmo documento XML que a assinatura, como noutra qualquer localização. Além disso, a mesma assinatura XML pode englobar vários recursos, mesmo de tipos diferentes (texto livre, imagens, XML, etc.). À medida que as assinaturas electrónicas foram ganhando relevância tornou-se evidente que a especificação XML Signature não era suficiente, nomeadamente por não dar garantias de validade a longo prazo nem de não repudiação. Esta situação foi agravada pelo facto da especificação não cumprir os requisitos da directiva 1999/93/EC da União Europeia, onde é estabelecido um quadro legal para as assinaturas electrónicas a nível comunitário. No seguimento desta directiva da União Europeia foi desenvolvida a especificação XML Advanced Electronic Signatures que define formatos XML e regras de processamento para assinaturas electrónicas não repudiáveis e com validade verificável durante períodos de tempo extensos, em conformidade com a directiva. Esta especificação estende a recomendação XML Signature, definindo novos elementos que contêm informação adicional acerca da assinatura e dos recursos assinados (propriedades qualificadoras). A plataforma Java inclui, desde a versão 1.6, uma API de alto nível para serviços de assinaturas digitais em XML, de acordo com a recomendação XML Signature. Contudo, não existe suporte para assinaturas avançadas. Com este projecto pretende-se desenvolver uma biblioteca Java para a criação e validação de assinaturas XAdES, preenchendo assim a lacuna existente na plataforma. A biblioteca desenvolvida disponibiliza uma interface com alto nível de abstracção, não tendo o programador que lidar directamente com a estrutura XML da assinatura nem com os detalhes do conteúdo das propriedades qualificadoras. São definidos tipos que representam os principais conceitos da assinatura, nomeadamente as propriedades qualificadoras e os recursos assinados, sendo os aspectos estruturais resolvidos internamente. Neste trabalho, a informação que compõe uma assinatura XAdES é dividia em dois grupos: o primeiro é formado por características do signatário e da assinatura, tais como a chave e as propriedades qualificadoras da assinatura. O segundo grupo é composto pelos recursos assinados e as correspondentes propriedades qualificadoras. Quando um signatário produz várias assinaturas em determinado contexto, o primeiro grupo de características será semelhante entre elas. Definiu-se o conjunto invariante de características da assinatura e do signatário como perfil de assinatura. O conceito é estendido à verificação de assinaturas englobando, neste caso, a informação a usar nesse processo, como por exemplo os certificados raiz em que o verificador confia. Numa outra perspectiva, um perfil constitui uma configuração do serviço de assinatura correspondente. O desenho e implementação da biblioteca estão também baseados no conceito de fornecedor de serviços. Um fornecedor de serviços é uma entidade que disponibiliza determinada informação ou serviço necessários à produção e verificação de assinaturas, nomeadamente: selecção de chave/certificado de assinatura, validação de certificados, interacção com servidores de time-stamp e geração de XML. Em vez de depender directamente da informação em causa, um perfil — e, consequentemente, a operação correspondente — é configurado com fornecedores de serviços que são invocados quando necessário. Para cada tipo de fornecedor de serviços é definida um interface, podendo as correspondentes implementações ser configuradas de forma independente. A biblioteca inclui implementações de todos os fornecedores de serviços, sendo algumas delas usadas for omissão na produção e verificação de assinaturas. Uma vez que o foco do projecto é a especificação XAdES, o processamento e estrutura relativos ao formato básico são delegados internamente na biblioteca Apache XML Security, que disponibiliza uma implementação da recomendação XML Signature. Para validar o funcionamento da biblioteca, nomeadamente em termos de interoperabilidade, procede-se, entre outros, à verificação de um conjunto de assinaturas produzidas por Estados Membros da União Europeia, bem como por outra implementação da especificação XAdES.

Ontologies for reusing data cleaning knowledge

The emergence of new business models, namely, the establishment of partnerships between organizations, the chance that companies have of adding existing data on the web, especially in the semantic web, to their information, led to the emphasis on some problems existing in databases, particularly related to data quality. Poor data can result in loss of competitiveness of the organizations holding these data, and may even lead to their disappearance, since many of their decision-making processes are based on these data. For this reason, data cleaning is essential. Current approaches to solve these problems are closely linked to database schemas and specific domains. In order that data cleaning can be used in different repositories, it is necessary for computer systems to understand these data, i.e., an associated semantic is needed. The solution presented in this paper includes the use of ontologies: (i) for the specification of data cleaning operations and, (ii) as a way of solving the semantic heterogeneity problems of data stored in different sources. With data cleaning operations defined at a conceptual level and existing mappings between domain ontologies and an ontology that results from a database, they may be instantiated and proposed to the expert/specialist to be executed over that database, thus enabling their interoperability.

Pronoun-dropping or zero anaphora in translation from german into portuguese

In this article I will analyse anaphoric references in German texts and their transaltion into Portuguese. I will take as main corpus Heinrich Böll's novel Haus ohne Hüter and its translation into Portuguese by Jorge Rosa with the title Casa Indefesa. I will concentrate on the use of personal pronouns and possessives in references to both people and objects in source text and target text and I will present patterns of symmetries and asymmetries. I will claim that asymmetries in the translation of such anaphoric references can be accounted for mainly by differences in the pronominal systems and verbal systems of both languages and by differences in the way each language marks theme/topic continuity/discontinuity in discourse. Issues related to style and the translation of anaphors will also be addressed. I will finally raise some questions related to ambiguous references which can not be solved within the scope of syntax or semantics, thus requiring pragmatic interpretation based on cultural knowledge/world knowledge.

User modeling In adaptive hypermedia educational systems

This document is a survey in the research area of User Modeling (UM) for the specific field of Adaptive Learning. The aims of this document are: To define what it is a User Model; To present existing and well known User Models; To analyze the existent standards related with UM; To compare existing systems. In the scientific area of User Modeling (UM), numerous research and developed systems already seem to promise good results, but some experimentation and implementation are still necessary to conclude about the utility of the UM. That is, the experimentation and implementation of these systems are still very scarce to determine the utility of some of the referred applications. At present, the Student Modeling research goes in the direction to make possible reuse a student model in different systems. The standards are more and more relevant for this effect, allowing systems communicate and to share data, components and structures, at syntax and semantic level, even if most of them still only allow syntax integration.

A estrutura da narrativa na escrita dos alunos surdos

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ciências da Educação - Especialização em Educação Especial

Big Enclosed Island, de Daniel de Sá : uma proposta de tradução comentada

Dissertação de Mestrado em Tradução e Assessoria Linguística.