Um sistema para o reconhecimento da feição edificação em imagem digital com agentes inteligentes.

O objetivo desta dissertação foi criar uma nova abordagem para identificar de maneira automática feições do tipo edificação em uma imagem digital. Tal identificação seria de interesse de órgãos públicos que lidam com planejamento urbano para fins de controle da ocupação humana irregular. A abordagem criada utilizou agentes de software especialistas para proceder com o processamento da segmentação e reconhecimento de feições na imagem digital. Os agentes foram programados para tratar uma imagem colorida com o padrão Red, Green e Blue (RGB). A criação desta nova abordagem teve como motivação o fato das atuais técnicas existentes de segmentação e classificação de imagens dependerem sobremaneira dos seus usuários. Em outras palavras, pretendeu-se com a abordagem em questão permitir que usuários menos técnicos pudessem interagir com um sistema classificador, sem a necessidade de profundos conhecimentos de processamento digital de imagem. Uma ferramenta protótipo foi desenvolvida para testar essa abordagem, que emprega de forma inusitada, agentes inteligentes, com testes feitos em recortes de ortofotos digitais do Município de Angra dos Reis (RJ).

Implementation of semi-active damping on a tri-axle heavy-vehicle suspension

A semi-active truck damper was developed in conjunction with a commercial shock absorber manufacturer. A linearized damper model was developed for control system design purposes. Open- and closed-loop damper force tracking control was implemented, with tests showing that an open-loop approach gave the best compromise between response speed and accuracy. A hardware-in-the-loop test facility was used to investigate performance of the damper when combined with a simulated quarter-car model. The input to the vehicle model was a set of randomly generated road profiles, each profile traversed at an appropriate speed. Modified skyhook damping tests showed a simultaneous improvement over the optimum passive case of 13 per cent in vertical body acceleration and 8 per cent in dynamic tyre forces. Full-scale vehicle tests of the damper on a heavy tri-axle trailer were carried out. Implementation of modified skyhook damping yielded a simultaneous improvement over the optimum passive case of 8 per cent in vertical body acceleration and 8 per cent in dynamic tyre forces. © IMechE 2008.

Prediction of FRP debonding using the global-energy-balance approach

A major research program was carried out to analyze the mechanism of FRP debonding from concrete beams using global-energy-balance approach (GEBA). The key findings are that the fracture process zone is small so there is no R-curve to consider, failure is dominated by Mode I behavior, and the theory agrees well with tests. The analyses developed in the study provide an essential tool that will enable fracture mechanics to be used to determine the load at which FRP plates will debond from concrete beams. This obviates the need for finite element (FE) analyses in situations where reliable details of the interface geometry and crack-tip stress fields are not attainable for an accurate analysis. This paper presents an overview of the GEBA analyses that is described in detail elsewhere, and explains the slightly unconventional assumptions made in the analyses, such as the revised moment-curvature model, the location of an effective centroid, the separate consideration of the FRP and the RC beam for the purposes of the analysis, the use of Mode I fracture energies and the absence of an R-curve in the fracture mechanics analysis.

Unified form language: A domain-specific language for weak formulations of partial differential equations

We present the Unified Form Language (UFL), which is a domain-specific language for representing weak formulations of partial differential equations with a view to numerical approximation. Features of UFL include support for variational forms and functionals, automatic differentiation of forms and expressions, arbitrary function space hierarchies formultifield problems, general differential operators and flexible tensor algebra. With these features, UFL has been used to effortlessly express finite element methods for complex systems of partial differential equations in near-mathematical notation, resulting in compact, intuitive and readable programs. We present in this work the language and its construction. An implementation of UFL is freely available as an open-source software library. The library generates abstract syntax tree representations of variational problems, which are used by other software libraries to generate concrete low-level implementations. Some application examples are presented and libraries that support UFL are highlighted. © 2014 ACM.

含有空值关系数据库的查询处理

本文在深刻理解空值语义的基础上，给出一种处理占位型空值的方法。讨论了空值环境下关系数据库的查询策略，定义了含三种查询操作的关系代数最小完备集中的关系代数运算，并对查询计算的有效性和完备性进行了分析。

SK1-like functors for division algebras

We investigate the group valued functor G(D) = D*/F*D' where D is a division algebra with center F and D' the commutator subgroup of D*. We show that G has the most important functorial properties of the reduced Whitehead group SK1. We then establish a fundamental connection between this group, its residue version, and relative value group when D is a Henselian division algebra. The structure of G(D) turns out to carry significant information about the arithmetic of D. Along these lines, we employ G(D) to compute the group SK1(D). As an application, we obtain theorems of reduced K-theory which require heavy machinery, as simple examples of our method.

Multiplicative spectra of Banach spaces

The multiplicative spectrum of a complex Banach space X is the class K(X) of all (automatically compact and Hausdorff) topological spaces appearing as spectra of Banach algebras (X,*) for all possible continuous multiplications on X turning X into a commutative associative complex algebra with the unity. The properties of the multiplicative spectrum are studied. In particular, we show that K(X^n) consists of countable compact spaces with at most n non-isolated points for any separable hereditarily indecomposable Banach space X. We prove that K(C[0,1]) coincides with the class of all metrizable compact spaces.

Minimal Hilbert series for quadratic algebras and the Anick conjecture

We study the question on whether the famous Golod–Shafarevich estimate, which gives a lower bound for the Hilbert series of a (noncommutative) algebra, is attained. This question was considered by Anick in his 1983 paper ‘Generic algebras and CW-complexes’, Princeton Univ. Press, where he proved that the estimate is attained for the number of quadratic relations $d\leq n^2/4$
and $d\geq n^2/2$, and conjectured that it is the case for any number of quadratic relations. The particular point where the number of relations is equal to $n(n-1)/2$ was addressed by Vershik. He conjectured that a generic algebra with this number of relations is finite dimensional. We announce here the result that over any infinite field, the Anick conjecture holds for $d \geq 4(n2+n)/9$ and an arbitrary number of generators. We also discuss the result that confirms the Vershik conjecture over any field of characteristic 0, and a series of related
asymptotic results.

Experimental investigation of thermal inertia properties in hemp-lime concrete walls

Hemp-lime concrete is a sustainable alternative to standard building wall materials, with low associated embodied energy. It exhibits good hygric, acoustic and thermal properties, making it an exciting, sustainable building envelope material. When cast in temporary shuttering around a timber frame, it exhibits lower thermal conductivity than concrete, and consequently achieves low U-values in a primarily mono-material wall construction. Although cast relatively thick hemp-lime walls do not generally achieve the low U-values stipulated in building regulations. However assessment of its thermal performance through evaluation of its resistance to thermal transfer alone, underestimates its true thermal quality. The thermal inertia, or reluctance of the wall to change its temperature when exposed to changing environmental temperatures, also has a significant impact on the thermal quality of the wall, the thermal comfort of the interior space and energy consumption due to space heating. With a focus on energy reduction in buildings, regulations emphasise thermal resistance to heat transfer with only less focus on thermal inertia or storage benefits due to thermal mass. This paper investigates dynamic thermal responsiveness in hemp-lime concrete walls. It reports the influence of thermal conductivity, density and specific heat through analysis of steady state and transient heat transfer, in the walls. A novel hot-box design which isolates the conductive heat flow is used, and compared with tests in standard hot-boxes. Thermal diffusivity and effusivity are evaluated, using experimentally measured conductivity, based on analytical relationships. Experimental results evident that hemp-lime exhibits high thermal inertia. They show the thermal inertia characteristics compensate for any limitations in the thermal resistance of the construction material. When viewed together the thermal resistance and mass characteristics of hemp-lime are appropriate to maintain comfortable thermal indoor conditions and low energy operation.

Molecular determinants of the cellular internalization of crotamine-derived peptides

Tese de doutoramento, Ciências Biomédicas (Bioquímica Médica), Universidade de Lisboa, Faculdade de Medicina, 2014

A relação entre a álgebra acadêmica e a álgebra escolar em um curso de licenciatura em matemática: concepções de alunos e professores

Pós-graduação em Educação - FCT

ReAlM - a system to manipulate relations

Given a heterogeneous relation algebra R, it is well known that the algebra of matrices with coefficient from R is relation algebra with relational sums that is not necessarily finite. When a relational product exists or the point axiom is given, we can represent the relation algebra by concrete binary relations between sets, which means the algebra may be seen as an algebra of Boolean matrices. However, it is not possible to represent every relation algebra. It is well known that the smallest relation algebra that is not representable has only 16 elements. Such an algebra can not be put in a Boolean matrix form.[15] In [15, 16] it was shown that every relation algebra R with relational sums and sub-objects is equivalent to an algebra of matrices over a suitable basis. This basis is given by the integral objects of R, and is, compared to R, much smaller. Aim of my thesis is to develop a system called ReAlM - Relation Algebra Manipulator - that is capable of visualizing computations in arbitrary relation algebras using the matrix approach.

RelMDD-A Library for Manipulating Relations Based on MDDs

Relation algebras is one of the state-of-the-art means used by mathematicians and computer scientists for solving very complex problems. As a result, a computer algebra system for relation algebras called RelView has been developed at Kiel University. RelView works within the standard model of relation algebras. On the other hand, relation algebras do have other models which may have different properties. For example, in the standard model we always have L;L=L (the composition of two (heterogeneous) universal relations yields a universal relation). This is not true in some non-standard models. Therefore, any example in RelView will always satisfy this property even though it is not true in general. On the other hand, it has been shown that every relation algebra with relational sums and subobjects can be seen as matrix algebra similar to the correspondence of binary relations between sets and Boolean matrices. The aim of my research is to develop a new system that works with both standard and non-standard models for arbitrary relations using multiple-valued decision diagrams (MDDs). This system will implement relations as matrix algebras. The proposed structure is a library written in C which can be imported by other languages such as Java or Haskell.

Étude de situations de validation en algèbre vécues par des élèves de 13 et 14 ans à l’aide et sans l’aide d’un forum électronique

L’un des buts de l’apprentissage des mathématiques est le développement du raisonnement et celui-ci participe à la compréhension des mathématiques. Très liée au raisonnement, la notion de preuve est aussi fondamentale à l’apprentissage des mathématiques, car elle permet d’établir la validité d’arguments mathématiques et de conférer un sens à différents concepts à travers l’explication de l’organisation logique du travail effectué. Toutefois, malgré l’importance accordée au développement de différents types de raisonnements, plusieurs élèves éprouvent des difficultés lorsqu’ils sont appelés à concevoir ou à évaluer des preuves. Dans le cadre de cette recherche, nous avons étudié l’impact de l’utilisation d’un forum électronique sur le développement d’habiletés de validation algébrique ainsi que sur le développement d’habiletés en lien avec l’évaluation de preuves en algèbre chez des élèves de 13 et 14 ans du Nouveau-Brunswick et du Québec. Les résultats laissent supposer que l’utilisation du forum électronique encourage le passage des preuves pragmatiques aux preuves intellectuelles, en plus de favoriser une utilisation adéquate des règles du débat mathématique.

Special functions of Weyl groups and their continuous and discrete orthogonality

Cette thèse s'intéresse à l'étude des propriétés et applications de quatre familles des fonctions spéciales associées aux groupes de Weyl et dénotées $C$, $S$, $S^s$ et $S^l$. Ces fonctions peuvent être vues comme des généralisations des polynômes de Tchebyshev. Elles sont en lien avec des polynômes orthogonaux à plusieurs variables associés aux algèbres de Lie simples, par exemple les polynômes de Jacobi et de Macdonald. Elles ont plusieurs propriétés remarquables, dont l'orthogonalité continue et discrète. En particulier, il est prouvé dans la présente thèse que les fonctions $S^s$ et $S^l$ caractérisées par certains paramètres sont mutuellement orthogonales par rapport à une mesure discrète. Leur orthogonalité discrète permet de déduire deux types de transformées discrètes analogues aux transformées de Fourier pour chaque algèbre de Lie simple avec racines des longueurs différentes. Comme les polynômes de Tchebyshev, ces quatre familles des fonctions ont des applications en analyse numérique. On obtient dans cette thèse quelques formules de <>, pour des fonctions de plusieurs variables, en liaison avec les fonctions $C$, $S^s$ et $S^l$. On fournit également une description complète des transformées en cosinus discrètes de types V--VIII à $n$ dimensions en employant les fonctions spéciales associées aux algèbres de Lie simples $B_n$ et $C_n$, appelées cosinus antisymétriques et symétriques. Enfin, on étudie quatre familles de polynômes orthogonaux à plusieurs variables, analogues aux polynômes de Tchebyshev, introduits en utilisant les cosinus (anti)symétriques.