Export 9189 results:
Sort by: Author Title Type [ Year  (Desc)]
2015
Silva, RJ, L. Quaresma, and R. Micaelo. "Maintenance and Rehabilitation Programming of the Portuguese Road Network: Development of a Cracking Prediction Model ." International Journal of Pavement Research and Technology. 8.6 (2015): 383-394.published_paper_ijprt_2015.pdf
Catarino, I., D. Martins, and R. Sudiwala Materials for damping the PTC-induced thermal fluctuations of the cold-head. Cryogenic Engineering Conference and the Cryogenic Materials Conference . Tucson, AZ, USA, 2015.
Karlovich, Alexei Yu. "Maximally modulated singular integral operators and their applications to pseudodifferential operators on Banach function spaces." Function Spaces in Analysis. Contemporary Mathematics, 645. Ed. Krzysztof Jarosz. Providence, Rhode Island: American Mathematical Society, 2015. 165-178. Abstract

We prove that if the Hardy-Littlewood maximal operator is bounded on a separable Banach function space \(X(\mathbb{R}^n)\) and on its associate space \(X'(\mathbb{R}^n)\) and a maximally modulated Calderón-Zygmund singular integral operator \(T^{\Phi}\) is of weak type \((r,r)\) for all \(r\in(1,\infty)\), then \(T^{\Phi}\) extends to a bounded operator on \(X(\mathbb{R}^n)\). This theorem implies the boundedness of the maximally modulated Hilbert transform on variable Lebesgue spaces \(L^{p(\cdot)}(\mathbb{R})\) under natural assumptions on the variable exponent \(p:\mathbb{R}\to(1,\infty)\). Applications of the above result to the boundedness and compactness of pseudodifferential operators with \(L^\infty(\mathbb{R},V(\mathbb{R}))\)-symbols on variable Lebesgue spaces \(L^{p(\cdot)}(\mathbb{R})\) are considered. Here the Banach algebra \(L^\infty(\mathbb{R},V(\mathbb{R}))\) consists of all bounded measurable \(V(\mathbb{R})\)-valued functions on \(\mathbb{R}\) where \(V(\mathbb{R})\) is the Banach algebra of all functions of bounded total variation.

Catalanotti, G., and J. Xavier. "Measurement of the mode II intralaminar fracture toughness and R-curve of polymer composites using a modified Iosipescu specimen and the size effect law." Engineering Fracture Mechanics. 138 (2015): 202-214. AbstractWebsite

Abstract A modified Iosipescu specimen is proposed to measure the mode İI\} intralaminar fracture toughness and the corresponding crack resistance curve of fibre reinforced composites. Due to the impossibility of scaling the specimen, a modification of the classical size effect method is proposed. The calculation of the crack driving force curves is performed using the Finite Element Method. The classical Iosipescu shear feature was used and tests were coupled with digital image correlation to support the proposed approach. Experiments were performed on IM7/8552 material system and the R-curve was obtained. The steady-state value of the fracture toughness of the ply is found to be equal to R 0 ss = 34.4  kJ/m2.

Xavier, J., J. R. A. Fernandes, O. Frazão, and J. J. L. Morais. "Measuring mode I cohesive law of wood bonded joints based on digital image correlation and fibre Bragg grating sensors." Composite Structures. 121 (2015): 83-89. Abstract

Abstract This work addresses the experimental identification of mode I cohesive law of wood bonded joints. The approach combines the double cantilever beam (DCB) test with both digital image correlation (DIC) and embedded fibre Bragg grating (FBG) sensors. The spectrum geometric mean of the \{FBG\} reflected spectral response was determined, and the wavelength evolution was used to define the fracture process zone (FPZ) development phase. This evaluation allowed a consistent selection of experimental range of over which the identification procedure of mode I cohesive law is build up. Mode I crack length, Resistance-curve and cohesive law parameters are characterised and discussed. The strain energy release rate (GI) is determined from the P�d curve by the compliance-based beam method (CBBM). The crack tip opening displacement (wI) is determined by post-processing displacements measured by DIC. The cohesive law in mode I (sI�wI) is then obtained by numerical differentiation of the GI�wI relationship.

Pereira, Bruno Claro, Michael J. Benton, Marcello Ruta, and Octávio Mateus. "Mesozoic echinoid diversity in Portugal: Investigating fossil record quality and environmental constraints on a regional scale." Palaeogeography, Palaeoclimatology, Palaeoecology. 424 (2015): 132-146. Abstractpereira_e_al_2015_mesozoic_echinoids_portugal.pdfWebsite

Abstract Several analyses of diversity through geological time use global, synoptic databases, and this practice often makes it difficult to distinguish true signals in changing diversity from regional-scale sampling and/or geological artefacts. Here we investigate how echinoid diversity changed through the Mesozoic of the Lusitanian basin in Portugal based on a comprehensive, revised database, and seek to distinguish biological signal from geological or environmental constraints. The observed diversity pattern is far from having a defined trend, showing many fluctuations that appear to be linked with gaps in the geological record. This study revealed that, independently of the method used, whether correlation tests or model fitting, the diversity signal is not completely explained by the studied sampling proxies. Among the different proxies, marine facies variation in combination with outcrop area best explains the palaeodiversity curve.

Baptista, Susana, Ana Paula Barbosa-povoa, Laureano Escudero, Maria Isabel Gomes, and Celeste Pizarro. "A Metaheuristic for Solving Large-Scale Two-Stage Stochastic Mixed 0-1 Programs with the Time Stochas- tic Dominance Risk Averse Strategy." 12th International Symposium on Process Systems Engineering and 25th European Symposium on Computer Aided Process Engineering. Copenhagen, Denmark : Elsevier, 2015. 857-862. Abstractescape25.pdf

Supply Chain Design problems often result into multiperiod stochastic mixed integer problems that are hard to solve. In this paper we propose a metaheuristic algorithm as a specialization for two- stage problems of the so-named Fix-and-Relax Algorithm presented previously for solving large- scale multiperiod stochastic mixed 0-1 optimization problems under a time stochastic dominance risk averse strategy, so-named TSD. Some computational experience is presented.

Gralha, Catarina, João Araújo, and Miguel Goulão. "Metrics for measuring complexity and completeness for social goal models." Information Systems (2015). AbstractWebsite

Goal-oriented Requirements Engineering approaches have become popular in the Requirements Engineering community as they provide expressive modelling languages for requirements elicitation and analysis. However, as a common challenge, such approaches are still struggling when it comes to managing the accidental complexity of their models. Furthermore, those models might be incomplete, resulting in insufficient information for proper understanding and implementation. In this paper, we provide a set of metrics, which are formally specified and have tool support, to measure and analyse complexity and completeness of goal models, in particular social goal models (e.g. i⁎). Concerning complexity, the aim is to identify refactoring opportunities to improve the modularity of those models, and consequently reduce their accidental complexity. With respect to completeness, the goal is to automatically detect model incompleteness. We evaluate these metrics by applying them to a set of well-known system models from industry and academia. Our results suggest refactoring opportunities in the evaluated models, and provide a timely feedback mechanism for requirements engineers on how close they are to completing their models.

Gomes, Luís, Miguel Santos, Thiago Pereira, and Anikó Costa. "Model-Based Development of an Autonomous Sailing Yacht Controller." 2015 {IEEE} International Conference on Autonomous Robot Systems and Competitions, {ICARSC} 2015, Vila Real, Portugal, April 8-10, 2015. 2015. 103-108. Abstract

n/a

Moura, JJG, PV Bernhardt, L. B. Maia, and P. J. Gonzalez. "Molybdenum and tungsten enzymes: from Biology to chemistry and back." Journal of Biological Inorganic Chemistry. 20 (2015): 181-182. AbstractWebsite
Maia, Luisa B., Jose J. G. Moura, and Isabel Moura. "Molybdenum and tungsten-dependent formate dehydrogenases." Journal of Biological Inorganic Chemistry. 20 (2015): 287-309. AbstractWebsite
H., Liu, Pikhurko O., and Sousa Teresa. "Monochromatic Clique Decompositions of Graphs." Journal of Graph Theory. 80 (2015): 287-298. Abstractgeneral-mono-clique.pdf

Let $G$ be a graph whose edges are coloured with $k$ colours, and $\mathcal H=(H_1,\dots , H_k)$ be a $k$-tuple of graphs. A \emph{monochromatic $\mathcal H$-decomposition} of $G$ is a partition of the edge set of $G$ such that each part is either a single edge or forms a monochromatic copy of $H_i$ in colour $i$, for some $1\le i\le k$. Let $\phi_{k}(n,\mathcal H)$ be the smallest number $\phi$, such that, for every
order-$n$ graph and every $k$-edge-colouring, there is a monochromatic $\mathcal H$-decomposition with at most $\phi$ elements. Extending the previous results of Liu and Sousa [``Monochromatic $K_r$-decompositions of graphs", \emph{Journal of Graph Theory}76:89-100,2014], we solve this problem
when each graph in $\mathcal H$ is a clique and $n\ge n_0(\mathcal H)$ is sufficiently large.

Poggi, Francesca, Ana Firmino, and Miguel Amado. "Moving Forward on Sustainable Energy Transitions: The Smart Rural Model." European Journal of Sustainable Development. 4.2 (2015): 43-50 - DOI:10.14207/ejsd.2015.v4n2p43.
Kchaou, Omaya Bellaaj, Amin Sallem, Pedro Pereira, Mourad Fakhfakh, and Maria Helena Fino Multi-objective sensitivity-based optimization of analog circuits exploiting NSGA-II front ranking. Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD). Istambul, Turkey: IEEE, 2015.
Rocha, H. Múltiplas abordagens, múltiplas representações: um contributo para incrementar a relevância da representação algébrica [Multiple approaches, multiple representations: a contribute to increase the relevance of algebraic representation]. Atas do Encontro de Investigação em Educação Matemática. Bragança, Portugal: SPIEM, 2015. Abstract

A tecnologia e o impacto que esta pode ter sobre as diferentes representações utilizadas e, em particular, sobre a representação algébrica são o foco deste artigo. Procura-se assim compreender como é que o professor enquadra a representação algébrica no trabalho em sala de aula e como a procura tornar relevante para os alunos num contexto de utilização da tecnologia. As conclusões alcançadas apontam para a opção por uma estreita articulação entre as representações algébrica e gráfica e para uma criteriosa escolha de tarefas, envolvendo múltiplas abordagens, onde a representação algébrica vem disponibilizar informação fundamental e tendencialmente inacessível a partir de outras representações.

Poggi, Francesca, Ana Firmino, Miguel Amado, and Fernando Pinho. "Natural stone walls in vernacular architecture: what contribution towards Rural nZEB concept?" Bulletin de la Société Géographique de Liège. 51-66. 65.ISSN 0770-7576. 65:2 (2015).
Böhle, Knud, and António Brandão Moniz. "No Countries for Old Technology Assessment? Sketching the Efforts and Opportunities to Establish Parliamentary TA in Spain and Portugal." EconStor Open Access Articles (2015): 29-44. AbstractWebsite

If the question is whether there is a parliamentary technology assessment (PTA) unit in Portugal or Spain, the clear answer is that there is still no such unit at the central state level at the present time, neither in Portugal nor in Spain. The question then has to be modified addressing previous and current efforts to establish PTA and the current framework conditions and opportunities. Practices of PTA are framed here as a democratic innovation in the context of changes in representative democracies. Against this backdrop, the efforts and opportunities to establish PTA in Spain and Portugal are studied. By sketching these developments and outlining the opportunities in these countries, our aim is to contribute to the debate about the likelihood of a new wave of PTA in Europe (Hennen/Nierling 2014).

Morgado, M. L., and M. Rebelo. "Numerical approximation of distributed order reaction–diffusion equations." Journal of Computational and Applied Mathematics. 275 (2015): 216-227.
Viegas, João Carlos, Susana Nogueira, Daniel Aelenei, Hildebrando Cruz, Manuela Cano, and Nuno Neuparth. "Numerical evaluation of ventilation performance in children day care centres." Building Simulation. 8 (2015): 189-209. Abstract

Modelling of ventilation is strongly dependent on the physical characteristics of the building of which precise evaluation is a complex and time consuming task. In the frame of a research project, two children day care centres (CDCC) have been selected in order to measure the envelope air permeability, the flow rate of mechanical ventilation systems and indoor and outdoor temperature. The data obtained was used as input to the computer code CONTAM for ventilation simulations. The results obtained were compared with direct measurements of ventilation flow from short term measurements with CO2 tracer gas and medium term measurements with perfluorocarbon tracer (PFT) gas decay method. After validation, in order to analyse the main parameters that affect ventilation, the model was used to predict the ventilation rates for a wide range of conditions. The purpose of this assessment was to find the best practices to improve natural ventilation. A simple analytical method to predict the ventilation flow rate of rooms is also presented. The method is based on the estimation of wind effect on the room through the evaluation of an average factor and on the assessment of relevant cross section of gaps and openings combined in series or in parallel. It is shown that it may be applied with acceptable accuracy for this type of buildings when ventilation is due essentially to wind action.

Biscaia, Hugo C., Carlos Chastre, André Viegas, and Noel Franco. "Numerical modelling of the effects of elevated service temperatures on the debonding process of frp-to-concrete bonded joints." Composites Part B: Engineering. 70 (2015): 64-79. AbstractWebsite

There are many issues concerning the performance behaviour of FRP-to-concrete interfaces at elevated service temperatures (EST). At EST, i.e. slightly above the glass transition temperature (Tg), some properties associated with the FRP composites, such as the stiffness, strength or the bond characteristics, degrade. This is a crucial issue and there are only a few studies that take into account such effects on FRP-to-concrete interfaces at EST. This paper examines, through a numerical analysis, the performance of FRP-to-concrete bonded joints at EST using a new discrete model based on truss elements and shear springs. The External Bonded Reinforcement (EBR) systems subjected to EST are analyzed. The numerical discrete model was implemented in a MATLAB routine and the bond-slip curves of the interfaces at EST were obtained from a model found in literature. The numerical results revealed that the interface at EST behaves similarly to one with two equal mechanical loads applied at both ends of the FRP plate. The load-slip curves or bond stresses, strains or slippages along the bonded length obtained from several bond-slip curves at different temperatures were obtained. Two different single-lap shear tests were simulated at steady-state (steady temperature followed by load increase) and transient state (steady load followed by temperature increase). Regarding the influence of the temperature on the adhesion between the FRP and concrete, the results showed that an increase in the temperature at an earlier situation, i.e. during a period where temperature had no influence in the concrete deformations, leads to an increase in the effective bond length of the interface affecting the initial strength of the interface.

Rocha, H. O formal da matemática e o intuitivo da tecnologia: que articulação?. Atas do ProfMat 2015. Évora, Portugal: APM, 2015. Abstractpaper.pdf

A tecnologia é cada vez mais indispensável no dia-a-dia, rodeando-nos constantemente. Para os nossos alunos é uma realidade que conhecem desde sempre e que tendem a encarar com uma naturalidade descontraída e intuitiva. A facilidade de acesso à tecnologia e o modo como esta tende a enfatizar o intuitivo e a relegar para segundo plano o formal e a demonstração matemática são o foco deste artigo. Partindo da análise de uma proposta de trabalho onde alunos de 10.º ano começam por uma abordagem intuitiva apoiada na calculadora gráfica e terminam a realizar uma demonstração da conjectura que formularam, procuro discutir a problemática. As conclusões alcançadas sugerem que é possível colocar aos alunos situações onde estes se podem aperceber da vantagem de recorrer tanto a abordagens mais formais como a abordagens mais intuitivas e isto mesmo quando a tecnologia é uma realidade em sala de aula. Sugere ainda que a realização de demonstrações pode, entre outros aspectos já identificados na literatura, dar um contributo importante para a compreensão de aspectos basilares da Matemática.

Rocha, H. O formalismo matemático num contexto de utilização da tecnologia [Mathematical proof in a context of technology integration]. Atas do XXVI SIEM. Évora: APM, 2015. Abstract

The technology and how it tends to emphasize the intuitive and overshadow calculus and mathematical proof are the focus of this paper. The conclusions reached suggest that tasks where students might realize the usefulness of calculus as well as of more intuitive approaches are possible even when the technology is a reality in the classroom. They also suggest that proof may, among other things already identified in the literature, make an important contribution to the students’ understanding of fundamental aspects of mathematics.

A tecnologia e a forma como esta tende a enfatizar o intuitivo e a relegar para segundo plano o formal e a demonstração matemática são o foco deste artigo. As conclusões alcançadas sugerem que é possível colocar aos alunos situações onde estes se possam aperceber da vantagem de recorrer tanto a abordagens mais formais como a abordagens mais intuitivas e isto mesmo quando a tecnologia é uma realidade em sala de aula. Sugere ainda que a realização de demonstrações pode, entre outros aspectos já identificados na literatura, dar um contributo importante para a compreensão de aspectos basilares da Matemática.