An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 2. Residuals analysis and a case study

In Part 1 of this paper a methodology for back-to-back testing of simulation software was described. Residuals with error-dependent geometric properties were generated. A set of potential coding errors was enumerated, along with a corresponding set of feature matrices, which describe the geometric properties imposed on the residuals by each of the errors. In this part of the paper, an algorithm is developed to isolate the coding errors present by analysing the residuals. A set of errors is isolated when the subspace spanned by their combined feature matrices corresponds to that of the residuals. Individual feature matrices are compared to the residuals and classified as 'definite', 'possible' or 'impossible'. The status of 'possible' errors is resolved using a dynamic subset testing algorithm. To demonstrate and validate the testing methodology presented in Part 1 and the isolation algorithm presented in Part 2, a case study is presented using a model for biological wastewater treatment. Both single and simultaneous errors that are deliberately introduced into the simulation code are correctly detected and isolated. Copyright (C) 2003 John Wiley Sons, Ltd.

On the evaluation of some differential formulations for the pom-pom constitutive model

In recent years, progress has been made in modelling long chain branched polymers by the introduction of the so-called pompom model. Initially developed by McLeish and Larson (1998), the model has undergone several improvements or alterations, leading to the development of new formulations. Some of these formulations however suffer from certain mathematical defects. The purpose of the present paper is to review some of the formulations of the pom-pom constitutive model, and to investigate their possible mathematical defects. Next, an alternative formulation is proposed, which does not appear to exhibit mathematical defects, and we explore its modelling performance by comparing the predictions with experiments in non-trivial rheometric flows of an LDPE melt. The selected rheometric flows are the double step strain, as well as the large amplitude oscillatory shear experiments. For LAOS experiments, the comparison involves the use of Fourier-transform analysis.

Sex- and race-related differences in cross-sectional geometry and bone density of the femoral mid-shaft in older adults

Background : Femoral shaft fracture incidence increases in older adults and is associated with low-energy trauma. Apart from bone density, the distribution and size of bone contributes to its strength. Aim : To examine if bone geometry and density of the femoral mid-shaft in older adults differs by sex and race, we studied 197 White women, 225 Black women, 242 White men, and 148 Black men aged 70-79 years participating in the Health, Aging, and Body Composition study; a prospective cohort study in the USA. A secondary purpose of the study was to examine the association of site-specific muscle and fat to bone geometry and density. Subjects and methods : Subjects were community-dwelling and reported no difficulty walking one-quarter of a mile or climbing stairs. Mid-femoral volumetric bone mineral density (vBMD, mg cm -3 ), total area (TA), cortical area (CA), medullary area (MA), cross-sectional moments of inertia (CSMI: I x , I y , J ), and muscle and fat areas (cm 2 ) were determined by computed tomography (CT; GE CT-9800, 10 mm slice thickness). Results : vBMD was greater in men than women with no difference by race ( p < 0.001). Bone areas and area moments of inertia were also greater in men than women ( p < 0.001), with Black women having higher values than White women for TA and CA. Standardizing geometric parameters for body size differences by dividing by powers of femur length did not negate the sex difference for TA and MA. Significant differences ( p < 0.05) among the four groups also remained for I x and J . Mid-thigh muscle area was an independent contributor to TA in all groups (Std beta = 0.181-0.351, p < 0.05) as well as CA in women (Std beta = 0.246-0.254, p < 0.01) and CSMI in White women (Std beta = 0.175-0.185, p < 0.05). Further, muscle area was a significant contributor to vBMD in Black women. Conclusion : These results indicate that bone geometry and density of the femoral diaphysis differs primarily by sex, rather than race, in older well-functioning adults. In addition, site-specific muscle area appears to have a potential contributory role to bone geometry parameters, especially in women.

Surface diffusion of strongly adsorbing vapors in activated carbon by a differential permeation method

Conventional methods to determine surface diffusion of adsorbed molecules are proven to be inadequate for strongly adsorbing vapors on activated carbon. Knudsen diffusion permeability (B-k) for strongly adsorbing vapors cannot be directly estimated from that of inert gases such as helium. In this paper three models are considered to elucidate the mechanism of surface diffusion in activated carbon. The transport mechanism in all three models is a combination of Knudsen diffusion, viscous flow and surface diffusion. The collision reflection factor f (which is the fraction of molecules undergoing collision to the solid surface over reflection from the surface) of the Knudsen diffusivity is assumed to be a function of loading. It was found to be 1.79 in the limit of zero loading, and decreases as loading increases. The surface diffusion permeability increases sharply at very low pressures and then starts to decrease after it has reached a maximum (B(mum)s) at a threshold pressure. The initial rapid increase in the total permeability is mainly attributed to surface diffusion. Interestingly the B(mum)s for all adsorbates appear at the same volumetric adsorbed phase concentration, suggesting that the volume of adsorbed molecules may play an important role in the surface diffusion mechanism in activated carbon. (C) 2003 Elsevier Ltd. All rights reserved.

Variação do teor de umidade e da densidade básica na madeira de sete espécies de eucalipto

As variações de umidade e da densidade do lenho das árvores são as principais causas dos defeitos de secagem, como o empenamento e fendilhamento das peças de madeira. Os tipos de madeira presentes em um tronco estão relacionados com as variações dessas duas importantes propriedades físicas. Os gradientes de umidade e da densidade da madeira de sete espécies de eucalipto foram avaliados nas direções radial e longitudinal do tronco de árvores recém-abatidas. Os resultados apontaram uma maior homogeneidade de distribuição de umidade dentro das árvores de E. paniculata e E. citriodora, indicada pelos coeficientes de variação e desvio-padrão. O diferencial de umidade da madeira nas regiões internas do tronco de E. paniculata e E. citriodora foi de 20% e de E. urophylla e E. grandis, de 80%. A densidade básica da madeira aumentou na direção radial do tronco, e cada espécie de eucalipto apresentou um modelo de variação.

Brazil and the economic, political, and environmental multilateralism: the Lula years (2003-2010)

This article discusses Brazil's multilateral policy under Luiz Inácio Lula da Silva's administration, highlighting economic, political and environmental themes. The main argument is that Brazil's multilateral relations during this government reached a new significance with the reinforcement of international coalitions and the articulation with the country's new development model. The country has been using multilateral forums as a way to achieve international projection and support for its development project, highlighting bargaining aspects, variable geometry coalitions and the strengthening of South-South cooperation

Unknown Radial Distortion Centers in Multiple View Geometry Problems

The radial undistortion model proposed by Fitzgibbon and the radial fundamental matrix were early steps to extend classical epipolar geometry to distorted cameras. Later minimal solvers have been proposed to find relative pose and radial distortion, given point correspondences between images. However, a big drawback of all these approaches is that they require the distortion center to be exactly known. In this paper we show how the distortion center can be absorbed into a new radial fundamental matrix. This new formulation is much more practical in reality as it allows also digital zoom, cropped images and camera-lens systems where the distortion center does not exactly coincide with the image center. In particular we start from the setting where only one of the two images contains radial distortion, analyze the structure of the particular radial fundamental matrix and show that the technique also generalizes to other linear multi-view relationships like trifocal tensor and homography. For the new radial fundamental matrix we propose different estimation algorithms from 9,10 and 11 points. We show how to extract the epipoles and prove the practical applicability on several epipolar geometry image pairs with strong distortion that - to the best of our knowledge - no other existing algorithm can handle properly.

Palaeomagnetism, rock magnetism and AMS of the Cabo Magmatic Province, NE Brazil, and the opening of South Atlantic

P>Reconstruction of the South Atlantic opening has long been a matter of debate and several models have been proposed. One problem in tracing properly the Atlantic history arises from the existence of a long interval without geomagnetic reversals, the Cretaceous Normal Superchron, for which ages are difficult to assign. Palaeomagnetism may help in addressing this issue if high-quality palaeomagnetic poles are available for the two drifting continental blocks, and if precise absolute ages are available. In this work we have investigated the Cabo Magmatic Province, northeastern Brazil, recently dated at 102 +/- 1 Ma (zircon fission tracks, Ar39/Ar40). All volcanic and plutonic rocks showed stable thermal and AF demagnetization patterns, and exhibit primary magnetic signatures. AMS data also support a primary origin for the magnetic fabric and is interpreted to be contemporaneous of the rock formation. The obtained pole is located at 335.9 degrees E/87.9 degrees S (N = 24; A(95) = 2.5; K = 138) and satisfies modern quality criteria, resulting in a reference pole for South America at similar to 100 Ma. This new pole also gives an insight to test and discuss the kinematic models currently proposed for the South Atlantic opening during mid-Cretaceous.

A promoção/progressão em 2008 de Assistente do 1º triénio a Assistente do 2º triénio (ECPDESP) e a aplicabilidade ou não das Leis nºs 43/2005, de 29.08 e 53-C/2006, de 29.12

Trabalho de natureza profissional para a atribuição do Título de Especialista do Instituto Politécnico do Porto, na área de Direito, defendido a 11-01-2013.

Unesp Informa, 2014, número 53

Boletim elaborado pela Assessoria de Comunicação e Imprensa da Reitoria da UNESP

Differential expression of the eukaryotic release factor 3 (eRF3/GSPT1) according to gastric cancer histological types

Background: There are now several lines of evidence to suggest that protein synthesis and translation factors are involved in the regulation of cell proliferation and cancer development. Aims: To investigate gene expression patterns of eukaryotic releasing factor 3 (eRF3) in gastric cancer. Methods: RNA was prepared from 25 gastric tumour biopsies and adjacent non-neoplastic mucosa. Real time TaqMan reverse transcription polymerase chain reaction (RT-PCR) was performed to measure the relative gene expression levels. DNA was isolated from tumour and normal tissues and gene dosage was determined by a quantitative real time PCR using SYBR Green dye. Results: Different histological types of gastric tumours were analysed and nine of the 25 tumours revealed eRF3/GSPT1 overexpression; moreover, eight of the 12 intestinal type carcinomas analysed overexpressed the gene, whereas eRF3/GSPT1 was overexpressed in only one of the 10 diffuse type carcinomas (Kruskal-Wallis Test; p , 0.05). No correlation was found between ploidy and transcript expression levels of eRF3/GSPT1. Overexpression of eRF3/GSPT1 was not associated with increased translation rates because the upregulation of eRF3/GSPT1 did not correlate with increased eRF1 levels. Conclusions: Overexpression of eRF3/GSPT1 in intestinal type gastric tumours may lead to an increase in the translation efficiency of specific oncogenic transcripts. Alternatively, eRF3/GSPT1 may be involved in tumorigenesis as a result of its non-translational roles, namely (dis)regulating the cell cycle, apoptosis, or transcription.

Unesp Ciência, 2014, ano 5, número 53

Revista elaborada pela Assessoria de Comunicação e Imprensa da Reitoria da UNESP

Análisis de la adecuación de libros de texto de E. Primaria a la enseñanza a estudiantes de altas capacidades matemáticas

Un problema al que se enfrentan los profesores de matemáticas de Enseñanza Primaria es la necesidad de hacer adaptaciones en sus programaciones para ofrecer una educación adecuada a sus alumnos de altas capacidades matemáticas. Las editoriales de libros de texto de matemáticas de estos niveles educativos ofrecen diversas soluciones que, usualmente, consisten en incluir, en el libro del alumno, algunos problemas más difíciles y, en la documentación del profesor, una propuesta de problemas de ampliación. Una cuestión que se plantea al analizar un libro de texto de matemáticas es valorar cómo de útil puede ser el material proporcionado por la editorial (libro de texto y materiales complementarios) para un profesor que necesita una programación específica para sus alumnos de altas capacidades matemáticas. En este artículo proponemos diversas variables con las que valorar el grado de adecuación a estudiantes de altas capacidades matemáticas de los documentos proporcionados a los profesores por las editoriales. Después ponemos en práctica esta propuesta analizando el tema dedicado a los cuadriláteros en 4º curso de Enseñanza Primaria de una editorial de amplia difusión en España. Las conclusiones globales son que los materiales del profesor analizados prestan poca atención a los estudiantes de altas capacidades matemáticas y que la metodología de análisis que hemos empleado permite identificar direcciones para plantear actividades interesantes para estos estudiantes.

A class of singular first order differential equations with applications in reaction-diffusion

Agências Financiadoras: FCT e MIUR

Controllability results for impulsive mixed type functional integro-differential evolution equations with nonlocal conditions

In this paper, we establish the controllability for a class of abstract impulsive mixed-type functional integro-differential equations with finite delay in a Banach space. Some sufficient conditions for controllability are obtained by using the Mönch fixed point theorem via measures of noncompactness and semigroup theory. Particularly, we do not assume the compactness of the evolution system. An example is given to illustrate the effectiveness of our results.