The meta-object facility typed

The Object Managment Group’s Meta-Object Facility (MOF) is a semiformal approach to writing models and metamodels (models of models). The MOF was developed to enable systematic model/metamodel interchange and integration. The approach is problematic, unless metamodels are correctly specified: an error in a metamodel specification will propagate throughout instantiating models and final model implementations. An important open question is how to develop provably correct metamodels. This paper outlines a solution to the question, in which the MOF metamodelling approach is formalized within constructive type theory.

The Open Provenance Model Core Specification (v1.1)

The Open Provenance Model is a model of provenance that is designed to meet the following requirements: (1) To allow provenance information to be exchanged between systems, by means of a compatibility layer based on a shared provenance model. (2) To allow developers to build and share tools that operate on such a provenance model. (3) To define provenance in a precise, technology-agnostic manner. (4) To support a digital representation of provenance for any 'thing', whether produced by computer systems or not. (5) To allow multiple levels of description to coexist. (6) To define a core set of rules that identify the valid inferences that can be made on provenance representation. This document contains the specification of the Open Provenance Model (v1.1) resulting from a community-effort to achieve inter-operability in the Provenance Challenge series.

Estilo de gestão em conselhos municipais e sua influência numa administração pública municipal : caso do Conselho Municipal de Educação de Dom Pedrito - RS

Esse estudo visa identificar o estilo de gestão do Conselho Municipal de Educação de Dom Pedrito, de acordo com a percepção de seus próprios componentes, e qual a influência das ações deste Conselho na Administração Pública Municipal de Dom Pedrito. A pesquisa está alicerçada em dois momentos importantes: o primeiro se constitui numa pesquisa quantitativa aplicada às (9) nove conselheiras titulares, usando um questionário baseado no modelo de análise de Likert; o segundo se constitui numa pesquisa qualitativa, com entrevistas semi-estruturadas, para analisar as variáveis que envolvem a relação Conselho Municipal de Educação (CME), Secretaria Municipal de Educação (SME) e Poder decisório Municipal (Prefeito). Os resultados obtidos evidenciam que o estilo de gestão do Conselho Municipal de Educação é o participativo-consultivo. Por outro lado, a pesquisa qualitativa mostra a importância da existência e da atuação do Conselho Municipal de Educação, que tem de trabalhar em consonância com os órgãos com os quais se relaciona e interage. Conclui-se que o Conselho Municipal de Educação é importante para garantir transparência, fundamentar as decisões do executivo municipal e espelhar a vontade da comunidade, além de apontar potencialidades existentes.

Capital Asset Price Model (CAPM) : uma aplicação ao mercado brasileiro de ações

Este trabalho tem por objetivo apresentar a fundamentação teórica e efetuar uma aplicação prática de uma das mais importantes descobertas no campo das finanças: o modelo de precificação de ativos de capital padrão, denominado de Capital Asset Price Model (CAPM). Na realização da aplicação prática, comparou-se a performance entre os retornos dos investimentos exigidos pelo referido modelo e os realmente obtidos. Foram analisadas cinco ações com a maior participação relativa na carteira teórica do Ibovespa e com retornos publicados de junho de 1998 a maio de 2001. Os dados foram obtidos da Economática da UFRGS e testados utilizando-se o Teste-t (duas amostras em par para médias) na ferramenta MS Excel. Os resultados foram tabelados e analisados, de onde se concluiu que, estatisticamente, com índice de confiança de 95%, não houve diferença de performance entre os retornos esperados e os realmente obtidos dos ativos objeto desta dissertação, no período estudado.

A Formação de Padres no Nordeste do Brasil (1894-1933)

The Nossa Senhora da Conceição Seminary, installed in 1894, by Dom Adauto Aurélio de Miranda Henriques, first Paraíba Bishop, and the Episcopal Seminary of the Sagrado Coração de Jesus, implanted in 1913, by Dom José Thomas Gomes da Silva, first Aracaju s Bishop diocese, were created as a result of lack of an official religious process proposed by the Brazilian Republic Proclamation, in 1889. With the appoint to enlarge the number of priests and change the image of the priest married and unrolled who used to identify the Catholic Church in the colonial and imperial Brazil. Such bishops developed into intellectuals in the government, dioceses and formation priest houses. I take as a study object, for this doctorate paper, the academic formation and priesthood developed in theses seminaries, from 1894 to 1933, once 1894 the year of João Pessoa Creation Seminar that was implied the Minor Course (preparation) and the Major one (built by Philosophy and God related studies) and the research limit year of 1933, is concerned about the Major Sergipe Seminary ending, which was created and has worked offering the Minor and Major courses, from 1913 to 1933. Showing the teaching models that guided and leaded the priest formation, referred as Seminaries, and the application result is the objective of this investigation. To comprehend the teaching models seminaries studied, my research line is the Catholic Church theme and priest formation in Brazil. In front of the object and the objective desired, I chose the historical comparative method and the scholars modals notions of Araujo de Barros (2004) and the Sirinelli intellectuals (1996). Such references allowed me to analyze the formation given in the seminary and seminarian participation and actions, included the sequence after the scholars formation. The thesis defended is that the teaching model developed in the Brazilian Seminaries, created after a non official religious process in the Brazilian government, deal with a model of one unique center (Seminary formation and aim pre arranged by Santa Sé), although adapted, presuming the local reality and formation structure (privileged not only spiritual and moral speaking, but intellectual also), was it responsible for intellectuals generations (teachers priests, educationalist priest, journalists priests and so on) that boost the education in Brazil. During the Republic first three decades, when, in thesis, the Government was becoming free religion, i.e., the government did not subsidize the Church anymore, and the Government, among others aspects, did not received any Church care to help the public teaching in the country. The investigation reveled accede, by bishops and their followers, such as by the Concílio de Trento pre concept, or by the others ideas, leading by the priests formation in Seminaries. By creating and stalling diocese Seminary, Bishop Dom Adauto and Dom José went further their functions, by the time they built inside themselves a teaching model thought from the main pedagogic logic, based on several religious exercises, moral and ethic, considered by themselves several knowledge connected to humanity, philosophy and God related studies). Following clearly rationalism principle (the way of teaching, which each subject has its own teacher and this class get together students with the same knowledge, regardless of age) and efficiency (trying to teach the whole content in each class), the Seminaries researched developed a whole education, allowed the structure of a spiritual education, moral and intellectual, for a quality developed by priests, including different levels that they used to performance. Their bottom line, actions and priest matter achievement allowed their broad fulfillment, in the way that priests matter were associated with cultural, educational, welfare assistance, at last, intellectuals

Ser professor de português: o que dizem os discursos reguladores, os alunos e os professores no contexto da formação inicial (UMINHO/Portugal e UFRN/Brasil)

The constitution of being a teacher of Portuguese occurs in a dynamic process involving various factors, such as the requirements of regulatory documents, the context of teacher formation, and the configuration of current society, per se. This study is aimed at reflecting on the initial formation of teachers of Portuguese and on official documents that face this formation, raising the following questions: (1) what does it mean to be a Portuguese teacher? (2) what is the vision of the subjects (teachers and students) involved with the formation of teaching the Portuguese Language? (3) how do these individuals deal with official documents? and (4) how do these subjects discourses relate? To understand the context of the formative processes and the knowledge inherent in them, first we take the studies of Garcia (1999) and Tardif (2002) as a theoretical framework, and to understand and interpret the utterances of the interviewees, we were grounded in the writing of Bakhtin (2003), for whom the object of the Humanities, the sciences of man, is the text, since man is, by nature, an expressive being. We situate this study in the framework of qualitative research. It is a multiple case study that focuses on two contexts: formation of teachers of Portuguese at the University of Minho, Portugal, and the Federal University of Rio Grande do Norte, Brazil. The data that make up the research corpus come from documents elaborated by the Ministries of Education of Portugal and Brazil and were adopted by the two teacher formation institutions cited, from individual interviews involving eight trainer teachers (four from each university), and from two group-interviews (one in each institution), done with students in training. Our analysis is divided into three stages: first, document analysis; second, analysis of the discourse of the teachers in both contexts studied; and, third, analysis of the speech of the students in training. It is noteworthy that our purpose in this research was not to come out with a definition like being a teacher of Portuguese is X, but we are interested, above all, in discussing the issues surrounding initial formation, seeking different points of view, and hearing voices coming from different social positions for better understanding our object of study. Our analysis reveals that the initial formation of teachers of Portuguese, both in Portugal and Brazil, occurs in a complex way, under the influence of various factors, including: (a) difficulties in having the individuals involved adapt to the demands of regulatory agencies; (b) students and teachers adequacy to the organizational model of the post-secondary institution; (c) teachers difficulties to deal with the learning problems of students who have limited schooling basis and come from distinct socioeconomic realities; (d) a search for the establishment of methodologies for teaching and learning the Portuguese Language more adequate to reality; and (e) a search for a definition of professional knowledge needed for the teaching practice

Object-Space Road Extraction in Rural Areas Using Stereoscopic Aerial Images

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Three-Dimensional Semiautomatic Road Extraction From a High-Resolution Aerial Image by Dynamic-Programming Optimization in the Object Space

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Uma proposta de framework como infra-estrutura de implementação de sistemas informacionais baseados na visão dos FRBR orientado a objetos

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Object oriented modeling of piston engines

This work reports a conception phase of a piston engine global model. The model objective is forecast the motor performance (power, torque and specific consumption as a function of rotation and environmental conditions). Global model or Zero-dimensional is based on flux balance through each engine component. The resulting differential equations represents a compressive unsteady flow, in which, all dimensional variables are areas or volumes. A review is presented first. The ordinary differential equation system is presented and a Runge-Kutta method is proposed to solve it numerically. The model includes the momentum conservation equation to link the gas dynamics with the engine moving parts rigid body mechanics. As an oriented to objects model the documentation follows the UML standard. A discussion about the class diagrams is presented, relating the classes with physical model related. The OOP approach allows evolution from simple models to most complex ones without total code rewrite. Copyright © 2001 Society of Automotive Engineers, Inc.

An attack signature model to computer security intrusion detection

Internal and external computer network attacks or security threats occur according to standards and follow a set of subsequent steps, allowing to establish profiles or patterns. This well-known behavior is the basis of signature analysis intrusion detection systems. This work presents a new attack signature model to be applied on network-based intrusion detection systems engines. The AISF (ACME! Intrusion Signature Format) model is built upon XML technology and works on intrusion signatures handling and analysis, from storage to manipulation. Using this new model, the process of storing and analyzing information about intrusion signatures for further use by an IDS become a less difficult and standardized process.

Model for analysing the social and economic impact of child undernutrition in Latin America

Includes bibliography

Analysis of the lightning attractive radius of power transmission lines through the use of a physically-oriented model

Models of different degrees of complexity are found in the literature for the estimation of lightning striking distances and attractive radius of objects and structures. However, besides the oversimplifications of the physical nature of the lightning discharge on which most of them are based, till recently the tridimensional structure configuration could not be considered. This is an important limitation, as edges and other details of the object affect the electric field and, consequently, the upward leader initiation. Within this context, the Self-consistent leader initiation and propagation model (SLIM) proposed by Becerra and Cooray is state-of-the-art leader inception and propagation leader model based on the physics of leader discharges which enables the tridimensional geometry of the structure to be taken into account. In this paper, the model is used for estimating the striking distance and attractive radius of power transmission lines. The results are compared with those obtained from the electrogeometric and Eriksson's models. © 2003-2012 IEEE.

Uma análise sobre a avaliação emocional de web site por similaridade e por contiguidade

Pós-graduação em Design - FAAC