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.

The validity of publication and citation counts for Sociology and other selected disciplines

The use of bibliometric data is a means of comparing. research productivity and scholarly. impact for individuals, work groups, institutions and nations within and between disciplines. Central to this debate is the notion that disciplines differ in the ways in which,they exchange ideas and disseminate information and therefore have diverse publishing and citation patterns. In this article we use two different approaches to compiling bibliometric data to compare publishing patterns of five different disciplines that encompass Molecular Biology; Administration/Political Science, Psychology,. Philosophy and Sociology/Anthropology. We find that the social sciences differ from each other as well as from the physical sciences in their publication and citation patterns. Further, while the different ways of organizing the data produce somewhat different results, the substantive findings for the general patterning of publications and citations of disciplines are consistent for both data sets. Sociology/Anthropology, when compared with the other disciplines, shows substantial differences across universities.

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.

Treinamento auditivo formal em idosos usuários de próteses auditivas

A implantação de programas de reabilitação para o deficiente auditivo idoso é de grande importância. OBJETIVO: Verificar a eficácia de um programa de treinamento auditivo formal em idosos que receberam próteses auditivas há no mínimo três meses, por meio de testes de reconhecimento de fala e questionário de auto-avaliação. MÉTODO: Estudo de coorte contemporânea longitudinal. Foram selecionados 13 idosos usuários de próteses auditivas intra-aurais em adaptação binaural, de ambos os sexos, com idade média de 65,30 anos. Este grupo foi subdividido aleatoriamente em Grupo Experimental e Grupo Controle, por meio de sorteio. O Grupo Experimental foi submetido a sete sessões de treinamento auditivo formal, visando estimular as habilidades auditivas de fechamento auditivo, memória, atenção, figura-fundo e integração binaural. Os participantes foram avaliados por três testes comportamentais e um questionário de auto-avaliação. RESULTADOS: Os idosos do Grupo Experimental apresentaram desempenho significantemente melhor nas avaliações após o treinamento auditivo e também em relação ao Grupo Controle. CONCLUSÃO: O programa de treinamento auditivo em cabina acústica, associado ao uso de próteses auditivas, melhora o desempenho das habilidades de reconhecimento de fala e reduz a percepção do handicap auditivo de idosos usuários de próteses auditivas intra-aurais.

Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

Abstract. Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineer an abstract model of a user interface directly from the GUI’s legacy code. We also present results from a case study. These results are encouraging and give evidence that the goal of reverse engineering user interfaces can be met with more work on this technique.