Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences

The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mechanism takes a scenario describing the constituent interacting components of a system and translates it into a useful mathematical model. This paper presents a novel compositional modelling approach aimed at building model repositories. It furthers the field in two respects. Firstly, it expands the application domain of compositional modelling to systems that can not be easily described in terms of interacting functional components, such as ecological systems. Secondly, it enables the incorporation of user preferences into the model selection process. These features are achieved by casting the compositional modelling problem as an activity-based dynamic preference constraint satisfaction problem, where the dynamic constraints describe the restrictions imposed over the composition of partial models and the preferences correspond to those of the user of the automated modeller. In addition, the preference levels are represented through the use of symbolic values that differ in orders of magnitude.

Hamiltonian constraint analysis of vector field theories with spontaneous Lorentz symmetry breaking

Recent investigations of various quantum-gravity theories have revealed a variety of possible mechanisms that lead to Lorentz violation. One of the more elegant of these mechanisms is known as Spontaneous Lorentz Symmetry Breaking (SLSB), where a vector or tensor field acquires a nonzero vacuum expectation value. As a consequence of this symmetry breaking, massless Nambu-Goldstone modes appear with properties similar to the photon in Electromagnetism. This thesis considers the most general class of vector field theories that exhibit spontaneous Lorentz violation-known as bumblebee models-and examines their candidacy as potential alternative explanations of E&M, offering the possibility that Einstein-Maxwell theory could emerge as a result of SLSB rather than of local U(1) gauge invariance. With this aim we employ Dirac's Hamiltonian Constraint Analysis procedure to examine the constraint structures and degrees of freedom inherent in three candidate bumblebee models, each with a different potential function, and compare these results to those of Electromagnetism. We find that none of these models share similar constraint structures to that of E&M, and that the number of degrees of freedom for each model exceeds that of Electromagnetism by at least two, pointing to the potential existence of massive modes or propagating ghost modes in the bumblebee theories.

Constrangimentos no posto do motorista de ônibus urbano segundo a visão macroergonômica

Este estudo trata da abordagem macroergonômica participativa para a identificação das demandas ergonômicas dos motoristas de ônibus urbano da cidade de Joinville, com utilização da metodologia participativa da Análise Macroergonômica do Trabalho (AMT) (GUIMARÃES, 2001c) e ferramental proposto no Design Macroergonômico (DM) (FOGLIATTO E GUIMARÃES, 1999). O estudo de caso foi realizado em uma empresa privada de transporte coletivo da cidade de Joinville. A aplicação da metodologia permitiu identificar as demandas ergonômicas prioritárias levantadas pelos motoristas de ônibus urbano da cidade de Joinville e os itens de design do seu posto de trabalho através da fase de apreciação. As demandas ergonômicas, bem como os itens de design foram comparados através do Teste Exato de Fisher com determinadas características da população constatando-se algumas associações significativas entre a satisfação dos motoristas e as variáveis que compõe cada construto. Estes resultados possibilitaram a formulação de recomendações que viabilize, em estudos futuros, a introdução de melhorias para o aumento da qualidade de vida dos motoristas. Os estudos também permitiram identificar uma afinidade da metodologia participativa com os motoristas de ônibus urbano, em que as mudanças podem ocorrer de forma gradativa e experiencial através de protótipos no caso das demandas referentes à posto de trabalho e físico ambiental, ou através de possíveis adaptações no conteúdo da tarefa do motorista no caso das demandas referentes à organização do trabalho. Tudo isto vislumbrando o atendimento, por ordem de importância, dos itens de demanda ergonômica levantados. Por fim, concluiu-se que para os motoristas de Joinville alguns fatores referentes a organização do trabalho estão entre os principais causadores dos constrangimentos aos quais são expostos enquanto executam sua tarefa, seguido por fatores físicos ambientais e posto do trabalho.